General Conic Section

A conic section is a curve obtained as the intersection of a right circular double-napped cone with a plane. This definition is purely geometric and does not require any coordinate system or algebraic equation. The entire classification of conics—ellipse, parabola, hyperbola, and their degenerate forms—emerges by examining how a plane, inclined at an angle \(\theta\), intersects a cone whose generators make a fixed angle \(\alpha\) with the vertical axis.

We now describe this classification in complete generality.

The Cone

Let the origin be the vertex of a right circular cone whose axis is vertical. The cone is formed by rotating a straight line (a generator) about this axis such that it always makes a fixed angle \(\alpha \in (0, \frac{\pi}{2})\) with it. This produces two infinite surfaces—called the upper nappe and the lower nappe—that together form the double-napped cone.

Please look at the following source to get a full picture: INTMATH

We now intersect this cone with a plane inclined at angle \(\theta\) to the axis. The nature of the curve formed at the intersection depends on two things:

The comparison between \(\theta\) and \(\alpha\)
Whether the plane passes through the vertex or not

We treat the non-degenerate and degenerate cases separately.

I. Non-Degenerate Conics (Plane does not pass through the vertex)

These arise when the cutting plane does not contain the origin.

1. Ellipse

If the plane intersects only one nappe, and

\[ \theta < \alpha, \]

then the intersection is a closed, bounded curve called an ellipse. The cutting plane is oblique but not steep enough to cut both nappes.

A circle arises as a special case when \(\theta = 0\), i.e., the plane is horizontal and perpendicular to the cone’s axis.

Interactive Figure at intmath.com

2. Parabola

If the cutting plane is parallel to exactly one generator, then

\[ \theta = \alpha. \]

The plane touches the cone in such a way that the intersection is an open, unbounded curve called a parabola. The plane intersects only one nappe, but it does so with just enough steepness to prevent closure.

Interactive Figure at intmath.com

3. Hyperbola

If the plane cuts both nappes, then

\[ \theta > \alpha. \]

The intersection is a hyperbola, consisting of two unbounded branches. The plane slices steeply enough to enter one nappe and exit through the other.

Interactive Figure at intmath.com

II. Degenerate Conics (Plane passes through the vertex)

When the cutting plane contains the origin, the intersection curve becomes degenerate, i.e., a limiting form of a conic.

1. Point

If the plane touches only one nappe and

\[ \theta < \alpha, \]

then the intersection is a single point, namely the origin itself. This is a degenerate ellipse.

2. Single Line

If the plane is parallel to a generator and passes through the vertex, so

\[ \theta = \alpha, \]

then the plane intersects the cone in one generator, and the intersection is a single straight line through the vertex. This is a degenerate parabola.

3. Pair of Intersecting Lines

If the plane passes through the vertex and is steeper than the cone:

\[ \theta > \alpha, \]

then the intersection is a pair of straight lines intersecting at the vertex, one from each nappe. This is a degenerate hyperbola.

Summary of Classical Conics via Cone Intersections

\[ \begin{aligned} &\textbf{Case: Plane does not pass through the vertex} \\ \theta < \alpha &\implies \text{Ellipse (Circle when } \theta = 0\text{)} \\ \theta = \alpha &\implies \text{Parabola} \\ \theta > \alpha &\implies \text{Hyperbola} \\ \\ &\textbf{Case: Plane passes through the vertex} \\ \theta < \alpha &\implies \text{Point (Degenerate Ellipse)} \\ \theta = \alpha &\implies \text{Single Line (Degenerate Parabola)} \\ \theta > \alpha &\implies \text{Intersecting Lines (Degenerate Hyperbola)} \end{aligned} \]

This classification completes the geometric definition of conics as sections of a cone. Each conic arises from a precise angular relationship between the cutting plane and the cone, and the vertex plays a critical role in distinguishing degenerate forms. No coordinates are required; all types of conics emerge naturally from this unified spatial construction.

Modern Definition of Conic Sections

A conic section can also be defined as the locus of a point moving in a plane in such a way that its distance from a fixed point is always in a constant ratio to its perpendicular distance from a fixed straight line. This geometric definition, unlike the classical cone-cutting definition, is entirely two-dimensional and coordinate-independent.

Let us formalize this:

Let there be a fixed point \(S\), called the focus, and a fixed straight line \(L\), called the directrix, both lying in the same plane. Let \(P\) be a point that moves in this plane and satisfies the following condition:

\[ \frac{\text{distance from } P \text{ to } S}{\text{perpendicular distance from } P \text{ to } L} = e, \]

where \(e > 0\) is a given constant, called the eccentricity of the conic. That is,

\[ \frac{SP}{PN} = e, \]

where \(N\) is the foot of the perpendicular from \(P\) to the line \(L\), and \(SP\) and \(PN\) are the Euclidean distances from \(P\) to the focus and to the directrix respectively.

This definition captures all types of conics by varying the value of \(e\):

If \(0 < e < 1\), the point remains closer to the focus than to the directrix. The locus is an ellipse.
If \(e = 1\), the point remains equally close to both the focus and the directrix. The locus is a parabola.
If \(e > 1\), the point stays farther from the focus than from the directrix. The locus is a hyperbola.

Let us now give this definition a coordinate expression.

Fix a Cartesian coordinate system. Suppose the directrix has the equation

\[ ax + by + c = 0, \]

and the focus is the fixed point \(S(\alpha, \beta)\). Let the moving point \(P(x, y)\) be an arbitrary point on the locus.

By the definition above, the distance from \(P\) to the focus is

\[ SP = \sqrt{(x - \alpha)^2 + (y - \beta)^2}, \]

and the perpendicular distance from \(P\) to the line \(L\) is given by the formula:

\[ PN = \frac{|ax + by + c|}{\sqrt{a^2 + b^2}}. \]

Then the defining condition of the conic becomes:

\[ \sqrt{(x - \alpha)^2 + (y - \beta)^2} = e \cdot \frac{|ax + by + c|}{\sqrt{a^2 + b^2}}. \]

This equation represents the general form of a conic section as a locus, and the value of \(e\) determines the type of conic, just as before:

\[ \begin{aligned} 0 < e < 1 &\implies \text{Ellipse}, \\ e = 1 &\implies \text{Parabola}, \\ e > 1 &\implies \text{Hyperbola}. \end{aligned} \]

To fully understand how different values of \(e\) affect the shape and position of the conic, and to reduce the locus equation into recognizable standard forms, a detailed coordinate analysis is necessary. That study requires further exploration, which we shall undertake soon.