Théorème des quatre sommets

Le théorème des quatre sommets constitue un résultat remarquable de géométrie différentielle quant aux propriétés globales des courbes planes fermées.

Une ellipse (en rouge) et sa développée (en bleu), montrant les 4 sommets annulant k', chacun d'eux correspondant à un point de rebroussement de la développée.

Énoncé dans le cas le plus simpleModifier

Soit γ une courbe fermée convexe, paramétrée par sa longueur s. Soit k(s) la courbure calculée au point γ(s). Alors il existe au moins quatre valeurs du paramètre s en lesquelles la dérivée de k s'annule.

La signification géométrique de ce résultat est que soit la courbure est constante, soit elle possède au moins quatre extrema locaux[1].

Cas généralModifier

 
Adolf Kneser a démontré le cas général en 1912.

Le théorème des quatre sommets a d'abord été démontré pour les courbes convexes (c'est-à-dire à courbure strictement positive) en 1909 par Syamadas Mukhopadhyaya (en)[2]. Sa preuve utilise le fait qu'un point de la courbe est un extremum local de la fonction courbure si et seulement si en ce point, le cercle osculateur possède un contact d'ordre 4 avec la courbe (en un point ordinaire, le contact est seulement d'ordre 3). Le théorème des quatre sommets a été démontré dans le cas général par Adolf Kneser en 1912, par un argument de géométrie projective[3].

RéciproqueModifier

La réciproque du théorème des quatre sommets énonce que si une application continue d'un cercle dans R possède deux maxima locaux et deux minima locaux, alors cette application est la courbure d'une courbe simple et fermée du plan. Cette réciproque a été prouvée pour des fonctions strictement positives en 1971 par Herman Gluck, en tant que cas particulier d'un théorème plus général sur l'existence d'une hypersurface, paramétrée par une hypersphère, à courbure prescrite[4]. La réciproque a été finalement démontrée dans le cas général par Björn Dahlberg (de) peu de temps avant sa mort en et publiée à titre posthume[5]. La preuve de Dahlberg utilise principalement l'indice, argument qui rappelle celui de la démonstration homotopique du théorème de d'Alembert-Gauss.

Notes et référencesModifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Four-vertex theorem » (voir la liste des auteurs).
  1. On pourra en trouver une démonstration dans (en) Manfredo do Carmo, Differential geometry of curves and surfaces, Rio de Janeiro, Prentice-Hall, (ISBN 978-0-13212589-5).
  2. (en) S. Mukhopadhyaya, « New methods in the geometry of a plane arc », Bull. Calcutta Math. Soc., vol. 1,‎ , p. 21-27.
  3. (de) Adolf Kneser, « Bemerkungen über die Anzahl der Extrema der Krümmung auf geschlossenen Kurven und über verwandte Fragen in einer nicht euklidischen Geometrie », dans Festschrift Heinrich Weber, Teubner, , p. 170-180.
  4. (en) Herman Gluck, « The converse to the four-vertex theorem », L'Enseignement Math., vol. 17,‎ , p. 295-309.
  5. (en) Björn Dahlberg, « The converse of the four vertex theorem », Proc. Amer. Math. Soc., vol. 133, no 7,‎ , p. 2131-2135 (lire en ligne).