Matrix representation of conic sections


In mathematics, the matrix representation of conic sections permits the tools of linear algebra to be used in the study of conic sections. It provides easy ways to calculate a conic section's axis, vertices, tangents and the pole and polar relationship between points and lines of the plane determined by the conic. The technique does not require putting the equation of a conic section into a standard form, thus making it easier to investigate those conic sections whose axes are not parallel to the coordinate system.
Conic sections are the sets of points whose coordinates satisfy a second-degree polynomial equation,
By an abuse of notation, this conic section will also be called when no confusion can arise.
This equation can be written in matrix notation, in terms of a symmetric matrix to simplify some subsequent formulae, as
The sum of the first three terms of this equation, namely
is the quadratic form associated with the equation, and the matrix
is called the matrix of the quadratic form. The trace and determinant of are both invariant with respect to rotation of axes and translation of the plane.
The quadratic equation can also be written as
where is the homogeneous coordinate vector in three variables restricted so that the last variable is 1, i.e.,
and where is the matrix
The matrix is called the matrix of the quadratic equation. Like that of, its determinant is invariant with respect to both rotation and translation.
The 2 × 2 upper left submatrix of, obtained by removing the third row and third column from is the matrix of the quadratic form. The above notation is used in this article to emphasize this relationship.

Classification

Proper and degenerate conic sections can be distinguished based on the determinant of.
If, the conic is degenerate.
If so that is not degenerate, we can see what type of conic section it is by computing the minor, :
In the case of an ellipse, we can distinguish the special case of a circle by comparing the last two diagonal elements corresponding to the coefficients of and :
Moreover, in the case of a non-degenerate ellipse, we have a real ellipse if but an imaginary ellipse if. An example of the latter is , which has no real-valued solutions.
If the conic section is degenerate, still allows us to distinguish its form:
The case of coincident lines occurs if and only if the rank of the 3×3 matrix is 1; in all other degenerate cases its rank is 2.

Central conics

When a geometric center of the conic section exists and such conic sections are called central conics.

Center

The center of a conic, if it exists, is a point that bisects all the chords of the conic that pass through it. This property can be used to calculate the coordinates of the center, which can be shown to be the point where the gradient of the quadratic function vanishes—that is,
This yields the center as given below.
An alternative approach that uses the matrix form of the quadratic equation is based on the fact that when the center is the origin of the coordinate system, there are no linear terms in the equation. Any translation to a coordinate origin, using = –, = – gives rise to
The condition for to be the conic's center is that the coefficients of the linear and terms, when this equation is multiplied out, are zero. This condition produces the coordinates of the center:
This calculation can also be accomplished by taking the first two rows of the associated
matrix, multiplying each by and setting both inner products equal to 0, obtaining the following system:
This yields the above center point.
In the case of a parabola, that is, when, there is no center since the above denominators become zero

Centered matrix equation

A central conic can be rewritten in centered matrix form as
where
Then for the ellipse case of, the ellipse is real if the sign of equals the sign of , imaginary if they have opposite signs, and a degenerate point ellipse if. In the hyperbola case of, the hyperbola is degenerate if and only if.

Standard form of a central conic

The standard form of the equation of a central conic section is obtained when the conic section is translated and rotated so that its center lies at the center of the coordinate system and its axes coincide with the coordinate axes. This is equivalent to saying that the coordinate system's center is moved and the coordinate axes are rotated to satisfy these properties. In the diagram, the original -coordinate system with origin is moved to the -coordinate system with origin.
The translation is by the vector
The rotation by angle can be carried out by diagonalizing the matrix.
Thus, if and are the eigenvalues
of the matrix A33, the centered equation can be rewritten in new variables and as
Dividing by we obtain a standard canonical form.
For example, for an ellipse this form is
From here we get and, the lengths of the semi-major and semi-minor axes in conventional notation.
For central conics, both eigenvalues are non-zero and the classification of the conic sections can be obtained by examining them.
By the principal axis theorem, the two eigenvectors of the matrix of the quadratic form of a central conic section are perpendicular and each is parallel to either the major or minor axis of the conic. The eigenvector having the smallest eigenvalue corresponds to the major axis.
Specifically, if a central conic section has center and an eigenvector of is given by then the principal axis corresponding to that eigenvector has equation,

Vertices

The vertices of a central conic can be determined by calculating the intersections of the conic and its axes — in other words, by solving the system consisting of the quadratic conic equation and the linear equation for alternately one or the other of the axes. Two or no vertices are obtained for each axis, since, in the case of the hyperbola, the minor axis does not intersect the hyperbola at a point with real coordinates. However, from the broader view of the complex plane, the minor axis of an hyperbola does intersect the hyperbola, but at points with complex coordinates.

Poles and polars

Using homogeneous coordinates, the points
are conjugate with respect to the conic provided
The conjugates of a fixed point either form a line or consist of all the points in the plane of the conic. When the conjugates of form a line, the line is called the polar of and the point is called the pole of the line, with respect to the conic. This relationship between points and lines is called a polarity.
If the conic is non-degenerate, the conjugates of a point always form a line and the polarity defined by the conic is a bijection between the points and lines of the extended plane containing the conic.
If the point lies on the conic, the polar line of is the tangent line to at.
The equation, in homogeneous coordinates, of the polar line of the point with respect to the non-degenerate conic is given by
Just as uniquely determines its polar line, so each line determines a unique pole. Furthermore, a point is on a line which is the polar of a point, if and only if the polar of passes through the point . Thus, this relationship is an expression of geometric duality between points and lines in the plane.
Several familiar concepts concerning conic sections are directly related to this polarity. The center of a non-degenerate conic can be identified as the pole of the line at infinity. A parabola, being tangent to the line at infinity, would have its center being a point on the line at infinity. Hyperbolas intersect the line at infinity in two distinct points and the polar lines of these points are the asymptotes of the hyperbola and are the tangent lines to the hyperbola at these points of infinity. Also, the polar line of a focus of the conic is its corresponding directrix.

Tangents

Let line be the polar line of point with respect to the non-degenerate conic. By La Hire's theorem, every line passing through has its pole on. If intersects in two points then the polars of those points are tangent lines that pass through and such a point is called an exterior or outer point of. If intersects in only one point, then it is a tangent line and is the point of tangency. Finally, if does not intersect then has no tangent lines passing through it and it is called an interior or inner point.
The equation of the tangent line at a point on the non-degenerate conic is given by,
If is an exterior point, first find the equation of its polar and then the intersections of that line with the conic, say at points and. The polars of and will be the tangents through.
Using the theory of poles and polars, the problem of finding the four mutual tangents of two conics reduces to finding the intersection of two conics.