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]
10.4 Rotation of Axes. Precalculus 2e, §10.4, Identifying Conics without Rotating Axes and Using the Discriminant to Identify a Conic
A short explanation uses the symmetric matrixAn 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!