# Steiner's theorem (geometry)

**Steiner's theorem** concerns a property of non-degenerate conic sections in a projective plane defined over a field (a *pappian projective plane*). It is named after the Swiss mathematician Jakob Steiner and provides a non-metric way to define and construct conic sections in these planes.^{[1]}

## Statement of theorem

**Steiner's Theorem**: In a pappian projective plane, If*U*and*V*are any two distinct points of a conic, and*P*is a variable point of the conic, the lines*PU*and*PV*are projectively, but not perspectively, related.^{[2]}^{[3]}

A *perspective* mapping (perspectivity) of a pencil onto a pencil is a bijection (1-1 correspondence) such that corresponding lines intersect on a fixed line , which is called the *axis* of the perspectivity (figure 2). When a perspectivity exists between two pencils of lines, the lines are said to be *perspectively related*.

A *projective * mapping (projectivity) is a finite sequence of perspective mappings. In general, the composition of two perspectivities is not a perspectivity and the type of mapping obtained in this manner is called a projectivity. When a projectivity exists between two pencils of lines, the lines are said to be *projectively related*. A perspectivity is a projectivity.

## Projective generation of conics

Steiner's theorem suggests an alternate way to define conic sections in pappian projective planes that does not involve measurement (is non-metric). This is sometimes referred to as *Steiner's definition of conics* or the *projective generation of conics*.

- Given two pencils of lines at two points (all lines containing and resp.) and a projective but not perspective mapping of onto . Then the intersection points of corresponding lines form a non-degenerate projective conic section.
^{[4]}^{[5]}(figure 1)

Fields such as the real numbers , the rational numbers , the complex numbers or finite fields are commonly used in the construction of pappian projective planes.

It is well known that five points determine a conic in the metric setting. Actually, it is five pieces of data about the conic that will determine it, such as four points and a tangent line, or three points and two tangent lines.^{[6]} This remains true for the Steiner definition of conics since the fundamental theorem for projective planes ^{[7]} states, that a projectivity in a pappian projective plane is uniquely determined by prescribing the images of three lines. This means, for the projective generation of a conic section, besides the two points only the images of 3 lines have to be given and from these 5 items (2 points, 3 lines) the conic section is uniquely determined.

## Example

For the following example the images of the lines (see figure 3) are given: . The projective mapping is the product of the perspective mappings where is the perspective mapping of the pencil at point onto the pencil at point with axis and is the perspective mapping of the pencil at point onto the pencil at point with axis . First one should check that has the properties: . Hence, for any line , the image can be constructed and therefore the images of an arbitrary set of points. The lines and contain only the conic points and resp.. Hence and are tangent lines of the generated conic section.

The proof that this method generates a conic section follows from switching to the affine restriction with line as line at infinity, point as the origin of a coordinate system with points as points at infinity of the x- and y-axis resp. and point . The affine part of the generated curve appears to be the hyperbola .^{[5]}

*Remark:*

- The Steiner generation of conic sections provides simple methods for the construction of ellipses, parabolas and hyperbolas which are commonly called the
*parallelogram methods*. - The figure, which appears while constructing a point on a conic (figure 3), is the 4-point-degeneration of Pascal's theorem.
^{[8]}

## Notes

- ↑
*Jacob Steiner’s Vorlesungen über synthetische Geometrie*, B. G. Teubner, Leipzig 1867 (bei Google Books: [1]) - ↑ Template:Harvnb
- ↑ Template:Harvnb
- ↑ Template:Harvnb
- ↑
^{5.0}^{5.1}Template:Harvnb - ↑ Template:Harvnb
- ↑ Template:Harvnb
- ↑ Template:Harvnb

## References

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- Template:Cite web (PDF; 891 kB).
- {{#invoke:citation/CS1|citation

|CitationClass=citation }}