Conic type discriminant

ID: conic-type-discriminant

For a second-degree equation , the number is the discriminant of a binary quadratic form associated with its quadratic part. For a nonempty, nondegenerate real conic section, a negative value gives an ellipse, zero a parabola, and a positive value a hyperbola. It is invariant under a rotation of orthonormal coordinates.[ref]
A short explanation uses the symmetric matrix
An orthogonal matrix changes this matrix to , whose determinant equals . The spectral theorem for real symmetric matrices then removes the mixed term. Equal-sign, opposite-sign and one-zero eigenvalues give the three types after the remaining linear terms and offsets are considered.
The qualification matters. The equations , and describe a point, a repeated straight line, and two crossing straight lines, respectively. Their quadratic discriminants have the signs expected of ellipse, parabola and hyperbola types, but all three are degenerate conics. Also, has an empty set of real solutions despite its negative quadratic discriminant.

New to topics? Read the docs here!