Conic Sections

Conic sections are the curves obtained by intersecting a plane with a double cone: the circle, ellipse, parabola, and hyperbola. Their key unifying property is that each is the locus of points whose distance to a fixed point (focus) and a fixed line (directrix) maintains a constant ratio called the eccentricity

e

. They appear everywhere from planetary orbits to satellite dishes to projectile motion. Studied systematically by Apollonius of Perga (~200 BCE), they became the language of celestial mechanics with Kepler and Newton.

A conic section is the set of points formed when a plane cuts a right circular double cone. Depending on the tilt of the plane relative to the cone's axis, the cross-section is a circle, an ellipse, a parabola, or a hyperbola (plus degenerate cases like a point, line, or pair of lines). These curves matter because they describe an astonishing range of physical phenomena — the orbits of planets and comets, the path of a thrown ball, the shape of reflectors and lenses — and because they are exactly the graphs of all second-degree equations in two variables. A surprising fact: all four non-degenerate conics can be unified by a single equation involving one focus, one directrix, and one number $e$ ; the curve simply changes identity as $e$ crosses $1$ .

The Core Insight

Every conic is governed by eccentricity $e \geq 0$ , the constant ratio of a point's distance from a fixed focus to its distance from a fixed directrix. When $e = 0$ you get a circle, $0 < e < 1$ an ellipse, $e = 1$ a parabola, and $e > 1$ a hyperbola. One definition, one parameter, four curves. The geometry of slicing a cone and the algebra of $A x^{2} + B x y + C y^{2} + D x + E y + F = 0$ are two faces of this single idea.

Formal Statement

Conic Section — Geometric (Slicing) Definition

A conic section is the intersection of a plane with a right circular double cone. Let the cone have half-angle $α$ (angle between axis and a generating line), and let the cutting plane make angle $β$ with the cone's axis. The type of conic depends on the comparison of $β$ and $α$ :

conic type = ⎩ ⎨ ⎧ ellipse (circle) parabola hyperbola β > α β = α β < α

⟳A circle results when the plane is perpendicular to the axis (

β = 90°

); tilting the plane until it becomes parallel to a generator (

β = α

) produces the parabola; tilting further so it meets both nappes yields the hyperbola.

Conic Section — Focus-Directrix Definition

A conic is the locus of points $P$ such that the ratio of the distance from $P$ to a fixed point $F$ (the focus) to the distance from $P$ to a fixed line $ℓ$ (the directrix) equals a constant $e \geq 0$ (the eccentricity):

\frac{∣ P F ∣}{dist ( P , ℓ )} = e

Here $P$ is a variable point on the curve, $F$ is the focus, $ℓ$ is the directrix, and $e$ is the eccentricity. The classification is: $e = 0$ circle, $0 < e < 1$ ellipse, $e = 1$ parabola, $e > 1$ hyperbola.

⟳Set

F = (0, 0)

, let

ℓ

be the vertical line

x = - d

, write

∣ P F ∣ = x^{2} + y^{2}

and

dist (P, ℓ) = ∣ x + d ∣

, then square the ratio equation to obtain a second-degree polynomial.

General Second-Degree Equation

Every conic section is the solution set of a second-degree equation in two variables:

A x^{2} + B x y + C y^{2} + D x + E y + F = 0

with $A, B, C$ not all zero. The conic type is determined by the discriminant $B^{2} - 4 A C$ :

type = ⎩ ⎨ ⎧ ellipse parabola hyperbola B^{2} - 4 A C < 0 B^{2} - 4 A C = 0 B^{2} - 4 A C > 0

⟳The discriminant is invariant under rotation of axes; rotate to eliminate the

B x y

term, reducing to standard form whose sign structure reveals the type.

Standard Forms (Axes-Aligned, Centered/Vertexed)

With center or vertex chosen at convenient points and axes aligned to coordinate axes:

Circle: x^{2} + y^{2} = r^{2}

⟳Special case of the ellipse with

a = b = r

; all points at fixed distance

r

from the center.

Ellipse: \frac{x ^{2}}{a ^{2}} + \frac{y ^{2}}{b ^{2}} = 1, a > b > 0

⟳Sum of distances to two foci is constant (

= 2 a

); algebraically simplify

∣ P F_{1} ∣ + ∣ P F_{2} ∣ = 2 a

Parabola: y^{2} = 4 p x

⟳From the focus-directrix definition with

e = 1

, focus

(p, 0)

, directrix

x = - p

Hyperbola: \frac{x ^{2}}{a ^{2}} - \frac{y ^{2}}{b ^{2}} = 1

⟳Absolute difference of distances to two foci is constant (

= 2 a

); simplify

∣ P F_{1} ∣ - ∣ P F_{2} ∣ = 2 a

Key Parameters of Ellipse and Hyperbola

For the ellipse and hyperbola, the focal distance $c$ relates the semi-axes:

Ellipse: c^{2} = a^{2} - b^{2}, Hyperbola: c^{2} = a^{2} + b^{2}

⟳For the ellipse, evaluate the sum-of-distances at the end of the minor axis where each focal distance equals

a

; Pythagoras gives

b^{2} + c^{2} = a^{2}

The eccentricity in terms of axes is:

e = \frac{c}{a}

⟳Substitute the focus location and directrix back into the ratio definition; for the ellipse

e = c / a < 1

, for the hyperbola

e = c / a > 1

Why It Holds / Derivation

Deriving the Ellipse from the Two-Focus Definition

We show that "sum of distances to two foci is constant" yields equation [6].

Place foci at $F_{1} = (- c, 0)$ and $F_{2} = (c, 0)$ . Let the constant sum be $2 a$ with $a > c > 0$ .

For a point $P = (x, y)$ on the curve:

(x + c)^{2} + y^{2} + (x - c)^{2} + y^{2} = 2 a

⟳Direct statement of the defining locus condition.

Isolate one radical and square:

(x + c)^{2} + y^{2} = 2 a - (x - c)^{2} + y^{2}

Squaring both sides:

(x + c)^{2} + y^{2} = 4 a^{2} - 4 a (x - c)^{2} + y^{2} + (x - c)^{2} + y^{2}

⟳Expand both squared binomials; the

y^{2}

and

x^{2}, c^{2}

terms partly cancel.

Expanding and cancelling $x^{2}, y^{2}, c^{2}$ leaves $4 c x = 4 a^{2} - 4 a (x - c)^{2} + y^{2}$ , so:

a (x - c)^{2} + y^{2} = a^{2} - c x

⟳Divide through by 4 and rearrange to isolate the remaining radical.

Square again:

a^{2} ((x - c)^{2} + y^{2}) = a^{4} - 2 a^{2} c x + c^{2} x^{2}

Expand and group:

(a^{2} - c^{2}) x^{2} + a^{2} y^{2} = a^{2} (a^{2} - c^{2})

⟳Collect

x^{2}

terms; the linear

x

terms cancel cleanly.

Define $b^{2} = a^{2} - c^{2}$ (positive since $a > c$ ). Divide by $a^{2} b^{2}$ :

\frac{x ^{2}}{a ^{2}} + \frac{y ^{2}}{b ^{2}} = 1 ■

⟳Substitute

a^{2} - c^{2} = b^{2}

into [14] and normalize the right side to 1.

Parabola from Focus-Directrix with $e=1$

Focus $F = (p, 0)$ , directrix $ℓ : x = - p$ . Locus condition $∣ P F ∣ = dist (P, ℓ)$ :

(x - p)^{2} + y^{2} = ∣ x + p ∣

⟳Equal distances since

e = 1

; right side is horizontal distance to the line.

Square both sides:

(x - p)^{2} + y^{2} = (x + p)^{2}

⟳Both sides nonnegative, so squaring preserves equality.

Expand: $x^{2} - 2 p x + p^{2} + y^{2} = x^{2} + 2 p x + p^{2}$ . Cancel $x^{2}, p^{2}$ :

y^{2} = 4 p x ■

⟳The

- 2 p x

and

+ 2 p x

combine to give

y^{2} = 4 p x

The four conic sections as slices of a double cone, plus the ellipse in the plane

Apollonius of Perga | c. 262 – c. 190 BCE

The Greek geometer Apollonius wrote Conics, an eight-book treatise that systematized the study of these curves. He coined the names ellipse ("falling short"), parabola ("alongside"), and hyperbola ("exceeding") — terms borrowed from the Pythagorean theory of application of areas, describing whether a constructed rectangle fell short of, matched, or exceeded a reference area. Crucially, Apollonius showed that all three curves arise from a single cone by varying the cutting plane, rather than requiring three differently-shaped cones as earlier geometers (Menaechmus) had supposed. His work remained the definitive reference for nearly 2000 years and directly enabled Kepler and Newton.

Building Intuition

Imagine shining a flashlight (a cone of light) at a wall.

Point it straight on: a circle.
Tilt it slightly: the circle stretches into an ellipse — still a closed loop because the cone "closes" around the beam.
Tilt until one edge of the light beam is parallel to the wall: the loop never closes and you get an open parabola.
Tilt further so the beam would, if extended backward, hit the wall on the other side too — you reveal both branches of a hyperbola.

Eccentricity measures "how stretched": $e = 0$ is perfectly round; as $e \to 1$ the ellipse becomes more and more elongated until it bursts open into a parabola; beyond that ( $e > 1$ ) it splits into two branches racing toward straight-line asymptotes.

Worked Examples

Identifying and Analyzing an Ellipse

Given: The equation

9 x^{2} + 25 y^{2} = 225

. Find the type, semi-axes, foci, and eccentricity. Steps:

Divide by 225 to reach standard form:

\frac{x ^{2}}{25} + \frac{y ^{2}}{9} = 1

Read off $a^{2} = 25 \Rightarrow a = 5$ (major, along $x$ ) and $b^{2} = 9 \Rightarrow b = 3$ .
Discriminant check ([4]): $A = 9, B = 0, C = 25 \Rightarrow B^{2} - 4 A C = - 900 < 0$ → ellipse. ✓
Focal distance from [9]: $c^{2} = a^{2} - b^{2} = 25 - 9 = 16 \Rightarrow c = 4$ . Foci at $(\pm 4, 0)$ .
Eccentricity from [10]: $e = c / a = 4/5 = 0.8$ .

Answer:

a = 5, b = 3, foci (\pm 4, 0), e = 0.8

Since

0 < e < 1

this confirms an ellipse, fairly elongated.

Finding a Parabola's Focus and Directrix

Given: A satellite dish has cross-section

y^{2} = 12 x

(units in cm). Where should the receiver be placed? Steps:

Compare with standard form [7]: $y^{2} = 4 p x$ . So $4 p = 12 \Rightarrow p = 3$ .
The focus of $y^{2} = 4 p x$ sits at $(p, 0)$ , so focus $= (3, 0)$ cm.
The directrix is $x = - p = - 3$ cm.
Physical meaning: incoming parallel rays (signals) reflect off the parabola and all converge at the focus — that's where the receiver goes.

Answer:

Receiver at (3, 0) cm; directrix x = - 3 cm

The receiver sits 3 cm from the vertex along the axis.

Common Misconceptions

A circle is not "the same as" an ellipse with $a = b$ in the focus picture. While

x^{2} + y^{2} = r^{2}

is indeed the ellipse limit as

b \to a

, the two foci merge into the single center and the directrix recedes to infinity. So the focus-directrix ratio [2] is a limiting case (

e = 0

), not literally evaluable as

0/0

at finite scale. Treat the circle's

e = 0

as a definition reached by limit, not by plugging into the ratio. The sign of the $x y$ term matters, not just $A$ and $C$ . A common error is classifying

x^{2} + y^{2} + x y = 1

as an ellipse just because

A, C > 0

. You must use the full discriminant:

B^{2} - 4 A C = 1 - 4 = - 3 < 0

→ ellipse here (correct), but

x^{2} + 4 x y + y^{2} = 1

gives

16 - 4 = 12 > 0

→ hyperbola, despite "looking" elliptical. Not every second-degree equation is a "nice" conic. Consider

x^{2} - y^{2} = 0

. Discriminant

B^{2} - 4 A C = 0 - 4 (1) (- 1) = 4 > 0

suggests a hyperbola, but factoring gives

(x - y) (x + y) = 0

— a pair of intersecting lines, a degenerate hyperbola. Similarly

x^{2} + y^{2} = 0

is just the single point

(0, 0)

(degenerate ellipse), and

x^{2} = 0

is the doubled line

x = 0

(degenerate parabola). The discriminant tells you the family but not whether the conic has degenerated.

Connections

Conic sections sit at a crossroads of mathematics. Algebraically they are the level sets of Quadratic Forms in two variables, and rotating axes to eliminate the $x y$ term is an application of Eigenvalues and Eigenvectors (the principal axes are eigenvectors of the coefficient matrix). In Polar Coordinates all four conics share one beautiful equation $r = \frac{ℓ}{1 + e c o s θ}$ with the focus at the origin — the form Kepler needed. They generalize to Quadric Surfaces in three dimensions (ellipsoids, paraboloids, hyperboloids) and are unified projectively in Projective Geometry, where ellipse, parabola, and hyperbola become the same curve viewed differently. Their reflective properties tie directly to Geometric Optics.

Real-World Applications

Planetary orbits (Kepler's First Law): Planets travel in ellipses with the Sun at one focus; comets follow ellipses, parabolas, or hyperbolas depending on energy. Earth's orbital eccentricity is about $0.0167$ (nearly circular).
Satellite dishes & radio telescopes: Paraboloid reflectors focus parallel incoming waves to a single point (the focus), and vice versa for transmitters.
Car headlights & spotlights: A bulb at the focus of a parabolic mirror produces a collimated (parallel) beam.
Whispering galleries (e.g., St. Paul's Cathedral, U.S. Capitol): Elliptical ceilings reflect sound from one focus to the other, so a whisper carries across the room.
LORAN & GPS-style navigation: Differences in signal arrival times define hyperbolas (loci of constant distance-difference); intersecting two locates a receiver.
Lithotripsy (kidney-stone treatment): A shock wave generated at one focus of an ellipsoidal reflector concentrates at the other focus, on the stone, sparing surrounding tissue.
Projectile motion & arches: Ignoring air resistance, a thrown object traces a parabola; suspension-bridge cables and certain arches approximate parabolas under uniform load.

Historical Development

~350 BCE — Menaechmus introduces conics to solve the problem of doubling the cube, using sections of three different cones.
~300 BCE — Euclid writes a (lost) treatise on conics, consolidating earlier Greek work.
~200 BCE — Apollonius of Perga composes Conics; names ellipse, parabola, hyperbola; shows all arise from a single cone.
~350 CE — Pappus of Alexandria records the focus-directrix property, foreshadowing the unified eccentricity definition.
1609 — Johannes Kepler publishes Astronomia Nova, establishing that Mars (and planets) move in ellipses with the Sun at a focus.
1637 — René Descartes & Pierre de Fermat independently develop coordinate geometry, recasting conics as second-degree equations $A x^{2} + B x y + \dots = 0$ .
1655 — John Wallis publishes Tractatus de Sectionibus Conicis, treating conics purely algebraically for the first time.
1687 — Isaac Newton derives Kepler's elliptical orbits from the inverse-square law of gravitation in Principia, explaining why orbits are conics.
1822 — Germinal Pierre Dandelin proves the Dandelin spheres theorem, elegantly linking the slicing definition to the focus-directrix definition.

Subtleties & Limits

The focus-directrix definition [2] cleanly produces the parabola ( $e = 1$ ) but treats the circle ( $e = 0$ ) only as a limit — there is no finite directrix. A subtle question is how to define conics uniformly: the projective viewpoint solves this by adjoining a "line at infinity," whereupon parabola, ellipse, and hyperbola differ only in how they meet that line (tangent, miss, cross). Yet teaching this rigorously to beginners while preserving the metric (distance-based) intuition remains pedagogically open. A second subtlety: classifying the degenerate cases (point, line, two lines) requires examining a $3 \times 3$ determinant beyond the simple discriminant $B^{2} - 4 A C$ , and the boundary between "true" and "degenerate" conics is a recurring source of student error. Finally, generalizations to higher dimensions (Quadric Surfaces) introduce many more types, and the full classification over the complex numbers versus the reals differs in ways often glossed over at the introductory level.