Steiner conic

For the concept in rigid body physics, see Parallel axis theorem.

1. Definition of the Steiner generation of a conic section

2. Perspective mapping between lines

3. Example of a Steiner generation: generation of a point

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.

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.

A perspective mapping (perspectivity) $\pi$ of a pencil $B(U)$ onto a pencil $B(V)$ is a bijection (1-1 correspondence) such that corresponding lines intersect on a fixed line $a$, which is called the axis of the perspectivity $\pi$ (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 $B(U),B(V)$ of lines at two points $U,V$ (all lines containing $U$ and $V$ resp.) and a projective but not perspective mapping $\pi$ of $B(U)$ onto $B(V)$. Then the intersection points of corresponding lines form a non-degenerate projective conic section. (figure 1)

Fields such as the real numbers $\mathbb {R}$, the rational numbers $\mathbb {Q}$, the complex numbers $\mathbb {C}$ 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. This remains true for the Steiner definition of conics since the fundamental theorem for projective planes 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 $U,V$ 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 $a,u,w$ (see figure 3) are given: $\pi (a)=b,\pi (u)=w,\pi (w)=v$. The projective mapping $\pi$ is the product of the perspective mappings $\pi _{b},\pi _{a}$ where $\pi _{b}$ is the perspective mapping of the pencil at point $U$ onto the pencil at point $O$ with axis $b$ and $\pi _{a}$ is the perspective mapping of the pencil at point $O$ onto the pencil at point $V$ with axis $a$. First one should check that $\pi =\pi _{a}\pi _{b}$ has the properties: $\pi (a)=b,\pi (u)=w,\pi (w)=v$. Hence, for any line $g$, the image $\pi (g)=\pi _{a}\pi _{b}(g)$ can be constructed and therefore the images of an arbitrary set of points. The lines $u$ and $v$ contain only the conic points $U$ and $V$ resp.. Hence $u$ and $v$ 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 $w$ as line at infinity, point $O$ as the origin of a coordinate system with points $U,V$ as points at infinity of the x- and y-axis resp. and point $E=(1,1)$. The affine part of the generated curve appears to be the hyperbola $y=1/x$.

Remark:

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

Steiner generation of a dual conic

dual ellipse

definition of a perspective mapping

Definitions and the dual generation

In the following it is assumed that the projective geometry is defined over a field which does not have characteristic two.

Dualizing (see duality (projective geometry)) a non-degenerate conic section means exchanging the points with the tangents (see figure):

A non-degenerate dual conic section consists of the tangents of a non-degenerate conic section.

A dual conic can also be generated by Steiner's method:

• Given the point sets of two lines $u,v$ and a projective but not perspective mapping $\pi$ of $u$ onto $v$. Then the lines connecting corresponding points form a dual non-degenerate projective conic section.

A perspective mapping $\pi$ of the point set of a line $u$ onto the point set of a line $v$ is a bijection (1-1 correspondence) such that the lines connecting corresponding points intersect at a fixed point $Z$, which is called the centre of the perspectivity $\pi$ (see figure).

A projective mapping is a finite sequence of perspective mappings.

The validity of the generation of a dual conic section is due to the Principle of Duality.

Example

example of a Steiner generation of a dual conic

For the following example the images of the points $A,U,W$ are given: $\pi (A)=B,\,\pi (U)=W,\,\pi (W)=V$. The projective mapping $\pi$ can be represented by the product of the following perspectivities $\pi _{B},\pi _{A}$:

1) $\pi _{B}$ is the perspectivity of the point set of line $u$ onto the point set of line $o$ with centre $B$.

2) $\pi _{A}$ is the perspectivity of the point set of line $o$ onto the point set of line $v$ with centre $A$.

One easily checks that the projective mapping $\pi =\pi _{A}\pi _{B}$ fulfills $\pi (A)=B,\,\pi (U)=W,\,\pi (W)=V$. Hence for any arbitrary point $G$ the image $\pi (G)=\pi _{A}\pi _{B}(G)$ can be constructed and line ${\overline {G\pi (G)}}$ is an element of a non degenerated dual conic section. Because the points $U$ and $V$ are contained in the lines $u$, $v$ resp.,the points $U$ and $V$ are points of the conic and the lines $u,v$ are tangents at $U,V$.

References

• Coxeter, H.S.M. (1964), Projective Geometry, Blaisdell
• Hartmann, Erich. "Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes" (PDF). Retrieved 20 September 2014. (PDF; 891 kB).
• Merserve, Bruce E. (1983) [1959], Fundamental Concepts of Geometry, Dover, ISBN 0-486-63415-9