Théorème des quatre sommets

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].

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 janvier 1998 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.

• Portail de la géométrie