Diophantus & Late Antiquity

6.1 Alexandria as Mathematical Center

For nearly a thousand years — from its founding by Alexander the Great in 331 BCE to the Arab conquest in 641 CE — Alexandria was the intellectual capital of the Mediterranean world. Situated at the western edge of the Nile Delta, the city served as a crossroads between Greek, Egyptian, Jewish, and eventually Roman and Christian cultures, creating a uniquely cosmopolitan environment for the exchange of ideas.

The heart of Alexandrian intellectual life was the Mouseion(Museum, literally “Seat of the Muses”), a research institution founded by Ptolemy I Soter around 280 BCE. The Mouseion provided scholars with salaries, free meals, lodging, servants, and — most importantly — access to the legendary Library of Alexandria, which at its peak held an estimated 400,000 to 700,000 scrolls, representing the largest collection of knowledge in the ancient world.

Nearly every major Greek mathematician after 300 BCE had some connection to Alexandria: Euclid taught there, Archimedes studied there, Apollonius spent time there, and Eratosthenes served as head librarian. The city's mathematical tradition continued for centuries, producing Heron, Diophantus, Pappus, Theon, and Hypatia — the final links in the chain of classical Greek mathematics.

The Library suffered multiple catastrophes over the centuries. Part of it may have been damaged during Julius Caesar's siege in 48 BCE, and it was further harmed during civil conflicts in the 3rd century CE. Emperor Theodosius ordered the destruction of pagan temples in 391 CE, which may have affected the Serapeum (the “daughter library”). By the time of the Arab conquest, the great Library was largely a memory — but its intellectual legacy had been transmitted through copies, commentaries, and translations that would survive in Byzantium and the Islamic world.

6.2 Diophantus of Alexandria (c. 200–284 CE)

Diophantus is often called the “father of algebra,” though his algebra is very different from what we learn today. Almost nothing is known about his life beyond what can be inferred from his works and a single famous puzzle, preserved in the Greek Anthology (a 6th-century collection), that supposedly describes his lifespan.

The Arithmetica

Diophantus's masterwork, the Arithmetica, originally consisted of 13 books, of which only 6 survived in Greek until 1968, when 4 additional books were discovered in an Arabic translation by Qusta ibn Luqa (9th century). The Arithmetica contains approximately 189 problems, each asking for the solution of an equation or system of equations in rational numbers (not necessarily integers, despite the modern use of “Diophantine” to mean integer solutions).

Diophantine Notation: Syncopated Algebra

The Arithmetica represents a dramatic departure from the geometric tradition of Greek mathematics. While Euclid and Archimedes expressed everything in terms of lengths, areas, and volumes, Diophantus worked directly with numbers and used a form of algebraic notation — not the fully symbolic algebra we use today, but a syncopated system using abbreviations.

This was a significant advance over purely verbal (“rhetorical”) algebra, where every step had to be written out in words. However, it fell short of the fully symbolic algebra developed by Viete and Descartes in the 16th–17th centuries. Diophantus stands at the middle stage: rhetorical algebra (Babylon, early Greece) → syncopated algebra (Diophantus) → symbolic algebra (modern).

6.3 Diophantine Equations

A Diophantine equation is a polynomial equation for which only integer (or rational) solutions are sought. The name honors Diophantus, though he himself typically sought rational solutions. These equations form one of the oldest and richest branches of number theory, and many of the most famous open problems in mathematics are Diophantine in nature.

Pythagorean Triples

The most classical Diophantine equation is the Pythagorean equation:

$$x^2 + y^2 = z^2$$

Diophantus knew the parametric solution. In modern notation, all primitive Pythagorean triples (where $\gcd(x, y, z) = 1$) are given by:

$$x = m^2 - n^2, \quad y = 2mn, \quad z = m^2 + n^2$$

where $m > n > 0$, $\gcd(m, n) = 1$, and $m - n$ is odd. Verification:

$$x^2 + y^2 = (m^2 - n^2)^2 + (2mn)^2 = m^4 - 2m^2n^2 + n^4 + 4m^2n^2 = m^4 + 2m^2n^2 + n^4 = (m^2 + n^2)^2 = z^2$$

Problems from the Arithmetica

Diophantus's method is often described as ad hoc — each problem requires a specific trick or clever substitution. He did not develop general theories or algorithms, but his collection of techniques and the problems he posed inspired centuries of number-theoretic investigation, from the Arab algebraists to Fermat, Euler, and beyond.

6.4 Fermat's Marginal Note

Around 1637, the French mathematician Pierre de Fermat was reading his copy of Claude-Gaspard Bachet's 1621 Latin translation of Diophantus's Arithmetica. In the margin next to Problem II.8 — the very problem of dividing a square into two squares — Fermat wrote the most famous marginal note in the history of mathematics:

This deceptively simple statement — which became known as Fermat's Last Theorem (FLT) — resisted proof for 358 years, becoming the most famous unsolved problem in mathematics. The contrast with the Pythagorean case $n = 2$ is stark: while$x^2 + y^2 = z^2$ has infinitely many integer solutions, Fermat claimed that no such solutions exist for any higher power.

Wiles's proof, published in 1995, runs to over 100 pages and draws on some of the most sophisticated mathematics of the 20th century: elliptic curves, modular forms, Galois representations, and deformation theory. It is almost certain that Fermat did not have a valid proof — his claim likely rested on an argument that worked for specific cases but contained a subtle error in the general case.

6.5 Heron of Alexandria (c. 10–70 CE)

Heron of Alexandria (also known as Hero) was a remarkably versatile mathematician, engineer, and inventor. He wrote on geometry, mechanics, optics, and pneumatics, and is credited with inventing the first known steam engine (the aeolipile), vending machines, and automated theatrical devices. In mathematics, he is best known for Heron's formula for the area of a triangle and for an efficient method of computing square roots.

Derivation Sketch

We can derive Heron's formula from the standard area formula $A = \frac{1}{2}ab\sin C$combined with the law of cosines. By the law of cosines:

$$c^2 = a^2 + b^2 - 2ab\cos C \implies \cos C = \frac{a^2 + b^2 - c^2}{2ab}$$

Using $\sin^2 C = 1 - \cos^2 C$:

$$\sin^2 C = 1 - \left(\frac{a^2 + b^2 - c^2}{2ab}\right)^2 = \frac{4a^2b^2 - (a^2 + b^2 - c^2)^2}{4a^2b^2}$$

The numerator factors as a difference of squares:

$$4a^2b^2 - (a^2 + b^2 - c^2)^2 = [2ab - (a^2 + b^2 - c^2)][2ab + (a^2 + b^2 - c^2)]$$

$$= [c^2 - (a-b)^2][(a+b)^2 - c^2]$$

$$= (c - a + b)(c + a - b)(a + b - c)(a + b + c)$$

Since $s = \frac{a+b+c}{2}$, we have $s - a = \frac{b+c-a}{2}$,$s - b = \frac{a+c-b}{2}$, $s - c = \frac{a+b-c}{2}$. Therefore:

$$A = \frac{1}{2}ab\sin C = \frac{1}{2}ab \cdot \frac{\sqrt{16 \cdot s(s-a)(s-b)(s-c)}}{2ab} = \sqrt{s(s-a)(s-b)(s-c)}$$

Heron's Method for Square Roots

Heron also described an efficient iterative method for computing square roots, now known as the Babylonian method (since it was known much earlier). To compute $\sqrt{S}$, start with an initial guess $x_0$ and iterate:

$$x_{n+1} = \frac{1}{2}\left(x_n + \frac{S}{x_n}\right)$$

6.6 Pappus of Alexandria (c. 290–350 CE)

Pappus of Alexandria was the last of the great Greek geometers. His major work, the Mathematical Collection (Synagoge), is a compendium of eight books covering virtually all of Greek geometry, from elementary constructions to the most advanced results of Archimedes and Apollonius. It is invaluable as a source of information about lost works and as a repository of original theorems.

Pappus's Centroid Theorems

Pappus stated two beautiful theorems relating surfaces and volumes of revolution to centroids, though the full proofs were not given until Guldin (1641). These theorems provide elegant formulas for computing surface areas and volumes.

The Isoperimetric Problem

Pappus also discussed the isoperimetric problem: among all closed curves of a given perimeter, which encloses the greatest area? He argued (following Zenodorus, c. 200 BCE) that the answer is the circle. He also stated the related result for polygons: among all $n$-gons with a given perimeter, the regular $n$-gon has the greatest area.

Pappus illustrated this with an appeal to nature: “Bees, by a certain geometric forethought, know that the hexagon is greater than the square and the triangle, and will hold more honey for the same expenditure of wax.” The honeycomb conjecture — that the regular hexagonal tiling is the most efficient way to partition the plane into equal areas — was only rigorously proved by Thomas Hales in 1999.

6.7 Hypatia of Alexandria (c. 360–415 CE)

Hypatia is the first female mathematician whose life and work are reasonably well documented, and she is widely regarded as the greatest woman scholar of the ancient world. The daughter of Theon of Alexandria — himself a distinguished mathematician who edited the definitive edition of Euclid's Elements — Hypatia was educated in Athens and Alexandria, and became the head of the Neoplatonist school in Alexandria around 400 CE.

Hypatia lectured on mathematics, astronomy, and Neoplatonist philosophy, attracting students from across the Roman world. Contemporary accounts describe her as an extraordinarily charismatic and gifted teacher. Synesius of Cyrene, one of her students who later became a Christian bishop, wrote admiring letters to her and credited her with teaching him to construct an astrolabe and a hydrometer.

Mathematical Works

None of Hypatia's writings survive in their original form, but ancient sources attribute to her:

• Commentary on Diophantus's Arithmetica — likely covering Books I–VI. Some scholars believe that parts of the surviving text of the Arithmeticaactually incorporate Hypatia's commentary, making it impossible to separate her contributions from Diophantus's original.
• Commentary on Apollonius's Conics — possibly covering the later books that were less widely studied. This would have helped preserve knowledge of Apollonius's more advanced results.
• Astronomical Canon — a revision of Ptolemy's Handy Tables, with corrections and improvements to the astronomical calculations.

Hypatia also collaborated with her father Theon on his edition of Ptolemy's Almagestand on Book III of Theon's commentary on the Almagest, which Theon himself credits to her: “Edition prepared by my daughter Hypatia, the philosopher.”

Tragic Death

In March 415 CE, Hypatia was murdered by a mob of Christian zealots led by a lector named Peter, apparently at the instigation of Cyril, the bishop of Alexandria. The church historian Socrates Scholasticus provides a harrowing account: she was dragged from her chariot, taken to a church, stripped, and killed with broken pottery tiles (ostraka), after which her body was dismembered and burned.

The murder was politically motivated — Hypatia was a close advisor to the Roman prefect Orestes, who was in conflict with Bishop Cyril over the respective powers of church and state. But it also symbolizes the growing hostility of the late Roman world toward pagan learning and philosophy. Hypatia's death is often taken as a symbolic end of the classical intellectual tradition in Alexandria, though mathematical activity continued there for another century.

6.8 The Decline

The last centuries of the classical era saw the gradual extinction of the Greek mathematical tradition. Several converging forces — political instability, religious transformation, economic decline, and the loss of institutional support — combined to end the most productive period in the history of mathematics.

The Closing of the Athenian Schools (529 CE)

In 529 CE, the Byzantine Emperor Justinian I issued an edict closing the philosophical schools of Athens, including the Academy that Plato had founded over 900 years earlier. The last head of the Academy, Damascius, along with six other philosophers (including the mathematician Simplicius), fled to the court of the Sassanid king Khosrau I in Persia.

This event is often taken as the definitive end of ancient Greek philosophy and science. Though the philosophers eventually returned to the Roman Empire under a peace treaty, they were forbidden to teach publicly. The institutional infrastructure that had supported mathematical research for nearly a millennium was gone.

Transmission to the Islamic World

The Greek mathematical heritage was preserved through two main channels:

• Byzantine preservation: Greek-speaking scholars in Constantinople maintained and copied manuscripts of Euclid, Archimedes, Apollonius, Diophantus, and others. These manuscripts would eventually reach Western Europe during the Renaissance.
• Arabic translation: During the Islamic Golden Age (8th–14th centuries), a massive translation movement centered at the Bayt al-Hikma(House of Wisdom) in Baghdad rendered the major Greek mathematical texts into Arabic. Scholars such as Hunayn ibn Ishaq, Thabit ibn Qurra, and Qusta ibn Luqa translated Euclid, Archimedes, Apollonius, Diophantus, Ptolemy, and many others.

The Arabic translations were not merely passive preservation. Islamic mathematicians — al-Khwarizmi, Omar Khayyam, al-Haytham, and many others — studied the Greek works, corrected errors, filled gaps, and made major new contributions, particularly in algebra, trigonometry, and number theory.

What Was Lost

Despite the preservation efforts, significant portions of the Greek mathematical corpus were lost. Among the known losses:

• Apollonius's Conics, Book VIII — the final book of Apollonius's masterwork, never recovered in any language
• Seven of the thirteen books of Diophantus's Arithmetica — partially recovered through the 1968 Arabic discovery
• Most works of the Pythagorean school — known only through fragments and later reports
• Archimedes's The Method — survived only in the palimpsest discovered in 1906
• Hippocrates's Elements — an earlier systematic geometry, entirely lost
• Eudemus's History of Geometry — the earliest history of Greek mathematics, known only from excerpts in Proclus

6.9 Legacy

The mathematicians of late antiquity — Diophantus, Heron, Pappus, Hypatia — served as the crucial bridge between the classical Greek tradition and the medieval world. Their works preserved, organized, and in some cases extended the achievements of the great age of Greek mathematics, ensuring that the insights of Euclid, Archimedes, and Apollonius would survive the political and cultural upheavals of late antiquity.

Diophantus's Arithmetica would be rediscovered in Europe during the Renaissance, and its problems would directly inspire the work of Fermat, Euler, and the development of modern number theory. Heron's iterative methods for square roots are essentially identical to Newton's method in calculus — a technique reinvented 1,600 years later. Pappus's theorems on centroids became standard tools in engineering. And the spirit of rigorous mathematical inquiry that began with Thales and culminated in the great works of Euclid, Archimedes, and Apollonius would be rekindled in the Islamic Golden Age and ultimately in the scientific revolution of early modern Europe.

With the decline of classical civilization, the center of mathematical activity shifted decisively eastward — to Baghdad, to Samarkand, to the courts of the Islamic caliphs. There, building on the Greek foundation preserved by the translators of Alexandria and Byzantium, a new mathematical tradition would flourish, producing the algebra of al-Khwarizmi, the geometry of Omar Khayyam, and the optics of al-Haytham. The story of mathematics was far from over — it was about to enter a brilliant new chapter.

“Reserve your right to think, for even to think wrongly is better than not to think at all.” — Hypatia (attributed by Damascius)