.jpg/1280px-Triangles_(spherical_geometry).jpg)
La geometría esférica o esféricos (del griego antiguo σφαιρικά ) es la geometría de la superficie bidimensional de una esfera [a] o la superficie n -dimensional de esferas de dimensiones superiores .
La geometría esférica y las herramientas métricas de la trigonometría esférica , estudiadas durante mucho tiempo por sus aplicaciones prácticas en astronomía , navegación y geodesia , son en muchos aspectos análogas a la geometría plana euclidiana y la trigonometría , pero también tienen algunas diferencias importantes.
La esfera puede estudiarse extrínsecamente como una superficie incrustada en el espacio euclidiano tridimensional (parte del estudio de la geometría sólida ) o intrínsecamente utilizando métodos que solo involucran la superficie misma sin referencia a ningún espacio circundante.
En la geometría plana (euclidiana) , los conceptos básicos son puntos y líneas (rectas) . En la geometría esférica, los conceptos básicos son punto y círculo máximo . Sin embargo, dos círculos máximos en un plano se intersecan en dos puntos antípodas, a diferencia de las líneas coplanares en la geometría elíptica .
En la imagen tridimensional extrínseca, un círculo máximo es la intersección de la esfera con cualquier plano que pase por el centro. En el enfoque intrínseco, un círculo máximo es una geodésica ; un camino más corto entre dos de sus puntos siempre que estén lo suficientemente cerca. O, en el enfoque axiomático (también intrínseco) análogo a los axiomas de Euclides de la geometría plana, "círculo máximo" es simplemente un término indefinido, junto con postulados que estipulan las relaciones básicas entre los círculos máximos y los también indefinidos "puntos". Esto es lo mismo que el método de Euclides de tratar el punto y la línea como nociones primitivas indefinidas y axiomatizar sus relaciones.
Los círculos máximos desempeñan en muchos sentidos el mismo papel lógico en la geometría esférica que las líneas en la geometría euclidiana, por ejemplo, como los lados de los triángulos (esféricos). Esto es más que una analogía; la geometría esférica y plana y otras pueden unificarse bajo el paraguas de la geometría construida a partir de la medición de distancias , donde las "líneas" se definen como caminos más cortos (geodésicas). Muchas afirmaciones sobre la geometría de puntos y tales "líneas" son igualmente verdaderas en todas esas geometrías siempre que las líneas se definan de esa manera, y la teoría se puede extender fácilmente a dimensiones superiores. Sin embargo, debido a que sus aplicaciones y pedagogía están ligadas a la geometría sólida, y debido a que la generalización pierde algunas propiedades importantes de las líneas en el plano, la geometría esférica ordinariamente no usa el término "línea" en absoluto para referirse a nada en la esfera misma. Si se desarrolla como parte de la geometría sólida, se hace uso de puntos, líneas rectas y planos (en el sentido euclidiano) en el espacio circundante.
En geometría esférica, los ángulos se definen entre círculos máximos, lo que da como resultado una trigonometría esférica que difiere de la trigonometría ordinaria en muchos aspectos; por ejemplo, la suma de los ángulos interiores de un triángulo esférico supera los 180 grados.
Debido a que una esfera y un plano difieren geométricamente, la geometría esférica (intrínseca) tiene algunas características de una geometría no euclidiana y a veces se describe como una de ellas. Sin embargo, la geometría esférica no se consideró una geometría no euclidiana completa suficiente para resolver el antiguo problema de si el postulado de las paralelas es una consecuencia lógica del resto de los axiomas de Euclides de la geometría plana, porque requiere que se modifique otro axioma. La resolución se encontró en cambio en la geometría elíptica , con la que la geometría esférica está estrechamente relacionada, y la geometría hiperbólica ; cada una de estas nuevas geometrías realiza un cambio diferente en el postulado de las paralelas.
Los principios de cualquiera de estas geometrías pueden extenderse a cualquier número de dimensiones.
Una geometría importante relacionada con la de la esfera es la del plano proyectivo real ; se obtiene identificando puntos antípodas (pares de puntos opuestos) en la esfera. Localmente, el plano proyectivo tiene todas las propiedades de la geometría esférica, pero tiene diferentes propiedades globales. En particular, no es orientable , o unilateral, y a diferencia de la esfera no se puede dibujar como una superficie en el espacio tridimensional sin intersecarse a sí mismo.
Los conceptos de geometría esférica también se pueden aplicar a la esfera oblonga , aunque se deben implementar modificaciones menores en ciertas fórmulas.
La obra matemática más antigua de la antigüedad que ha llegado hasta nuestros días es Sobre la esfera giratoria (Περὶ κινουμένης σφαίρας, Peri kinoumenes sphairas ) de Autolycus de Pitane , que vivió a finales del siglo IV a. C. [1]
La trigonometría esférica fue estudiada por los primeros matemáticos griegos como Teodosio de Bitinia , un astrónomo y matemático griego que escribió Spherics , un libro sobre la geometría de la esfera, [2] y Menelao de Alejandría , quien escribió un libro sobre trigonometría esférica llamado Sphaerica y desarrolló el teorema de Menelao . [3] [4]
El Libro de los arcos desconocidos de una esfera , escrito por el matemático islámico Al-Jayyani, se considera el primer tratado sobre trigonometría esférica. El libro contiene fórmulas para triángulos rectángulos, la ley general de los senos y la solución de un triángulo esférico mediante el triángulo polar. [5]
El libro De los triángulos de Regiomontano , escrito alrededor de 1463, es la primera obra trigonométrica pura en Europa. Sin embargo, Gerolamo Cardano señaló un siglo después que gran parte de su material sobre trigonometría esférica fue tomado de la obra del siglo XII del erudito andalusí Jabir ibn Aflah . [6]
Leonhard Euler publicó una serie de memorias importantes sobre geometría esférica:
La geometría esférica tiene las siguientes propiedades: [7]
Como hay dos arcos determinados por un par de puntos, que no son antípodas, en el círculo máximo que determinan, tres puntos no colineales no determinan un triángulo único. Sin embargo, si consideramos únicamente los triángulos cuyos lados son arcos menores de círculos máximos, tenemos las siguientes propiedades:
Si se toma "línea" como círculo máximo, la geometría esférica sólo obedece a dos de los cinco postulados de Euclides : el segundo postulado ("producir [extender] una línea recta finita continuamente en una línea recta") y el cuarto postulado ("que todos los ángulos rectos son iguales entre sí"). Sin embargo, viola los otros tres. Contrariamente al primer postulado ("que entre dos puntos cualesquiera, hay un único segmento de línea que los une"), no existe una única ruta más corta entre dos puntos cualesquiera ( los puntos antípodas como los polos norte y sur en un globo esférico son contraejemplos); contrariamente al tercer postulado, una esfera no contiene círculos de radio arbitrariamente grande; y contrariamente al quinto postulado (paralelo) , no hay ningún punto a través del cual se pueda dibujar una línea que nunca intersecta una línea dada. [8]
Un enunciado equivalente al postulado de las paralelas es que existe un triángulo cuyos ángulos suman 180°. Como la geometría esférica viola el postulado de las paralelas, no existe tal triángulo en la superficie de una esfera. La suma de los ángulos de un triángulo en una esfera es 180°(1 + 4 f ) , donde f es la fracción de la superficie de la esfera que está encerrada por el triángulo. Para cualquier valor positivo de f , esto excede 180°.
