A unit fraction is a positive fraction with one as its numerator, 1/n. It is the multiplicative inverse (reciprocal) of the denominator of the fraction, which must be a positive natural number. Examples are 1/1, 1/2, 1/3, 1/4, 1/5, etc. When an object is divided into equal parts, each part is a unit fraction of the whole.
Slices of approximately 1/8 of a pizza
Multiplying two unit fractions produces another unit fraction, but other arithmetic operations do not preserve unit fractions. In modular arithmetic, unit fractions can be converted into equivalent whole numbers, allowing modular division to be transformed into multiplication. Every rational number can be represented as a sum of distinct unit fractions; these representations are called Egyptian fractions based on their use in ancient Egyptian mathematics. Many infinite sums of unit fractions are meaningful mathematically.
The unit fractions are the rational numbers that can be written in the form where can be any positive natural number. They are thus the multiplicative inverses of the positive integers. When something is divided into equal parts, each part is a fraction of the whole.[1]
Elementary arithmetic
edit
Multiplying any two unit fractions results in a product that is another unit fraction:[2]
However, adding,[3]subtracting,[3] or dividing two unit fractions produces a result that is generally not a unit fraction:
As the last of these formulas shows, every fraction can be expressed as a quotient of two unit fractions.[4]
Modular arithmetic
edit
In modular arithmetic, any unit fraction can be converted into an equivalent whole number using the extended Euclidean algorithm.[5][6] This conversion can be used to perform modular division: dividing by a number , modulo , can be performed by converting the unit fraction into an equivalent whole number modulo , and then multiplying by that number.[7]
In more detail, suppose that is relatively prime to (otherwise, division by is not defined modulo ). The extended Euclidean algorithm for the greatest common divisor can be used to find integers and such that Bézout's identity is satisfied:
In modulo- arithmetic, the term can be eliminated as it is zero modulo . This leaves
That is, is the modular inverse of , the number that when multiplied by produces one. Equivalently,[5][6]
Thus division by (modulo ) can instead be performed by multiplying by the integer .[7]
Combinations
edit
Several constructions in mathematics involve combining multiple unit fractions together, often by adding them.
Finite sums
edit
Any positive rational number can be written as the sum of distinct unit fractions, in multiple ways. For example,
These sums are called Egyptian fractions, because the ancient Egyptian civilisations used them as notation for more general rational numbers. There is still interest today in analyzing the methods used by the ancients to choose among the possible representations for a fractional number, and to calculate with such representations.[8] The topic of Egyptian fractions has also seen interest in modern number theory; for instance, the Erdős–Graham problem[9] and the Erdős–Straus conjecture[10] concern sums of unit fractions, as does the definition of Ore's harmonic numbers.[11]
A pattern of spherical triangles with reflection symmetry across each triangle edge. Spherical reflection patterns like this with , , and triangles at each vertex (here, ) only exist when .
In geometric group theory, triangle groups are classified into Euclidean, spherical, and hyperbolic cases according to whether an associated sum of unit fractions is equal to one, greater than one, or less than one respectively.[12]
Infinite series
edit
Many well-known infinite series have terms that are unit fractions. These include:
A Hilbert matrix is a square matrix in which the elements on the thantidiagonal all equal the unit fraction . That is, it has elements
For example, the matrix
is a Hilbert matrix. It has the unusual property that all elements in its inverse matrix are integers.[19] Similarly, Richardson (2001) defined a matrix whose elements are unit fractions whose denominators are Fibonacci numbers:
where denotes the th Fibonacci number. He calls this matrix the Filbert matrix and it has the same property of having an integer inverse.[20]
Adjacency and Ford circles
edit
Fractions with tangent Ford circles differ by a unit fraction
Two fractions and (in lowest terms) are called adjacent if which implies that they differ from each other by a unit fraction:
For instance, and are adjacent: and . However, some pairs of fractions whose difference is a unit fraction are not adjacent in this sense: for instance, and differ by a unit fraction, but are not adjacent, because for them .[21]
This terminology comes from the study of Ford circles. These are a system of circles that are tangent to the number line at a given fraction and have the squared denominator of the fraction as their diameter. Fractions and are adjacent if and only if their Ford circles are tangent circles.[21]
Applications
edit
Fair division and mathematics education
edit
In mathematics education, unit fractions are often introduced earlier than other kinds of fractions, because of the ease of explaining them visually as equal parts of a whole.[22][23] A common practical use of unit fractions is to divide food equally among a number of people, and exercises in performing this sort of fair division are a standard classroom example in teaching students to work with unit fractions.[24]
Probability and statistics
edit
A six-sided die has probability 1/6 of landing on each side
Unequal probabilities related to unit fractions arise in Zipf's law. This states that, for many observed phenomena involving the selection of items from an ordered sequence, the probability that the th item is selected is proportional to the unit fraction .[26]
Combinatorial optimization
edit
In the study of combinatorial optimization problems, bin packing problems involve an input sequence of items with fractional sizes, which must be placed into bins whose capacity (the total size of items placed into each bin) is one. Research into these problems has included the study of restricted bin packing problems where the item sizes are unit fractions.[27][28]
One motivation for this is as a test case for more general bin packing methods. Another involves a form of pinwheel scheduling, in which a collection of messages of equal length must each be repeatedly broadcast on a limited number of communication channels, with each message having a maximum delay between the start times of its repeated broadcasts. An item whose delay is times the length of a message must occupy a fraction of at least of the time slots on the channel it is assigned to, so a solution to the scheduling problem can only come from a solution to the unit fraction bin packing problem with the channels as bins and the fractions as item sizes.[27]
Even for bin packing problems with arbitrary item sizes, it can be helpful to round each item size up to the next larger unit fraction, and then apply a bin packing algorithm specialized for unit fraction sizes. In particular, the harmonic bin packing method does exactly this, and then packs each bin using items of only a single rounded unit fraction size.[28]
Physics
edit
The hydrogen spectral series, on a logarithmic scale. The frequencies of the emission lines are proportional to differences of pairs of unit fractions.
The energy levels of photons that can be absorbed or emitted by a hydrogen atom are, according to the Rydberg formula, proportional to the differences of two unit fractions. An explanation for this phenomenon is provided by the Bohr model, according to which the energy levels of electron orbitals in a hydrogen atom are inversely proportional to square unit fractions, and the energy of a photon is quantized to the difference between two levels.[29]
Arthur Eddington argued that the fine-structure constant was a unit fraction. He initially thought it to be 1/136 and later changed his theory to 1/137. This contention has been falsified, given that current estimates of the fine structure constant are (to 6 significant digits) 1/137.036.[30]
^Cavey, Laurie O.; Kinzel, Margaret T. (February 2014), "From whole numbers to invert and multiply", Teaching Children Mathematics, 20 (6): 374–383, doi:10.5951/teacchilmath.20.6.0374, JSTOR 10.5951/teacchilmath.20.6.0374
^Solomon, Pearl Gold (2007), The Math We Need to Know and Do in Grades 6 9: Concepts, Skills, Standards, and Assessments, Corwin Press, p. 157, ISBN 978-1-4129-1726-1
^ abBetz, William (1957), Algebra for Today, First Year, Ginn, p. 370
^ abGoodrich, Michael T.; Tamassia, Roberto (2015), "Section 24.2.2: Modular multiplicative inverses", Algorithm Design and Applications, Wiley, pp. 697–698, ISBN 978-1-118-33591-8
^ abBrent, Richard P.; Zimmermann, Paul (2010), "2.5 Modular division and inversion", Modern Computer Arithmetic(PDF), Cambridge Monographs on Applied and Computational Mathematics, vol. 18, Cambridge University Press, pp. 65–68, arXiv:1004.4710, doi:10.1017/cbo9780511921698.001, ISBN 978-1-139-49228-7, S2CID 441260
^Guy, Richard K. (2004), "D11. Egyptian Fractions", Unsolved problems in number theory (3rd ed.), Springer-Verlag, pp. 252–262, ISBN 978-0-387-20860-2
^Elsholtz, Christian; Tao, Terence (2013), "Counting the number of solutions to the Erdős–Straus equation on unit fractions" (PDF), Journal of the Australian Mathematical Society, 94 (1): 50–105, arXiv:1107.1010, doi:10.1017/S1446788712000468, MR 3101397, S2CID 17233943
^Magnus, Wilhelm (1974), Noneuclidean Tesselations and their Groups, Pure and Applied Mathematics, vol. 61, Academic Press, p. 65, ISBN 978-0-08-087377-0, MR 0352287
^Freniche, Francisco J. (2010), "On Riemann's rearrangement theorem for the alternating harmonic series" (PDF), The American Mathematical Monthly, 117 (5): 442–448, doi:10.4169/000298910X485969, JSTOR 10.4169/000298910x485969, MR 2663251, S2CID 20575373
^Roy, Ranjan (1990), "The discovery of the series formula for π by Leibniz, Gregory and Nilakantha" (PDF), Mathematics Magazine, 63 (5): 291–306, doi:10.1080/0025570X.1990.11977541, archived from the original (PDF) on 2023-03-14, retrieved 2023-03-22
^Ayoub, Raymond (1974), "Euler and the zeta function", The American Mathematical Monthly, 81 (10): 1067–86, doi:10.2307/2319041, JSTOR 2319041, archived from the original on 2019-08-14, retrieved 2023-03-22
^Polkinghorne, Ada R. (May 1935), "Young-children and fractions", Childhood Education, 11 (8): 354–358, doi:10.1080/00094056.1935.10725374
^Empson, Susan Baker; Jacobs, Victoria R.; Jessup, Naomi A.; Hewitt, Amy; Pynes, D'Anna; Krause, Gladys (April 2020), "Unit fractions as superheroes for instruction", The Mathematics Teacher, 113 (4): 278–286, doi:10.5951/mtlt.2018.0024, JSTOR 10.5951/mtlt.2018.0024, S2CID 216283105
^Wilson, P. Holt; Edgington, Cynthia P.; Nguyen, Kenny H.; Pescosolido, Ryan C.; Confrey, Jere (November 2011), "Fractions: how to fair share", Mathematics Teaching in the Middle School, 17 (4): 230–236, doi:10.5951/mathteacmiddscho.17.4.0230, JSTOR 10.5951/mathteacmiddscho.17.4.0230
^Welsh, Alan H. (1996), Aspects of Statistical Inference, Wiley Series in Probability and Statistics, vol. 246, John Wiley and Sons, p. 66, ISBN 978-0-471-11591-5
^Saichev, Alexander; Malevergne, Yannick; Sornette, Didier (2009), Theory of Zipf's Law and Beyond, Lecture Notes in Economics and Mathematical Systems, vol. 632, Springer-Verlag, ISBN 978-3-642-02945-5
^ abBar-Noy, Amotz; Ladner, Richard E.; Tamir, Tami (2007), "Windows scheduling as a restricted version of bin packing", ACM Transactions on Algorithms, 3 (3): A28:1–A28:22, doi:10.1145/1273340.1273344, MR 2344019, S2CID 2461059
^ abvan Stee, Rob (June 2012), "SIGACT news online algorithms column 20: The power of harmony" (PDF), ACM SIGACT News, 43 (2): 127–136, doi:10.1145/2261417.2261440, S2CID 14805804
^Kilmister, Clive William (1994), Eddington's Search for a Fundamental Theory: A Key to the Universe, Cambridge University Press, ISBN 978-0-521-37165-0