Mathematics · Glossary

What is Focus–directrix definition?

Also known as: conic

Definition 24.11 University Mathematics — Year 1 · Chapter 24 — Plane Curves

Fix a point FF (focus), a line DD not through FF (directrix) and e>0e > 0 (eccentricity). The conic of these data is

C={M:d(M,F)=e  d(M,D)}:\mathcal{C} = \{M : d(M, F) = e\; d(M, D)\}:

an ellipse for e<1e < 1, a parabola for e=1e = 1, a hyperbola for e>1e > 1. (The circle appears as a degenerate limit e0e \to 0.)

Examples

Example 24.12 (The definition, checked on a parabola)

Take the parabola y2=4xy^2 = 4x, i.e. 2p=42p = 4: focus F=(1,0)F = (1, 0) and directrix D:x=1D : x = -1 (the reduced form Theorem 24.13 puts them at ±p2\pm\frac p2). At the point M=(1,2)M = (1, 2) of the curve:

MF=(11)2+22=2,d(M,D)=1(1)=2:MF = \sqrt{(1-1)^2 + 2^2} = 2, \qquad d(M, D) = 1 - (-1) = 2 :

equal, as e=1e = 1 demands. At M=(4,4)M' = (4, 4): MF=9+16=5MF' = \sqrt{9 + 16} = 5 and d(M,D)=5d(M', D) = 5 again. The focus–directrix definition is not an abstraction: it is a pair of distances one can measure on any point, and the algebra of the reduced equations is nothing but this measurement done once and for all.

Example 24.15 (Reading an orbit from its polar equation)

The polar conic r=11+12cosθr = \dfrac{1}{1 + \frac12\cos\theta} (Exercise 24.7 with p=1p = 1, e=12e = \frac12) is an ellipse with a focus at the origin — the geometry of a planetary orbit with the sun at OO. Extract everything from pp and ee: from the reduction of Theorem 24.13, a=p1e2=13/4=43a = \dfrac{p}{1 - e^2} = \dfrac{1}{3/4} = \dfrac43 and c=ea=23c = ea = \dfrac23. The two apsides check it with no theory at all:

r(0)=13/2=23=ac(perihelion),r(π)=11/2=2=a+c(aphelion),r(0) = \frac{1}{3/2} = \frac23 = a - c \quad (\text{perihelion}), \qquad r(\pi) = \frac{1}{1/2} = 2 = a + c \quad (\text{aphelion}),

and their sum 23+2=83=2a\frac23 + 2 = \frac83 = 2a recovers the major axis. The polar form is the natural one whenever a focus is physically distinguished; the reduced cartesian form, whenever the symmetry axes are. Converting between the two is exactly what the completed-square computation of the theorem does.

Eccentricity as a dial, finally: keep p=1p = 1 and turn ee in r=11+ecosθr = \frac{1}{1 + e\cos\theta}. At e=0e = 0: the circle r=1r = 1. At e=12e = \frac12: the ellipse just studied, rr oscillating between 23\frac23 and 22. At e=1e = 1: r(θ)r(\theta) \to \infty as θπ\theta \to \pi — the curve no longer closes: a parabola, its farthest point pushed to infinity. At e=2e = 2: the denominator vanishes at cosθ=12\cos\theta = -\frac12, and only θ(2π3,2π3)\theta \in \intoo{-\frac{2\pi}3}{\frac{2\pi}3} survives: one branch of a hyperbola, escaping along two asymptotic directions. One formula, the entire conic family, and the transition points e=1e = 1 visible as the moment the denominator first reaches zero.

Read in context →