Matrix representation of conic sections

Matrix representation of conic sections

In mathematics, the matrix representation of conic sections is one way of studying a conic section, its axis, vertices, foci, tangents, and the relative position of a given point. We can also study conic sections whose axes aren't parallel to our coordinate system.

Conic sections have the form of a second-degree polynomial:


Q \ \stackrel{\mathrm{def}}{=}\  Ax^2+Bxy+Cy^2+Dx+Ey+F=0. \,

That can be written as:


\mathbf{x}^T A_Q\mathbf{x}=0

Where \mathbf{x} is the homogeneous coordinate vector:


\begin{pmatrix} x \\ y \\ 1 \end{pmatrix}

And AQ a matrix:


A_Q = 
\begin{pmatrix}
  A & B/2 & D/2 \\
  B/2 & C & E/2 \\
  D/2 & E/2 & F
\end{pmatrix}.

Contents

Classification

Regular and degenerated conic sections can be distinguished[1]:p.63;[2]:p.70;[3]:pp.101-111 based on the determinant of AQ.

If det AQ = 0, the conic is degenerate.

If Q is not degenerate, we can see what type of conic section it is by computing the minor det A33 (that is, the determinant of the submatrix resulting from removing the last row and the last column of AQ):



A_{33} =

\begin{bmatrix}

	A	&	B/2	\\

	B/2 	&	C

\end{bmatrix}.
  • If and only if det A33 < 0, it is a hyperbola.
  • If and only if det A33 = 0, it is a parabola.
  • If and only if det A33 > 0, it is an ellipse.

In the case of an ellipse, we can make a further distinction between an ellipse and a circle by comparing the last two diagonal elements corresponding to x2 and y2.

  • If A = C and B = 0, it is a circle.

Moreover, in the case of a non-degenerate ellipse (with detA33 > 0 and \det A_Q \ne 0), we have a real ellipse if C \cdot \det A_Q < 0 but an imaginary ellipse if C \cdot \det A_Q > 0. An example of the latter is x2 + y2 + 10 = 0, which has no real-valued solutions.

If the conic section is degenerate (det AQ = 0), det A33 still allows us to distinguish its form:

  • If and only if det A33 < 0, it is two intersecting lines.
  • If and only if detA33 = 0, it is two parallel straight lines. These lines are distinct and real if E2 − 4CF > 0, coincident if E2 − 4CF = 0, and distinct and imaginary if E2 − 4CF < 0.
  • If and only if det A33 > 0, it is a single point.

Center

In the center of the conic, the gradient of the quadratic form Q vanishes, so: 
\nabla Q =[ \frac{\partial Q}{\partial x} , \frac{\partial Q}{\partial y}] = [0,0].

We can calculate the center by taking the first two rows of the associated matrix AQ , multiplying each by (x, y, 1)T, setting both inner products equal to 0, and solving the system.


S \ \stackrel{\mathrm{def}}{=}\  
 	\left\{ \begin{matrix}
   a_{11} + a_{12}x + a_{13}y & = & 0 \\
   a_{21} + a_{22}x + a_{23}y & = & 0
	\end{matrix} \right.
\ \stackrel{\mathrm{def}}{=}\ 
    \left\{\begin{matrix}
    D/2  + Ax  + (B/2)y & = & 0 \\
    E/2  + (B/2)x +  Cy & = & 0
    \end{matrix} \right.

This becomes


\begin{pmatrix} x_c \\ y_c \end{pmatrix} 
   = \begin{pmatrix} A & B/2 \\ B/2 & C \end{pmatrix}^{-1}
     \begin{pmatrix} -D/2 \\ -E/2 \end{pmatrix}
   = \begin{pmatrix} (BE-2CD)/(4AC-B^2) \\ (DB-2AE)/(4AC-B^2) \end{pmatrix}

Note that in the case of a parabola, defined by (4AC-B2) = 0, there is no center since the above denominators become zero.

Axes

The major and minor axes are two lines determined by the center of the conic as a point and eigenvectors of the associated matrix as vectors of direction.


a_{1,2} \ \stackrel{\mathrm{def}}{=}\ 
    \left\{\begin{matrix}
    S(x_0,y_0) &\qquad	\mbox{(center of the conic)}\\
    \vec u(u_x,u_y) &\qquad \mbox{(eigenvector of }A_{33})
    \end{matrix} \right.

So we can write a canonical equation:


a_{1,2} \ \stackrel{\mathrm{def}}{=}\  \frac{x-x_0}{u_x} = \frac{y-y_0}{u_y}

Because a 2x2 matrix has 2 eigenvectors, we obtain 2 axes.

Vertices

For a general conic we can determine its vertices by calculating the intersection of the conic and its axes — in other words, by solving the system:


V \ \stackrel{\mathrm{def}}{=}\ 
    \left\{\begin{matrix}
    & e &\qquad    \mbox{(axis)} \\
    & Q &\qquad  \mbox{(the general equation of the conic)}
    \end{matrix} \right.

Tangents

Through a given point, P, there are generally two lines tangent to a conic. Expressing P as a column vector, p, the two points of tangency are the intersections of the conic with the line whose equation is


\mathbf{p}^T A_Q\mathbf{x}=0

When P is on the conic, the line is the tangent there. When P is inside an ellipse, the line is the set of all points whose own associated line passes through P. This line is called the polar of the pole P with respect to the conic.

Just as P uniquely determines its polar line (with respect to a given conic), so each line determines a unique P. This is thus an expression of geometric duality between points and lines in the plane.

As special cases, the center of a conic is the pole of the line at infinity, and each asymptote of a hyperbola is a polar (a tangent) to one of its points at infinity.

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.

Reduced equation

The reduced equation of a conic section is the equation of a conic section translated and rotated so that its center lies in the center of the coordinate system and its axes are parallel to the coordinate axes. This is equivalent to saying that the coordinates are moved to satisfy these properties. See the figure.

Conic ref syst.svg

If λ1 and λ2 are the eigenvalues of the matrix A33, the reduced equation can be written as[4]


\lambda_1 x'^2 + \lambda_2 y'^2 + \frac{\det A_Q}{\det A_{33}} = 0

Dividing by -\frac{\det A_Q}{\det A_{33}} we obtain a reduced canonical equation. For example, for an ellipse:


\frac{{x'}^2}{a^2} + \frac{{y'}^2}{b^2} = 1.

From here we get a and b.

The transformation of coordinates is given by:


T: RS(O,X,Y) \mapsto (O'=S,X',Y') \ \stackrel{\mathrm{def}}{=}\ 
    \left\{\begin{align}
    \vec t &=  \overrightarrow {OO'} = S\\
    \alpha &= \operatorname{arccos} \frac{\vec a_1 \cdot {1 \choose 0}}{|\vec a_1|}
    \end{align} \right.

See also

References

  1. ^ Lawrence, J. Dennis, A Catalog of Special Plane Curves, Dover Publ., 1972.
  2. ^ Spain, Barry, Analytical Conics, Dover, 2007.
  3. ^ Pettofrezzo, Anthony, Matrices and Transformations, Dover, 1966.
  4. ^ Ayoub, A. B., "The central conic sections revisited", Mathematics Magazine 66(5), 1993, 322-325.

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Conic section — Types of conic sections: 1. Parabola 2. Circle and ellipse 3. Hyperbola …   Wikipedia

  • Ellipse — Elliptical redirects here. For the exercise machine, see Elliptical trainer. This article is about the geometric figure. For other uses, see Ellipse (disambiguation). Not to be confused with ellipsis. An ellipse obtained as the intersection of a… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • List of matrices — This page lists some important classes of matrices used in mathematics, science and engineering: Matrices in mathematics*(0,1) matrix a matrix with all elements either 0 or 1. Also called a binary matrix . *Adjugate matrix * Alternant matrix a… …   Wikipedia

  • Quadratic function — A quadratic function, in mathematics, is a polynomial function of the form f(x)=ax^2+bx+c ,!, where a e 0 ,!. The graph of a quadratic function is a parabola whose major axis is parallel to the y axis.The expression ax^2+bx+c in the definition of …   Wikipedia

  • List of geometry topics — This is list of geometry topics, by Wikipedia page.*Geometric shape covers standard terms for plane shapes *List of mathematical shapes covers all dimensions *List of differential geometry topics *List of geometers *See also list of curves, list… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Hyperbola — This article is about a geometrical curve, a conic section. For the term used in rhetoric, see Hyperbole …   Wikipedia

  • algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

  • History of mathematics — A proof from Euclid s Elements, widely considered the most influential textbook of all time.[1] …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”