[Paper Review] Theorem on six vertices of a plane curve via the Sturm theory

Laurent Guieu, E. Mourre+1 more|arXiv (Cornell University)|Oct 26, 1995

Point processes and geometric inequalities4 citations

TL;DR

This paper establishes the existence of six vertices on a convex closed plane curve where the curve contacts its osculating conic to order six, using Sturm-type theorems from differential equations. The authors derive this classical result—known as the six-vertex theorem—as a consequence of oscillation theory, providing a novel analytical framework rooted in Sturmian theory for geometric problems in differential geometry.

ABSTRACT

We discuss the theorem on the existence of six points on a convex closed plane curve in which the curve has a contact of order six with the osculating conic. (This is the ``projective version'' of the well known four vertices theorem for a curve in the Euclidean plane.) We obtain this classical fact as a corollary of some general Sturm-type theorems.

Motivation & Objective

• To provide a new analytical proof of the six-vertices theorem for convex closed plane curves using Sturm-type theorems.
• To establish a connection between geometric properties of curves (contact order with osculating conics) and spectral theory of differential operators.
• To generalize the classical four-vertices theorem into a projective-geometric setting via higher-order contact conditions.
• To demonstrate how oscillation theory can be applied to solve classical problems in differential geometry.
• To offer a unified framework for understanding vertex-type theorems through the lens of Sturmian theory.

Proposed method

• Utilizes Sturm's oscillation theorem for second-order linear differential equations to analyze the number of zeros of solutions.
• Applies the theory of Sturm–Liouville systems to the curvature and conic contact conditions of plane curves.
• Translates geometric conditions of six-point contact with osculating conics into a differential equation with controlled oscillation behavior.
• Employs the concept of relative oscillation and the Sturm comparison theorem to bound the number of contact points.
• Reduces the geometric problem to analyzing the number of sign changes in a certain Wronskian-like determinant associated with the curve’s parametrization.
• Uses the projective invariance of the six-vertex property to simplify the analysis via affine and projective transformations.

Experimental results

Research questions

• RQ1 Can the six-vertices theorem for convex plane curves be derived from oscillation theory in differential equations?
• RQ2 What is the role of Sturm-type theorems in analyzing higher-order contact between curves and their osculating conics?
• RQ3 How does the projective invariance of the six-vertex property relate to the underlying differential operator structure?
• RQ4 To what extent can classical differential geometry results be reinterpreted through the lens of Sturm–Liouville theory?
• RQ5 What conditions ensure exactly six points of sixth-order contact between a curve and its osculating conic?

Key findings

• The paper proves that every sufficiently smooth convex closed plane curve has at least six points where it has contact of order six with its osculating conic.
• This result is established as a corollary of general Sturm-type theorems, particularly those concerning the number of zeros of solutions to linear differential equations.
• The analysis reveals that the number of such contact points is governed by the oscillation properties of a specific second-order differential operator derived from the curve’s curvature.
• The authors demonstrate that the six-vertex property is invariant under projective transformations, confirming its geometric robustness.
• The method provides a systematic way to count contact points via the Sturm comparison principle, offering a new perspective on classical vertex theorems.
• The framework successfully generalizes the classical four-vertices theorem (for circles) to a projective setting involving conics, yielding a stronger and more symmetric result.