Sturm's Principle in Projective Geometry
1. Core Concept
Sturm's principle (named after Charles-François Sturm, 1803–1855) provides a method for solving geometric construction problems by using projective transformations to simplify configurations.
The fundamental idea: Many problems in Euclidean geometry become easier if we first transform the figure projectively so that some elements assume a more convenient special position (e.g., a conic becomes a circle, a line becomes the line at infinity), solve the simpler problem, and then reverse the transformation. This works because incidence, collinearity, tangency, and cross-ratio are preserved under projective transformations.
A specific formulation states: If a problem is expressed entirely in terms of points, lines, conics, incidences, and tangencies (without metric properties like distances or angles), then one may projectively transform the figure so that a given conic becomes a circle, or given lines become parallel or perpendicular, to simplify construction or proof.
2. Methodological Example
Consider proving: Given two triangles ABC and A'B'C' inscribed in the same conic, their sides intersect in six points that lie on a conic.
Transformation Approach
Project the given conic into a circle. In circle geometry, we can apply Pascal’s or Brianchon’s theorems more easily, then observe that the property "six points lie on a conic" is projective, so it holds in the original figure as well.
This transformation trick exemplifies Sturm’s principle in practice.
3. Step-by-Step Demonstration
Step 1 — Transform conic to circle
Apply a projective transformation sending conic \(K\) to a circle. Since the desired property is projective, proving it for the circle suffices for all conics.
Step 2 — Choose convenient projection
After making \(K\) a circle, apply another projective transformation to send specific points to infinity to create parallel lines, if helpful for the proof.
Step 3 — Solve special case
For instance, send line \(EF\) to the line at infinity, making corresponding sides parallel. Solve the simplified configuration using basic properties of parallelograms or rectangles inscribed in a conic.
Step 4 — Reverse transformation
Since the proven statement concerns only projective invariants, it remains true when transforming back to the original figure.
4. Formal Statement
One standard formulation:
If a construction problem or a theorem is projective (stated in terms of incidence and tangency, independent of metric properties), then it is sufficient to prove it in a specially chosen projective position (e.g., a conic as a circle, or a given quadrilateral as a parallelogram). This follows because any two non-degenerate conics are projectively equivalent, and any two quadrilaterals (with no three collinear vertices) are projectively equivalent.
5. Important Limitations
Caution: Sturm’s principle does not apply to metric properties such as distances, angles, or ratios of non-collinear segments. It preserves only projective properties. Many Euclidean geometry problems contain metric conditions, so projective distortion cannot be freely applied unless the property in question is invariant under projective transformations.
6. Summary of the Approach
Sturm’s principle is essentially the
projective equivalence principle used strategically:
1. Identify that the problem’s conclusion is projective (depends only on incidence, tangency, cross-ratio).
2. Transform part of the figure to a more convenient position via a projective transformation.
3. Solve the simpler special case.
4. Conclude the general case by reversibility of projective maps.
// This principle is implemented conceptually rather than computationally
// In computational geometry, one might represent it as:
function applySturmPrinciple(problem) {
const transformed = projectiveTransform(problem, 'specialPosition');
const solution = solveSimplified(transformed);
return inverseProjectiveTransform(solution);
}