O Teorema de Ptolomeu e algumas aplica c oes

Lenimar Nunes de Andrade UFPB Jo ao Pessoa 18 de agosto de 2012

Ptolemeu foi um s abio grego que viveu em Alexandria, no Egito, por volta do s eculo II A.C. A sua obra mais conhecida e o Almagesto, um tratado de Astronomia. O teorema associado ao seu nome tem o seguinte enunciado: Em um quadril atero inscrito em um c rculo, o produto das diagonais e igual ` a soma dos produtos dos lados opostos. Na gura 1, de acordo com esse teorema, temos que AC BD AB CD ` AD BC que signica que a area do ret angulo R1 e igual ` a soma das areas dos ret angulos R2 e R3 .

Figura 1: Area do ret angulo R1 e a soma das areas R2 e R3

A t tulo de exemplo de aplica c ao, consideremos o quadril atero not avel com lados inteiros medindo a 16, b 25, c 33 e d 60 e diagonais x 39 e y 52 (e area tamb em inteira). Temos que 39 52 16 33 ` 25 60.

Figura 2: Demonstra c ao

Figura 3: Lei dos Cossenos

Apesar de elementar, esse teorema n ao e t ao conhecido quanto outros do mesmo n vel. Sua demonstra c ao pode ser feita utilizando-se apenas semelhan ca de tri angulos: No quadril atero ABCD da gura 2, consideremos E como sendo um ponto em AC de tal forma que a medida do angulo >ADE seja igual ` a de >BDC . Os angulos inscritos CAD e CBD compreendem a mesma corda CD; logo, >CAD >CBD. Portanto, os tri angulos ADE e BCD s ao semelhantes e, AD AE , ou seja, AE BD BC AD. consequentemente, BC BD Como >ABD >ACD e >ADB >CDE , os tri angulos ABD e CDE EC CD tamb em s ao semelhantes. Logo, , isto e, EC BD AB CD. AB BD Portanto, AC BD pAE ` EC q BD AE BD ` EC BD BC AD ` AB CD, o que conclui a demonstra ca o.

Tri angulos ret angulo e equil atero

Consideremos um ret angulo ABCD de lados AB b, BC c e diagonal AC a. Levando em conta que o produto das diagonais e a soma dos produtos 2 2 2 dos lados opostos, obtemos a b ` c . Dessa forma, temos o Teorema de Pit agoras como corol ario do Teorema de Ptolomeu.

Figura 4: Seno da soma

Figura 5: Seno da diferen ca

de um c Seja P um ponto qualquer do arco AC rculo circunscrito a um tri angulo equil atero ABC de lado . No quadril atero ABCP temos AC P B BC P A`AB P C , ou seja, P B P A`P C . Dividindo-se por , obtemos P B P A`P C .

Lei dos Cossenos

Dado um tri angulo BCD de lados a, b e c, constru mos o quadril atero ABCD levando em conta a congru encia dos tri angulos BCD e ACD (gura 3). Se >BCD , ent ao CE DF b cos e AB EF CD CE DF c 2 cos . Aplicando agora o Teorema de Ptolomeu no trap ezio ABCD, obtemos 2 2 2 AC BD AB CD ` AD BC , isto e, a b ` c 2bc cos .

Seno da soma e da diferen ca

Dados dois angulos agudos x e y , constru mos um quadril atero ABCD inscrito em um c rculo de di ametro AC 1 e tal que >CAD x e >BAC y (gura 4). Nessas condi co es, os angulos ADC e ABC s ao retos, AB cos y , BC sen y , AD cos x, CD sen x e BD senpx ` y q. Como AC BD AD BC ` AB CD, temos que senpx ` y q sen x cos y ` sen y cos x. O seno da diferen ca pode ser obtido de maneira an aloga. Na gura 5, temos um quadril atero ABCD de di ametro AB 1 e >BAD x e >BAC y . Os angulos ADB e ACB s ao retos, AD cos x, BD sen x, AC cos y , BC sen y e CD senpx y q. Como AC BD AD BC ` AB CD, temos sen x cos y sen y cos x ` 1 senpx y q, isto e, senpx y q sen x cos y sen y cos x.

Pent agono regular

Em um pent agono regular ABCDE de lado AE a, todas as diagonais t em comprimentos iguais a AD b (gura 6). Considerando o quadril atero ACDE , 2 2 temos AD CE AC DE ` AE CD, isto e, b ab ` a . Dividindo-se por a2 , ` b 2 b 2 obtemos a a 1 0. Fazendo nica ? b{a x 0, temos x x 1 0 cuja u b 1` 5 solu ca o positiva ex que e conhecido como raz ao aurea. a 2 A partir desse resultado, podemos obter outros. Por ? exemplo, como >ACD a{2 1` 5 3600 1 0 0 em que cos 72 b 2 4 . 5 72 , temos tamb

Figura 6: Pent agono regular

Figura 7: Hept agono regular

Hept agono regular

Um hept agono regular ABCDEF G com lado AG a possui diagonais de comprimentos AF b e AE c (gura 7). No quadril atero ADEF , temos AE DF AF DE ` AD EF , ou seja, bc ac ` ab. Dividindo-se a u ltima 1 1 1 ca o que o angulo igualdade por abc, obtemos ` . Se levarmos em considera a b c central de um hept agono mede 27 radianos, podemos observar que a igualdade 1 1 1 anterior e equivalente a ` , onde . senpq senp2q senp3q 7

Refer encias
[1] Maor, E., Trigonometric Delights, Princeton University Press, 1998.