IM 67118

IM 67118, also known as Db2-146, is an Old Babylonian clay tablet in the collection of the National Museum of Iraq that contains the solution to a problem in plane geometry concerning a rectangle with given area and diagonal. In the last part of the text the solution is proved correct by means of the Pythagorean theorem. The steps of the solution are believed to represent cut-and-paste geometry operations involving a diagram from which, it has been suggested, ancient Mesopotamians might, at an earlier time, have derived the Pythagorean theorem.

Description

The tablet was excavated in 1962 at Tell edh-Dhiba'i, an Old Babylonian settlement near modern Baghdad that was once part of the kingdom of Eshnunna, and was published by Taha Baqir in the same year.[1][2] It dates to approximately 1770 BCE (according to the middle chronology), during the reign of Ibal-pi-el II, who ruled Eshnunna at the same time that Hammurabi ruled Babylon.[3] The language of the tablet is Akkadian, written in cuneiform script. There are 19 lines of text on the tablet's obverse and six on its reverse. The reverse also contains a diagram consisting of the rectangle of the problem and one of its diagonals. Along that diagonal is written its length in sexagesimal notation; the area of the rectangle is written in the triangular region below the diagonal.[citation needed]

Problem and its solution

In modern mathematical language, the problem posed on the tablet is the following: a rectangle has area A = 0.75 and diagonal c = 1.25. What are the lengths a and b of the sides of the rectangle?

The solution can be understood as proceeding in two stages: in stage 1, the quantity ${\displaystyle {\sqrt {c^{2}-2A}}}$ is computed to be 0.25. In stage 2, the well-attested Old Babylonian method of completing the square is used to solve what is effectively the system of equations b − a = 0.25, ab = 0.75.[4] Geometrically this is the problem of computing the lengths of the sides of a rectangle whose area A and side-length difference ba are known, which was a recurring problem in Old Babylonian mathematics.[5] In this case it is found that b = 1 and a = 0.75. The solution method suggests that whoever devised the solution was using the property c2 − 2A = c2 − 2ab = (b − a)2. It must be emphasized, however, that the modern notation for equations and the practice of representing parameters and unknowns by letters were unheard of in ancient times. It is now widely accepted as a result of Jens Høyrup's extensive analysis of the vocabulary of Old Babylonian mathematics, that underlying the procedures in texts such as IM 67118 was a set of standard cut-and-paste geometric operations, not a symbolic algebra.[6][7]

Possible geometric basis for solution of IM 67118. Solid lines of the figure show stage 1; dashed lines and shading show stage 2. The central square has side b − a. The light gray region is the gnomon of area A = ab. The dark gray square (of side (b − a)/2) completes the gnomon to a square of side (b + a)/2. Adding (b − a)/2 to the horizontal dimension of the completed square and subtracting it from the vertical dimension produces the desired rectangle.

From the vocabulary of the solution Høyrup concludes that c2, the square of the diagonal, is to be understood as a geometric square, from which an area equal to 2A is to be "cut off", that is, removed, leaving a square with side b − a. Høyrup suggests that the square on the diagonal was possibly formed by making four copies of the rectangle, each rotated by 90°, and that the area 2A was the area of the four right triangles contained in the square on the diagonal. The remainder is the small square in the center of the figure.[8]

The geometric procedure for computing the lengths of the sides of a rectangle of given area A and side-length difference b − a was to transform the rectangle into a gnomon of area A by cutting off a rectangular piece of dimensions ½(b − a) and pasting this piece onto the side of the rectangle. The gnomon was then completed to a square by adding a smaller square of side ½(b − a) to it.[9][5] In this problem, the side of the completed square is computed to be ${\displaystyle {\sqrt {A+{\tfrac {1}{4}}(b-a)^{2}}}={\sqrt {0.75+0.015625}}=0.875}$. The quantity ½(b − a)=0.125 is then added to the horizontal side of the square and subtracted from the vertical side. The resulting line segments are the sides of the desired rectangle.[9]

One difficulty in reconstructing Old Babylonian geometric diagrams is that known tablets never include diagrams in solutions—even in geometric solutions where explicit constructions are described in text—although diagrams are often included in formulations of problems. Høyrup argues that the cut-and paste geometry would have been performed in some medium other than clay, perhaps in sand or on a "dust abacus", at least in the early stages of a scribe's training before mental facility with geometric calculation had been developed.[10][11]

Friberg does describe some tablets containing drawings of "figures within figures", including MS 2192 in which the band separating two concentric equilateral triangles is divided into three trapezoids. He writes "The idea of computing the area of a triangular band as the area of a chain of trapezoids is a variation on the idea of computing the area of a square band as the area of a chain of four rectangles. This is a simple idea, and it is likely that it was known by Old Babylonian mathematicians, although no cuneiform mathematical text has yet been found where this idea enters in an explicit way." He goes on to argue that this idea is implicit in the text of IM 67118.[12] He also invites a comparison with the diagram of YBC 7329, in which two concentric squares are shown. The band separating the squares is not subdivided into four rectangles on this tablet, but the numerical value of the area of one of the rectangles area does appear next to the figure.[13]

Checking the solution

The solution b = 1, a = 0.75 is proved correct by computing the areas of squares with the corresponding side-lengths, adding these areas, and computing the side-length of the square with the resulting area, that is, by taking the square root. This is an application of the Pythagorean theorem, ${\displaystyle c={\sqrt {a^{2}+b^{2}}}}$, and the result agrees with the given value, c = 1.25.[9][14] That the area is also correct is verified by computing the product, ab.[9]

Translation

The following translation is given in Britton, Proust, and Shnider and is based on the translation of Høyrup,[15] which in turn is based on the hand copy and transliteration of Baqir,[16] with some small corrections. Babylonian sexagesimal numbers are translated into decimal notation with base-60 digits separated by commas. Hence 1,15 means 1 + 15/60 = 5/4 = 1.25. Note that there was no "sexagesimal point" in the Babylonian system, so the overall power of 60 multiplying a number had to be inferred from context. The translation is "conformal", which, as described by Eleanor Robson, "involves consistently translating Babylonian technical terms with existing English words or neologisms which match the original meanings as closely as possible"; it also preserves Akkadian word order.[7] Old Babylonian mathematics used different words for multiplication depending on the underlying geometric context, and similarly for the other arithmetic operations.[17]

Obverse

2. thus, 1,15 the diagonal, 45 the surface;
3. length and width corresponding to what? You, by your proceeding,
4. 1,15, your diagonal, its counterpart lay down:
5. make them hold: 1,33,45 comes up,
6. 1,33,45 may (?) your (?) hand hold (?)
7. 45 your surface to two bring: 1,30 comes up.
8. From 1,33,45 cut off: 3,45[18] the remainder.
9. The equalside of 3,45 take: 15 comes up. Its half-part,
10. 7,30 comes up, to 7,30 raise: 56,15 comes up
12. 45,56,15 comes up. The equalside of 45,56,15 take:
13. 52,30 comes up, 52,30 its counterpart lay down,
14. 7,30 which you have made hold to one
15. append: from one
16. cut off. 1 your length, 45 the width. If 1 the length,
17. 45 the width, the surface and the diagonal corresponding to what?
18. (You by your) making, the length make hold:

Reverse

1. [...]: 45, the width, make hold:
2. 33,45 comes up. To your length append:
3. 1,33,45 comes up. The equalside of 1,33,45 take:
5. to the width raise, 45 your surface.
6. Thus the procedure.[19]

The statement of the problem is given in lines 1–3, stage 1 of the solution in lines 3–9, stage 2 of the solution in lines 9–16, and verification of the solution in lines 16–24. Note that "1,15 your diagonal, its counterpart lay down: make them hold" means to form a square by laying down perpendicular copies of the diagonal, the "equalside" is the side of a square, or the square root of its area, "may your head hold" means to remember, and "your hand" may refer to a "a pad or a device for computation".[9]

Relation to other texts

Problem 2 on the tablet MS 3971 in the Schøyen collection, which was published by Friberg, is identical to the problem on IM 67118. The solution is very similar, but proceeds by adding 2A to c2, rather than subtracting it. The side of the resulting square equals b + a = 1.75 in this case. The system of equations b + a = 1.75, ab = 0.75 is again solved by completing the square. MS 3971 contains no diagram and does not perform the verification step. Its language is "terse" and uses many Sumerian logograms in comparison with the "verbose" IM 67118, which is in syllabic Akkadian.[20] Friberg believes this text comes from Uruk, in southern Iraq, and dates it prior to 1795 BCE.[21]

Friberg points out that a similar problem shows up in a 3rd century BCE Egyptian Demotic papyrus, P. Cairo, problems 34 and 35, published by Parker in 1972.[22] Friberg also sees a possible connection to A.A. Vaiman's explanation of an entry in the Old Babylonian table of constants TMS 3, which reads, "57 36, constant of the šàr". Vaiman notes that the cuneiform sign for šàr resembles a chain of four right triangles arranged in a square, as in the proposed figure. The area of such a chain is 24/25 (equal to 57 36 in sexagesimal) if one assumes 3-4-5 right triangles with hypotenuse normalized to length 1.[22] Høyrup writes that the problem of IM 67118 "turns up, solved in precisely the same way, in a Hebrew manual from 1116 ce".[23]

Significance

Although the problem on IM 67118 is concerned with a specific rectangle, whose sides and diagonal form a scaled version of the 3-4-5 right triangle, the language of the solution is general, usually specifying the functional role of each number as it is used. In the later part of the text an abstract formulation is seen in places, making no reference to particular values ("the length make hold", "Your length to the width raise."). Høyrup sees in this "an unmistakeable trace of the 'Pythagorean rule' in abstract formulation".[24]

The manner of discovery of the Pythagorean rule is unknown, but some scholars see in the method of solution used on IM 67118 a possible path. The observation that subtracting 2A from c2 yields (b − a)2 need only be augmented by a geometric rearrangement of areas corresponding to a2, b2, and −2A = −2ab to obtain rearrangement proof of the rule, one which is well known in modern times and which is also suggested in the third century CE in Zhao Shuang's commentary on the ancient Chinese Zhoubi Suanjing (Gnomon of the Zhou).[25][22][26][27] The formulation of the solution in MS 3971, problem 2, having no subtracted areas, provides a possibly even more straightforward derivation.[25][28]

Høyrup proposes the hypothesis, based in part on similarities among word problems that reappear over a broad range of times and places, and on the language and numerical content of such problems, that much of the scribal Old Babylonian mathematical material was imported from the practical surveyor tradition, where solving riddle problems was used as a badge of professional skill. Høyrup believes that this surveyor culture survived the demise of Old Babylonian scribal culture that resulted from the Hittite conquest of Mesopotamia in the early 16th century BCE, and that it influenced the mathematics of ancient Greece, of Babylon during the Seleucid period, of the Islamic empire, and of medieval Europe.[29] Among the problems Høyrup ascribes to this practical surveyor tradition are a number of rectangle problems requiring completing the square, including the problem of IM 67118.[30] On the basis that no third millennium BCE references to the Pythagorean rule are known, and that the formulation of IM 67118 is already adapted to the scribal culture, Høyrup writes, "To judge from this evidence alone it is therefore likely that the Pythagorean rule was discovered within the lay surveyors’ environment, possibly as a spin-off from the problem treated in Db2-146, somewhere between 2300 and 1825 BC."[31] Thus the rule named after Pythagoras, who was born about 570 BCE and died c.495 BCE,[32] is shown to have been discovered about 12 centuries before his birth.[citation needed]

Notes

1. ^ Lamia Al-Gailani Werr gives an account of her work on the excavation in Werr (2005): "I began working at Tell al-Dhibai on the outskirts of Baghdad, where we discovered a second-millenium B.C. Babylonian town with quite an imposing temple, an administrative building, and many houses. The finds from the site, while not visually spectacular, were incredibly important. There were more than 600 cuneiform tablets mostly dealing with business contracts and agricultural matters, but one was unique—it was a mathematical text that was later read by Taha Baqir and identified as a proof of the Pythagorean theorem, worked out some 2,000 years before the Greek mathematician's lifetime."
2. ^ Isma'el & Robson (2010), p. 151
3. ^ Isma'el & Robson (2010), p. 152
4. ^ Britton, Proust & Shnider (2011), p. 548–550
5. ^ a b Britton, Proust & Shnider (2011), p. 527
6. ^ Høyrup (2002)
7. ^ a b Robson (2002)
8. ^ Høyrup (2002), p. 259
9. Høyrup (2002), p. 260
10. ^ Høyrup (1990), pp. 285–287
11. ^ Høyrup (2017), pp. 95–97
12. ^ Friberg (2007), p. 205
13. ^ Friberg (2007), p. 213
14. ^ Britton, Proust & Shnider (2011), p. 550–551
15. ^ Høyrup (2002), pp. 258–259
16. ^ Baqir (1962) pl. 2–3
17. ^ Høyrup (2002), pp. 18–32
18. ^ The tablet reads 1,33,45 here, an apparent typographical error.
19. ^ Britton, Proust & Shnider (2011), p. 550
20. ^ Friberg (2007), p. 252
21. ^ Friberg (2007), p. 245
22. ^ a b c Friberg (2007), p. 206
23. ^ Høyrup (2017), p. 127
24. ^ Høyrup (2017), p. 128
25. ^ a b Høyrup (2002), p. 261
26. ^ Britton, Proust & Shnider (2011), pp. 547–548
27. ^ Høyrup (2016), pp. 463–464
28. ^ Friberg (2007), p. 251
29. ^ Høyrup (2017), chapter 8
30. ^ Høyrup (2017), p. 107
31. ^ Høyrup (1998), p. 406
32. ^ Guthrie (1978)

References

• Baqir, Taha (1962). "Tell Dhiba'i: New mathematical texts". Sumer. 18: 11–14, pl. 1–3.
• Britton, John P.; Proust, Christine; Shnider, Steve (2011). "Plimpton 322: a review and a different perspective". Archive for History of Exact Sciences. 65 (5): 519–566. doi:10.1007/s00407-011-0083-4.
• Friberg, Jöran (2007), A Remarkable Collection of Babylonian Mathematical Texts: Manuscripts in the Schøyen Collection, Cuneiform Texts I, Sources and Studies in the History of Mathematics and Physical Sciences, Berlin: Springer, ISBN 978-0-387-48977-3
• Guthrie, William Keith Chambers (1978). A history of Greek philosophy, Volume 1: The earlier Presocratics and the Pythagoreans. Cambridge University Press. p. 173. ISBN 978-0-521-29420-1. The dates of [Pythagoras'] life cannot be fixed exactly, but assuming the approximate correctness of the statement of Aristoxenus (ap. Porph. V.P. 9) that he left Samos to escape the tyranny of Polycrates at the age of forty, we may put his birth round about 570 BC, or a few years earlier. The length of his life was variously estimated in antiquity, but it is agreed that he lived to a fairly ripe old age, and most probably he died at about seventy-five or eighty.
• Høyrup, Jens (1990). "Algebra and naive geometry: an investigation of some basic aspects of Old Babylonian mathematical thought II". Altorientalische Forschungen. 17 (1–2): 262–354. doi:10.1524/aofo.1990.17.12.262.
• Høyrup, Jens (1998). "Pythagorean 'Rule' and 'Theorem' – Mirror of the Relation Between Babylonian and Greek Mathematics". In Renger, Johannes (ed.). Babylon: Focus mesopotamischer Geschichte, Wiege früher Gelehrsamkeit, Mythos in der Moderne. 2. Internationales Colloquium der Deutschen Orient-Gesellschaft 24.–26. März 1998 in Berlin (PDF). Berlin: Deutsche Orient-Gesellschaft / Saarbrücken: SDV Saarbrücker Druckerei und Verlag. pp. 393–407.
• Høyrup, Jens (2002). Lengths, Widths and Surfaces. A portrait of old Babylonian algebra and its kin. Sources and Studies in the History of Mathematics and Physical Sciences. Springer. doi:10.1007/978-1-4757-3685-4. ISBN 978-1-4419-2945-7.
• Høyrup, Jens (2016). "Seleucid, Demotic and Mediterranean Mathematics versus Chapters VIII and IX of the Nine Chapters: Accidental or Significant Similarities?" (PDF). Studies in the History of Natural Sciences. 35 (4): 463–476.
• Høyrup, Jens (2017). Algebra in Cuneiform: Introduction to an Old Babylonian Geometrical Technique. Edition Open Access. ISBN 978-3-945561-15-7.
• Isma'el, Khalid Salim; Robson, Eleanor (2010). "Arithmetical tablets from Iraqi excavations in the Diyala". In Baker, H.D.; Robson, E.; Zólyomi, G.G. (eds.). Your praise is sweet: a memorial volume for Jeremy Black from students, colleagues and friends. London: British Institute for the Study of Iraq. pp. 151–164. ISBN 978-0-903472-28-9.
• Robson, Eleanor (22 May 2002). "MAA Review: Lengths, Widths, Surfaces: A Portrait of Old Babylonian Algebra and its Kin". Mathematical Association of America.
• Werr, Lamia Al-Gailani (2005). "Chapter 1: A Museum is Born". In Polk, Milbry; Schuster, Angela M. H. (eds.). The Looting of the Iraq Museum Baghdad: the Lost Legacy of Ancient Mesopotamia. New York: Harry N. Abrams. pp. 27–33.