Projective geometry is an area of geometry which focuses on properties that are invariant under projective transformations. Unlike Euclidean geometry, there is no notion of length; rather, any configuration of four collinear points or four concurrent lines is characterized by the cross-ratio. A particularly striking result of projective geometry is the duality of points and lines.
The first theorems of a projective character were established by the ancient Greeks, most notably Pappus of Alexandria.
Given any two planes and and a point , we can define a projective correspondence as follows: for any point on , is the intersection of line with .
Note that appears to be undefined when is parallel to . This issue will be addressed in the next section.
The Projective Plane
A key axiom of projective geometry is that any two lines meet in exactly one point, and through any two points there passes exactly one line. The first part of this axiom breaks down in Euclidean geometry with parallel lines.
This problem is remedied by adding a "point at infinity" for each family of parallel lines. Now through any two points at infinity, there must be exactly one line passing through them, so we add a "line at infinity." Finally, if we have a point at infinity and a regular point, the parallel postulate assures that there is exactly one line passing through both points.
Suppose we are given four points lying on a line. We define the cross-ratio where directed lengths are used on the right side.
Now suppose we have four lines passing through a point , and any fifth line not passing through . Let be the intersection of with , let be the intersection of with , and so on. Then we define the cross-ratio of the four lines, , as the cross-ratio of the four points, . To check that this cross-ratio is well-defined, note that by the area formula we obtain which is clearly independent of the transversal .
The most important property of the cross-ratio is that it is preserved under projections.
Also, a set of four points or four lines are said to be harmonic if their cross-ratio is . The complete quadrilateral illustrates the importance of harmonic points and lines:
Let be a quadrilateral. Sides and intersect at , and sides and intersect at . If and intersect line at and , respectively, then
Duality is the surprising principle that points and lines are interchangeable.
A conic (or conic section) is a projection of a circle.
The following problems are constructions involving only a straightedge (no compass).
1. Construct the fourth harmonic line to three given lines through a point.
2. Construct the fourth harmonic point to three points on a line.
3. If a given right angle and a given arbitrary angle have their vertex and one side in common, double the given arbitrary angle.
4. Draw a parallel through a given point to two given parallel lines and .
Coxeter, H.S.M. Projective Geometry.
Courant and Robbins. What is Mathematics?