# Teorema de Ptolemeu

En geometria euclidiana, el teorema de Ptolemeu és una relació entre els quatre costats i dues diagonals d'un quadrilàter cíclic (un quadrilàter els vèrtexs del qual es troben en un cercle comú). El teorema rep el nom de l'astrònom i matemàtic grec Ptolemeu (Κλαύδιος Πτολεμαῖος; Claudius Ptolemaeus). Ptolemeu va utilitzar el teorema com a ajuda per crear la seva taula de cordes, una taula trigonomètrica que va aplicar a l'astronomia.
Si els vèrtexs del quadrilàter cíclic són A, B, C i D en ordre, aleshores el teorema diu que:
    $\definecolor {V}{rgb}{0.5803921568627451,0,0.8274509803921568}\definecolor {B}{rgb}{0,0,1}\definecolor {R}{rgb}{0.8,0,0}{\color {V}AC}\cdot {\color {V}BD}={\color {B}AB}\cdot {\color {B}CD}+{\color {R}BC}\cdot {\color {R}AD}$
on les línies verticals denoten la longitud dels segments de línia entre els vèrtexs anomenats. Aquesta relació es pot expressar verbalment de la següent manera:
A més, la inversa del teorema de Ptolemeu també és certa:

## El text de Ptolemeu

Text grec del Llibre I, capítol 10 de l'Almagest diu:
| « | (grec antic) Ὅν δὲ τρόπον καὶ αἱ λοιπαὶ τῶν κατὰ μέρος [ἐν τῷ κύκλῳ εὐθείων] δοθήσονται, δείξομεν ἐφεξῆς προεκθέμενοι λημμάτιον εὔχρηστον πάνυ πρὸς τὴν παροῦσαν πραγματείαν. Ἔστω γὰρ κύκλος ἐγγεγραμμένον ἔχων τετράπλευρον τυχὸν τὸ ΑΒΓΔ, καὶ ἐπεζεύχθωσαν αἱ ΑΓ καὶ ΒΔ. Δεικτέον ὅτι τὸ ὑπὸ τῶν ΑΓ καὶ ΒΔ περιεχόμενον ὀρθογώνιον ἴσον ἐστὶ συναμφοτέροις τῷ τε ὑπὸ τῶν ΑΒ, ΔΓ καὶ τῷ ὑπὸ τῶν ΑΔ, ΒΓ. | (català) Com les altres [línies inscrites al cercle] també es donaran part per part, ho mostrarem immediatament proposant un petit lema molt pràctic per a la present consideració. Sigui una circumferència que conté qualsevol quadrilàter inscrit ABCD, i connectem les rectes AG i BD. Es demostrarà que el rectangle contingut per AC i BD és igual a la suma del contingut per AB, DG i el contingut per AD, BG. | » |
| — Claudi Ptolemeu, Almagest, Llibre I, cap. 10 ||||

## Enunciats moderns

   — Teorema de Ptolemeu (implicació directa)
Es pot estendre a una equivalència:
   — Teorema de Ptolemeu (equivaléncia)
Es pot estendre a punts d'una línia i, de manera més general, s'indica de la següent manera:
   — Teorema de Ptolemeu (en general)

## Exemples
### Triangle equilàter

El teorema de Ptolemeu dona com a corol·lari un bonic teorema sobre un triangle equilàter inscrit en una circumferència.
Donat un triangle equilàter inscrit en una circumferència i un punt sobre la circumferència.
* Triangle equilàter inscrit en una circumferència
La distància del punt al vèrtex més llunyà del triangle és la suma de les distàncies del punt als dos vèrtexs més propers.
Demostració: és conseqüència immediata del teorema de Ptolemeu:
    $qs=ps+rs\Rightarrow q=p+r.$

### Quadrat

Qualsevol quadrat pot estar inscrit en una circumferència, el centre del qual és el centre del quadrat. Si la longitud comuna dels seus quatre costats és igual a $a$ aleshores la longitud de la diagonal és igual a $a{\sqrt {2}}$ segons el teorema de Pitàgores i la relació òbviament es manté.

### Rectangle

De manera més general, si el quadrilàter és un rectangle amb els costats a i b i la diagonal d aleshores el teorema de Ptolemeu es redueix al teorema de Pitàgores. En aquest cas el centre de la circumferència coincideix amb el punt d'intersecció de les diagonals. El producte de les diagonals és llavors d$^2$, el costat dret de la relació de Ptolemeu és la suma a$^2$ + b$^2$.
* Teorema de Pitàgoras: «manifestum est». Copèrnic
Copèrnic, que va utilitzar àmpliament el teorema de Ptolemeu en el seu treball trigonomètric, es refereix a aquest resultat com un «porisme» o corol·lari evident:
   — Nicolau Copèrnic

### Pentàgon

Un exemple més interessant és la relació entre la longitud a del costat i la longitud (comuna) b de les 5 cordes d'un pentàgon regular.
* La proporció àuria es desprèn d'aquesta aplicació del teorema de Ptolemeu
En completar el quadrat, la relació dona la proporció àuria:
    ${\begin{array}{rl}b\cdot b\,\;\;\qquad \quad \qquad =&\!\!\!\!a\!\cdot \!a+a\!\cdot \!b\\b^{2}\;\;-ab\quad \qquad =&\!\!a^{2}\\{\frac {b^{2}}{a^{2}}}\;\;-{\frac {ab}{a^{2}}}\;\;\;\qquad =&\!\!\!{\frac {a^{2}}{a^{2}}}\\\left({\frac {b}{a}}\right)^{2}-{\frac {b}{a}}+\left({\frac {1}{2}}\right)^{2}=&\!\!1+\left({\frac {1}{2}}\right)^{2}\\\left({\frac {b}{a}}-{\frac {1}{2}}\right)^{2}=&\!\!\quad {\frac {5}{4}}\\{\frac {b}{a}}-{\frac {1}{2}}\;\;\;=&\!\!\!\!\pm {\frac {\sqrt {5}}{2}}\\{\frac {b}{a}}>0\,\Rightarrow \,\varphi ={\frac {b}{a}}=&\!\!\!\!{\frac {1+{\sqrt {5}}}{2}}\end{array}}$

### Costat del decàgon

Si ara es dibuixa el diàmetre AF en bisectant DC de manera que DF i CF siguin els costats c d'un decàgon inscrit, es pot tornar a aplicar el teorema de Ptolemeu,
* Costat del decàgon inscrit
aquesta vegada al quadrilàter cíclic ADFC amb el diàmetre d com una de les seves diagonals:
    $ad=2bc$
    $\Rightarrow ad=2\varphi ac$ on $\varphi$ és la proporció àuria.
    $\Rightarrow c={\frac {d}{2\varphi }}.$
d'on s'obté el costat del decàgon inscrit en funció del diàmetre del cercle. El teorema de Pitàgores aplicat al triangle rectangle AFD dona llavors «b» en termes de diàmetre i «a» el costat del pentàgon es calcula després com:
       $a={\frac {b}{\varphi }}=b\left(\varphi -1\right).$
Com va escriure Copèrnic (seguint Ptolemeu),

## Demostracions
### Demostració visual

La següent animació mostra una demostració visual del teorema de Ptolemeu, basada en [Derrick i Herstein 2012, p. 386]:
* Demostració visual animada del teorema de Ptolemeu, basada en [Derrick i Herstein 2012, p. 386]

### Demostració per semblança de triangles

Sigui ABCD un quadrilàter cíclic. A la corda BC, els angles inscrits ∠BAC = ∠BDC, i en AB, ∠ADB = ∠ACB. Es construeix K sobre AC de manera que ∠ABK = ∠CBD; a partir de ∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD, ∠CBK = ∠ABD.
* Construccions per a una demostració del teorema de Ptolemeu
Ara, pels angles comuns △ABK és semblant a △DBC, i així mateix △ABD és semblant a △KBC. Llavors AK/AB = CD/BD, i CK/BC = DA/BD; de manera equivalent, AK⋅BD = AB⋅CD, i CK⋅BD = BC⋅DA. Sumant dues igualtats tenim AK⋅BD + CK⋅BD = AB⋅CD + BC⋅DA, i factoritzant això dona (AK+CK)·BD = AB⋅CD + BC⋅DA. Però AK+CK = AC, com AC⋅BD = AB⋅CD + BC⋅DA, Q.E.D..
La demostració tal com està escrita només és vàlida per a quadrilàters cíclics simples. Si el quadrilàter s'autocreua, K estarà situat fora del segment de línia AC. Però en aquest cas, AK−CK = ±AC, donant el resultat esperat.

### Demostració amb identitats trigonomètriques

Fem que els angles inscrits delimitats per $AB$, $BC$ i $CD$ siguin, respectivament, $\alpha$, $\beta$ i $\gamma$, i el radi del cercle sigui $R$. Llavors tenim $AB=2R\sin \alpha$, $BC=2R\sin \beta$, $CD=2R\sin \gamma$, $AD=2R\sin(180^{\circ }-(\alpha +\beta +\gamma ))$, $AC=2R\sin(\alpha +\beta )$ i $BD=2R\sin(\beta +\gamma )$, i la igualtat original a demostrar es la transformem en
    $\sin(\alpha +\beta )\sin(\beta +\gamma )=\sin \alpha \sin \gamma +\sin \beta \sin(\alpha +\beta +\gamma )$
d'on el factor $4R^{2}$ ha desaparegut dividint els dos costats de l'equació per aquest.
Ara utilitzant les fórmules de suma, $\sin(x+y)=\sin {x}\cos y+\cos x\sin y$ i $\cos(x+y)=\cos x\cos y-\sin x\sin y$, és trivial demostrar que ambdós costats de l'equació anterior són iguals a
    ${\begin{aligned}&\sin \alpha \sin \beta \cos \beta \cos \gamma +\sin \alpha \cos ^{2}\beta \sin \gamma \\+&\cos \alpha \sin ^{2}\beta \cos \gamma +\cos \alpha \sin \beta \cos \beta \sin \gamma .\end{aligned}}$
Q.E.D.
Aquí hi ha una altra prova, potser més transparent, utilitzant una trigonometria rudimentària.
Definim un nou quadrilàter $ABCD'$ inscrit en el mateix cercle, on $A,B,C$ són els mateixos que a $ABCD$, i $D'$, estirat en la mateixa corda que $D$, és definit per $|{\overline {AD'}}|=|{\overline {CD}}|$, $|{\overline {CD'}}|=|{\overline {AD}}|$.
Llavors, $ABCD'$ té les mateixes longituds d'arestes i, per tant, els mateixos angles inscrits delimitats per les arestes corresponents, com $ABCD$, només en un ordre diferent. Això és, $\alpha$, $\beta$ i $\gamma$, per, respectivament, $AB,BC$ i $AD'$. També, $ABCD$ i $ABCD'$ tenen la mateixa àrea. Llavors,
    ${\begin{aligned}\mathrm {Area} (ABCD)&={\frac {1}{2}}AC\cdot BD\cdot \sin(\alpha +\gamma );\\\mathrm {Area} (ABCD')&={\frac {1}{2}}AB\cdot AD'\cdot \sin(180^{\circ }-\alpha -\gamma )+{\frac {1}{2}}BC\cdot CD'\cdot \sin(\alpha +\gamma )\\&={\frac {1}{2}}(AB\cdot CD+BC\cdot AD)\cdot \sin(\alpha +\gamma ).\end{aligned}}$
Q.E.D.

### Demostració per inversió

Triem un cercle auxiliar $\Gamma$ de radi $r$ centrat en D respecte al qual el circumcicle d'ABCD s'inverteix en una línia (vegeu la figura següent).
* Demostració del teorema de Ptolemeu mitjançant inversió de cercles
Aleshores $A'B'+B'C'=A'C'.$ Llavors $A'B',B'C'$ i $A'C'$també es pot expressar com AB⋅DB$^′$/DA {\textstyle {\frac {AB\cdot DB'}{DA}}}, BC⋅DB$^′$/DC {\textstyle {\frac {BC\cdot DB'}{DC}}} i AC⋅DC$^′$/DA {\textstyle {\frac {AC\cdot DC'}{DA}}} respectivament. Multiplicant cada terme per DA⋅DC/DB$^′$ {\textstyle {\frac {DA\cdot DC}{DB'}}} i utilitzant DC$^′$/DB$^′$=DB/DC {\textstyle {\frac {DC'}{DB'}}={\frac {DB}{DC}}} dona la igualtat de Ptolemeu.
Q.E.D.
S'ha de tenir en compte que si el quadrilàter no és cíclic, llavors A', B' i C' formen un triangle i, per tant, A'B'+B'C' > A'C', donant-nos una demostració molt senzilla de la desigualtat de Ptolemeu que es presenta a continuació.

### Demostració usant nombres complexos

Inserim ABCD en $\mathbb {C}$ mitjançant la identificació $A\mapsto z_{A},\ldots ,D\mapsto z_{D}$ com quatre punts diferents $z_{A},\ldots ,z_{D}\in \mathbb {C}$. Definim
    $\zeta :={\frac {(z_{A}-z_{B})(z_{C}-z_{D})}{(z_{A}-z_{D})(z_{B}-z_{C})}}\in \mathbb {C} \setminus \left\{0\right\}$.
Llavors
    ${\begin{aligned}{\overline {AB}}\cdot {\overline {CD}}+{\overline {AD}}\cdot {\overline {BC}}&=\left|z_{A}-z_{B}\right|\left|z_{C}-z_{D}\right|+\left|z_{A}-z_{D}\right|\left|z_{B}-z_{C}\right|\\&=\left|(z_{A}-z_{B})(z_{C}-z_{D})\right|+\left|(z_{A}-z_{D})(z_{B}-z_{C})\right|\\&=\left(\left|{\frac {(z_{A}-z_{B})(z_{C}-z_{D})}{(z_{A}-z_{D})(z_{B}-z_{C})}}\right|+1\right)\left|(z_{A}-z_{D})(z_{B}-z_{C})\right|\\&=\left(\left|\zeta \right|+1\right)\left|(z_{A}-z_{D})(z_{B}-z_{C})\right|\\&\geq \left|(\zeta +1)(z_{A}-z_{D})(z_{B}-z_{C})\right|\\&=\left|(z_{A}-z_{B})(z_{C}-z_{D})+(z_{A}-z_{D})(z_{B}-z_{C})\right|\\&=\left|(z_{A}-z_{C})(z_{B}-z_{D})\right|\\&=\left|z_{A}-z_{C}\right|\left|z_{B}-z_{D}\right|\\&={\overline {AC}}\cdot {\overline {BD}}\end{aligned}}$
amb igualtat si i només si $\zeta \in \mathbb {R} _{>0}$. Això demostra la desigualtat de Ptolemeu en general, ja que només queda demostrar que $z_{A},\ldots ,z_{D}$ es troben disposats consecutivament sobre un cercle (possiblement de radi infinit, és a dir, una línia) en $\mathbb {C}$ si i només si $\zeta \in \mathbb {R} _{>0}$.
De la forma polar d'un nombre complex $z=\vert z\vert e^{i\arg(z)}$, s'obté
    ${\begin{aligned}\arg(\zeta )&=\arg {\frac {(z_{A}-z_{B})(z_{C}-z_{D})}{(z_{A}-z_{D})(z_{B}-z_{C})}}\\&=\arg(z_{A}-z_{B})+\arg(z_{C}-z_{D})-\arg(z_{A}-z_{D})-\arg(z_{B}-z_{C}){\pmod {2\pi }}\\&=\arg(z_{A}-z_{B})+\arg(z_{C}-z_{D})-\arg(z_{A}-z_{D})-\arg(z_{C}-z_{B})-\arg(-1){\pmod {2\pi }}\\&=-\left[\arg(z_{C}-z_{B})-\arg(z_{A}-z_{B})\right]-\left[\arg(z_{A}-z_{D})-\arg(z_{C}-z_{D})\right]-\arg(-1){\pmod {2\pi }}\\&=-\angle ABC-\angle CDA-\pi {\pmod {2\pi }}\\&=0\end{aligned}}$
amb l'última igualtat si i només si ABCD és cíclic, ja que un quadrilàter és cíclic si i només si els angles oposats sumen $\pi$.
Q.E.D.
S'ha de tenir en compte que aquesta demostració es fa de manera equivalent observant que la ciclicitat d'ABCD, és a dir, la suplementarietat $\angle ABC$ i $\angle CDA$, és equivalent a la condició
    $\arg \left[(z_{A}-z_{B})(z_{C}-z_{D})\right]=\arg \left[(z_{A}-z_{D})(z_{B}-z_{C})\right]=\arg \left[(z_{A}-z_{C})(z_{B}-z_{D})\right]{\pmod {2\pi }}$;
en particular hi ha una rotació de $\mathbb {C}$ en què aquest $\arg$ és 0 (és a dir, els tres productes són nombres reals positius), i pel qual el teorema de Ptolemeu
    ${\overline {AB}}\cdot {\overline {CD}}+{\overline {AD}}\cdot {\overline {BC}}={\overline {AC}}\cdot {\overline {BD}}$
llavors s'estableix directament a partir de la identitat algebraica simple
    $(z_{A}-z_{B})(z_{C}-z_{D})+(z_{A}-z_{D})(z_{B}-z_{C})=(z_{A}-z_{C})(z_{B}-z_{D}).$

## Corol·laris

En el cas d'un cercle de diàmetre unitari, els costats $S_{1},S_{2},S_{3},S_{4}$ de qualsevol quadrilàter cíclic ABCD són numèricament iguals als sinus dels angles$\theta _{1},\theta _{2},\theta _{3}$ i $\theta _{4}$ que delimiten.
* $|S_{1}|=\sin(\theta _{1})$
De la mateixa manera, les diagonals són iguals al sinus de la suma del parell d'angles que delimiten. Aleshores podem escriure el teorema de Ptolemeu en la forma trigonomètrica següent:
    $\sin \theta _{1}\sin \theta _{3}+\sin \theta _{2}\sin \theta _{4}=\sin(\theta _{1}+\theta _{2})\sin(\theta _{1}+\theta _{4})$
Aplicant determinades condicions als angles delimitats $\theta _{1},\theta _{2},\theta _{3}$ i $\theta _{4}$ és possible derivar una sèrie de corol·laris importants utilitzant l'anterior com a punt de partida. En el que segueix és important tenir en compte que la suma d'angles $\theta _{1}+\theta _{2}+\theta _{3}+\theta _{4}=180^{\circ }$.

### Corol·lari 1. Teorema de Pitàgores

Sigui $\theta _{1}=\theta _{3}$ i $\theta _{2}=\theta _{4}$. Llavors $\theta _{1}+\theta _{2}=\theta _{3}+\theta _{4}=90^{\circ }$
* Corol·lari 1: Teorema de Pitàgores
(ja que els angles oposats d'un quadrilàter cíclic són suplementaris). Aleshores:
    $\sin \theta _{1}\sin \theta _{3}+\sin \theta _{2}\sin \theta _{4}=\sin(\theta _{1}+\theta _{2})\sin(\theta _{1}+\theta _{4})$
    $\sin ^{2}\theta _{1}+\sin ^{2}\theta _{2}=\sin ^{2}(\theta _{1}+\theta _{2})$
    $\sin ^{2}\theta _{1}+\cos ^{2}\theta _{1}=1$

### Corol·lari 2. La llei del cosinus

Sigui $\theta _{2}=\theta _{4}$. El rectangle del corol·lari 1 és ara un trapezi simètric amb diagonals iguals i un parell de costats iguals. Els costats paral·lels difereixen en longitud $2x$ unitats, on:
    $x=S_{2}\cos(\theta _{2}+\theta _{3})$
* Corol·lari 2: Llei del cosinus
En aquest cas, serà més fàcil tornar a l'enunciat estàndard del teorema de Ptolemeu:
    ${\begin{array}{lcl}S_{1}S_{3}+S_{2}S_{4}={\overline {AC}}\cdot {\overline {BD}}\\\Rightarrow S_{1}S_{3}+{S_{2}}^{2}={\overline {AC}}^{2}\\\Rightarrow S_{1}[S_{1}-2S_{2}\cos(\theta _{2}+\theta _{3})]+{S_{2}}^{2}={\overline {AC}}^{2}\\\Rightarrow {S_{1}}^{2}+{S_{2}}^{2}-2S_{1}S_{2}\cos(\theta _{2}+\theta _{3})={\overline {AC}}^{2}\\\end{array}}$
La regla del cosinus per al triangle ABC.

### Corol·lari 3. Angle compost sinus (+)

Sigui
    $\theta _{1}+\theta _{2}=\theta _{3}+\theta _{4}=90^{\circ }.$
Llavors
    $\sin \theta _{1}\sin \theta _{3}+\sin \theta _{2}\sin \theta _{4}=\sin(\theta _{3}+\theta _{2})\sin(\theta _{3}+\theta _{4})$
Per tant,
    $\cos \theta _{2}\sin \theta _{3}+\sin \theta _{2}\cos \theta _{3}=\sin(\theta _{3}+\theta _{2})\times 1$
Fórmula per a angle compost sinus (+).

### Corol·lari 3. Angle compost sinus (-)

Sigui $\theta _{1}=90^{\circ }$. Llavors $\theta _{2}+(\theta _{3}+\theta _{4})=90^{\circ }$. Per tant,
    $\sin \theta _{1}\sin \theta _{3}+\sin \theta _{2}\sin \theta _{4}=\sin(\theta _{3}+\theta _{2})\sin(\theta _{3}+\theta _{4})$
    $\sin \theta _{3}+\sin \theta _{2}\cos(\theta _{2}+\theta _{3})=\sin(\theta _{3}+\theta _{2})\cos \theta _{2}$
    $\sin \theta _{3}=\sin(\theta _{3}+\theta _{2})\cos \theta _{2}-\cos(\theta _{2}+\theta _{3})\sin \theta _{2}$
Fórmula per a angle compost sinus (−).
Aquesta derivació correspon al Tercer Teorema tal com el narra Copèrnic després de Ptolemeu a Almagest. En particular, si es donen els costats d'un pentàgon (delimitats 36° a la circumferència) i d'un hexàgon (delimitats 30° a la circumferència), es pot calcular una corda delimitada 6°. Aquest va ser un pas crític en l'antic mètode de càlcul de taules de cordes.

### Corol·lari 3. Angle compost cosinus (+)

Aquest corol·lari és el nucli del Cinqué Teorema tal com el narra Copèrnic després de Ptolemeu a Almagest.
Sigui $\theta _{3}=90^{\circ }$. Llavors $\theta _{1}+(\theta _{2}+\theta _{4})=90^{\circ }$. Per tant
    $\sin \theta _{1}\sin \theta _{3}+\sin \theta _{2}\sin \theta _{4}=\sin(\theta _{3}+\theta _{2})\sin(\theta _{3}+\theta _{4})$
    $\cos(\theta _{2}+\theta _{4})+\sin \theta _{2}\sin \theta _{4}=\cos \theta _{2}\cos \theta _{4}$
    $\cos(\theta _{2}+\theta _{4})=\cos \theta _{2}\cos \theta _{4}-\sin \theta _{2}\sin \theta _{4}$
Fórmula per a angle compost cosinus (+)
Tot i no tenir la destresa de la nostra notació trigonomètrica moderna, hauria de quedar clar dels corol·laris anteriors que en el teorema de Ptolemeu (o més simplement el Segon Teorema) el món antic tenia a la seva disposició una eina trigonomètrica extremadament flexible i poderosa que permetia amb el coneixement de la seva època elaborar taules de cordes precises (corresponents a taules de sinus) i utilitzar-les en els seus intents d'entendre i mapejar el cosmos tal com el veien. Com que Hiparc va elaborar taules de cordes tres segles abans de Ptolemeu, hem de suposar que coneixia el «Segon Teorema» i els seus derivats. Seguint el rastre dels antics astrònoms, la història registra el catàleg d'estrelles de Timocaris d'Alexandria. Si, com sembla probable, la compilació d'aquests catàlegs requeria una comprensió del «Segon Teorema», aleshores els veritables orígens d'aquest últim desapareixen després en la boira de l'antiguitat, però no pot ser descabellat suposar que els astrònoms, arquitectes i enginyers de construcció de l'antic Egipte podria haver-ne tingut algun coneixement.

## Desigualtat de Ptolemeu

L'equació del teorema de Ptolemeu mai és certa amb els quadrilàters no-cíclics. La desigualtat de Ptolemeu és una extensió d'aquest fet, i és una forma més general del teorema de Ptolemeu. Afirma que, donat un quadrilàter ABCD, aleshores
    ${\overline {AB}}\cdot {\overline {CD}}+{\overline {BC}}\cdot {\overline {DA}}\geq {\overline {AC}}\cdot {\overline {BD}}$
on la igualtat es compleix si i només si el quadrilàter és cíclic. Aquest cas especial és equivalent al teorema de Ptolemeu.

## Teorema relacionat sobre la ràtio de les diagonals

   $ABCD$
   ${\frac {AC}{BD}}={\frac {AB\cdot DA+BC\cdot CD}{AB\cdot BC+DA\cdot CD}}$
   — Segon teorema de Ptolemeu
El teorema de Ptolemeu dona el producte de les diagonals (d'un quadrilàter cíclic) coneixent els costats, el següent teorema dona el mateix per a la ràtio de les diagonals.
    ${\frac {AC}{BD}}={\frac {AB\cdot DA+BC\cdot CD}{AB\cdot BC+DA\cdot CD}}$
Demostració: se sap que l'àrea d'un triangle $ABC$ inscrita en un cercle de diàmetre $R$ és: ${\mathcal {A}}={\frac {AB\cdot BC\cdot CA}{4R}}$
* Aquest és un quadrilàter no-cíclic. La igualtat mai es manté aquí, i és desigual en la direcció indicada per la desigualtat de Ptolemeu
Si escrivim l'àrea del quadrilàter com la suma de dos triangles que comparteixen el mateix cercle circumscrit, obtenim dues relacions per a cada descomposició.
    ${\mathcal {A}}_{\text{tot}}={\frac {AB\cdot BC\cdot CA}{4R}}+{\frac {CD\cdot DA\cdot AC}{4R}}={\frac {AC\cdot (AB\cdot BC+CD\cdot DA)}{4R}}$
    ${\mathcal {A}}_{\text{tot}}={\frac {AB\cdot BD\cdot DA}{4R}}+{\frac {BC\cdot CD\cdot DB}{4R}}={\frac {BD\cdot (AB\cdot DA+BC\cdot CD)}{4R}}$
Igualant, obtenim la fórmula anunciada.
Conseqüència: Coneixent tant el producte com la relació de les diagonals, en deduïm les expressions immediates:
    ${\begin{aligned}AC^{2}&=AC\cdot BD\cdot {\frac {AC}{BD}}=(AB\cdot CD+BC\cdot DA){\frac {AB\cdot DA+BC\cdot CD}{AB\cdot BC+DA\cdot CD}}\\[8pt]BD^{2}&={\frac {AC\cdot BD}{\frac {AC}{BD}}}=(AB\cdot CD+BC\cdot DA){\frac {AB\cdot BC+DA\cdot CD}{AB\cdot DA+BC\cdot CD}}\end{aligned}}$

## Ús per Ptolemeu

Ptolemeu va utilitzar el primer teorema per elaborar taules trigonomètriques. Per fer-ho, va considerar un cercle la circumferència del qual es divideix en 360 graus i el diàmetre del qual es divideix en 120 parts iguals. Aleshores busca atribuir a diversos arcs de cercle la longitud de les cordes delimitats per aquests arcs.
Primer va tractar els casos d'arcs de 36°, 60°, 72°, 90°, 120° per als quals la corda delimitada és el costat respectivament del decàgon regular, l'hexàgon regular, el pentàgon regular, el quadrat, i el triangle equilàter, tots inscrit en el cercle. Com que tots aquests polígons es poden construir amb un regle i un compàs, de fet podem determinar la longitud dels seus costats. Aleshores, utilitzant el fet que un triangle inscrit en un cercle és rectangle si un dels seus costats és igual al diàmetre, el teorema de Pitàgores li permet determinar les cordes associades als arcs que són els complements de 180° dels arcs anteriors.
Llavors, coneixent les cordes associades a dos arcs de cercle, utilitza el seu teorema per determinar la corda delimitada per les diferències o les sumes d'aquests arcs. A la figura oposada, de fet, suposem que es coneixen les longituds de les cordes delimitades pels arcs AB i AC, així com el diàmetre AD del cercle. Els triangles BAD i CAD sent angles rectes en B i C, el teorema de Pitàgores permet determinar BD i CD. Per tant, tots els segments blaus (de la imatge de la dreta) tenen una longitud coneguda. El teorema de Ptolemeu ens permet deduir la longitud del segment vermell BC. Per tant, Ptolemeu pot determinar la longitud de la corda associada a l'angle 12° = 72° – 60°.
Veiem així que el teorema de Ptolemeu té, en les matemàtiques antigues, el paper que tenen per a nosaltres les fórmules de trigonometria (sinus i cosinus de la suma o diferència de dos angles).
Ptolemeu també sap determinar la corda delimitada per mig arc. A la figura oposada, sigui BC l'arc del qual coneixem la corda, i AC el diàmetre del cercle. Pel teorema de Pitàgores al triangle rectangle ABC, també coneixem la longitud AB. Tracem la bisectriu (AD) de l'angle BAC, de manera que BD = CD. Continuem [AC] el punt E tal que AE = AB. Aleshores, els triangles ABD i AED són isomètrics. Per tant, tenim CD = BD = ED i el triangle ECD és isòsceles. La seva alçada (DZ) talla (AC) en Z, mig de [EC]. Però EC es coneix perquè EC = AC – AE = AC – AB, i AB i AC es coneixen. Així doncs, es coneix ZC, la meitat d'EC. Per tant, es coneix la corda desitjat CD, perquè, en el triangle rectangle ACD, tenim ${\rm {CD}}^{2}={\rm {AC}}\times {\rm {CZ}}$ (Euclides VI.8). Coneixent la corda de 12°, Ptolemeu pot completar la seva taula calculant les longituds de les cordes associades als arcs de 6°, 3°, 1°30' i 45'.
Per tant, no pot obtenir la longitud de la corda que subtendeix un arc d'1°. Obté aquest valor mitjançant una interpolació resultant dels valors obtinguts per als arcs d'1°30' i 45'. Aleshores dedueix la corda que delimita l'arc de 30', i finalment pot elaborar una taula dels arcs i les seves cordes delimitades, mig grau per mig grau.
En el sisè volum de l'Almagest, Ptolemeu dona un valor aproximat del nombre π obtingut gràcies al valor de la corda delimitada per un angle d'un grau. De fet, multiplicant aquest valor (1° 2'50") per 360 per fer una revolució completa, s'obté 377" unitats, el diàmetre de les quals és 120". En altres paraules, troba que π val aproximadament ${\frac {377}{120}}\approx 3,14166$.

## Notes

* ↑ La Proposició 8 del Llibre xiii d'Elements d'Euclides demostra amb triangles similars el mateix resultat: és a dir, que la longitud a (el costat del pentàgon) divideix la longitud b (unint vèrtexs alternatius del pentàgon) en «proporció mitjana i extrema».
* ↑ I de manera anàloga, la Proposició 9 del Llibre xiii d'Elements d'Euclides demostra amb triangles semblants que la longitud c (el costat del decàgon) divideix el radi en «proporció mitjana i extrema».
* ↑ A la referència següent es pot trobar un article interessant sobre la construcció d'un pentàgon regular i la determinació de la longitud dels costats:
* ↑ La desigualtat de Ptolemeu afirma que la part de l'esquerra de la igualtat anterior és sempre major o igual a la de la dreta. Els únics casos d'igualtat que admet són quan el quadrilàter és cíclic. Això també es pot interpretar a conseqüència de la fórmula de Bretschneider (vegeu Fórmula de Brahmagupta).
* ↑ A De Revolutionibus Orbium Coelestium (DROC), Copèrnic no es refereix al teorema de Pitàgores pel seu nom, sinó que utilitza el terme «porisme», una paraula que en aquest context particular semblaria denotar una observació o una conseqüència òbvia d'un altre teorema existent. El «porisme» es pot veure a les pàgines 36 i 37 del DROC (Harvard electronic copy).
* ↑ Per entendre el Tercer Teorema, compareu el diagrama de Copèrnic que es mostra a la pàgina 39 del De Revolutionibus Orbium Coelestium amb la derivació de sin(A-B) que es troba a la pàgina web Cut the knot.
* ↑ La raó és que Ptolemeu realitza els seus càlculs en el sistema sexagesimal tant per a angles com per a longituds, i un radi de 60 parts s'adapta bé a aquest sistema.

## Referències

* ↑ Ptolemeu, 148, p. Llibre 1, cap. 10.
* ↑ Wilson, Jim. «Ptolemy's Theorem» (en anglès).
* ↑ Copèrnic, 1543, p. 37. Vegeu les dues últimes línies d'aquesta pàgina. Copèrnic es refereix al teorema de Ptolemeu com "Theorema Secundum"..
* ↑ Copèrnic, 1543, p. Liber Primus: Theorema Primum.
* ↑ Derrick i Herstein, 2012, p. 386.
* ↑ Alsina i Nelsen, 2010, p. 112.
* 1 2 «Sine, Cosine, and Ptolemy's Theorem» (en anglès). Cut the knot.
* ↑ Alsina i Nelsen, 2010, p. 112-113.
* ↑ Colette, 1973, p. 93-94.
* ↑ Morris, 1972, p. 122-126.
* ↑ Ptolemeu, 148, p. Vol 1, p. 28.
* ↑ Ptolemeu, 148, p. Vol. 1, p. 30.
* ↑ Ptolemeu, 148, p. Vol 1. p. 31.
* ↑ Ptolemeu, 148, p. Vol. 1, p. 34-36.
* ↑ Ptolemeu, 148, p. Vol. 1, p. 38.
* ↑ Berggren, Borwein i Borwein, 1999, p. 678.

## Bibliografia

* Alsina, Claudi; Nelsen, Roger B. Charming Proofs: A Journey Into Elegant Mathematics (en anglès). 42. Mathematical Association of America, 2010 (Dolciani Mathematical Expositions). ISBN 9780883853481.
* Amarasinghe, G. W. I. S «A Concise Elementary Proof for the Ptolemy's Theorem» ( PDF) (en anglès). Global Journal of Advanced Research on Classical and Modern Geometries (GJARCMG), 2(1), 2013, pàg. 20-25.
* Berggren, Lennard; Borwein, Jonathan; Borwein, Peter. Pi: A Source Book (en anglès). Springer, 1999. ISBN 978-0-387-98946-4.
* Colette, Jean-Paul. Histoire des mathématiques (en francès). 1. Vuibert, 1973. ISBN 978-2-711-71020-3.
* Kline, Morris. Mathematical Thought from Ancient to Modern Times (en anglès). Oxford University Press, 1972.
* Copèrnic, N. De Revolutionibus Orbium Coelestium (en llatí), 1543.
* Derrick, W.; Herstein, J. «Proof Without Words: Ptolemy's Theorem» (en anglès). The College Mathematics Journal, 43(5), 2012.
* Coxeter, H. S. M; Greitzer, S. L «Ptolemy's Theorem and its Extensions» (en anglès). Geometry Revisited. Mathematical Association of America, 2.6, 1967, pàg. 42-43.
* Ptolemeu, Claudi. Almagest (en grec antic), 148.

## Vegeu també

* Matemàtiques de l'antiga Grècia
* Teorema de Casey

## Enllaços externs

* «Proof of Ptolemy's Theorem for Cyclic Quadrilateral» (en anglès). Mathalino.
* «On Ptolemy's Theorem» (en anglès). MathPages.
* Elert, Glenn. «Ptolemy's Table of Chords» (en anglès). E-World, 1994.