Fact-checked by Grok 2 weeks ago

Hippopede

The hippopede is a figure-eight shaped plane curve, known as the "horse-fetter" from its Greek etymology, that was introduced by the ancient Greek mathematician and astronomer Eudoxus of Cnidus around 400 BCE to model the retrograde motion of planets within his system of homocentric spheres.^[1]^[2] In Eudoxus's astronomical framework, the hippopede emerges as the locus of a point on the equator of one rotating sphere inclined relative to another, producing the observed looping paths of celestial bodies without deviating from an Earth-centered, geostatic model; this construction, later refined by Callippus and adopted by Aristotle, represented a foundational geometric approach to planetary dynamics using up to 27 nested spheres for the entire solar system.^[1] Mathematically, the hippopede is a quartic curve defined in polar coordinates by the equation r^2 = 4b(a - b \sin^2 \theta), where a and b are positive parameters controlling its shape, or in Cartesian coordinates as (x^2 + y^2)^2 = c x^2 + d y^2 with c > 0 and c > d.^[3]^[2] It can also be realized geometrically as the intersection of a sphere of radius R with a right circular cylinder of radius a (where $0 < a < R) tangent to the sphere along a great circle, yielding a spherical and cylindrical curve that projects to a circle, a parabolic arc, or the lemniscate of Gerono in orthogonal planes.^[2] A special case occurs when a = R/2, resulting in the Viviani curve, a type of space curve with constant width, and all hippopedes are scalings of this form, highlighting their rational biquadratic nature as curves of the first kind.^[2] Beyond ancient astronomy, the hippopede has modern applications, such as describing the ground track of geosynchronous satellites like Syncom 2 launched in 1963, where the curve traces periodic equatorial loops due to slight orbital inclinations.^[2] Its elegant symmetry and parametric simplicity continue to make it a subject of study in algebraic geometry and dynamical systems.

Etymology and Overview

Name and Meaning

The term "hippopede" derives from the Ancient Greek word ἱπποπέδη (hippopédē), a compound of ἵππος (híppos), meaning "horse," and πέδη (pédē), meaning "fetter" or "shackle," literally translating to "horse-fetter" or "horse's hobble."^[4] This nomenclature historically describes the curve's distinctive looped and restraining figure-eight shape, evocative of a device used in ancient Greece to tether a horse's forelegs and restrict its movement to a confined path.^[2] The term was first employed by the Greek astronomer Eudoxus of Cnidus in the 4th century BCE to characterize this geometric form, with its earliest surviving attestation appearing in the 5th-century CE commentary of Proclus on the first book of Euclid's Elements.^[5] The name aptly reflects the curve's figure-eight trajectory, which modeled the "fettered" or oscillating paths of celestial bodies in early astronomical systems.^[4]

General Description

The hippopede is a bicircular, rational algebraic plane curve of degree 4.^[6]^[7] It exhibits symmetry with respect to both the x- and y-axes and is centered at the origin.^[6] Depending on the parameters, the hippopede typically appears as a sideways figure-eight shape, resembling a lemniscate, or as a pinched oval.^[6]^[8] This visual form evokes the shape of a horse fetter, from which the curve derives its name.^[6] The bicircular nature of the hippopede arises from its representation as the intersection of two circles in a projective sense, which facilitates a rational parametrization of the curve.^[7]^[8]

Historical Context

Eudoxus and Planetary Motion

Eudoxus of Cnidus (c. 408–355 BCE) developed the homocentric spheres model to explain the irregular motions of the planets, introducing the hippopede as a key geometric construct within this framework.^[1] In his system, all spheres were concentric with the Earth at the center, and planetary paths were generated by the composition of multiple spherical rotations. The hippopede emerged from the interaction of two such spheres: an inner sphere rotating about an axis inclined to the plane of the zodiac, combined with an outer sphere rotating in the opposite direction, causing a point on the inner sphere's equator to trace a figure-eight curve on the celestial sphere.^[1] This curve, named after the Greek word for "horse-fetter" due to its looped, constrained path resembling a tether, allowed Eudoxus to account for the observed anomalies in planetary motion without deviating from uniform circular paths.^[1] In Eudoxus's model, the hippopede specifically addressed the retrograde motion and variations in latitude for the planets. A planet's position resulted from the superposition of four spheres per planet: the outermost for the daily rotation of the fixed stars, the next for the annual motion along the zodiac, and the inner pair producing the hippopede to generate east-west oscillations (retrogression) and north-south deviations (latitude).^[9] The figure-eight shape of the hippopede ensured that the planet appeared to loop backward against the stellar background during opposition, while its transverse extent modeled the planet's deviation from the ecliptic plane. For the entire solar system, Eudoxus employed one for the fixed stars, three each for the Sun and the Moon, and four each for the five known planets, for a total of 27 spheres—to replicate these effects qualitatively.^[1] The hippopede found particular application in modeling the inner planets, such as Mercury, whose rapid and erratic path relative to the Sun required precise accounting of oscillatory deviations. In Eudoxus's scheme for Mercury, the hippopede's loops represented the planet's synodic motion, with a period of approximately 110 days, producing retrograde arcs of up to about 15 degrees and maximum latitudes around 4 degrees, thus capturing the observed elongations and inclinations without invoking non-uniform speeds.^[9] This approach provided a geometric explanation for Mercury's "fettered" wandering near the Sun, emphasizing the planet's bounded path within the zodiac.^[1] Eudoxus's use of the hippopede influenced subsequent astronomers, notably Callippus of Cyzicus (c. 370–300 BCE), who refined the model by increasing the number of spheres to better fit observations while preserving the core hippopede mechanism for retrograde and latitudinal variations. Callippus expanded the system to 34 spheres overall—adding two spheres each to the Sun and the Moon, and one each to Mercury, Venus, and Mars—yet retained the two-sphere composition for the hippopede in each planetary subsystem to maintain the figure-eight paths.^[1] Aristotle adopted this framework and expanded it to 55 spheres to better account for planetary interactions, maintaining the hippopede's role in modeling individual planetary motions.^[1] This extension demonstrated the hippopede's enduring utility in homocentric astronomy, bridging Eudoxus's innovation with later developments in Greek celestial modeling.^[10]

Proclus and Later Developments

Proclus (c. 412–485 CE), the last major Neoplatonist philosopher, examined the hippopede in his Commentary on the First Book of Euclid's Elements, where he analyzed it primarily as a geometric plane locus independent of its earlier astronomical associations. He portrayed the curve as an interlaced, figure-eight form akin to a horse-fetter, generated through the intersection of a sphere with a right circular cylinder, emphasizing its properties as a spiric section in plane geometry.^[11] This treatment marked a shift toward pure mathematical investigation, distinguishing the hippopede from its origins in modeling planetary latitudinal motion and earning it the designation "hippopede of Proclus" in later scholarship.^[3] The curve saw a notable revival in the 19th century through the work of British mathematician James Booth (1806–1878), who explored it within the framework of bicircular quartic curves in his A Treatise on Some New Geometrical Methods (1877). Booth classified certain hippopedes as "ovals of Booth" when they form closed elliptical-like loops and "lemniscates of Booth" for their figure-eight configurations, integrating them into studies of rational plane curves and their symmetries. His analysis highlighted the hippopede's role in generating families of quartics via circle intersections, contributing to the broader cataloging of algebraic curves during the era.^[12] Post-Booth developments remained sparse, with the hippopede primarily appearing in specialized geometric compilations rather than inspiring major applications. It received brief but systematic documentation in J. Dennis Lawrence's A Catalog of Special Plane Curves (1972), where it is described alongside related quartics, underscoring its enduring, if niche, status in plane curve theory without significant extensions beyond descriptive geometry.^[13]

Mathematical Formulations

Cartesian Equation

The Cartesian equation of the hippopede is given in implicit form by (x^2 + y^2)^2 = c x^2 + d y^2, where c > 0 and c > d are constants that determine the scale and shape of the curve.^[14] This quartic equation arises from expanding either the polar representation of the curve or the intersection of a torus with a plane parallel to its axis in the context of spiric sections.^[15] An alternative parameterization links the equation directly to the geometry of the generating torus, with a as the major radius (distance from the torus center to the tube center) and b as the minor radius (tube radius). In this form, the equation becomes (x^2 + y^2)^2 + 4b(b - a)(x^2 + y^2) - 4b^2 x^2 = 0. ^[15] This expression is obtained by substituting the torus parameters into the general implicit equation and simplifying, preserving the bicircular quartic nature of the hippopede.^[16] The parameters c and d govern the curve's configuration: when d > 0, the hippopede forms a convex oval (also known as Booth's oval); when d < 0, it produces a self-intersecting lemniscate (Booth's lemniscate).^[14] These conditions ensure the curve remains bounded and symmetric about both axes, with the origin typically serving as a node or cusp depending on the values.^[16] A normalized example, particularly relevant for the hippopede as the pedal curve of an ellipse, is $4x^2 + y^2 = (x^2 + y^2)^2, corresponding to c = 4 and d = 1 > 0, yielding a convex oval shape.^[14]

Polar Equation

The polar equation of the hippopede is given by r^{2} = 4b(a - b \sin^{2} \theta), where a > 0 and b > 0 are scaling parameters that control the overall size and the degree of curvature of the curve.^[3] This form arises from converting the Cartesian representation to polar coordinates, with the origin positioned at the curve's node (the point of self-intersection or pinch).^[17] The parameter \theta sweeps from 0 to $2\pi to generate the complete curve, providing an intuitive way to visualize and plot the hippopede by varying the angular position.^[3] The ratio a/b determines the qualitative shape: when a/b > 1, the expression a - b \sin^2 \theta > 0 for all \theta, yielding a single-loop oval shape; when a/b < 1, the expression becomes negative in regions where \sin^2 \theta > a/b, resulting in a lemniscate with self-intersection at the origin; and when a = b, the equation simplifies to r^2 = 4a^2 \cos^2 \theta, degenerating into the union of two circles of radius a centered at (\pm a, 0).^[3]^[17] For instance, when a = b/2 (so a/b = 1/2 < 1), the curve forms a symmetric figure-eight lemniscate.^[18] This polar representation facilitates parameter variation for studying the curve's evolution from oval to lemniscate forms.^[3] It can be converted to Cartesian coordinates for algebraic analysis, though the polar form excels in radial visualization.^[17]

Properties

Algebraic Characteristics

The hippopede is classified as an algebraic curve of degree 4, arising from a Cartesian equation that is quartic in both x and y.^[6] This degree reflects its position among plane algebraic curves, where the implicit equation involves terms up to the fourth power, distinguishing it from conics while sharing some projective properties.^[19] As a rational curve, the hippopede admits a rational parametrization, expressing its points through rational functions of a single parameter. Such parametrizations can be derived via stereographic projection from its spherical representation or through conic inversion, transforming it from simpler quadrics while preserving rationality.^[20] This rationality facilitates computational and geometric analysis, as it allows birational equivalence to the projective line.^[7] The hippopede is a bicircular quartic, characterized by passing through the two circular points at infinity with singularities there, which are double points or biflecnodes.^[6] It can be generated as a pencil of circles, a linear combination of circle equations that intersects at these fixed points, underscoring its close relation to circular geometries.^[7] The symmetry group of the hippopede includes reflectional symmetries across both the x-axis and y-axis, as well as point symmetry about the origin, rendering it invariant under 180-degree rotation.^[19] These properties stem from the form of its defining equation, which exhibits axial symmetry.^[6]

Geometric Features

The hippopede is a plane algebraic curve that displays varied shapes depending on the relative values of its defining parameters, typically denoted as a and b where a, b > 0. In the Cartesian form (x^2 + y^2)^2 = 4 a b x^2 + 4 b (a - b) y^2, when a > b, the curve is a simple closed oval, non-convex (resembling a peanut or bean shape) for certain ratios near a \approx b, and convex for larger a. When a < b, the curve becomes self-intersecting, adopting a figure-eight configuration known as a lemniscate.^[17]^[21] A key singularity in the hippopede occurs at the origin (0,0), which serves as an isolated node in the non-self-intersecting cases (such as a > b) and a self-intersection point in the lemniscate form. This node represents a double point where the curve crosses itself or pinches, but standard parametrizations of the hippopede avoid cusps, maintaining smooth arcs away from this feature.^[16]^[17]^[21] Regarding enclosed areas, the oval variants of the hippopede bound a single convex region, with the total area given by $2 \pi b (2a - b), obtained through polar integration over the curve. In the lemniscate case, the figure-eight shape divides into two symmetric lobes, collectively enclosing an area of $2 \pi b (2a - b), though each lobe individually contributes half due to the bilateral symmetry. No closed-form expression beyond this parametric form is standard for general cases, and areas require numerical integration for arbitrary parameters.^[3]^[21] The curvature of the hippopede varies smoothly along its arcs except at the node, where it becomes undefined due to the singularity. As the inverse of a hyperbola with respect to a circle centered at the origin, the curve inherits transformed curvature properties from the parent conic, resulting in higher local bending in narrower regions.^[16]^[17]

Geometric Constructions

Spiric Section Interpretation

The hippopede is interpreted as a spiric section, defined as the curve resulting from the intersection of a torus with a plane parallel to the torus's axis of revolution. A torus is generated by revolving a circle of radius b around an axis in its plane, where the circle's center lies at a distance a > b from the axis, with a representing the distance from the torus's central axis to the center of the tube and b the tube's radius. This intersection produces a bicircular quartic curve when viewed in the plane of intersection.^[17] For the specific case of the hippopede, the intersecting plane is positioned tangent to the torus's inner equator, ensuring it touches the surface at the point closest to the axis without crossing into the interior. This configuration yields a degree-4 algebraic curve that lies entirely within the plane, with the projection of the intersection onto that plane capturing the hippopede's characteristic figure-eight shape.^[17] The resulting curve exhibits reflectional symmetry about both coordinate axes in the plane.^[17] This toroidal construction traces its conceptual roots to ancient Greek geometry, where the term "hippopede" (meaning "horse fetter") originates from astronomical models, and links to earlier intersections of spheres and cylinders as described by Eudoxus and later by Proclus.^[17] The plane hippopede generalizes the spherical hippopede of Eudoxus, which arises from the intersection of a sphere and a tangent cylinder, extending the bounded oscillatory path to a toroidal setting.^[22]

Pedal Curve Representation

The pedal curve of an ellipse with respect to its center is a hippopede, formed as the locus of the feet of the perpendiculars from the center to the tangent lines of the ellipse.^[23] This construction yields a bicircular quartic curve symmetric with respect to both axes of the ellipse.^[7] Consider an ellipse centered at the origin with semi-major axis a along the x-axis and semi-minor axis b (a > b > 0), having foci at (\pm c, 0) where c = \sqrt{a^2 - b^2}. The pedal curve with respect to the center (0, 0) traces a hippopede that loops around the origin, crossing itself at that point to form a node.^[23] For the specific case of a = 2 and b = 1 (so c = \sqrt{3}), the Cartesian equation of this pedal curve is

$4x^2 + y^2 = (x^2 + y^2)^2.

In this equation, the curve intersects the major axis at x = \pm 2, corresponding precisely to the vertices of the generating ellipse, while the node at the origin arises from the limiting behavior of the perpendiculars to tangents near the minor axis endpoints.^[23] This pedal representation connects the hippopede to key properties of the ellipse, including its generation via the string construction—where a string of length $2a is pinned at the foci—and the reflection property, whereby a ray from one focus reflects off a tangent to reach the other focus.^[7] These features of the ellipse underpin the geometric interpretation of the hippopede as derived from conic tangents, emphasizing its role in classical curve theory.

Special Cases

Booth's Ovals and Lemniscates

Booth's ovals and lemniscates represent specific variants within the broader family of hippopede curves, distinguished by the sign of the parameter d in the Cartesian equation (x^2 + y^2)^2 = c x^2 + d y^2. When d > 0, the resulting curve is the oval of Booth, a convex, egg-shaped closed form without self-intersection, resembling an indented or elliptic shape depending on the relative magnitudes of c and d. This configuration arises from the intersection of a sphere and cylinder where the cutting plane yields a bounded, single-loop trajectory. In contrast, when d < 0, the curve becomes the lemniscate of Booth, manifesting as a sideways figure-eight with a self-intersection at the origin, classified as a hyperbolic lemniscate due to its double point and two symmetric loops. James Booth, a 19th-century British mathematician, analyzed these curves in the 1840s, classifying them as rational bicircular quartics in his treatise on analytic methods for curves and surfaces, where he provided explicit parametrizations derived from pencils of circles intersecting at two fixed points. These parametrizations highlight the curves' symmetry and algebraic degree four, enabling computations of lengths and areas via elliptic integrals. The transition between forms occurs as d approaches zero: from the positive side, the oval progressively pinches toward a degenerate state resembling paired circles; from the negative side, the lemniscate gradually opens, evolving from a tight figure-eight to more separated loops.

Lemniscate of Bernoulli

The lemniscate of Bernoulli emerges as a degenerate case of the hippopede when the parameters satisfy d = -c in the Cartesian equation (x^2 + y^2)^2 = c x^2 + d y^2, simplifying to (x^2 + y^2)^2 = c (x^2 - y^2). By rescaling the constant (replacing c with $2c^2), this takes the standard form (x^2 + y^2)^2 = 2c^2 (x^2 - y^2).^[24]^[25] This configuration produces a symmetric figure-eight curve consisting of two equal lobes that intersect transversely at a node (cusp-like double point) located at the origin.^[24] In relation to the hippopede, the lemniscate of Bernoulli represents a balanced limiting case where the parameters yield the distinctive crossed-loop geometry, often constructed geometrically via the intersection of a sphere and cylinder (spiric section) or through mechanical linkages simulating rolling motion. It is also defined by its focal property: the locus of points such that the product of distances to two fixed foci at (\pm c, 0) equals c^2.^[24] Key properties include its total arc length, which for the standard parametrization with scaling factor a = c evaluates to \frac{\Gamma(1/4)^2 a}{\sqrt{2\pi}} via elliptic integrals of the first kind, approximately 5.244 a for the full curve. The lemniscate holds importance in complex analysis, where the associated lemniscate sine (\mathrm{sl}) and cosine (\mathrm{cl}) functions parametrize the curve and serve as inverses for integrals involving (1 - z^4)^{-1/2}, bridging to broader elliptic function theory as developed in seminal works by Fagnano and Jacobi.^[24]

References

[1]
Eudoxus (408 BC - Biography - MacTutor History of Mathematics
This curve was called a hippopede (meaning a horse-fetter). Eudoxus used this construction of the hippopede with two spheres and then considered a planet as ...
[2]
Hippopede of Eudoxus - MATHCURVE.COM
The hippopede, named from Greek for 'horse fetter', is the intersection of a sphere and a tangent cylinder, and is a spherical and cylindrical curve.
[3]
Hippopede -- from Wolfram MathWorld
The hippopede, also known as the horse fetter, is a curve given by the polar equation r^2=4b(a-bsin^2theta). Hippopedes are plotted above for values of ...Missing: definition | Show results with:definition
[4]
On the Homocentric Spheres of Eudoxus - jstor
called "hippopede." Note that what Proclus called a hippopede is different from Schia- parelli's spherical hippopede. The spiric section Proclus called by ...
[5]
Plato and Eudoxus on the Planetary Motions - NASA ADS
... hippopede, in the form of a figure 8 inscribed on the spherical surface ... In his commentary on this passage of the Timaeus, Proclus introduces for ...
[6]
[PDF] Combination of Cubic and Quartic Plane Curve - IOSR Journal
Hippopedes were also investigated by. Proclus (for whom they are sometimes called Hippopedes of Proclus) and Eudoxus. For d = −c, the hippopede corresponds ...
[7]
[PDF] Rational families of circles and bicircular quartics
This dissertation deals with special plane algebraic curves, with so called bicircular quar- tics. These are curves of degree four that have singularities in ...
[8]
hippopede - two dimensional curves
Apr 23, 2005 · In Cartesian coordinates the curve has the form: (x2 + y2)2 = b x2 + y2 with b = 1 - a. And we see that the curve is a bicircular (rational) ...Missing: mathematics | Show results with:mathematics
[9]
Eudoxus Homocentric Spheres
### Summary of Hippopede Modeling Planetary Motion (Eudoxus and Callippus)
[10]
[PDF] Eudoxus, Callippus and the Astronomy of the Timaeus.
We get attempts to generate retrograde motion, if hippopedes were centred in the sun for Mercury and. Venus then we get bounded elongation and the overtaking ...
[11]
[PDF] Simplicius' Commentary on Aristotle, De caelo 2.10–12 - SCIAMVS
determine, the earliest references to a curve called a hippopede in a mathematical context are found in Proclus' commentary on Euclid's Elements. Proclus, who ...
[12]
https://www.mathcurve.com/courbes2d.gb/booth/booth.shtml
[13]
A catalog of special plane curves : Lawrence, J. Dennis
Jul 16, 2014 · A catalog of special plane curves. by: Lawrence, J. Dennis. Publication date: 1972. Topics: Curves, Plane. Publisher: New York, Dover ...Missing: hippopede | Show results with:hippopede
[14]
Hippopede: Definition, Examples - Statistics How To
A Hippopede is a curve defined by either a polar equation or an implicit equation. First investigated by Eudoxus, it looks like a figure 8.
[15]
hippopede - David Darling
A hippopede is a quartic curve, also known as the 'foot of a horse', formed by the intersection of a torus with a tangent plane.Missing: definition | Show results with:definition
[16]
(PDF) Geometric Properties of a Hippopede - ResearchGate
Aug 31, 2025 · We survey the literature to find geometrical properties of the plane curve known as a hippopede. We also use a computer to find additional ...
[17]
The Hippopede of Proclus - National Curve Bank
Any Hippopede is the intersection of a torus with one of its tangent planes that is parallel to its axis of rotational symmetry.
[18]
Invisibility cloak with a twin cavity - Optica Publishing Group
A hippopede is a plane curve obeying the equation in polar coordinates [38]. (1) ... In terms of Cartesian components, one can rewrite the transformation ...<|control11|><|separator|>
[19]
On the behaviour of analytic representation of the generalized ...
Mar 9, 2021 · We remind that the hippopede is the bicircular rational algebraic curve of degree 4, symmetric with respect to both axes. Any hippopede is ...
[20]
[PDF] On meromorphic parameterizations of real algebraic curves
Jun 30, 2011 · Specifically, a cartesian or bicircular quartic results, depending on whether the point of inversion (not on the curve) is a focus of the ...
[21]
booth's curve, oval, lemniscate - MATHCURVE.COM
Booth's curves are the rational bicircular quartics possessing point symmetry. As do all rational bicircular quartics, they have four equivalent definitions.Missing: mathematical algebraic
[22]
Hippopede of Eudoxus - MATHCURVE.COM
The hippopede of Eudoxus is the intersection between a sphere and a tangent ... Do not mistake for the hippopede of Proclus, also called Booth's curve.
[23]
Hippopede2
[alogo] Hippopede of Proclus · 1) The curve is the envelope of circles whose centers H are on the ellipse with focus at A and its symmetric A w.r. to O. · 2) The ...
[24]
Lemniscate of Bernoulli -- from Wolfram MathWorld
- **Cartesian Equation**: Not explicitly provided in the excerpt.
[25]
Hippopede curves for modeling radial spin waves in an azimuthally ...
Sep 23, 2020 · We propose a mathematical model for describing radially propagating spin waves emitted from the core region in a magnetic patch with 𝑛 ...<|control11|><|separator|>