Difference between revisions of "Secondorder curve"
(Importing text file) 
Ulf Rehmann (talk  contribs) m (MR/ZBL numbers added) 

Line 74:  Line 74:  
====References====  ====References====  
−  <table><TR><TD valign="top">[1]</TD> <TD valign="top">  +  <table><TR><TD valign="top">[1]</TD> <TD valign="top"> P.S. Aleksandrov, "Lectures on analytical geometry" , Moscow (1968) (In Russian) {{MR0244836}} {{ZBL}} </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> 
Line 82:  Line 82:  
====References====  ====References====  
−  <table><TR><TD valign="top">[a1]</TD> <TD valign="top">  +  <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Berger, "Geometry" , '''II''' , Springer (1987) {{MR0903026}} {{MR0895392}} {{MR0882916}} {{MR0882541}} {{ZBL0619.53001}} {{ZBL0606.51001}} {{ZBL0606.00020}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Busemann, P.J. Kelly, "Projective geometry and projective metrics" , Acad. Press (1953) {{MR0054980}} {{ZBL0052.37305}} </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) {{MR0245397}} {{ZBL0060.01006}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> H.S.M. Coxeter, "Introduction to geometry" , Wiley (1961) {{MR1531486}} {{MR0123930}} {{ZBL0095.34502}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) {{MR0507725}} {{ZBL0408.14001}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> D. Hilbert, S.E. CohnVossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German) {{MR0046650}} {{ZBL0047.38806}} </TD></TR></table> 
Latest revision as of 21:56, 30 March 2012
A plane curve whose rectangular Cartesian coordinates satisfy an algebraic equation of the second degree:
(*) 
Equation (*) need not define a real geometrical form, but to preserve generality in such situations one says that it defines an imaginary secondorder 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,
nondegenerate curves:
, ellipses (cf. Ellipse);
, hyperbolas (cf. Hyperbola);
, parabolas (cf. Parabola);
, imaginary ellipses;
degenerate curves:
, pairs of imaginary intersecting lines;
, pairs of real intersecting lines;
, pairs of real parallel lines;
, pairs of imaginary parallel lines;
, a pair of coincident real lines.
A secondorder curve that has a unique centre of symmetry (the centre of the secondorder curve) is called a central curve. The coordinates of the centre of a secondorder curve are determined by the solution of the system
A secondorder curve without a centre of symmetry or with an indefinite centre is called a noncentral curve.
Investigations on the form of a secondorder curve can be carried out without reducing the general equation to canonical form. This is done by considering the values of the socalled fundamental invariants of a secondorder 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 :
and the semiinvariant
which is an invariant with respect to rotation of the coordinate system (see the Table below).
Many important properties of secondorder curves can be studied by means of the characteristic quadratic form
corresponding to equation (*). In particular, a nondegenerate secondorder curve turns out to be an ellipse, an imaginary ellipse, a hyperbola, or a parabola, depending on whether is a positivedefinite, a negativedefinite, an indefinite, or a semidefinite quadratic form. This can be established from the roots of its characteristic equation:
The three fundamental invariants , and determine a secondorder curve (excluding the case of parallel lines) up to a motion of the Euclidean plane: If the corresponding invariants , and 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 secondorder 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 secondorder curves are regarded as equivalent. The connections between different affine classes of secondorder 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 nondegenerate secondorder curves, ellipses, hyperbolas, and parabolas, form one projective class — the class of real oval curves (ovals, cf. 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 secondorder curves. Namely,
nondegenerate curves ( are the homogeneous coordinates):
, a real oval;
, an imaginary oval;
degenerate curves:
, a pair of real lines;
, a pair of imaginary lines;
, a pair of coincident lines.
Apart from the analytic method of defining secondorder 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).'
<tbody> </tbody>

References
[1]  P.S. Aleksandrov, "Lectures on analytical geometry" , Moscow (1968) (In Russian) MR0244836 
[2]  N.V. Efimov, "A short course of analytical geometry" , Moscow (1967) (In Russian) 
Comments
References
[a1]  M. Berger, "Geometry" , II , Springer (1987) MR0903026 MR0895392 MR0882916 MR0882541 Zbl 0619.53001 Zbl 0606.51001 Zbl 0606.00020 
[a2]  H. Busemann, P.J. Kelly, "Projective geometry and projective metrics" , Acad. Press (1953) MR0054980 Zbl 0052.37305 
[a3]  J. Coolidge, "A history of the conic sections and quadric surfaces" , Dover, reprint (1968) MR0245397 Zbl 0060.01006 
[a4]  H.S.M. Coxeter, "Introduction to geometry" , Wiley (1961) MR1531486 MR0123930 Zbl 0095.34502 
[a5]  P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001 
[a6]  D. Hilbert, S.E. CohnVossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German) MR0046650 Zbl 0047.38806 
Secondorder curve. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Secondorder_curve&oldid=19170