View source for Second-order curve

A plane curve whose rectangular Cartesian coordinates satisfy an algebraic equation of the second degree:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837101.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

Equation (*) need not define a real geometrical form, but to preserve generality in such situations one says that it defines an imaginary second-order curve. Depending on the values of the coefficients of the equation (*) it can be transformed by parallel displacement and rotation of the coordinate system through some angle to one of the 9 canonical forms given below, to each of which there corresponds a definite class of curves. Namely,

non-degenerate curves:

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837102.png" />, ellipses (cf. [[Ellipse|Ellipse]]);

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837103.png" />, hyperbolas (cf. [[Hyperbola|Hyperbola]]);

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837104.png" />, parabolas (cf. [[Parabola|Parabola]]);

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837105.png" />, imaginary ellipses;

degenerate curves:

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837106.png" />, pairs of imaginary intersecting lines;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837107.png" />, pairs of real intersecting lines;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837108.png" />, pairs of real parallel lines;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s0837109.png" />, pairs of imaginary parallel lines;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371010.png" />, a pair of coincident real lines.

A second-order curve that has a unique centre of symmetry (the centre of the second-order curve) is called a central curve. The coordinates of the centre of a second-order curve are determined by the solution of the system

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371011.png" /></td> </tr></table>

A second-order curve without a centre of symmetry or with an indefinite centre is called a non-central curve.

Investigations on the form of a second-order curve can be carried out without reducing the general equation to canonical form. This is done by considering the values of the so-called fundamental invariants of a second-order curve, that is, the following expressions in the coefficients of the equation (*), the values of which are not changed under a parallel displacement and a rotation of the coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371012.png" />:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371013.png" /></td> </tr></table>

and the semi-invariant

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371014.png" /></td> </tr></table>

which is an invariant with respect to rotation of the coordinate system (see the Table below).

Many important properties of second-order curves can be studied by means of the characteristic quadratic form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371015.png" /></td> </tr></table>

corresponding to equation (*). In particular, a non-degenerate second-order curve turns out to be an ellipse, an imaginary ellipse, a hyperbola, or a parabola, depending on whether <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371016.png" /> is a positive-definite, a negative-definite, an indefinite, or a semi-definite quadratic form. This can be established from the roots of its characteristic equation:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371017.png" /></td> </tr></table>

The three fundamental invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371020.png" /> determine a second-order curve (excluding the case of parallel lines) up to a motion of the Euclidean plane: If the corresponding invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371023.png" /> of two curves are equal, then these curves can be made to coincide by a motion. In other words, these curves are equivalent with respect to the group of motions of the plane (metrically equivalent).

There is a classification of second-order curves from the point of view of other groups of transformations. Thus, with respect to the more general (than the group of motions) group of affine transformations any two curves defined by equations of the same canonical form are equivalent. For example, two similar second-order curves are regarded as equivalent. The connections between different affine classes of second-order curves make it possible to establish a classification from the point of view of projective geometry, in which elements at infinity do not play a special role. The real non-degenerate second-order curves, ellipses, hyperbolas, and parabolas, form one projective class — the class of real oval curves (ovals, cf. [[Oval|Oval]]). A real oval curve is an ellipse, hyperbola or parabola, depending on how it is situated with respect to the line at infinity; an ellipse intersects the line at infinity in two imaginary points, a hyperbola intersects it in two real points and a parabola touches it; there are projective transformations that take these curves into one another. There are 5 projective equivalence classes of second-order curves. Namely,

non-degenerate curves (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371024.png" /> are the homogeneous coordinates):

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371025.png" />, a real oval;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371026.png" />, an imaginary oval;

degenerate curves:

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371027.png" />, a pair of real lines;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371028.png" />, a pair of imaginary lines;

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371029.png" />, a pair of coincident lines.

Apart from the analytic method of defining second-order curves (specifying the equation) there are other methods. For example, an ellipse, hyperbola and parabola can be obtained as a section of a conical surface by a plane (see [[Conic sections|Conic sections]]).''''''<table border="0" cellpadding="0" cellspacing="0" style="background-color:black;"> <tr><td> <table border="0" cellspacing="1" cellpadding="4" style="background-color:black;"> <tbody> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1">Non-degenerate curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371030.png" /></td> <td colname="4" style="background-color:white;" colspan="1">Degenerate curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371031.png" /></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">Central curves (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371032.png" />)</td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371033.png" /></td> <td colname="3" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371034.png" /> Real ellipses</td> <td colname="4" style="background-color:white;" colspan="1">Pairs of intersecting straight lines (a real point)</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371035.png" /> Imaginary ellipses</td> <td colname="4" style="background-color:white;" colspan="1"></td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371036.png" /></td> <td colname="3" style="background-color:white;" colspan="1">Hyperbolas</td> <td colname="4" style="background-color:white;" colspan="1">Pairs of real non-intersecting straight lines</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1">Non-central curves (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371037.png" />)</td> <td colname="2" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371038.png" /></td> <td colname="3" style="background-color:white;" colspan="1">Parabolas</td> <td colname="4" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371039.png" /> Pairs of imaginary parallel lines</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371040.png" /> Pairs of real parallel lines</td> </tr> <tr> <td colname="1" style="background-color:white;" colspan="1"></td> <td colname="2" style="background-color:white;" colspan="1"></td> <td colname="3" style="background-color:white;" colspan="1"></td> <td colname="4" style="background-color:white;" colspan="1"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s083/s083710/s08371041.png" /> Pairs of coincident parallel lines</td> </tr> </tbody> </table>

</td></tr> </table>

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,   "Lectures on analytical geometry" , Moscow  (1968)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.V. Efimov,   "A short course of analytical geometry" , Moscow  (1967)  (In Russian)</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Berger,   "Geometry" , '''II''' , Springer  (1987)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Busemann,   P.J. Kelly,   "Projective geometry and projective metrics" , Acad. Press  (1953)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. Coolidge,   "A history of the conic sections and quadric surfaces" , Dover, reprint  (1968)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  H.S.M. Coxeter,   "Introduction to geometry" , Wiley  (1961)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  P.A. Griffiths,   J.E. Harris,   "Principles of algebraic geometry" , Wiley (Interscience)  (1978)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  D. Hilbert,   S.E. Cohn-Vossen,   "Geometry and the imagination" , Chelsea  (1952)  (Translated from German)</TD></TR></table>