Matrix representation of conic sections

Last updated

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.

Contents

Conic sections (including degenerate ones) are the sets of points whose coordinates satisfy a second-degree polynomial equation in two variables,

By an abuse of notation, this conic section will also be called Q 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 [1]

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 (movement of the origin). [2] [3]

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. [4] Like that of , its determinant is invariant with respect to both rotation and translation. [3]

The 2×2 upper left submatrix (a matrix of order 2) of AQ, obtained by removing the third (last) row and third (last) column from AQ is the matrix of the quadratic form. The above notation A33 is used in this article to emphasize this relationship.

Classification

Proper (non-degenerate) and degenerate conic sections can be distinguished [5] [6] based on the determinant of AQ:

If , the conic is degenerate.

If so that Q 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 x2 and y2:

Moreover, in the case of a non-degenerate ellipse (with and ), 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. [2]

Central conics

When a geometric center of the conic section exists and such conic sections (ellipses and hyperbolas) are called central conics. [7]

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 Q vanishes—that is, [8]

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 (x0, y0), using x* = xx0, y* = yy0 gives rise to

The condition for (x0, y0) to be the conic's center (xc, yc) is that the coefficients of the linear x* and y* 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 AQ, multiplying each by (x, y, 1) 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 4ACB2 = 0, there is no center since the above denominators become zero (or, interpreted projectively, the center is on the line at infinity.)

Centered matrix equation

A central (non-parabola) conic can be rewritten in centered matrix form as

where

Then for the ellipse case of AC > (B/2)2, the ellipse is real if the sign of K equals the sign of (A + C) (that is, the sign of each of A and C), imaginary if they have opposite signs, and a degenerate point ellipse if K = 0. In the hyperbola case of AC < (B/2)2, the hyperbola is degenerate if and only if K = 0.

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 xy-coordinate system with origin O is moved to the x'y'-coordinate system with origin O'.

Translating and rotating coordinates Conic ref syst.svg
Translating and rotating coordinates

The translation is by the vector

The rotation by angle α can be carried out by diagonalizing the matrix A33. Thus, if and are the eigenvalues of the matrix A33, the centered equation can be rewritten in new variables x' and y' as [9]

Dividing by we obtain a standard canonical form.

For example, for an ellipse this form is

From here we get a and b, 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. [10]

Axes

By the principal axis theorem, the two eigenvectors of the matrix of the quadratic form of a central conic section (ellipse or hyperbola) are perpendicular (orthogonal to each other) and each is parallel to (in the same direction as) either the major or minor axis of the conic. The eigenvector having the smallest eigenvalue (in absolute value) corresponds to the major axis. [11]

Specifically, if a central conic section has center (xc, yc) and an eigenvector of A33 is given by v(v1, v2) then the principal axis (major or minor) 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. [12]

Poles and polars

Using homogeneous coordinates, [13] the points [14]

and

are conjugate with respect to the conic Q provided

The conjugates of a fixed point p either form a line or consist of all the points in the plane of the conic. When the conjugates of p form a line, the line is called the polar of p and the point p 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 (that is, the plane together with the points and line at infinity).

If the point p lies on the conic Q, the polar line of p is the tangent line to Q at p.

The equation, in homogeneous coordinates, of the polar line of the point p with respect to the non-degenerate conic Q is given by

Just as p uniquely determines its polar line (with respect to a given conic), so each line determines a unique pole p. Furthermore, a point p is on a line L which is the polar of a point r, if and only if the polar of p passes through the point r (La Hire's theorem). [15] 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. [16]

Tangents

Let line L be the polar line of point p with respect to the non-degenerate conic Q. By La Hire's theorem, every line passing through p has its pole on L. If L intersects Q in two points (the maximum possible) then the polars of those points are tangent lines that pass through p and such a point is called an exterior or outer point of Q. If L intersects Q in only one point, then it is a tangent line and p is the point of tangency. Finally, if L does not intersect Q then p has no tangent lines passing through it and it is called an interior or inner point. [17]

The equation of the tangent line (in homogeneous coordinates) at a point p on the non-degenerate conic Q is given by,

If p is an exterior point, first find the equation of its polar (the above equation) and then the intersections of that line with the conic, say at points s and t. The polars of s and t will be the tangents through p.

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.

See also

Notes

  1. Brannan, Esplen & Gray 1999 , p. 30
  2. 1 2 Pettofrezzo 1978 , p. 110
  3. 1 2 Spain 2007 , pp. 59–62
  4. It is also a matrix of a quadratic form, but this form has three variables and is .
  5. Lawrence 1972 , p. 63
  6. Spain 2007 , p. 70
  7. Pettofrezzo 1978 , p. 105
  8. Ayoub 1993 , p. 322
  9. Ayoub 1993 , p. 324
  10. Pettofrezzo 1978 , p. 108
  11. Ostermann & Wanner 2012 , p. 311
  12. Kendig, Keith (2005), Conics, The Mathematical Association of America, pp. 89–102, ISBN   978-0-88385-335-1
  13. This permits the algebraic inclusion of infinite points and a line at infinity which are necessary to have for some of the following results
  14. This section follows Fishback, W.T. (1969), Projective and Euclidean Geometry (2nd ed.), Wiley, pp. 167–172
  15. Brannan, Esplen & Gray 1999 , p. 189
  16. Akopyan, A.V.; Zaslavsky, A.A. (2007), Geometry of Conics, American Mathematical Society, p. 72, ISBN   978-0-8218-4323-9
  17. Interpreted in the complex plane such a point is on two complex tangent lines that meet Q in complex points.

Related Research Articles

In mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.

<span class="mw-page-title-main">Ellipse</span> Plane curve: conic section

In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity , a number ranging from to .

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Ellipsoid</span> Quadric surface that looks like a deformed sphere

An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.

In mathematics, a quadric or quadric surface (quadric hypersurface in higher dimensions), is a generalization of conic sections (ellipses, parabolas, and hyperbolas). It is a hypersurface (of dimension D) in a (D + 1)-dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in D + 1 variables; for example, D = 1 in the case of conic sections. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a degenerate quadric or a reducible quadric.

<span class="mw-page-title-main">Hyperboloid</span> Unbounded quadric surface

In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.

<span class="mw-page-title-main">Quadratic function</span> Polynomial function of degree two

In mathematics, a quadratic polynomial is a polynomial of degree two in one or more variables. A quadratic function is the polynomial function defined by a quadratic polynomial. Before the 20th century, the distinction was unclear between a polynomial and its associated polynomial function; so "quadratic polynomial" and "quadratic function" were almost synonymous. This is still the case in many elementary courses, where both terms are often abbreviated as "quadratic".

In mathematics, a quadratic form is a polynomial with terms all of degree two. For example,

In geometry, a degenerate conic is a conic that fails to be an irreducible curve. This means that the defining equation is factorable over the complex numbers as the product of two linear polynomials.

<span class="mw-page-title-main">Dupin cyclide</span> Geometric inversion of a torus, cylinder or double cone

In mathematics, a Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. In particular, these latter are themselves examples of Dupin cyclides. They were discovered c. 1802 by Charles Dupin, while he was still a student at the École polytechnique following Gaspard Monge's lectures. The key property of a Dupin cyclide is that it is a channel surface in two different ways. This property means that Dupin cyclides are natural objects in Lie sphere geometry.

<span class="mw-page-title-main">Focus (geometry)</span> Geometric point from which certain types of curves are constructed

In geometry, focuses or foci are special points with reference to which any of a variety of curves is constructed. For example, one or two foci can be used in defining conic sections, the four types of which are the circle, ellipse, parabola, and hyperbola. In addition, two foci are used to define the Cassini oval and the Cartesian oval, and more than two foci are used in defining an n-ellipse.

<span class="mw-page-title-main">Eccentricity (mathematics)</span> Characteristic of conic sections

In mathematics, the eccentricity of a conic section is a non-negative real number that uniquely characterizes its shape.

In Euclidean geometry, a circumconic is a conic section that passes through the three vertices of a triangle, and an inconic is a conic section inscribed in the sides, possibly extended, of a triangle.

In geometry and linear algebra, a principal axis is a certain line in a Euclidean space associated with an ellipsoid or hyperboloid, generalizing the major and minor axes of an ellipse or hyperbola. The principal axis theorem states that the principal axes are perpendicular, and gives a constructive procedure for finding them.

<span class="mw-page-title-main">Conic section</span> Curve from a cone intersecting a plane

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

<span class="mw-page-title-main">Pole and polar</span>

In geometry, a pole and polar are respectively a point and a line that have a unique reciprocal relationship with respect to a given conic section.

In Euclidean and projective geometry, five points determine a conic, just as two (distinct) points determine a line. There are additional subtleties for conics that do not exist for lines, and thus the statement and its proof for conics are both more technical than for lines.

<span class="mw-page-title-main">Orthoptic (geometry)</span> All points for which two tangents of a curve intersect at 90° angles

In the geometry of curves, an orthoptic is the set of points for which two tangents of a given curve meet at a right angle.

<span class="mw-page-title-main">Confocal conic sections</span> Conic sections with the same foci

In geometry, two conic sections are called confocal if they have the same foci.

References