La géométrie des figures tracées à la surface d'une sphère munie de la métrique usuelle, où les géodésiques sont des grands cercles, les triangles ont des sommes d'angles supérieures aux valeurs euclidiennes et la courbure est constante et positive.

Principe

L'idée organisatrice est la courbure positive : les géodésiques divergent initialement mais finissent par se reconverger, produisant des géodésiques fermées (grands cercles), un excès sphérique pour l'aire des triangles et une aire totale finie pour les sphères compactes.

Démonstration

Sur la sphère unité en dimension deux, l'aire d'un triangle géodésique égale son excès sphérique (somme des angles moins π). Les grands cercles sont des géodésiques et deux grands cercles distincts se rencontrent en deux points antipodaux ; le lieu de coupure d'un point est son antipode.

Mauvaise application

Considérer les grands cercles comme des droites au sens euclidien ou appliquer des formules trigonométriques planaires pour les aires entraîne des erreurs ; par exemple utiliser base·hauteur/2 pour l'aire d'un triangle sphérique est invalide, et supposer l'existence de droites parallèles conduit à des contradictions.

Conséquence

Bien appliquée, la géométrie sphérique fournit des formules concrètes reliant courbure, aire et excès angulaire, explique des phénomènes comme l'antipodalité et les géodésiques fermées, et fournit des modèles pour la géométrie elliptique lorsque les points antipodaux sont identifiés.

Inversion

La réversion consiste à considérer des milieux de courbure négative (géométrie hyperbolique) où les géodésiques divergent exponentiellement et les triangles ont des sommes d'angles inférieures aux valeurs euclidiennes, inversant de nombreux traits qualitatifs des espaces sphériques.

Limite

S'applique à la sphère standard S^n avec sa métrique usuelle et aux variétés de courbure constante positive ; beaucoup d'intuitions sphériques échouent sur des surfaces à courbure variable ou des modèles positifs non compacts.

Tension sémantique

Tension entre la géométrie sphérique et la géométrie elliptique : les deux présentent localement une courbure positive, mais la géométrie elliptique identifie les points antipodaux et présente des propriétés d'incidence globales différentes ; il existe aussi une tension avec les approximations planaires utilisées en navigation et cartographie.

Synthèse

La géométrie sphérique condense la courbure positive constante en un ensemble de règles distinctes : les grands cercles comme plus droites, l'excès de triangle contrôlant l'aire, les géodésiques qui se reconvergent et une aire totale finie, avec des conséquences immédiates pour la topologie et les relations d'incidence globales.