Hypatia taught in Alexandria for perhaps thirty years, and almost nothing she wrote survives under her name. What survives is a shape: the commentary. She edited her father Theon's text of Ptolemy, she commented on the Arithmetica of Diophantus, and she commented on the Conics of Apollonius of Perga. A commentator is not a lesser mathematician. In late antiquity the commentary was the form in which mathematics was transmitted, corrected and kept alive, and a text that no one commented on is a text we do not have.
She belongs in this gallery for a reason narrower than her fame. She was a Neoplatonist, and for a Neoplatonist mathematics is not a tool. It is the middle term of an ascent — the discipline that trains the soul to think about what does not change, on the way to what is above thinking. Her student Synesius, later a bishop, wrote to her about building an astrolabe and about the silver hydrometer he wanted her help with. The instrument and the ascent were the same practice. That is the test for this gallery, and she passes it without argument.
Reckon me not among the unhappy… you were my mother, sister, teacher, and withal my benefactress.
Synesius of Cyrene, Letter 16, to Hypatia · CITED
What she actually worked on, and what is guesswork
This page is careful here, because Hypatia is a figure people project onto. The honest inventory is short.
| The work | Standing |
|---|---|
| Edited Book III of Theon's commentary on Ptolemy's Almagest, credited in the manuscript heading | CITED — the attribution is in the text itself |
| A commentary on Diophantus' Arithmetica | CITED by the Suda; that Books IV–VII surviving in Arabic carry her expansions is a scholarly hypothesis OPEN |
| A commentary on the Conics of Apollonius | CITED by the Suda; that her recension underlies the surviving Books I–IV is conjecture OPEN |
| Astrolabe and hydrometer construction | CITED — Synesius, Letters 15 and 15bis |
| Any original theorem | None is known. Saying otherwise would be inventing her OPEN |
Her death in 415 is recorded by Socrates Scholasticus, who was hostile to those responsible and close enough in time to be taken seriously. This page does not retell it. It is the one thing about her that everyone already knows, and it is not the reason she is here.
The cut that changes kind
Take the work she chose to preserve. Apollonius' Conics does something the framework of this series keeps returning to, and does it first.
Start with a double cone of half-angle $\alpha$. Cut it with a plane making angle $\beta$ with the axis. You get a curve. Now turn the plane slowly. The curve deforms — smoothly, continuously, one parameter, no jumps in the picture — and at one particular angle it stops being one kind of thing and becomes another.
Ellipse when $\beta > \alpha$ · Parabola exactly at $\beta = \alpha$ · Hyperbola when $\beta < \alpha$
At $\alpha = 30°$ the eccentricity runs $1.137$ at $\beta = 10°$, $1.0099$ at $\beta = 29°$, exactly $1$ at $\beta = 30°$, $0.9898$ at $\beta = 31°$. Between $29°$ and $31°$ the number moves by two parts in a hundred. Over the same two degrees the object stops being a curve with two branches running to infinity and becomes a closed loop. The parameter is continuous. The kind is not.
This is the oldest clean statement of the rule this corpus calls threshold, not scale. Nothing about the cut gets gradually more elliptical. There is an angle, and on one side of it the curve closes and on the other it does not, and the transition is a single point where the plane runs parallel to a generator of the cone.
It is also ortogênese in its original setting: the conic is not chosen. One cone, one plane, one angle — and the constraint issues the entire family. The curve does not seek its form. It runs out of alternatives. Apollonius named the three cases from the Pythagorean application of areas: elleipsis, falling short; parabolē, exact application; hyperbolē, exceeding. Deficiency, equality, excess — a threshold vocabulary, in the fourth century BCE.
The Neoplatonist reading, which is hers and not ours
For Plotinus, and so for Hypatia's school, reality proceeds from the One by emanation and returns to it — próodos and epistrophē, procession and reversion. Everything that goes out comes back, and the coming-back is not a repetition of the going-out. Mathematics is where a soul first meets an object that does not decay, which is why the quadrivium sits where it sits in that curriculum: not as arithmetic for merchants, but as the training that makes the reversion possible.
It would be too easy, and false, to say that the G-chain is procession and reversion. It is not. What is fair to say is narrower and more interesting: a structure in which an outward operation is followed by a return that lands somewhere the outward operation could not have reached alone is the shape both things have, and Hypatia's tradition had a word for it a millennium and a half before there was an operator to write it with. OPEN — this is an analogy, and it is marked as one.
Place in the Series
| Element | In this chapter | In dm³ |
|---|---|---|
| C | the cutting plane — one angle, chosen once | compression: the constraint that issues the family |
| K | $\beta \to \alpha$, the plane turning toward the generator | curvature driven to $\kappa^*$ |
| F | $\beta = \alpha$: the branch separates, the loop opens | the fold — threshold, not scale SHOWN |
| U | epistrophē — the reversion that does not repeat the procession | unfolding onto a branch OPEN — analogy only |
Two of her successors in this gallery inherit the problem directly. Al-Kindi is the fold that saved the mathematics she edited, four centuries later and in another language. Madhava reaches the infinite series that make the conic computable, in Kerala, with no line of transmission to Alexandria at all — which is its own argument about where mathematics comes from.
Verification
Every number on this page is produced by omega/ch-hypatia-verify.py, which checks the eccentricity formula against the three regimes, locates the threshold to machine precision, and confirms that the discriminant classification of the resulting conic agrees. It records in its own closing block what it does not establish.
References
Apollonius of Perga, Conics, Books I–IV (Greek); Books V–VII survive only in the Arabic of Thābit ibn Qurra's circle.
Socrates Scholasticus, Historia Ecclesiastica VII.15.
Suda, υ 166, s.v. Ὑπατία.
Synesius of Cyrene, Letters 15, 15bis, 16, 81, 124, 154.
Theon of Alexandria, commentary on the Almagest, Book III — heading of the Vatican manuscript.
Maria Dzielska, Hypatia of Alexandria, Harvard University Press, 1995 — the standard corrective to the legend.
Wilbur Knorr, Textual Studies in Ancient and Medieval Geometry, Birkhäuser, 1989 — for the recension hypothesis, and for how thin the evidence is.