Una demostracin visual

(explicada) del teorema de

Ptolomeo
Publicado por ^DiAmOnD^ el 19 de
noviembre de 2012
enDemostraciones, Geometra, Teoremas |
5 comentarios
El conocido como teorema de Ptolomeo es uno de esos resultados interesantes
en geometra plana que adems de ser sencillos de enunciar tambin lo son de
demostrar, y que adems de tener distintas formas de demostrarse es una
herramienta muy til para usarla en la demostracin de otros teoremas de inters.
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 cuadriltero convexo
cuyos vrtices estn todos sobre dicha circunferencia, lo que se
denomina cuadriltero cclico, y dice lo siguiente:
Teorema de Ptolomeo
En un cuadriltero ciclco, la suma de los productos de lados opuestos es igual al
producto de sus diagonales.
Esto es, dado un cuadriltero cclico ABCD cuyos lados (consecutivos) son a, b, c
y d y sus diagonales son e y f, entonces

La demostracin visual que comentaba al principio, que he visto en Cut-TheKnot es la siguiente:

(Si hacis click en la imagen la veris a mayor tamao.)

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 razn por la que ciertos ngulos que se forman
entre los lados del cuadriltero y sus diagonales. La razn 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):

Podis comprobar que ocurre lo mismo con los dos , los dos

y los dos .

Bien, vamos a comentar la demostracin. Tomamos el tringulo de lados

multiplicamos todos sus lados por . Con ello los ngulos no se modifican y
obtenemos el siguiente tringulo:

Ahora tomamos el tringulo

, multiplicamos sus lados por y lo colocamos de

forma conveniente, obteniendo este otro tringulo (los ngulos, como antes, siguen
siendo los mismos):

Si ahora unimos estos dos tringulos por el vrtice superior derecho del primero y
el vrtice superior izquierdo del segundo obtenemos la siguiente figura:

Y ahora analicemos lo que hemos obtenido. Si unimos los dos vrtices inferiores
obtenemos un cuadriltero convexo en el que los lados laterales (izquierda y
derecha) son iguales. Fijmonos en los dos segmentos verdes,
ngulo forman entre s? Pues debe ser
hay a los lados,
que

. Qu

, para que al sumar con los dos que

y , obtengamos un ngulo de 180 (recordemos

, por ser la suma de los ngulos del tringulo

, por

ejemplo).
Vayamos ahora a la circunferencia inicial, donde estaba nuestro cuadriltero
cclico. Si nos fijamos veremos un tringulo con lados los segmentos
el ngulo que forman los lados
tringulo por

y es

. Si multiplicamos los lados de este

obtenemos el tringulo de lados

que el ngulo que forman

y tal que

es, precisamente,

lado que falta en la parte interior de la figura anterior es

, que adems cumple

. Esto significa que el
:

Y por tanto los ngulos del tringulo interior sern los ngulos del

inicial:

Si nos fijamos ahora en el cuadriltero 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 cuadriltero que tiene dos lados opuestos iguales (los
laterales,

) y que tiene sus ngulos opuestos iguales. Esto nos lleva a que

nuestro cuadriltero 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.