El conocido como teorema de Ptolomeo es uno de esos resultados interesantes en geometría plana que además de ser sencillos de enunciar también lo son de demostrar, y que además de tener distintas formas de demostrarse es una herramienta muy útil para usarla en la demostración de otros teoremas de interés.
En esta entrada vamos a ver una prueba totalmente visual recogida en una única imagen. Pero no vamos a quedarnos ahí, sino que vamos a explicarla para que se comprenda mejor.
Pero para comenzar creo que lo mejor es ver el enunciado del teorema de Ptolomeo. Este resultado parte de una circunferencia y de un cuadrilátero convexo cuyos vértices están todos sobre dicha circunferencia, lo que se denomina cuadrilátero cíclico, y dice lo siguiente:
Teorema de Ptolomeo
En un cuadrilátero ciclíco, la suma de los productos de lados opuestos es igual al producto de sus diagonales.
Esto es, dado un cuadrilátero cíclico ABCD cuyos lados (consecutivos) son a, b, c y d y sus diagonales son e y f, entonces
La demostración visual que comentaba al principio, que he visto en Cut-The-Knot es la siguiente:
Está todo claro, ¿verdad? Bueno, para quien tenga alguna duda sobre ella o no vea claro alguno de los detalles de la misma vamos a «destriparla» en lo que resta de entrada.
El primer detalle a destacar es la razón por la que ciertos ángulos que se forman entre los lados del cuadrilátero y sus diagonales. La razón es una interesante propiedad sobre ángulos inscritos en una circunferencia que dice que dos ángulos inscritos en una circunferencia que abarcan el mismo arco son iguales. Por ello, por ejemplo, los dos ángulos que aparecen en la imagen son iguales, ya que abarcan el mismo arco de circunferencia (en rojo):
Podéis comprobar que ocurre lo mismo con los dos , los dos
y los dos
.
Bien, vamos a comentar la demostración. Tomamos el triángulo de lados y multiplicamos todos sus lados por
. Con ello los ángulos no se modifican y obtenemos el siguiente triángulo:
Ahora tomamos el triángulo , multiplicamos sus lados por
y lo colocamos de forma conveniente, obteniendo este otro triángulo (los ángulos, como antes, siguen siendo los mismos):
Si ahora unimos estos dos triángulos por el vértice superior derecho del primero y el vértice superior izquierdo del segundo obtenemos la siguiente figura:
Y ahora analicemos lo que hemos obtenido. Si unimos los dos vértices inferiores obtenemos un cuadrilátero convexo en el que los lados «laterales» (izquierda y derecha) son iguales. Fijémonos en los dos segmentos verdes, y
. ¿Qué ángulo forman entre sí? Pues debe ser
, para que al sumar con los dos que hay a los lados,
y
, obtengamos un ángulo de 180º (recordemos que
, por ser la suma de los ángulos del triángulo
, por ejemplo).
Vayamos ahora a la circunferencia inicial, donde estaba nuestro cuadrilátero cíclico. Si nos fijamos veremos un triángulo con lados los segmentos y tal que el ángulo que forman los lados
y
es
. Si multiplicamos los lados de este triángulo por
obtenemos el triángulo de lados
y
, que además cumple que el ángulo que forman
y
es, precisamente,
. Esto significa que el lado que falta en la parte interior de la figura anterior es
:
Y por tanto los ángulos del triángulo «interior» serán los ángulos del inicial:
Si nos fijamos ahora en el cuadrilátero exterior, vemos que los ángulos opuestos son iguales: arriba a la izquierda y abajo a la derecha y
abajo a la izquierda y arriba a la derecha.
Tenemos entonces un cuadrilátero que tiene dos lados opuestos iguales (los «laterales», ) y que tiene sus ángulos opuestos iguales. Esto nos lleva a que nuestro cuadrilátero es en realidad un paralelogramo. Y esto nos asegura que los lados «superior» e «inferior» son iguales, por lo que
que es precisamente lo que dice el teorema de Ptolomeo.
Como comentaba al principio, existen diversas formas de demostrar este teorema, pero la que protagoniza esta entrada me ha parecido realmente bella. ¿Qué opináis vosotros?
Esta es mi primera aportación a la Edición 3.14159265 del Carnaval de Matemáticas, que en esta ocasión organizan en pimedios.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: El conocido como teorema de Ptolomeo es uno de esos resultados interesantes en geometría plana que además de ser sencillos de enunciar también lo son de demostrar, y que además de tener distintas formas de demostrarse es ……
Aspectos donde se trata la importancia de este teorema en cuanto a su aportación a la trigonometría plana, construcción del modelo tolemáico,…etc. Escribí en http://euclides59.wordpress.com/2012/09/29/el-almagesto-el-modelo-ptolemaico/, a su consideración.Felicitaciones por presentar esta elegante demostración.
Muy buena y muy ingeniosa!
[…] a su anuncio, gaussianos trajo, en una primera entrega, a Ptolomeo: Una demostración visual (explicada) del teorema de Ptolomeo, recordándonos la belleza de la geometría […]
[…] Una demostración visual (explicada) del teorema de Ptolomeo, de Gaussianos […]
Bueno, cuando al fin comprenda la demostración quizá podré apreciar su sencillez y belleza, como comentan algunos amigos.
Cuando así sea publicaré una entrada sobre el tema en mi blog
http://parafernaliasmatematicas.blogspot.com.es
Todo este blog es muy interesante y ayuda a poner las matemáticas más cerca del común de los mortales
Espectacular
No conocía el teorema de Ptolomeo; y en realidad pensé, al ver el nombre, que se refería a su resultado más importante: que cualquier órbita (curva continua, acotada y periódica) se puede desarrollar en serie de epiciclos. Claro que él no lo demostró (aunque estaba implícito en sus métodos) y casi nadie le ha reconocido el mérito de ser el precursor de las series de Fourier… Lo cuento en este post y este otro.
[…] Más información: https://www.gaussianos.com/una-demostracion-visual-explicada-del-teorema-de-ptolomeo/ […]