1 STUDY IN EGYPTIN FRCTIONS Robert P. Schneider Whether operating with fingers, stones or hieroglyphic symbols, the ancient mathematician would have been in many respects as familiar with the integers and rational numbers as is the modern researcher. If we regard both written symbols and unwritten arrangements of objects to be forms of notation for numbers, then through the ancient notations and their related number systems flowed the same arithmetic properties associativity, commutativity, distributivity that we know so intimately today, having probed and extended these empirical laws using modern tools such as set theory and Peano s axioms. It is fascinating to contemplate that we share our base-ten number system and its arithmetic, almost as natural to us as sunlight and the air we breathe, with the scribes of ancient Egypt [1, p. 85]. We use different symbols to denote the numbers and operations, but our arithmetic was theirs as well. Our notation for fractions even mimics theirs with its two-tiered arrangement foreshadowing our numerator and denominator; however, the Egyptian notation for fractions leaves no space for numbers in the numerator, the position being filled by a hieroglyphic symbol meaning part [1, p. 93]. side from having special symbols to denote 2/3 and 3/4, the Egyptians always understood the numerator to be equal to unity in their fractions [4]. The representation of an improper fraction as the sum of distinct unit fractions, or fractions having numerators equal to one, is referred to as an Egyptian fraction [3]. I found the Egyptians use of fractions, as well as their multiplication and division algorithms [1, pp. 88-101], to be surprisingly subtle; in fact, certain questions that would
2 have been of interest to Egyptian mathematicians remain unanswered still. The Erdős- Straus conjecture, for example, concerns whether the fraction 4/n can be written as the sum of three unit fractions for every positive integer n [3]. While the conjecture is suggested by ancient mathematical tables, my own cursory investigation into the problem had me delving into polynomials, the law of quadratic reciprocity, Z-cyclic groups, hypergeometric series, continued fractions and other topics largely beyond the scope of ancient thinkers yet in the end, nearly all of my own findings could have been arrived at using Egyptian methods and notations. fter a false start searching for integer roots to quadratic polynomials, I began my investigation into the Erdős-Straus conjecture with the observation that 1 n = n + 1 n(n + 1) = 1 n + 1 + 1 n(n + 1). Then we have the general formula for decomposing the fraction /n having numerator equal to a positive integer n = n + 1 + n(n + 1). Using this identity for different cases, we find that 2/n can always be written as the sum of either one or two unit fractions, depending on whether n is even or odd; 3/n can always be written as the sum of either one or two unit fractions, except when n 1 (mod 3); and 4/n can always be written as the sum of one, two, or three unit fractions, except when n 1 (mod 4). In the noted cases n 1 (mod 3) and n 1 (mod 4), the above formula fails to yield unit fractions.
3 nother obvious tactic may be used to improve this result; if we partition into distinct positive integers, say = a 1 + a 2 + a 3 + +a k, then we might rewrite the problem in terms of smaller fractions that may be easier to solve or look up in a table n = a 1 n + a 2 n + a 3 n + + a k n. The simplest such partition yields the identity n = 1 n + 1 n. pplying this identity in the case = 4, n 1 (mod 4), we find 4 n = 1 n + 3 n. By the result cited above for = 3, the fraction 3/n on the right-hand side may be written as the sum of two unit fractions except when n 1 (mod 3). It follows then that 4/n may be written as the sum of three or fewer unit fractions unless both n 1 (mod 3) and n 1 (mod 4) hold true simultaneously, leaving only the case n 1 (mod 12) as requiring more than three unit fractions to represent 4/n using the above decomposition procedure. Therefore, 4/n can be written as the sum of three or fewer unit fractions in all cases when n 1 (mod 12), and the number of terms may be increased by decomposition to satisfy the statement of the Erdős-Straus conjecture [3] if fewer than three are produced. Furthermore, if there exists at least one divisor d 1 n such that d 1 1 (mod 12), we may write 4/d 1 as the sum of three unit fractions; then the product
4 4 n = 4 d 1 d 2 = 1 d 2 4 d 1 is also the sum of three unit fractions. I was not able to address whether it is generally possible for 4/n to be written as three unit fractions when n 1 (mod 12), only to show that such a representation cannot always be obtained by the methods outlined above. One part of my investigation into Egyptian fractions certainly lay beyond the reach of Egyptian mathematics; I used Euler s formula for continued fractions [5] and a recursive argument to extend the above methods for decomposing fractions, the proof of which I omit here, leading to the identity when x R +, a 0 = 1, b i = a i x+a i+1, 1 x k i = a x + a i+1 k=0 i=0 = b 0 b 1 1 b 1 + b 1 2 b 1 + b 2 3 1 + b 3 which holds when the infinite series converges. Yet only slight abuses of Egyptian notation are necessary to allow for the expression of such modern mathematical ideas. If he were to allow the introduction of infinite processes, the Egyptian scribe would not be far from the study of infinite geometric series, the Riemann zeta function, and other sums of unit fractions central to modern mathematics; in addition, the scribe might adjoin a miniature fraction to the whole number in the denominator of his unit fraction, giving birth to regular continued fractions [2] and brushing up against the theory of irrational numbers. Recognizing the Egyptians ingenuity in working with multiplication, division, and operations involving fractions, it seems that many of the arithmetic patterns studied in
5 number theory and other branches of modern mathematics topics such as finite geometric series, quadratic reciprocity, distribution of primes in arithmetic progressions and Goldbach s conjecture were in principle available for investigation by ancient minds. Moreover, certain patterns appear more naturally in one number system or notation than in another; perhaps talented scribes noticed and experimented with such patterns, rediscovering them again and again over the millennia, their unrecorded knowledge evaporating in history. References 1. Joseph, G. G. The Crest of the Peacock: Non-European Roots of Mathematics. Princeton & Oxford: Princeton University Press, 2011. 2. Continued fraction. Wikipedia: The Free Encyclopedia. Jan. 31, 2012 <http://en.wikipedia.org/wiki/continued_fraction>. 3. Egyptian fraction. Wikipedia: The Free Encyclopedia. Jan. 31, 2012 <http://en.wikipedia.org/wiki/egyptian_fraction>. 4. Egyptian numerals. Wikipedia: The Free Encyclopedia. Jan. 31, 2012 <http://en.wikipedia.org/wiki/egyptian_numerals>. 5. Euler s continued fraction formula. Wikipedia: The Free Encyclopedia. Jan. 31, 2012 <http://en.wikipedia.org/wiki/euler's_continued_fraction_formula>.