In mathematics, a degenerate conic is a conic (a second-degree plane curve, defined by a polynomial equation of degree two) that fails to be an irreducible curve. This means that the defining equation is factorable over the complex numbers (or more generally over an algebraically closed field) as the product of two linear polynomials.
Contents
- Examples
- Classification
- Discriminant
- Relation to intersection of a plane and a cone
- Applications
- Degeneration
- Points to define
- References
In the real plane, a degenerate conic can be two lines that may or may not be parallel, a single line (either two coinciding lines or the union of a line and the line at infinity), a single point (in fact, two complex conjugate lines), or the null set (twice the line at infinity or two parallel complex conjugate lines).
All these degenerate conics may occur in pencils of conics. That is, if two real non-degenerated conics are defined by quadratic polynomial equations f = 0 and g = 0, the conics of equations af + bg = 0 form a pencil, which contains one or three degenerate conics. For any degenerate conic in the real plane, one may choose f and g so that the given degenerate conic belongs to the pencil they determine.
Examples
The conic section with equation
Similarly, the conic section with equation
The pencil of ellipses of equations
The pencil of circles of equations
Classification
Over the complex projective plane there are only two types of degenerate conics – two different lines, which necessarily intersect in one point, or one double line. Any degenerate conic may be transformed by a projective transformation into any other degenerate conic of the same type.
Over the real affine plane the situation is more complicated. A degenerate real conic may be:
For any two degenerate conics of the same class, there are affine transformations mapping the first conic to the second one.
Discriminant
Non-degenerate real conics can be classified as ellipses, parabolas, or hyperbolas by the discriminant of the non-homogeneous form
the matrix of the quadratic form in
Analogously, a conic can be classified as non-degenerate or degenerate according to the discriminant of the homogeneous quadratic form in
the discriminant of this form is the determinant of the matrix:
The conic is degenerate if and only if the determinant of this matrix equals zero.
See Matrix representation of conic sections#Classification for determination of the specific type of degeneracy based on the parameters of the conic.
Relation to intersection of a plane and a cone
Conics, also known as conic sections to emphasize their three-dimensional geometry, arise as the intersection of a plane with a cone. Degeneracy occurs when the plane contains the apex of the cone or when the cone degenerates to a cylinder and the plane is parallel to the axis of the cylinder. See Conic section#Degenerate cases for details.
Applications
Degenerate conics, as with degenerate algebraic varieties generally, arise as limits of non-degenerate conics, and are important in compactification of moduli spaces of curves.
For example, the pencil of curves (1-dimensional linear system of conics) defined by
Such families arise naturally – given four points in general linear position (no three on a line), there is a pencil of conics through them (five points determine a conic, four points leave one parameter free), of which three are degenerate, each consisting of a pair of lines, corresponding to the
For example, given the four points
Note that this parametrization has a symmetry, where inverting the sign of a reverses x and y. In the terminology of (Levy 1964), this is a Type I linear system of conics, and is animated in the linked video.
A striking application of such a family is in (Faucette 1996) which gives a geometric solution to a quartic equation by considering the pencil of conics through the four roots of the quartic, and identifying the three degenerate conics with the three roots of the resolvent cubic.
Pappus's hexagon theorem is the special case of Pascal's theorem, when a conic degenerates to two lines.
Degeneration
In the complex projective plane, all conics are equivalent, and can degenerate to either two different lines or one double line.
In the real affine plane:
Degenerate conics can degenerate further to more special degenerate conics, as indicated by the dimensions of the spaces and points at infinity.
Points to define
A general conic is defined by five points: given five points in general position, there is a unique conic passing through them. If three of these points lie on a line, then the conic is reducible, and may or may not be unique. If no four points are collinear, then five points define a unique conic (degenerate if three points are collinear, but the other two points determine the unique other line). If four points are collinear, however, then there is not a unique conic passing through them – one line passing through the four points, and the remaining line passes through the other point, but the angle is undefined, leaving 1 parameter free. If all five points are collinear, then the remaining line is free, which leaves 2 parameters free.
Given four points in general linear position (no three collinear; in particular, no two coincident), there are exactly three pairs of lines (degenerate conics) passing through them, which will in general be intersecting, unless the points form a trapezoid (one pair is parallel) or a parallelogram (two pairs are parallel).
Given three points, if they are non-collinear, there are three pairs of parallel lines passing through them – choose two to define one line, and the third for the parallel line to pass through, by the parallel postulate.
Given two distinct points, there is a unique double line through them.