Diophantus II.VIII
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Diophantus_1_jpg.jpg/300px-Diophantus_1_jpg.jpg)
The eighth problem of the second book of Arithmetica by Diophantus (c. 200/214 AD – c. 284/298 AD) is to divide a square into a sum of two squares.
The solution given by Diophantus
Diophantus takes the square to be 16 and solves the problem as follows:[1]
To divide a given square into a sum of two squares.
To divide 16 into a sum of two squares.
Let the first summand be , and thus the second . The latter is to be a square. I form the square of the difference of an arbitrary multiple of x diminished by the root [of] 16, that is, diminished by 4. I form, for example, the square of 2x − 4. It is . I put this expression equal to . I add to both sides and subtract 16. In this way I obtain , hence .
Thus one number is 256/25 and the other 144/25. The sum of these numbers is 16 and each summand is a square.
Geometrical interpretation
Geometrically, we may illustrate this method by drawing the circle x2 + y2 = 42 and the line y = 2x - 4. The pair of squares sought are then x02 and y02, where (x0, y0) is the point not on the y-axis where the line and circle intersect. This is shown in the adjacent diagram.
Generalization of Diophantus's solution
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Diophantus_2.jpg/300px-Diophantus_2.jpg)
We may generalize Diophantus's solution to solve the problem for any given square, which we will represent algebraically as a2. Also, since Diophantus refers to an arbitrary multiple of x, we will take the arbitrary multiple to be tx. Then:
Therefore, we find that one of the summands is and the other is . The sum of these numbers is and each summand is a square. Geometrically, we have intersected the circle x2 + y2 = a2 with the line y = tx - a, as shown in the adjacent diagram.[2] Writing the lengths, OB, OA, and AB, of the sides of triangle OAB as an ordered tuple, we obtain the triple
- .
The specific result obtained by Diophantus may be obtained by taking a = 4 and t = 2:
We see that Diophantus' particular solution is in fact a subtly disguised (3, 4, 5) triple. However, as the triple will always be rational as long as a and t are rational, we can obtain an infinity of rational triples by changing the value of t, and hence changing the value of the arbitrary multiple of x.
This algebraic solution needs only one additional step to arrive at the Platonic sequence and that is to multiply all sides of the above triple by a factor . Notice also that if a = 1, the sides [OB, OA, AB] reduce to
In modern notation this is just for θ shown in the above graph, written in terms of the cotangent t of θ/2. In the particular example given by Diophantus, t has a value of 2, the arbitrary multiplier of x. Upon clearing denominators, this expression will generate Pythagorean triples. Intriguingly, the arbitrary multiplier of x has become the cornerstone of the generator expression(s).
Diophantus II.IX reaches the same solution by an even quicker route which is very similar to the 'generalized solution' above. Once again the problem is to divide 16 into two squares.[3]
Let the first number be N and the second an arbitrary multiple of N diminished by the root (of) 16. For example 2N − 4. Then:
Fermat's famous comment which later became Fermat's Last Theorem appears sandwiched between 'Quaestio VIII' and 'Quaestio IX' on page 61 of a 1670 edition of Arithmetica.
See also
References
- ^ Arithmetica, Diophantus. Book II, problem 8. As paraphrased on p. 24, Diophantus and Diophantine Equations, Isabella Grigoryevna Bashmakova, updated by Joseph Silverman, tr. from Russian by Abe Shenitzer and Hardy Grant. Washington, DC: The Mathematical Association of America, 1997. ISBN 0-88385-526-7. Orig. pub. Moscow: Nauke, 1972. A typo has been corrected in the quote.
- ^ Bashmakova, pp. 24–25.
- ^ This solution is II.IX in the numbering of Diophantos of Alexandria: A Study in the History of Greek Algebra, Sir Thomas Little Heath, Cambridge: University of Cambridge Press, 1885. In the numbering of Diophanti Alexandrini Opera Omnia cum Graecis Commentariis, ed. and translated by Paul Tannery, Leipzig: B. G. Teubner, 1893, it is part of II.VIII.
- v
- t
- e
(timeline)
- Anaxagoras
- Anthemius
- Archytas
- Aristaeus the Elder
- Aristarchus
- Aristotle
- Apollonius
- Archimedes
- Autolycus
- Bion
- Bryson
- Callippus
- Carpus
- Chrysippus
- Cleomedes
- Conon
- Ctesibius
- Democritus
- Dicaearchus
- Diocles
- Diophantus
- Dinostratus
- Dionysodorus
- Domninus
- Eratosthenes
- Eudemus
- Euclid
- Eudoxus
- Eutocius
- Geminus
- Heliodorus
- Heron
- Hipparchus
- Hippasus
- Hippias
- Hippocrates
- Hypatia
- Hypsicles
- Isidore of Miletus
- Leon
- Marinus
- Menaechmus
- Menelaus
- Metrodorus
- Nicomachus
- Nicomedes
- Nicoteles
- Oenopides
- Pappus
- Perseus
- Philolaus
- Philon
- Philonides
- Plato
- Porphyry
- Posidonius
- Proclus
- Ptolemy
- Pythagoras
- Serenus
- Simplicius
- Sosigenes
- Sporus
- Thales
- Theaetetus
- Theano
- Theodorus
- Theodosius
- Theon of Alexandria
- Theon of Smyrna
- Thymaridas
- Xenocrates
- Zeno of Elea
- Zeno of Sidon
- Zenodorus
- Almagest
- Archimedes Palimpsest
- Arithmetica
- Conics (Apollonius)
- Catoptrics
- Data (Euclid)
- Elements (Euclid)
- Measurement of a Circle
- On Conoids and Spheroids
- On the Sizes and Distances (Aristarchus)
- On Sizes and Distances (Hipparchus)
- On the Moving Sphere (Autolycus)
- Optics (Euclid)
- On Spirals
- On the Sphere and Cylinder
- Ostomachion
- Planisphaerium
- Spherics (Theodosius)
- Spherics (Menelaus)
- The Quadrature of the Parabola
- The Sand Reckoner
and definitions
- Angle
- Axiomatic system
- Chord
- Circles of Apollonius
- Circumscribed circle
- Commensurability
- Diophantine equation
- Doctrine of proportionality
- Euclidean geometry
- Golden ratio
- Greek numerals
- Incircle and excircles of a triangle
- Method of exhaustion
- Parallel postulate
- Platonic solid
- Lune of Hippocrates
- Quadratrix of Hippias
- Regular polygon
- Straightedge and compass construction
- Triangle center
History of | |
---|---|
Other cultures |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Parthenon_from_west.jpg/16px-Parthenon_from_west.jpg)
![icon](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Nuvola_apps_edu_mathematics_blue-p.svg/16px-Nuvola_apps_edu_mathematics_blue-p.svg.png)