La geometría de las figuras trazadas sobre la superficie de una esfera con la métrica estándar, donde las geodésicas son grandes círculos, los triángulos tienen sumas de ángulos mayores que en el caso euclidiano y la curvatura es constante y positiva.

Principio

La idea organizadora es la curvatura positiva: las geodésicas divergen inicialmente pero finalmente se reconvergen, produciendo geodésicas cerradas (grandes círculos), exceso esférico para el área de un triángulo y área total finita en esferas compactas.

Demostración

En la esfera unidad en dimensión dos, el área de un triángulo geodésico es igual a su exceso esférico (suma de ángulos menos π). Los grandes círculos son geodésicas y dos grandes círculos distintos se encuentran en dos puntos antipodales; el locus de corte de un punto es su antipodal.

Aplicación incorrecta

Tratar los grandes círculos como rectas en el sentido euclidiano o aplicar fórmulas trigonométricas planas para áreas produce errores; por ejemplo usar base·altura/2 para el área de un triángulo esférico es inválido, y asumir la existencia de rectas paralelas conduce a contradicciones.

Consecuencia

Aplicada correctamente, la geometría esférica proporciona fórmulas concretas que relacionan curvatura, área y exceso angular, explica fenómenos como la antipodalidad y las geodésicas cerradas, y aporta modelos para la geometría elíptica cuando se identifican puntos antipodales.

Inversión

La inversión consiste en considerar contextos de curvatura negativa (geometría hiperbólica) donde las geodésicas divergen exponencialmente y los triángulos tienen sumas de ángulos inferiores a las euclidianas, invirtiendo muchos rasgos cualitativos de los espacios esféricos.

Límite

Se aplica a la esfera estándar S^n con su métrica habitual y a variedades de curvatura constante positiva; muchas intuiciones esféricas fallan en superficies con curvatura variable o en modelos positivos no compactos.

Tensión semántica

Existe tensión entre la geometría esférica y la geometría elíptica: ambas comparten curvatura positiva local, pero la geometría elíptica identifica puntos antipodales y tiene propiedades de incidencia global diferentes; también hay tensión con aproximaciones planas usadas en navegación y cartografía.

Síntesis

La geometría esférica sintetiza la curvatura positiva constante en un conjunto de reglas claras: grandes círculos como caminos más rectos, exceso de triángulos que controla el área, geodésicas que se reconvergen y área total finita, con consecuencias inmediatas para la topología y las relaciones de incidencia globales.