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 the closed plane curve of points $P$ for which distances to fixed foci $F_1,F_2$ sum to the same value $2a$, greater than their separation \$2c$. In centered axes it is $x^2/a^2+y^2/b^2=1$, where $b^2=a^2-c^2>0$. The circle is the coincident-foci case $c=0$; the filled interior is not part of the equality curve.[^ref-c3676ac72bba]

Scope of Application¶

The curve appears in analytic geometry and, under specific physical assumptions, in bound Keplerian relative orbits. For $x^2/25+y^2/9=1$, $a=5$, $b=3$, $c=4$, and every curve point has focal distance sum $10$. In the isolated attractive Newtonian two-body reduction, a bound noncollision orbit with nonzero angular momentum and \$0<e<1$ is an ellipse with the force center at one focus; unbound regimes yield other conics.[^{ref-c3676ac72bba][}ref-ed73b2fdcf23]

Clarity¶

Eccentricity $e=c/a$ is below one for a nondegenerate ellipse. If $a$ stays fixed while $e\to1$, then $b=a\sqrt{1-e^2}\to0$ and the curve degenerates toward a segment, not a parabola. The $e=1$ parabola of a Kepler conic family uses a different held-fixed parameter. Likewise, an ellipsoidal lithotripter reflector is a three-dimensional device, not the planar curve; actual pressure maximum can differ from geometric focus.[^{ref-c3676ac72bba][}ref-ed73b2fdcf23][^ref-1657aa09256b]

Manages Complexity¶

Two foci and one admissible sum determine the whole ideal boundary. The equivalent axis equation lets one compute intercepts, eccentricity and enclosed area $\pi ab$ without checking every point anew. This compact geometry does not also encode orbital dynamics, a real reflector's wave field, or the distinction between a curve and its disk.[^{ref-c3676ac72bba][}ref-1657aa09256b]

Abstract Reasoning¶

Verify a Euclidean plane, two foci and $2a>2c$. Check $|PF_1|+|PF_2|=2a$ for the whole proposed curve, or reduce an equivalent nondegenerate quadratic to standard axes. Then keep applications conditional: a focus-to-focus specular ray requires an ideal reflecting boundary, and a focus-centered orbit requires the bound two-body force assumptions. The equality and nondegeneracy, not resemblance to an oval, establish membership.[^{ref-c3676ac72bba][}ref-ed73b2fdcf23]

Knowledge Transfer¶

The two-focus geometry transfers from a coordinate ellipse to an ideal Kepler orbit: foci are geometric anchors in both, but only one has a gravitational role in the orbit. The proposed strict parent is live Curve; a parabola is a sibling conic, not a parent. A portable anchor-defined-locus skeleton is a future-prime question, while the Euclidean focus-sum rule keeps Ellipse domain-specific.[^{ref-c3676ac72bba][}ref-ed73b2fdcf23]

[^ref-c3676ac72bba]: Gilbert Strang, Calculus, §3.5 “Parabolas, Ellipses, and Hyperbolas”, original MIT-hosted textbook chapter, PDF pp.2–5; directly inspected. [^ref-ed73b2fdcf23]: Peter Dourmashkin and MIT 8.01SC, Celestial Mechanics, chapter 25, original MIT course text, PDF pp.10–11 and 19; directly inspected. [^ref-1657aa09256b]: M. Müller, “Focusing water shock waves for lithotripsy by various ellipsoid reflectors”, Biomedizinische Technik 34 (1989), 62–72, original author abstract directly inspected; full text not inspected.

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