Definition:Conic Section/Focus-Directrix Property
Definition
A conic section is a plane curve which can be specified in terms of:
- a given straight line $D$ known as the directrix
- a given point $F$ known as a focus
- a given constant $\epsilon$ known as the eccentricity.
Let $K$ be the locus of points $b$ such that the distance $p$ from $b$ to $D$ and the distance $q$ from $b$ to $F$ are related by the condition:
- $(1): \quad q = \epsilon \, p$
Then $K$ is a conic section.
Equation $(1)$ is known as the focus-directrix property of $K$.
Directrix
The line $D$ is known as the directrix of the conic section.
Focus
The point $F$ is known as the focus of the conic section.
Eccentricity
The constant $e$ is known as the eccentricity of the conic section.
Varieties of Conic Section
Circle
Conic section of eccentricity $0$:
It is not possible to define the circle using the focus-directrix property.
This is because as the eccentricity $e$ tends to $0$, the distance $p$ from $P$ to $D$ tends to infinity.
Thus a circle can in a sense be considered to be a degenerate ellipse whose foci are at the same point, that is, the center of the circle.
Ellipse
Conic section of eccentricity between $0$ and $1$:
Let $D$ be a straight line.
Let $F$ be a point.
Let $e \in \R: 0 < e < 1$.
Let $K$ be the locus of points $b$ such that the distance $p$ from $P$ to $D$ and the distance $q$ from $P$ to $F$ are related by the condition:
- $e p = q$
Then $K$ is an ellipse.
Parabola
Conic section of eccentricity $1$:
Let $D$ be a straight line.
Let $F$ be a point.
Let $K$ be the locus of points $P$ such that the distance $p$ from $P$ to $D$ equals the distance $q$ from $P$ to $F$:
- $p = q$
Then $K$ is a parabola.
Hyperbola
Conic section of eccentricity greater than $1$:
Let $D$ be a straight line.
Let $F_1$ be a point.
Let $e \in \R: e > 1$.
Let $K$ be the locus of points $P$ such that the distance $p$ from $P$ to $D$ and the distance $q$ from $P$ to $F_1$ are related by the condition:
- $e p = q$
Then $K$ is a hyperbola.
Also see
Historical Note
The focus-directrix definition of a conic section was first documented by Pappus of Alexandria.
It appears in his Collection.
As he was scrupulous in documenting his sources, and he gives none for this construction, it can be supposed that it originated with him.
Sources
- 1933: D.M.Y. Sommerville: Analytical Conics (3rd ed.) ... (previous) ... (next): Chapter $\text {IV}$. The Ellipse: $1 \text a$. Focal properties
- 1992: George F. Simmons: Calculus Gems ... (previous) ... (next): Chapter $\text {A}.8$: Pappus (fourth century A.D.)