Mathematical History of Ellipses and Ellipsoids

Ellipses and ellipsoids have evolved from geometric curiosities in ancient Greece to fundamental objects spanning modern mathematics, physics, and computation. This compilation traces their mathematical development across 2,400 years, revealing how these curves became central to understanding planetary motion, enabled the development of entire branches of mathematics like elliptic function theory, and now serve as computational tools in machine learning and quantum algorithms. The journey begins with Menaechmus cutting cones in 350 BCE and extends to 2024 quantum speedup algorithms for computing optimal ellipsoids.

Ancient Period (380 BCE - 300 CE)

Discovery of Conic Sections

Menaechmus discovers conic sections (~360-350 BCE) Mathematician: Menaechmus The first discovery of ellipses, parabolas, and hyperbolas as sections of cones. [Historymath] (https://www.historymath.com/conic-sections/) Menaechmus obtained these curves by cutting cones of varying vertex angles with planes perpendicular to a generator. [Historymath +5](https://www.historymath.com/conic- sections/) He used three different cone types: acute-angled cones produced ellipses, right-angled cones produced parabolas, and obtuse-angled cones produced hyperbolas. [Historymath] (https://www.historymath.com/conic-sections/) Conics This work solved the Delian problem (doubling the cube) by finding two mean proportions using intersections of conic sections. [Encyclopedia.com +4](https://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts- and-maps/omar-khayyam-and-solution-cubic-equations)

Aristaeus's treatise on solid loci (~320 BCE) Mathematician: Aristaeus the Elder "Five Books concerning Solid Loci" provided the first systematic treatment of conics as geometric loci. MacTutor History of Mathematics [Rutgers Math] (https://sites.math.rutgers.edu/~cherlin/History/Papers1999/schmarge.html) Though now lost, this work established conics as "solid loci"—curves obtained by sectioning solid figures—and presented properties of all three conic sections systematically, laying foundations for Euclid's later compilation. MacTutor History of Mathematics [rutgers] (https://sites.math.rutgers.edu/~cherlin/History/Papers1999/schmarge.html)

Euclid's four books on conics (~300 BCE) Mathematician: Euclid of Alexandria Compiled elementary propositions on conic sections, though the work is now lost. [Historymath +3] (https://www.historymath.com/conic-sections/) Euclid's treatment used only right cones with each conic type requiring a different cone. [Oxford Classical Dictionary] (https://oxfordre.com/classics/oso/viewentry/10.1093$002facrefore$002f9780199381135.001.0001$002facrefore- 9780199381135-e-8161;jsessionid=83DF7FB0487A757C2EAB7C2B4BC4950A) This became the "Conic Elements" frequently cited by Archimedes as the source for basic properties of ellipses and other conics. [Oxford Classical Dictionary +2] (https://oxfordre.com/classics/oso/viewentry/10.1093$002facrefore$002f9780199381135.001.0001$002facrefore- 9780199381135-e-8161;jsessionid=83DF7FB0487A757C2EAB7C2B4BC4950A)

Archimedes's Quantitative Results

Area formula for ellipses (~250 BCE) Mathematician: Archimedes of Syracuse Mathematical content: Proved that the area of an ellipse equals πab, where a and b are the semi-major and semi-minor axes. MacTutor History of Mathematics Archimedes used the method of exhaustion with double reductio ad absurdum, establishing this as the first rigorous geometric proof of the ellipse area formula. This appeared in "On Conoids and Spheroids" (Proposition 4). Project Gutenberg

Volumes of spheroids (~250 BCE) Mathematician: Archimedes Calculated volumes of ellipsoids of revolution (spheroids) and their segments using the method of exhaustion. Conics [Timetoast] (https://www.timetoast.com/timelines/history-of-conic-sections) For prolate and oblate spheroids formed by rotating ellipses, Archimedes developed integration techniques involving summation of arithmetic progressions and series of squares (1² + 2² + ... + n²). [Project Gutenberg](https://www.gutenberg.org/files/35550/35550- h/35550-h.htm) These results represented early forms of integral calculus applied to surfaces of revolution.

Apollonius's Comprehensive Theory

Systematic treatise "Conics" (~200 BCE) Mathematician: Apollonius of Perga The definitive ancient treatment of conic sections in eight books (seven survive) containing 387 propositions. Historymath +3 Apollonius revolutionized the field by showing all three conics could be obtained from the same double-napped cone by varying the cutting plane angle, rather than requiring different cone types. Historymath Encyclopedia Britannica

Modern terminology and algebraic definitions (~200 BCE) Mathematician: Apollonius Introduced the terms "ellipse," "parabola," and "hyperbola" (from Pythagorean "application of areas"). Historymath +2 Provided defining equations: for an ellipse, QV² = p·PV - (p/2a)·PV², where QV is an ordinate, PV is the abscissa, p is the latus rectum, and a is the semi-major axis. Historymath This was essentially coordinate geometry without negative numbers. [New World Encyclopedia] (https://www.newworldencyclopedia.org/entry/Apollonius_of_Perga)

Focal properties of ellipses (~200 BCE) Mathematician: Apollonius Proved in Book III (Propositions 48-52) that the sum of focal distances from any point on an ellipse to the two foci is constant. This focal definition became fundamental to later developments. [ETSU Faculty] (https://faculty.etsu.edu/gardnerr/3040/Notes-Eves6/Eves6-6-4.pdf) Apollonius also established the optical reflection property: rays from one focus reflect through the other focus.

Theory of conjugate diameters (~200 BCE) Mathematician: Apollonius Developed comprehensive theory of diameters and conjugate diameters for ellipses in Books I and II. Showed that conjugate diameters bisect parallel chords and established their properties, including the relationship between principal axes and arbitrary conjugate diameter pairs. [EBSCO](https://www.ebsco.com/research- starters/biography/apollonius-perga) ## Islamic Golden Age (800-1200 CE)

Preservation and translation of Greek texts (8th-9th century) Scholars: Al-Khwarizmi, Thābit ibn Qurra, and others Islamic mathematicians translated Apollonius's Conics and other Greek works from Greek into Arabic at the House of Wisdom in Baghdad, preserving knowledge that would have been lost. [Historymath] (https://www.historymath.com/conic-sections/) Al-Khwarizmi's algebraic methods (813-833 CE) laid groundwork for later geometric-algebraic synthesis, though not directly focused on ellipses. [Wikipedia] (https://en.wikipedia.org/wiki/Muhammad_ibn_Musa_al-Khwarizmi)

Optical applications of conic sections (1011-1021) Mathematician: Ibn al-Haytham (Alhazen) In "Kitāb al-Manāẓir" (Book of Optics), Ibn al-Haytham applied conic sections, including ellipses, to study reflection of light in curved mirrors. Historymath He solved "Alhazen's Problem"—determining the point of reflection from curved surfaces using conic sections—and attempted to reconstruct Apollonius's lost eighth book on Conics. [Encyclopedia Britannica +3] (https://www.britannica.com/science/mathematics/Mathematics-in-the-Islamic-world-8th-15th-century) This represented the first practical application of conic sections to physics.

Cubic equations solved by conic intersections (~1070) Mathematician: Omar Khayyam In "Treatise on Demonstration of Problems of Algebra," Khayyam provided complete classification of all 14 types of cubic equations with geometric solutions using intersecting conic sections. [Encyclopedia.com +2] (https://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts-and-maps/omar-khayyam-and- solution-cubic-equations) He used intersections of circles, parabolas, hyperbolas, and ellipses to solve various cubic types, demonstrating that certain cubic equations cannot be solved by ruler and compass alone. [Ox] (https://www.mpls.ox.ac.uk/files/equality-and-diversity/a-history-and-philosophy-of-algebra-in-islamic- mathematics-with-a-focus-on-the-solution-of-the-polynomial/@@download) [st-andrews](https://mathshistory.st- andrews.ac.uk/Biographies/Khayyam/) This pioneering work linked algebraic problems to geometric solutions via conic intersections. [Encyclopedia.com](https://www.encyclopedia.com/science/encyclopedias-almanacs- transcripts-and-maps/omar-khayyam-and-solution-cubic-equations)

Early Modern Period (1600-1650)

Elliptical planetary orbits (1609, 1619) Mathematician: Johannes Kepler Revolutionary discovery: Kepler's First Law states that the orbit of every planet is an ellipse with the Sun at one of the two foci. Wikipedia +5 Published in "Astronomia Nova" (1609), this overturned 2,000 years of circular orbit assumptions. [NASA Science +2] (https://science.nasa.gov/solar-system/orbits-and-keplers-laws/) Using Tycho Brahe's precise observations of Mars (which has the most elliptical orbit), Kepler refused to ignore an 8 arc-minute discrepancy from circular predictions. NASA Science His Second Law (equal areas in equal times) and Third Law (period squared proportional to semi-major axis cubed, published 1619) established ellipses as fundamental to astronomy and physics, directly enabling Newton's later law of universal gravitation. Wikipedia [Conics] (https://emat6000conics.weebly.com/history.html)

Development of Analytic Geometry (1629-1700)

Fundamental correspondence between equations and curves (1629-1636) Mathematician: Pierre de Fermat In "Ad Locos Planos et Solidos Isagoge" (circulated in manuscript 1629, published 1679), Fermat introduced the revolutionary idea that any equation relating two unknowns defines a locus or curve. He showed that if an equation is quadratic, the curve is a conic section. For ellipses specifically, he gave the canonical form F - Ax² = By², demonstrating that constants in the equation uniquely fix the curve. [Encyclopedia.com] (https://www.encyclopedia.com/people/science-and-technology/mathematics-biographies/pierre-de-fermat) This was the first systematic correspondence between algebraic equations and geometric curves.

Algebraic notation and coordinate geometry (1637) Mathematician: René Descartes Published "La Géométrie" as appendix to "Discours de la méthode," introducing modern algebraic notation (x, y, z for unknowns; a, b, c for constants) and exponential notation for powers. [Historymath +3] (https://www.historymath.com/conic-sections/) Descartes showed that the ellipse equation x²/a² + y²/b² = 1 describes the curve completely and classified conics as "first class" curves with second-degree equations. Historymath +2 This work established that geometric shapes are translatable into algebraic equations, creating the foundation for analytic geometry. [Historymath] (https://www.historymath.com/conic-sections/) Wikipedia

Locus definitions and kinematic constructions (~1649, published 1659-1661) Mathematician: Jan de Witt In "Elementa Curvarum Linearum," de Witt freed conics from the cone with three locus definitions of the ellipse: eccentric angle construction, trammel construction (fixed point on segment moving on two intersecting lines), and string construction based on the two-focus definition. [Encyclopedia.com +2] (https://www.encyclopedia.com/people/history/benelux-history-biographies/jan-de-witt) His Book II provided the first systematic development of analytic geometry of the straight line and conic, using translations and rotations to reduce complicated equations to canonical forms.

Algebraic definition of conics (1655) Mathematician: John Wallis In "Tractatus de Sectionibus Conicis," Wallis became the first to define conic sections as instances of equations of second degree, defining conics by their equations first, then deducing properties from equations. [MathOverflow +3](https://mathoverflow.net/questions/191909/discovery-and-study-of-conic-sections-in- ancient-greece) This represented a fully algebraic treatment complementary to de Witt's geometric approach and popularized analytic geometry in England.

Calculus Era (1660-1800)

Arc length problems as integration (1659-1660) Mathematicians: Hendrik van Heuraet and Pierre de Fermat Independent discovery that arc length problems could be transformed into integration problems. Van Heuraet (1659) showed that arc length determination could become finding area under a curve. This established that the arc length of an ellipse involves integrals that cannot be expressed in elementary functions, leading to the definition of elliptic integrals. [MacTutor History of Mathematics](https://mathshistory.st- andrews.ac.uk/Curves/Ellipse/)

Newton's orbital mechanics (1684-1687) Mathematician: Isaac Newton In "Philosophiae Naturalis Principia Mathematica" (1687), Newton proved that bodies move in ellipses under inverse-square centripetal forces (Proposition 11), with stationary elliptical orbits occurring when the force center is at a focus (Proposition 13). [NASA Earth Observatory] (https://earthobservatory.nasa.gov/features/OrbitsHistory/page2.php) [stanford] (https://plato.stanford.edu/entries/newton-principia/) He established that planets move in ellipses with the Sun at focus under inverse-square gravity, derived Kepler's laws from universal gravitation, and proved the equal areas theorem follows from any centripetal force. [stanford](https://plato.stanford.edu/entries/newton- principia/) Math Wiki For inverse-square forces, Newton showed spherical bodies can be treated as point masses—a property unique to inverse-square and linear forces. stanford

Earth as oblate spheroid (1687) Mathematician: Isaac Newton In Principia (Propositions 19-20), Newton predicted that Earth is an oblate spheroid (flattened at poles) due to rotation, with predicted ellipticity approximately 1/230 assuming uniform density. [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) He showed that surface gravity varies with latitude as a consequence of this ellipsoidal shape. Wikipedia [stanford] (https://plato.stanford.edu/entries/newton-principia/)

Lemniscate arc length and duplication formula (1718) Mathematician: Giulio Carlo de' Toschi di Fagnano Computed arc length of lemniscate curve with the formula s(r) = ∫₀ʳ dx/√(1-x⁴), showing this is an elliptic integral. ScienceDirect +2 Fagnano's duplication formula demonstrated how to double lemniscate arcs algebraically: if r = 2u√(1-u⁴)/(1+u⁴), then the integral from 0 to r equals twice the integral from 0 to u. Liu rose- hulman This was the first non-elementary elliptic integral with algebraic addition property.

Maclaurin spheroids (1742) Mathematician: Colin Maclaurin In "A Treatise of Fluxions," Maclaurin derived conditions for equilibrium of rotating ellipsoidal fluid masses. arXiv +2 His formula Ω²/(πGρ) = f(e) relates the angular velocity Ω to eccentricity e for oblate spheroids formed from self-gravitating rotating uniform-density fluids. [Wikipedia] (https://en.wikipedia.org/wiki/Maclaurin_spheroid) This provided the first rigorous theory of Earth's figure from hydrostatic equilibrium and showed two possible spheroids exist for the same rotation rate (bifurcation). [arXiv] (https://arxiv.org/pdf/1409.3858) The work also developed the theory of attraction of ellipsoids.

Clairaut's theory of Earth's figure (1743) Mathematician: Alexis Claude Clairaut "Théorie de la figure de la terre" provided Clairaut's Theorem connecting surface gravity at any point on a rotating ellipsoid with compression and centrifugal force at the equator. The theorem relates gravity variation with latitude to Earth's ellipticity and confirmed Newton's theory that Earth is an oblate ellipsoid. Clairaut also resolved aspects of the three-body problem (1750s) and successfully computed Halley's comet return (1759). Wikipedia

Addition theorem for elliptic integrals (1750s) Mathematician: Leonhard Euler Generalizing Fagnano's work, Euler discovered the addition theorem for elliptic integrals of the first kind. Rose- Hulman Scholar [Liu] (https://users.mai.liu.se/vlatk48/teaching/lect2-agm.pdf) For P(x) = (1-x²)(1-k²x²), he showed: ∫₀ᵘ dx/√P(x) + ∫₀ᵛ dx/√P(x) = ∫₀ᵀ⁽ᵘ'ᵛ⁾ dx/√P(x), where T(u,v) = (u√P(v) + v√P(u))/(1-k²u²v²). [rose-hulman](https://scholar.rose- hulman.edu/cgi/viewcontent.cgi?article=1148&context=rhumj) This established that elliptic integrals have remarkable algebraic addition properties despite not being expressible in elementary functions, laying the foundation for 19th-century elliptic function theory.

Comprehensive treatment of integral calculus (1768-1770) Mathematician: Leonhard Euler "Institutionum calculi integralis" (3 volumes) provided extensive sections on elliptic integrals, integration of differential equations, and comprehensive coverage of integral calculus. Euler's approximately 33 papers on elliptic integrals in Opera Omnia established the theoretical framework for all subsequent work.

Systematic study of elliptic integrals (1786) Mathematician: Adrien-Marie Legendre "Mémoires sur les intégrations par arcs d'ellipse" began Legendre's systematic study building on Euler's work. This would culminate in comprehensive treatises establishing the standard classification of elliptic integrals into three kinds: first kind F(φ,k) = ∫dθ/√(1-k²sin²θ), second kind E(φ,k) = ∫√(1-k²sin²θ)dθ, and third kind with additional parameter.

19th Century (1800-1900)

Differential Geometry of Ellipsoids

Lines of curvature on ellipsoids (1781, published 1795-1796) Mathematician: Gaspard Monge In "Sur les lignes de courbure de la surface de l'ellipsoide" and "Application de l'Analyse à la Géométrie," Monge introduced the concept of lines of curvature on surfaces, establishing the general differential equation for curves of curvature and providing elegant integration for the ellipsoid case. [Mathigon +3] (https://mathigon.org/timeline/monge) He showed that on an ellipsoid, lines of curvature form an orthogonal coordinate system. Monge is considered the father of differential geometry. [Mathigon] (https://mathigon.org/timeline/monge) Mathigon

Confocal quadrics and Dupin's theorem (1813) Mathematician: Charles Dupin In "Développements de Géométrie," Dupin demonstrated that lines of curvature on ellipsoids are intersections with confocal systems of hyperboloids. Wikipedia Dupin's Theorem states that for any triple of orthogonal systems of surfaces, the intersection curves are lines of curvature. Wikipedia He introduced the concept of confocal quadrics (ellipsoids and hyperboloids sharing the same foci) and established that the intersection of any two confocal quadrics is a line of curvature. [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid)

Systematic solution of geodesics on ellipsoids (1806, 1811) Mathematician: Adrien-Marie Legendre "Analyse des triangles tracées sur la surface d'un sphéroïde" (1806) provided systematic solution for geodesic paths on ellipsoids. Wikipedia [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) Legendre showed that for ellipsoids with flattening f, geodesics can be mapped to an auxiliary sphere, with arc length given by s = b∫√(1 + k²cos²σ)dσ. [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) He developed series expansions in powers of flattening for geodetic applications, establishing the mathematical foundation for geodetic surveying.

Complete computational solution for geodesics (1825) Mathematician: Friedrich Wilhelm Bessel "The calculation of longitude and latitude from geodesic measurements" provided the full solution for the direct geodesic problem: given point A, azimuth α₁, and distance s₁₂, find point B and azimuth α₂. [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) Bessel developed series expansions to third order in flattening with computational tables and worked numerical examples. This became the standard method for geodetic surveying throughout the 19th century.

Theorema Egregium and intrinsic geometry (1828) Mathematician: Carl Friedrich Gauss In "Disquisitiones generales circa superficies curvas," Gauss established intrinsic geometry of surfaces— properties determined solely by geodesic distances. [Wikipedia] (https://en.wikipedia.org/wiki/Differential_geometry_of_surfaces) [Academia.edu] (https://www.academia.edu/77812340/Gauss_Riemann_and_the_Conceptual_Foundations_of_Non_Euclidean_Geometry) The Theorema Egregium proved that Gaussian curvature K is an intrinsic invariant, independent of how the surface is embedded in space. Wikipedia Wikipedia For an ellipsoid of revolution, K = 1/(ρν) where ρ is meridional radius of curvature and ν is normal radius of curvature. This work founded differential geometry and led directly to Riemannian geometry. [Wikipedia] (https://en.wikipedia.org/wiki/Differential_geometry_of_surfaces)

Elliptic Function Theory

Theory of elliptic functions (1826-1829) Mathematician: Niels Henrik Abel In "Recherches sur les fonctions elliptiques" (Crelle's Journal, 1827-1828), Abel discovered elliptic functions as inverse functions of elliptic integrals. [Wikisource] (https://en.wikisource.org/wiki/A_History_of_Mathematics/Recent_Times/Theory_of_Functions) [BIMSA] (https://www.bimsa.cn/research_detail/ellintellfun1.html) He established double periodicity of elliptic functions independently of Gauss and proved the general addition theorem (1829). [Wikisource +2] (https://en.wikisource.org/wiki/A_History_of_Mathematics/Recent_Times/Theory_of_Functions) Abel's Theorem on Abelian integrals generalized Euler's results, showing that elliptic functions have two independent periods ω₁ and ω₂, making them doubly periodic meromorphic functions with connection to complex tori ℂ/Λ where Λ = ℤω₁ + ℤω₂.

Jacobi elliptic functions (1827-1829) Mathematician: Carl Gustav Jacob Jacobi "Fundamenta nova theoriae functionum ellipticarum" (1829) provided definitive treatment establishing Jacobi elliptic functions sn(u,k), cn(u,k), dn(u,k) arising as inverse functions of elliptic integrals of the first kind. ScienceDirect +2 Jacobi introduced theta functions θ₁, θ₂, θ₃, θ₄ as fundamental tools and established the connection between theta functions and elliptic functions. ScienceDirect +3 These functions became analogues of trigonometric functions for elliptic geometry.

Geodesics on triaxial ellipsoids (1839) Mathematician: Carl Jacobi In "Note von der geodätischen Linie auf einem Ellipsoid," Jacobi discovered a constant of motion for triaxial ellipsoids (three unequal axes). Wikipedia [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) For ellipsoid x²/a² + y²/b² + z²/c² = 1, geodesics satisfy integrals that are Abelian integrals reducing to elliptic integrals when two axes are equal. [Oxford Classical Dictionary] (https://oxfordre.com/classics/oso/viewentry/10.1093$002facrefore$002f9780199381135.001.0001$002facrefore- 9780199381135-e-8161;jsessionid=83DF7FB0487A757C2EAB7C2B4BC4950A) [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid) He showed all tangents to a geodesic touch a confocal hyperboloid, solving this problem using ellipsoidal coordinates. [Wikipedia] (https://en.wikipedia.org/wiki/Geodesics_on_an_ellipsoid)

Foundations of Riemannian geometry (1854) Mathematician: Bernhard Riemann In his Habilitationsvortrag "Über die Hypothesen, welche der Geometrie zu Grunde liegen," Riemann extended Gauss's ideas on curved surfaces to n-dimensional manifolds. [Encyclopedia Britannica] (https://www.britannica.com/science/mathematics/Riemann) He introduced the concept of Riemannian metric on manifolds and developed notion of curvature for higher-dimensional spaces. [Encyclopedia Britannica] (https://www.britannica.com/science/mathematics/Riemann) Ellipsoids served as fundamental examples, with constant positive curvature characterizing elliptic space. [Medium] (https://medium.com/@gabriel.macedo.brother/gauss-the-genius-who-challenged-euclid-125f3116b891) Stanford Encyclopedia of Philosophy This work demonstrated that geometry could be independent of specific embedding in Euclidean space. Stanford Encyclopedia of Philosophy

Weierstrass ℘-function and rigorous theory (1862-1886) Mathematician: Karl Weierstrass In lectures 1862-1863, Weierstrass introduced the ℘-function: ℘(z) = 1/z² + Σ[(1/(z-λ)² - 1/λ²)] over lattice Λ{0}. Wikipedia [Wikisource] (https://en.wikisource.org/wiki/A_History_of_Mathematics/Recent_Times/Theory_of_Functions) This function satisfies the differential equation (℘')² = 4℘³ - g₂℘ - g₃ and connects elliptic functions to elliptic curves y² = 4x³ - g₂x - g₃. Wikipedia Weierstrass showed every elliptic function can be expressed rationally in terms of ℘(z) and ℘'(z), providing rigorous justification using infinite series/product expansions. [Stack Exchange] (https://math.stackexchange.com/questions/795070/questions-about-weierstrasss-elliptic-functions)

Projective Geometry

Foundations of projective geometry (1822) Mathematician: Jean-Victor Poncelet "Traité des propriétés projectives des figures" established the principle of duality (interchanging points and lines yields new theorems) and proved that ellipses are projective images of circles. [Wikipedia] (https://en.wikipedia.org/wiki/Jean-Victor_Poncelet) Poncelet's Porism (1822): If an n-sided polygon inscribed in one conic and circumscribed about a confocal conic exists, then infinite families of such polygons exist. Wikipedia [Olivernash] (http://olivernash.org/2018/07/08/poring-over-poncelet/assets/pdfs/DelCentina-2014a.pdf) This closure theorem unified geometric properties through projective transformations.

Systematic projective geometry (1826-1834) Mathematician: Jakob Steiner "Systematische Entwicklung der Abhängigkeit geometrischer Gestalten voneinander" (1832) provided major treatise on projective geometry. [Bookofproofs](https://bookofproofs.github.io/history/18th- century/steiner.html) The Poncelet-Steiner Theorem (proved 1833): All compass-straightedge constructions possible with straightedge alone, given single circle with its center. [David Darling +2] (https://www.daviddarling.info/encyclopedia/P/Poncelet.html) Steiner's work on conics showed two pencils projecting a conic from two of its points are projectively related, and he solved extreme-value problems such as determining the ellipse of greatest area inscribed in a given quadrangle. [Bookofproofs] (https://bookofproofs.github.io/history/18th-century/steiner.html)

Confocal Systems and Mathematical Physics

Ivory's theorem and lemma (1809) Mathematician: James Ivory Ivory's Lemma: For confocal ellipses and hyperbolas forming a curvilinear quadrilateral, the two diagonals have equal length. arXiv Vanity [arXiv] (https://arxiv.org/abs/1610.01384) Ivory's Theorem: Attraction of homogeneous ellipsoid on external point reducible to simpler case of related ellipsoid on interior point. [Wikipedia] (https://en.wikipedia.org/wiki/James_Ivory_(mathematician)) This established reciprocity between interior and exterior attractions and showed confocal ellipsoids have remarkable potential-theoretic properties. [arXiv] (https://arxiv.org/html/2408.12453v1)

Rotating self-gravitating triaxial ellipsoids (1834) Mathematician: Carl Jacobi Discovered uniformly rotating self-gravitating triaxial ellipsoids (Jacobi ellipsoid), finding an error in Lagrange's 1811 reasoning that at least two axes must be equal. arXiv Wikipedia Jacobi showed triaxial ellipsoids can be equilibrium figures for rotating fluid masses, establishing the first example of bifurcation in equilibrium figures (from Maclaurin spheroids) and connecting ellipsoidal geometry to rotational dynamics. [arXiv] (https://arxiv.org/pdf/1409.3858)

Curvilinear coordinates and Lamé functions (1830s-1859) Mathematician: Gabriel Lamé In "Leçons sur les coordonnées curvilignes" (1859), Lamé provided systematic treatment of curvilinear coordinate systems. [Wikisource] (https://en.wikisource.org/wiki/Popular_Science_Monthly/Volume_66/March_1905/A_Study_of_the_Development_of_Geometric He introduced ellipsoidal coordinates (λ,μ,ν) based on confocal quadrics where surfaces of constant λ are ellipsoids, constant μ are one-sheeted hyperboloids, and constant ν are two-sheeted hyperboloids. Wolfram MathWorld [Wikipedia] (https://en.wikipedia.org/wiki/Ellipsoidal_coordinates) Lamé showed the Laplace equation separable in ellipsoidal coordinates and developed Lamé functions (ellipsoidal harmonics) arising from separation of variables, enabling solution of potential problems with ellipsoidal boundaries. [ScienceDirect] (https://www.sciencedirect.com/science/article/abs/pii/S0304388605002627)

20th Century (1900-1970)

John ellipsoid theorem (1948) Mathematician: Fritz John Published in "Extremum problems with inequalities as subsidiary conditions," John proved that every convex body K in n-dimensional Euclidean space contains a unique ellipsoid of maximal volume (the John ellipsoid). Cornell University The theorem states that if E is the maximal volume ellipsoid in K, then K ⊆ nE (where nE is E dilated by factor n). For symmetric convex bodies, this factor improves to √n. Wikipedia [TU Berlin](https://page.math.tu- berlin.de/~henk/preprints/henk&loewner_john.ellipsoids.pdf) This is a fundamental result in convex geometry providing optimal bounds for approximating convex bodies by ellipsoids.

Kerr metric and ellipsoidal spacetimes (1963) Physicist: Roy Kerr Discovered the Kerr metric describing rotating black holes, which naturally uses ellipsoidal coordinates. Surfaces of constant r are confocal ellipsoids: (x²+y²)/(r²+a²) + z²/r² = 1. [Stack Exchange] (https://physics.stackexchange.com/questions/822807/what-is-kerr-doing-here) The Kerr-Schild form demonstrates ellipsoidal spacetime structure with angular momentum, showing that ellipsoids appear naturally in solutions to Einstein's field equations for rotating bodies.

Preliminary ellipsoid method for optimization (~1970) Mathematician: Naum Z. Shor Introduced preliminary version of ellipsoid method as iterative method for nonlinear optimization, developing the "cut-off method with space extension" for convex programming. [Wikipedia] (https://en.wikipedia.org/wiki/Ellipsoid_method) This laid groundwork for polynomial-time optimization algorithms.

Yudin-Nemirovski algorithm (1976) Mathematicians: David B. Yudin and Arkadi Nemirovski In "Informational Complexity and Efficient Methods for Convex Extremal Problems," they developed approximation algorithm for real convex minimization using ellipsoids. [Springer] (https://link.springer.com/article/10.1007/s10107-022-01833-4) The "modified method of centered cross- sections" generates a sequence of ellipsoids whose volume decreases at each step, using a separation oracle to cut the current ellipsoid and finding smaller ellipsoids containing the remaining feasible region. [Wikipedia] (https://en.wikipedia.org/wiki/Ellipsoid_method)

First polynomial-time algorithm for linear programming (1979) Mathematician: Leonid Khachiyan Major theoretical breakthrough proving that linear programming is solvable in polynomial time O(n⁶L) using the ellipsoid method. The algorithm works by reducing LP to a feasibility problem, then using ellipsoids that decrease in volume by factor e^(-1/2n) at each iteration. [Wikipedia] (https://en.wikipedia.org/wiki/Ellipsoid_method) While slow in practice, this was the first proof that LP is in complexity class P, showing algorithms can achieve polynomial runtime independent of the number of constraints.

Extensions to combinatorial optimization (1981-1988) Mathematicians: Martin Grötschel, László Lovász, Alexander Schrijver In "The Ellipsoid Method and Its Consequences in Combinatorial Optimization" (1981) and "Geometric Algorithms and Combinatorial Optimization" (1988), they applied the ellipsoid method to combinatorial problems including maximum independent sets in perfect graphs, matching and matroid intersection, and minimum submodular set functions. They showed polynomial-time equivalence of optimization and separation oracles, extending the ellipsoid method to exponentially-sized linear programs. [Wikipedia] (https://en.wikipedia.org/wiki/Ellipsoid_method)

Karmarkar's interior-point method (1984) Mathematician: Narendra Karmarkar Developed projective scaling algorithm for linear programming with complexity O(n³·⁵L), faster than the ellipsoid method in both theory and practice. This inspired modern interior-point methods and provided practically efficient polynomial-time LP algorithms, though the ellipsoid method remains theoretically important. [Wikipedia] (https://en.wikipedia.org/wiki/Ellipsoid_method)

Superellipsoids in computer graphics (1980s) Researcher: Alan H. Barr and others Popularized superellipsoids as generalizations of ellipsoids with shape parameter ε: |x/a|^ε₂ + |y/b|^ε₂|^(ε₂/ε₁) + |z/c|^ε₁ = 1. This provides a rich shape vocabulary from cuboids to spheres and became an important geometric primitive in computer graphics, vision, and robotics for shape representation and modeling. [Wikipedia] (https://en.wikipedia.org/wiki/Superellipsoid)

Confidence ellipsoids in multivariate statistics (throughout 20th century) Key figures: R.A. Johnson, D.W. Wichern, Harold Hotelling Formalized theory showing confidence regions for multivariate normal distributions are ellipsoids. For parameter vector β with covariance matrix Σ, the confidence region is {b : (β̂-b)ᵀΣ⁻¹(β̂-b) ≤ c}, an ellipsoid in p-dimensional parameter space. Hotelling's T² test uses similar ellipsoidal geometry, making this a fundamental tool in multivariate hypothesis testing and regression diagnostics.

Ball's refined characterizations (1992) Mathematician: Keith Ball "Ellipsoids of maximal volume in convex bodies" provided refined characterizations of John ellipsoids and their extremal properties, deepening understanding of their role in convex geometry.

21st Century (2000-2025)

Algorithms for minimum volume ellipsoids (2000s-2022) Researchers: Michael J. Todd, Khachiyan, Song et al. Development of efficient algorithms for computing minimum volume enclosing ellipsoids (MVEE) and maximum volume inscribed ellipsoids. Modern variants include Khachiyan's BCD method, Kumar-Yıldırım algorithm with complexity O(nd²), and Song et al. improvement (2022) achieving O(nnz(A) + d^ω) where ω ≈ 2.371. These algorithms have applications in data analysis, clustering, shape approximation, robot motion planning, and collision detection.

Grötschel's arithmetic proof of John's theorem (2005) Mathematician: P.M. Gruber "An arithmetic proof of John's ellipsoid theorem" provided a simplified proof using Voronoi's ideas, making the fundamental result more accessible. [ResearchGate] (https://www.researchgate.net/publication/226148268_An_arithmetic_proof_of_John's_ellipsoid_theorem)

Ellipsoid decomposition of 3D models (2000s) Researchers: Bischoff and Kobbelt (RWTH Aachen) Algorithms for decomposing triangle meshes into overlapping ellipsoids, computing optimal fitting ellipsoids interior to meshes. This provides compact representation with robustness to data loss, with applications in geometry compression, shape representation, and mesh simplification. [Rwth-aachen] (https://www.graphics.rwth-aachen.de/publication/128/ellipsoids1.pdf)

Post-Newtonian ellipsoids in geodesy (2016) Researchers: Kopeikin and others "Reference Ellipsoid and Geoid in Chronometric Geodesy" studied post-Newtonian corrections to ellipsoidal figures, connecting relativistic effects to Earth's ellipsoidal shape and formulating Pizzetti and Clairaut theorems in post-Newtonian framework for precision geodesy and tests of general relativity.

Functional John ellipsoids (2018-2021) Researchers: Alonso-Gutiérrez et al. (2018), Li, Schütt, Werner (2019), Ivanov and Naszódi (2021) Extension of John ellipsoid concept to log-concave functions. Proved existence and uniqueness of extremal functionals analogous to John ellipsoids, with connection to Gaussian densities as parameter s→∞. This represents a modern bridge between convex geometry and functional analysis with applications to concentration of measure.

Near-optimal algorithms for John ellipsoids (2019) Researchers: Cohen et al. Developed near-optimal algorithms for approximating John ellipsoids with improved complexity bounds.

Gravitational field of ellipsoidal shells (2023) Research: Recent work in Journal of Geodesy "External gravitational field of a homogeneous ellipsoidal shell" provided closed analytical solutions for the potential of ellipsoidal shells, proving that homogeneous ellipsoids with the same mass and linear eccentricity produce identical external gravitational fields. Important for geodesy, planetary science, and gravity modeling.

Topology and geometry of ellipsoid intersections (2023) Mathematician: Santiago López de Medrano Comprehensive theory of transverse intersections of concentric ellipsoids using h-cobordism theorem to describe topology of families. Provided complete description for three ellipsoids and large families of more, with connections to moment-angle manifolds, polyhedral products, and toric topology—a modern synthesis connecting convex geometry, algebraic topology, and complex geometry.

Quantum algorithms for John ellipsoids (2024) Researchers: Li et al. Quantum algorithm with complexity Õ(√(nd) + d^2.5) compared to classical O(nd² + d^ω), demonstrating quantum advantage for fundamental geometric computation.

Machine learning applications (2010s-2020s) Various researchers Ellipsoids in online learning for linear bandits with ellipsoid-based confidence sets; kernel methods (SVM) naturally defining ellipsoids in feature space; Gaussian processes with ellipsoidal confidence regions; robust covariance estimation using ellipsoids in high-dimensional data analysis; Mahalanobis distance as ellipsoidal metric for anomaly detection.

Conclusion

This chronicle reveals ellipses and ellipsoids as mathematical objects that have continuously expanded in significance. From Menaechmus's geometric sections of cones to quantum algorithms for optimal ellipsoid computation, these curves have enabled revolutions in astronomy (Kepler's laws), spawned entire branches of pure mathematics (elliptic functions, Riemannian geometry), provided foundational tools in optimization theory (ellipsoid method), and remain essential in modern applications from GPS geodesy to machine learning. The mathematical development of ellipses represents one of the most complete narratives in mathematical history, connecting ancient geometric intuition to modern computational complexity theory.