Given a general quadratic curve
(1)
|
the quantity is known as the discriminant, where
(2)
|
and is invariant under rotation. Using the coefficients from quadratic equations for a rotation by
an angle ,
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
|
Now let
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
and use
(13)
| |||
(14)
|
to rewrite the primed variables
(15)
| |||
(16)
| |||
(17)
| |||
(18)
|
From (16) and (18), it follows that
(19)
|
Combining with (17) yields, for an arbitrary
(20)
| |||
(21)
| |||
(22)
| |||
(23)
|
which is therefore invariant under rotation. This invariant therefore provides a useful shortcut to determining the shape represented by a quadratic
curve. Choosing to make
(see quadratic equation),
the curve takes on the form
(24)
|
Completing the square and defining new variables gives
(25)
|
Without loss of generality, take the sign of to be positive. The discriminant is
(26)
|
Now, if ,
then
and
both have the same sign, and the equation has the general form of an ellipse
(if
and
are positive). If
, then
and
have opposite signs, and the equation has the general form
of a hyperbola. If
, then either
or
is zero, and the equation has the general form of a parabola
(if the nonzero
or
is positive). Since the discriminant is invariant, these
conclusions will also hold for an arbitrary choice of
, so they also hold when
is replaced by the original
. The general result is
1. If ,
the equation represents an ellipse, a circle
(degenerate ellipse), a point
(degenerate circle), or has no graph.
2. If ,
the equation represents a hyperbola or pair of intersecting
lines (degenerate hyperbola).
3. If ,
the equation represents a parabola, a line
(degenerate parabola), a pair of parallel
lines (degenerate parabola), or has no graph.