Ellipse¶

A closed planar curve whose distances to two fixed foci sum to a constant greater than their separation.

Version: v1 · 2026-10-03 · History
Domain-specific #: 13186
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Analytic Geometry → Mathematics

Core Idea¶

An ellipse is a nondegenerate closed curve in a Euclidean plane defined by a two-focus constraint. Given fixed foci $F_1,F_2$ at separation $2c$ and a constant $2a>2c$, it consists of exactly the points $P$ satisfying $|PF_1|+|PF_2|=2a$. After translation and rotation, its equation is $x^2/a^2+y^2/b^2=1$, where $b^2=a^2-c^2>0$. The equality defines the boundary curve; replacing it with an inequality defines the filled elliptic disk.^[1]

The shape is stable across particular diagrams and physical uses. Its major and minor semiaxes are $a$ and $b$, and eccentricity $e=c/a$ lies in $[0,1)$. At $c=0$, the foci coincide and the circle is the $a=b$ special case. At fixed finite $a$, letting $e\to1$ sends $b\to0$, so the family degenerates toward the segment between foci—not a parabola. A parabolic member can arise in a different conic family or scaling; the parameter held fixed must be stated.^[1]^[2]

The focal relation can then do work: in ideal planar specular geometry, a ray from one focus reflects through the other. Under the separate assumptions of an isolated, attractive Newtonian two-body problem, a bound noncollision relative orbit with nonzero angular momentum is a circle or ellipse with the attracting center at one focus. Neither a reflector nor a planet is needed to define the mathematical curve.^[1]^[2]

Structural Signature¶

Sig role-phrases: Euclidean plane → two foci → constant admissible distance sum → closed equality locus → axes/eccentricity → conditional focal consequences.

Euclidean plane. Distances and the conic live in one plane. A three-dimensional ellipsoid, even if constructed by revolution, is a different carrier.^[1]^[3]
Two foci. $F_1,F_2$ are fixed at finite separation $2c$; they can coincide in the circle case. Their roles are geometric anchors, not necessarily two physical objects.^[1]
Constant sum. Every curve point satisfies $|PF_1|+|PF_2|=2a$ with $a>c$. Equality to the separation gives a degenerate segment instead.^[1]
Closed equality locus. All and only the satisfying points form a bounded one-dimensional boundary. The interior does not satisfy the same equality at every point.^[1]
Equivalent parameters. $a$ and $b$ are positive semiaxes, $b^2=a^2-c^2$, and $e=c/a<1$. Translation/rotation change coordinates but not this geometric identity; axis rescaling of a unit circle gives the centered ellipse.^[1]
Conditional consequences. Focal reflection and Keplerian focus location follow only with ideal specular or gravitational assumptions. They are uses of the locus, not additional membership requirements.^[1]^[2]

What It Is Not¶

The ellipse is not its filled disk: the equation uses equality, whereas $x^2/a^2+y^2/b^2\le1$ includes interior points. It is not every oval; visual resemblance does not supply a constant sum to two foci. It is not an ellipsoid, which is a three-dimensional surface or solid rather than this planar curve.^[1]^[3]

It is not a parabola at fixed-$a$ eccentricity one. With $e\to1$ and $a$ unchanged, $b=a\sqrt{1-e^2}\to0$. An orbital equation with fixed nonzero semilatus rectum has a distinct $e=1$ parabolic case, but that varying-$a$ limit cannot be silently substituted for the fixed-size ellipse family.^[1]^[2]

It is not an automatic trajectory of every inverse-square-force problem. In the isolated attractive Newtonian two-body reduction, energy, angular momentum and collision conditions decide whether the conic is closed, circular, elliptic, parabolic or hyperbolic; perturbations can spoil the exact ellipse.^[2]

Scope of Application¶

The locus supports analytic geometry, conic classification and geometric measurement. A centered equation with $a,b>0$ gives intercepts $(\pm a,0)$ and $(0,\pm b)$; $c=\sqrt{a^2-b^2}$ locates the foci. The enclosed area is $\pi ab$, although that is the area of the disk bounded by the ellipse, not of the one-dimensional curve itself. An affine axis scaling of the unit circle supplies another representation, but the Euclidean focal distances do not remain unchanged under an arbitrary affine map.^[1]

In ideal optics or acoustics, focal reflection is a consequence of specular propagation at the boundary. In celestial mechanics, an ideal bound Kepler orbit is another realization of the same planar geometry. A 3-D lithotripter reflector instead uses an ellipsoidal surface; Müller's original study explicitly reports that, for deep reflectors, the point of maximal measured pressure can deviate from the geometric second focus. The planar ellipse is useful in understanding meridian geometry but does not, alone, predict a device's field or clinical outcome.^[1]^[2]^[3]

Clarity¶

The simplest recognition test is to locate two fixed foci and verify a single distance sum on the entire proposed boundary. A measured or fitted oval may approximate an ellipse; that approximation is not proof of exact membership. A centered quadratic equation is an equivalent test once axes and nondegeneracy are checked. Values of $a,b,c$ are linked, not three independent freedoms.^[1]

Separating curve, mechanism and application prevents three errors. A foci-to-foci optical property belongs to ideal reflection off the curve, not to every wave device. A Kepler orbit needs dynamics in addition to curve geometry. And the number $e$ only describes a limiting family after other held-fixed parameters have been named; $e=1$ in MIT's nonzero-semilatus-rectum orbital classification is not the fixed-$a$ limit of finite ellipses.^[1]^[2]^[3]

Manages Complexity¶

Many points, tangents and placements reduce to a small parameter set: center, orientation, $a$ and $b$, or equivalently two foci plus $2a$. The focused distance constraint recognizes the whole curve at once; the canonical equation turns the same geometry into calculable intercepts and area. This compression allows a change between string-and-pins, quadratic, affine-circle and orbital representations without reclassifying the shape each time.^[1]^[2]

Compression has limits. It does not encode orbital energy or time parameterization, a reflector's three-dimensional surface and wave field, or arbitrary deviations from the ideal curve. It also hides limiting choices if one reports eccentricity alone. Good use keeps the geometric identity compact while carrying the additional hypotheses needed for a physical conclusion.^[2]^[3]

Abstract Reasoning¶

Take $a>c\ge0$ and place foci at $(\pm c,0)$. The locus $|PF_1|+|PF_2|=2a$ gives the standard equation $x^2/a^2+y^2/b^2=1$ with $b^2=a^2-c^2$. The coordinate form immediately yields boundedness and axis intercepts; conversely, $a,b$ with $a\ge b>0$ recover $c$. For example, $a=5,b=3$ gives $c=4$, so each point on $x^2/25+y^2/9=1$ has focal distance sum $10$.^[1]

Now vary one assumption. If $c=0$, the focus pair coalesces and the circle remains a valid ellipse. If $a=c$, nondegeneracy fails and the focus-sum locus collapses to the segment joining foci. If instead an attractive Kepler problem holds a nonzero semilatus rectum and varies energy to zero, MIT's orbital equation reaches a parabolic case at $e=1$; its scale is changing, so it is a different counterfactual family.^[1]^[2]

Knowledge Transfer¶

The analytic locus and the bound orbital path share the same two-focus, constant-sum geometry. In the first setting foci are mathematical anchors; in the second one coincides with the force center in the ideal two-body reduction and the other remains geometric. That role mapping enables transfer of axis and eccentricity relations without importing an orbital law into every ellipse.^[1]^[2]

Focal reflection offers a further bounded transfer to ideal specular geometry, but a 3-D ellipsoidal reflector and nonlinear shock propagation are no longer just a planar ellipse. The transfer stops where geometry alone fails to predict pressure maxima. This is a formal curve identity with genuine cross-setting usefulness, not a universal design, medical or celestial-dynamics recipe.^[1]^[3]

Examples¶

Canonical: a five-by-three semiaxis ellipse¶

Consider $x^2/25+y^2/9=1$. Here $a=5$, $b=3$, and $c=\sqrt{25-9}=4$. The foci are $(-4,0)$ and $(4,0)$, eight units apart, while every point of the curve has distance sum $2a=10$. At $(0,3)$ the two distances are each $5$; at $(5,0)$ they are $9$ and $1$. The enclosed disk has area $15\pi$, but interior points are not members of the equality curve.^[1]

Mapped back: The Euclidean plane supplies distance, the two foci are $(\pm4,0)$, the constant admissible sum is $10>8$, and the closed curve locus is the equality equation. The axes and eccentricity are $a=5,b=3,e=4/5$; no physical focal consequence is needed to establish identity.

Applied: an ideal bound Kepler path¶

MIT's two-body reduction writes the relative orbit as a conic with eccentricity determined by conserved energy and angular momentum. With attractive inverse-square central force, nonzero angular momentum and negative energy in the noncollision bound regime, $0<e<1$ gives an ellipse; $e=0$ gives a circle. One focus is at the force center. The relative trajectory's closed shape therefore instantiates the same two-focus curve even though the equations of motion, not a drawing compass, select its parameters. At zero energy in that orbital family, the result is a parabola, showing why boundness is indispensable.^[2]

Mapped back: The Euclidean plane is the orbital plane; the two foci are the force center and a second geometric point, not two attracting masses; the orbit's $a$ provides the constant admissible sum; the bound noncollision path is the closed curve locus; $0<e<1$ supplies the axes and eccentricity regime. The focal consequence is that the attractive center sits at one focus under the specified ideal dynamics.

Structural Tensions¶

Geometric economy versus physical fidelity. A single focus-sum rule organizes ideal orbit and specular-reflection geometry, but real multi-body forces and nonlinear wave propagation can defeat predictions made from the curve alone. Adding dynamics or wave-field models improves physical fidelity while surrendering a purely geometric account. Diagnostic: is the task classification of an ideal locus or prediction of a physical trajectory/field?^[2]^[3]

Representation transfer versus limit control. Foci, axis-scaled circle and quadratic equation make the identity easy to transport, but a bare eccentricity value suppresses which scale is fixed. With $a$ fixed, $e\to1$ degenerates; with nonzero semilatus rectum fixed in a Kepler family, $e=1$ is parabolic. Diagnostic: name the curve family and quantities held fixed before asserting a limit.^[1]^[2]

Structural–Framed Character¶

Evaluative weight: low; the focus-sum condition is mathematical, not a judgment of quality. Human-practice dependence: low; a curve satisfies the equality regardless of who draws or labels it. Institutional origin: none constitutive; textbook conventions can choose axis symbols but not create the locus. Vocabulary travel: moderate; foci, axes, eccentricity and conics recur in optics and mechanics, but Euclidean planar distances remain essential. Import versus recognition: one recognizes an ellipse by proving an equivalent locus or nondegenerate quadratic condition, not by imposing an “oval” frame on a visually similar shape.^[1]

Its character: strongly structural within Euclidean geometry, but domain-specific rather than prime because the two foci, constant distance sum and closed planar conic are irreducible specialist commitments.

Structural Core vs. Domain Accent¶

A portable skeleton might be a locus specified by a stable relation to anchors. Whether that skeleton deserves a separate prime is a future-prime question requiring unlike-domain recurrence and a full autonomous signature; it is not established by the existence of many ellipse applications. The current live Curve provides a defensible broader geometric parent because an ellipse is a continuous planar curve, but it does not supply any focal law.^[1]

The accent is precisely Euclidean point distance, two finite foci, a constant sum exceeding focal separation, a closed nondegenerate one-dimensional locus and equivalent axis/eccentricity relationships. Remove those constraints and the residual is merely a curve or a generic locus. Keep them and the object remains an ellipse whether it is drawn, modeled as an orbit, or used as an ideal reflector cross-section.

This entry is a kind of Curve.

DAG parent — Curve. $t\mapsto(a\cos t,b\sin t)$ maps an interval continuously onto a closed planar one-dimensional curve, fulfilling the live Curve identity. The two-focus sum and $a>c$ narrow it strictly. A parabola is also a curve but not an ellipse; thus the parent is genuinely broader.^[1]

Parabola is a sibling conic with an unbounded focus-directrix/eccentricity-one identity, not a parent or fixed-$a$ terminal ellipse. Metric supplies Euclidean distance in the background but is not itself the kind of object an ellipse is, so no strict edge is inferred merely from the words “distance sum.” The proposed portable anchored-locus skeleton remains a future-prime question.

Relationships to Other Abstractions¶

Current abstraction Ellipse Domain-specific

Parents (1) — more general patterns this builds on

Ellipse is a kind of Curve Domain-specific

An ellipse is a continuous closed plane curve subject to a stricter two-focus distance-sum law.

Hierarchy paths (2) — routes to 2 parentless roots

Ellipse → Curve → Continuity → Neighborhood → Topology

Show alternative path (1)

Neighborhood in Abstraction Space¶

Ellipse sits in a moderately populated region (57^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Geometric Figures & Constructions (32 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Elliptic disk: equality defines the curve; inequality fills its interior.
Ellipsoid: three-dimensional surface or solid; a lithotripter's reflector is ellipsoidal, not the planar ellipse itself.
Parabola: unbounded conic with distinct focus-directrix/eccentricity-one identity; not the fixed-$a$ $e\to1$ ellipse limit.
Hyperbola: two open branches with a constant difference rather than sum of focal distances.
Circle: not a rival class here; it is the $c=0$, $a=b$ ellipse subcase.
Arbitrary oval: visual shape alone does not prove the focal equality.
Kepler orbit: a physical dynamical path may instantiate an ellipse only under bounded ideal two-body conditions; the mathematical curve needs no force law.
Geometric focus versus measured pressure maximum: ideal focal reflection does not certify actual shock-wave concentration at exactly the nominal second focus.^[3]

References¶

[1] Gilbert Strang, Calculus, §3.5 “Parabolas, Ellipses, and Hyperbolas”, original MIT-hosted textbook chapter, PDF pp.2–5 on equation, focus-sum, axes, area and reflection; directly inspected. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y

[2] Peter Dourmashkin and MIT 8.01SC, Celestial Mechanics, chapter 25, original MIT course text, PDF pp.10–11 equations 25.3.12–25.3.24 and p.19 §25.6.1 on energy/eccentricity regimes; directly inspected. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n

[3] M. Müller, “Focusing water shock waves for lithotripsy by various ellipsoid reflectors”, Biomedizinische Technik 34 (1989), 62–72, DOI 10.1515/bmte.1989.34.4.62; original author abstract directly inspected, full text not inspected. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h