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).Plantilla:Sfn 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.

• 
  El teorema de Ptolemeu és una relació entre aquestes longituds en un quadrilàter cíclic.

Si els vèrtexs del quadrilàter cíclic són A, B, C i D en ordre, aleshores el teorema diu que:

$AC\cdot BD=AB\cdot CD+BC\cdot 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:

Enunciats moderns

Es pot estendre a una equivalència: Plantilla:Quotation

Es pot estendre a punts d'una línia i, de manera més general, s'indica de la següent manera: Plantilla:Quotation

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.

Plantilla:Subratllat: é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², el costat dret de la relació de Ptolemeu és la suma a² + b².

• 
  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:Plantilla:Sfn

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}{cc}b\cdot b=& a\cdot a+a\cdot b\\ b^2-ab=& a^2\\ \frac{b^2}{a^2}-\frac{ab}{a^2}=& \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\\ {(\frac{b}{a}-\frac{1}{2})}^2=& \frac{5}{4}\\ \frac{b}{a}-\frac{1}{2}=& \pm \frac{\sqrt{5}}{2}\\ \frac{b}{a}>0\Rightarrow \phi =\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\phi ac$ on $\phi$ és la proporció àuria.

$\Rightarrow c=\frac{d}{2\phi }.$

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}{\phi }=b(\phi -1).$

Com va escriure Copèrnic (seguint Ptolemeu),Plantilla:Sfn

Demostracions

Demostració visual

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

• 
  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..Plantilla:Sfn

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

Plantilla:VT 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{array}{cc}& \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{array}$

Q.E.D.

Aquí hi ha una altra prova, potser més transparent, utilitzant una trigonometria rudimentària.

Definim un nou quadrilàter $ABC{D}^{\prime }$ inscrit en el mateix cercle, on $A,B,C$ són els mateixos que a $ABCD$, i $D^{\prime }$, estirat en la mateixa corda que $D$, és definit per $|\overline{A{D}^{\prime }}|=|\overline{CD}|$, $|\overline{C{D}^{\prime }}|=|\overline{AD}|$.

Llavors, $ABC{D}^{\prime }$ 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 $A{D}^{\prime }$. També, $ABCD$ i $ABC{D}^{\prime }$ tenen la mateixa àrea. Llavors,

$\begin{array}{cc}\mathrm{A}\mathrm{r}\mathrm{e}\mathrm{a}(ABCD)& =\frac{1}{2}AC\cdot BD\cdot \sin (\alpha +\gamma );\\ \mathrm{A}\mathrm{r}\mathrm{e}\mathrm{a}(ABC{D}^{\prime })& =\frac{1}{2}AB\cdot A{D}^{\prime }\cdot \sin (180^{\circ }-\alpha -\gamma )+\frac{1}{2}BC\cdot C{D}^{\prime }\cdot \sin (\alpha +\gamma )\\ & =\frac{1}{2}(AB\cdot CD+BC\cdot AD)\cdot \sin (\alpha +\gamma ).\end{array}$

Q.E.D.

Demostració per inversió

Triem un cercle auxiliar $\mathrm{\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^{\prime }{B}^{\prime }+B^{\prime }{C}^{\prime }=A^{\prime }{C}^{\prime }.$ Llavors $A^{\prime }{B}^{\prime },B^{\prime }{C}^{\prime }$ i $A^{\prime }{C}^{\prime }$també es pot expressar com $\frac{AB\cdot D{B}^{\prime }}{DA}$, $\frac{BC\cdot D{B}^{\prime }}{DC}$ i $\frac{AC\cdot D{C}^{\prime }}{DA}$ respectivament. Multiplicant cada terme per $\frac{DA\cdot DC}{D{B}^{\prime }}$ i utilitzant $\frac{D{C}^{\prime }}{D{B}^{\prime }}=\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 $ℂ$ mitjançant la identificació $A\mapsto z_A,\dots ,D\mapsto z_D$ com quatre punts diferents $z_A,\dots ,z_D\in ℂ$. Definim

$\zeta :=\frac{(z_A-z_B)(z_C-z_D)}{(z_A-z_D)(z_B-z_C)}\in ℂ\setminus \left\{0\right\}$.

Llavors

$\begin{array}{cc}\overline{AB}\cdot \overline{CD}+\overline{AD}\cdot \overline{BC}& =|z_A-z_B||z_C-z_D|+|z_A-z_D||z_B-z_C|\\ & =|(z_A-z_B)(z_C-z_D)|+|(z_A-z_D)(z_B-z_C)|\\ & =(\left|\frac{(z_A-z_B)(z_C-z_D)}{(z_A-z_D)(z_B-z_C)}\right|+1)|(z_A-z_D)(z_B-z_C)|\\ & =(\left|\zeta \right|+1)|(z_A-z_D)(z_B-z_C)|\\ & \ge |(\zeta +1)(z_A-z_D)(z_B-z_C)|\\ & =|(z_A-z_B)(z_C-z_D)+(z_A-z_D)(z_B-z_C)|\\ & =|(z_A-z_C)(z_B-z_D)|\\ & =|z_A-z_C||z_B-z_D|\\ & =\overline{AC}\cdot \overline{BD}\end{array}$

amb igualtat si i només si $\zeta \in {ℝ}_{>0}$. Això demostra la desigualtat de Ptolemeu en general, ja que només queda demostrar que $z_A,\dots ,z_D$ es troben disposats consecutivament sobre un cercle (possiblement de radi infinit, és a dir, una línia) en $ℂ$ si i només si $\zeta \in {ℝ}_{>0}$.

De la forma polar d'un nombre complex $z=|z|e^{i\arg (z)}$, s'obté

$\begin{array}{cc}\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)(\mathrm{mod}2\pi )\\ & =\arg (z_A-z_B)+\arg (z_C-z_D)-\arg (z_A-z_D)-\arg (z_C-z_B)-\arg (-1)(\mathrm{mod}2\pi )\\ & =-[\arg (z_C-z_B)-\arg (z_A-z_B)]-[\arg (z_A-z_D)-\arg (z_C-z_D)]-\arg (-1)(\mathrm{mod}2\pi )\\ & =-\mathrm{\angle }ABC-\mathrm{\angle }CDA-\pi (\mathrm{mod}2\pi )\\ & =0\end{array}$

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 $\mathrm{\angle }ABC$ i $\mathrm{\angle }CDA$, és equivalent a la condició

$\arg [(z_A-z_B)(z_C-z_D)]=\arg [(z_A-z_D)(z_B-z_C)]=\arg [(z_A-z_C)(z_B-z_D)](\mathrm{mod}2\pi )$;

en particular hi ha una rotació de $ℂ$ 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}{c}{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}\ge \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

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.Plantilla:Sfn

$\frac{AC}{BD}=\frac{AB\cdot DA+BC\cdot CD}{AB\cdot BC+DA\cdot CD}$

Plantilla:Subratllat: se sap que l'àrea d'un triangle $ABC$ inscrita en un cercle de diàmetre $R$ és: $𝒜=\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ó.

${𝒜}_{\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}$

${𝒜}_{\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.

Plantilla:Subratllat: Coneixent tant el producte com la relació de les diagonals, en deduïm les expressions immediates:

$\begin{array}{cc}A{C}^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}\\ B{D}^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{array}$

Ús per Ptolemeu

Aplicació del teorema de Ptolemeu per determinar la longitud de la corda associada a la diferència de dos arcs

Ptolemeu va utilitzar el primer teorema per elaborar taules trigonomètriques.Plantilla:SfnPlantilla:Sfn 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.Plantilla:Sfn 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.Plantilla:Sfn 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).

Obtenció de la corda associada a la meitat de CD d'un arc BC del qual es coneix la corda

Ptolemeu també sap determinar la corda delimitada per mig arc.Plantilla:Sfn 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 ${\mathrm{C}\mathrm{D}}^2=\mathrm{A}\mathrm{C}\times \mathrm{C}\mathrm{Z}$ (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'.Plantilla:Sfn 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.Plantilla:Sfn

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$.Plantilla:Sfn

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre

Vegeu també

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

Enllaços externs

• Plantilla:Ref-web
• Plantilla:Ref-web
• Plantilla:Ref-web