RIGONOMETR�A ESF�RICA EN EL ALMAGESTO

Publicado por ^DiAmOnD^ | 24 agosto, 2009 | Colaboraciones, Geometr�a, Historia | 1

|

Este art�culo es una colaboraci�n enviada por fede a gaussianos (arroba) gmail
(punto) com.

INTRODUCCI�N
El 8 de abril de 1810, estando Brianchon en Toledo (como teniente de artiller�a del
ej�rcito franc�s) escribe a Hachette lo siguiente que traduzco literalmente de
aqu�:

El azar habi�ndome hecho caer entre las manos una edici�n latina del Almagesto de
Ptolomeo (Almagestum, Venecia 1515), he extraido y traducido el pasaje siguiente,
relativo a la Teor�a de las Transversales, y que incluso contiene su principio
fundamental. Como la sabia exposici�n de esta nueva rama de la geometr�a acaba de
hacer �poca en la historia del progreso de la ciencia que, por ello, se ha
enriquecido con un nuevo elemento, he pensado que ser�a curioso mostrar que los
antiguos griegos conocieron los primeros lineamientos de esta teor�a de la que
hac�an uso para resolver algunos problemas astron�micos.

Y sigue la traducci�n del pasaje del Almagesto. Cabe preguntarse qu� sucedi� con
ese ejemplar de la primera edici�n impresa del Almagesto (por cierto, tambi�n en
Toledo el Almagesto fue traducido por primera vez al lat�n, en 1175, por Gerardo de
Cremona).

El principio fundamental que se menciona no es otro que el llamado teorema de

Menelao, y la sabia exposicion de la teoria de las transversales s�lo puede
referirse a la obra de Lazare Carnot, en cuyo Ensayo sobre la teor�a de las
transversales se adjudica al teorema de Menelao (sin mencionar este nombre) el
t�tulo de principio fundamental de la teor�a.

El texto de Brianchon parece indicar que no conoc�a previamente la relaci�n del

Almagesto (ni de Menelao) con el teorema de Menelao, y parece que no era muy
conocida entre los matem�ticos de aquellos a�os.

TEOR�A.

Llamamos configuraci�n de Menelao a la figura formada por dos segmentos

(exteriores, en azul) que se unen en un v�rtice A, entre los que se sit�an otros
dos (interiores, en verde), que parten de los extremos de los anteriores y se
cortan en un punto F.

En el cap�tulo 13, que traduce Brianchon, del libro I del Almagesto (hacia 150
d.C.) se demuestra que:

En una configuraci�n de Menelao, usando las letras de la figura para designar a los
segmentos, y m=m_1+m_2 (igual para r_i, s_i y n_i), se cumple que:

\dfrac{m}{m_1} = \dfrac{r}{r_1} \cdot \dfrac{s_2}{s}

\dfrac{r_2}{r_1} = \dfrac{m_2}{m_1} \cdot \dfrac{n}{n_2}
Esta proposici�n es el teorema de Menelao, aplicado en uno y otro caso a los
tri�ngulos \triangle ABD cortado por la transversal EFC y \triangle EBF cortado por
la transversal ADC.

Pero en lugar de un tri�ngulo cortado por una transversal, Ptolomeo ve relaciones

que dan las razones entre los segmentos de una linea exterior(/interior) en funci�n
de las razones entre los segmentos de las dos lineas interiores(/exteriores) en una
configuraci�n de Menelao.

La demostraci�n de Ptolomeo del resultado anterior es esencialmente id�ntica a la

primera prueba que se da en este sitio,

A continuaci�n, Ptolomeo demuestra el lema:

Si una cuerda GH (ver figura) es cortada en el punto K por un radio OP,

\dfrac{GK}{KH} = \dfrac{\mathrm{sen } \ GP}{\mathrm{sen } \ PH}

y usa este resultado junto con el teorema de Menelao (en el plano) para demostrar
el teorema de Menelao en la esfera:

Si tenemos una una configuraci�n de Menelao sobre la superficie de una esfera, es

decir, si m,n,r,s son arcos (menores que una semicircunferencia) de c�rculos
m�ximos de una esfera, entonces:

\dfrac{\mathrm{sen} \ m}{\mathrm{sen} \ m_1} = \dfrac{\mathrm{sen} r}

{\mathrm{sen} \ r_1} \cdot \dfrac{\mathrm{sen} \ s_2}{\mathrm{sen} \ s}
\dfrac{\mathrm{sen} \ r_2}{\mathrm{sen} \ r_1} = \dfrac{\mathrm{sen} \ m_2}
{\mathrm{sen} \ m_1} \cdot \dfrac{\mathrm{sen} \ n}{\mathrm{sen} \ n_2}
Obviamente Ptolomeo no usa la expresi�n el seno de m, que no se hab�a inventado,
sino la cuerda del doble del arco m. Pero como \textrm{cuerda } 2m = 2\ \mathrm{sen
} \ m, podemos traducir las razones de cuerdas de �ngulos dobles como razones de
senos.

Este resultado es tambi�n la proposici�n I del libro III de las Esf�ricas (hacia
100 d.C.) de Menelao de Alejandr�a.

Menelao asume el teorema de Menelao para el plano como conocido y lo demuestra para
la esfera de la misma forma que Ptolomeo.

Las Esf�ricas de Menelao, traducidas por Halley del �rabe al lat�n en 1758, es el
texto m�s antiguo que nos ha llegado donde se usa el que desde finales del siglo
XIX se denomina teorema de Menelao, que se supone que era conocido ya por Hiparco
(unos 250 a�os antes de Menelao) y, en su versi�n plana, por Euclides (400 a�os
antes de Menelao).

APLICACI�N
La anterior es toda la teor�a de trigonometr�a esf�rica que se usa en el Almagesto.
Adem�s Ptolomeo ha construido previamente una tabla de cuerdas (es decir, de senos)
calculando la cuerda de la suma y diferencia de dos �ngulos usando el teorema de
Ptolomeo.

Ptolomeo necesita la tabla de cuerdas para aplicar el teorema de Menelao sobre la

esfera con valores concretos de arcos.

En el Almagesto, Ptolomeo solo necesita resolver tri�ngulos rect�ngulos esf�ricos.

Para resolver un \triangle ABC, con �ngulo recto en A, Ptolomeo prolonga los lados
a,b del tri�ngulo como en la figura hasta completar arcos CE, CF de 90^{\circ}.

Entonces C es el polo del c�rculo m�ximo que pasa por E y F, y uniendo EF con un
arco los �ngulos en E y F ser�n rectos y el arco EF ser� igual al �ngulo \gamma
de \triangle ABC.
Como los �ngulos en F y A son rectos, las prolongaciones de FE y AB se cortar�n en
un punto D, polo de FAC, y los arcos FD y AD ser�n de 90^{\circ}.

Se obtiene entonces una configuraci�n de Menelao con v�rtice F sobre la esfera.Y

si, por ejemplo, queremos hallar la hipotenusa a, dados los catetos b,c, usamos el
teorema de Menelao para obtener las raz�n entre los segmentos de FC en funci�n del
producto de las razones entre los segmentos de DA y CD y tenemos:

\dfrac{\mathrm{sen } (90)}{\mathrm{sen } (90-b)} = \dfrac{\mathrm{sen } (90)}

{\mathrm{sen } (90-a)} \cdot \dfrac{\mathrm{sen }(90-c)}{\mathrm{sen }(90)} , es
decir, \cos a = \cos b \cdot \cos c \ (1),
que es el teorema de Pit�goras para tri�ngulos rect�ngulos esf�ricos.

De la misma forma, aplicando directamente el teorema de Menelao a los otros

segmentos, obtenemos las f�rmulas

\mathrm{sen } \ c = \mathrm{sen } \ a \cdot \mathrm{sen } \gamma \ (2),

\mathrm{sen } \ b = \cot \gamma \cdot \tan c \ (3) y \cos \gamma = \tan b \cdot
\cot a \ (4)

y de estas ultimas, por simetr�a

\mathrm{sen } \ b = \mathrm{sen } \ a \cdot \mathrm{sen } \beta \ (5),

\mathrm{sen } \ c = \cot \beta \cdot \tan b \ (6) y \cos \beta = \tan c \cdot
\cot a \ (7).

Ptolomeo se limita a las f�rmulas anteriores, o mejor dicho a aplicar en cada caso
el teorema de Menelao con valores de arco concretos, para obtener los resultados
que nosotros obtendr�amos usando las f�rmulas anteriores.

LA REGLA MNEMOT�CNICA DE NEPER

Las anteriores son 7 de las \dbinom{5}{3} = 10 f�rmulas que relacionan cada
subconjunto de 3 elementos del conjunto \{ a,b,c,\beta,\gamma \} de variables del
tri�ngulo.

Las otras 3 f�rmulas se derivan de las anteriores (1)-(7) (dejamos esto al lector)
y son:

\cos a = \cot \beta \ a \cdot \cot \gamma \ (8), \cos \beta = \cos b \cdot
\mathrm{sen}\ \gamma \ (9) y \cos \gamma = \cos c \cdot \mathrm{sen}\ \beta \
(10).
Estas 10 f�rmulas vienen dadas por la regla mnemot�cnica de Neper que dice que:

Si disponemos en un pent�gono los elementos del tri�ngulo rect�ngulo esf�rico, en

el mismo orden en que aparecen en el tri�ngulo, sustituyendo los catetos b,c por
sus complementarios 90�-b,90�-c, el coseno de un elemento en el pent�gono es

el producto de las cotangentes de los elementos adyacentes

el producto de los senos de los elementos opuestos.
A partir de las f�rmulas para el tri�ngulo rect�ngulo se pueden obtener, en no
muchos pasos, otras f�rmulas de la trigonometr�a esf�rica para cualquier tri�ngulo,
como el teorema del coseno para la esfera:

\cos a = \cos b \cdot \cos c + \mathrm{sen}\ b \cdot \mathrm{sen}\ c \cdot \cos

\alpha
o la f�rmula que nos permite obtener los lados en f�nci�n de los �ngulos:
\cos \alpha = - \cos \beta \cdot \cos \gamma + \mathrm{sen}\ \beta \cdot
\mathrm{sen}\ \gamma \cdot \cos a .
El lector puede deducir estas �ltimas a partir de (1)-(10), dividiendo el tri�ngulo
en dos tri�ngulos rect�ngulos mediante una altura.