Théorème des quatre sommets
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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.
Énoncé dans le cas le plus simple modifier
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éral modifier
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éciproque modifier
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érences modifier
- 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).
- (en) S. Mukhopadhyaya, « New methods in the geometry of a plane arc », Bull. Calcutta Math. Soc., vol. 1, , p. 21-27.
- (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.
- (en) Herman Gluck, « The converse to the four-vertex theorem », L'Enseignement Math., vol. 17, , p. 295-309.
- (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).
