Twierdzenie Ptolemeusza

Twierdzenie Ptolemeusza – twierdzenie planimetrii wiążące boki i przekątne czworokąta wpisanego w okrąg. Jego pierwsze sformułowanie oraz dowód przypisuje się Klaudiuszowi Ptolemeuszowi; pojawia się ono w jego dziele AlmagestSzablon:Odn.

Twierdzenie

W dowolnym czworokącie $ABCD$ wpisanym w okrąg iloczyn długości przekątnych równy jest sumie iloczynów długości przeciwległych bokówSzablon:OdnSzablon:Odn:

Szablon:Wzór

Prawdziwe jest również twierdzenie odwrotne do niego:

Jeśli w czworokącie iloczyn długości przekątnych równy jest sumie iloczynów długości przeciwległych boków, to czworokąt ten można wpisać w okrąg.

Dowody

Dowód geometryczny

Niech dany będzie czworokąt $ABCD$ wpisany w okrąg oraz punkt $K$ leżący na przekątnej $AC$ tak, by półprosta $BK$ przecinała przekątną $AC$ przy zachowaniu równości kątów $\sphericalangle ABD=\sphericalangle KBC.$ Wówczas otrzymuje się trójkąty $\mathrm{△}ABD$ i $\mathrm{△}KBC.$

Z konstrukcji wynika, że $\sphericalangle ABD=\sphericalangle KBC$ oraz $\sphericalangle ADB=\sphericalangle KCB,$ ponieważ kąty te są kątami wpisanymi opartymi na tym samym łuku. Trójkąty $\mathrm{△}ABD$ i $\mathrm{△}KBC$ są więc podobne, dzięki czemu

$|KC|:|AD|=|BC|:|BD|,$

skąd

Szablon:Wzór

Trójkąty $\mathrm{△}ABK$ i $\mathrm{△}DBC$ są podobne, gdyż mają równe kąty $\sphericalangle ABK$ i $\sphericalangle DBC$ oraz kąty $\sphericalangle BAC$ i $\sphericalangle BDC$ (kąty wpisane oparte na tym samym łuku). Odpowiednie boki są więc proporcjonalne:

$|AK|:|DC|=|AB|:|BD|,$

a zatem

Szablon:Wzór

Po zsumowaniu stronami równości Szablon:LinkWzór oraz Szablon:LinkWzór otrzymuje się

$|AK|\cdot |BD|+|KC|\cdot |BD|=|AB|\cdot |DC|+|AD|\cdot |BC|,$

co w konsekwencji daje

$(|AK|+|KC|)\cdot |BD|=|AB|\cdot |DC|+|AD|\cdot |BC|$

i ostatecznie

$|AC|\cdot |BD|=|AB|\cdot |DC|+|AD|\cdot |BC|,$

co należało wykazać.

Dowód twierdzenia odwrotnego

Dowód twierdzenia odwrotnego przebiega podobnieSzablon:OdnSzablon:Odn. Niech w czworokącie $ABCD$ zachodzi Szablon:LinkWzór. Należy znaleźć taki punkt $K,$ który spełnia warunki

$\sphericalangle ABK=\sphericalangle DBC$ oraz $\sphericalangle BAK=\sphericalangle BDC.$

Mając go można wnioskować o podobieństwie trójkątów $\mathrm{△}DBC$ oraz $\mathrm{△}ABK,$ przy czym

$\frac{|AB|}{|DB|}=\frac{|BK|}{|BC|}=\frac{|AK|}{|CD|}.$

Z drugiej strony, ponieważ $\sphericalangle ABK=\sphericalangle DBC$ oraz

$\frac{|AB|}{|DB|}=\frac{|BK|}{|BC|},$

trójkąty $\mathrm{△}ABD$ i $\mathrm{△}KBC$ są podobne.

Stąd zachodzą Szablon:LinkWzór oraz Szablon:LinkWzór, dając

$(|AK|+|KC|)\cdot |BD|=|AB|\cdot |DC|+|AD|\cdot |BC|.$

Z założenia wynika jednak, że $(|AK|+|KC|)=|AC|,$ co oznacza, że punkt $K$ leży na odcinku $|AC|.$ Ale wtedy

$\sphericalangle BAK=\sphericalangle BAC=\sphericalangle BDC,$

czyli wierzchołki $A$ i $D$ leżą na tym samym okręgu, co $B$ i $C.$

Dowód trygonometryczny

Dowód wystarczy przeprowadzić, gdy okrąg w twierdzeniu będzie okręgiem jednostkowym. Dowolny inny przypadek można sprowadzić do niego poprzez odpowiednie przekształcenia: przesunięcie równoległe i jednokładność (ogólnie: podobieństwo). Dzięki tej obserwacji możliwe jest przedstawienie każdego z wierzchołków $P_1,P_2,P_3,P_4$ czworokąta jako

$P_i=(\cos {\alpha }_i,\sin {\alpha }_i),\text{ gdzie }{\alpha }_i\in [0,2\pi ),$

przy czym ${\alpha }_i$ oznacza kąt pomiędzy dodatnią półosią OX oraz promieniem wodzącym łączącym początek układu współrzędnych z punktem $P_i.$ Można również założyć, że (po ewentualnym przenumerowaniu) wierzchołki ponumerowane są przeciwnie do kierunku wskazówek zegara, tzn. jest

${\alpha }_1<{\alpha }_2<{\alpha }_3<{\alpha }_4.$

Jeśli dane są dwa punkty na okręgu jednostkowym o współrzędnych $x=(\cos \alpha ,\sin \alpha )$ i $y=(\cos \beta ,\sin \beta ),$ to ich odległość euklidesowa

$\Vert x-y\Vert =\sqrt{2-2\cos (|\alpha -\beta |)}=2\sin \left(\frac{|\alpha -\beta |}{2}\right).$

Jeśli $(P_i,P_j)$ dla $i<j,$ jest uporządkowaną parą wierzchołków danego czworokąta, to powyższy wzór można przedstawić jako

$|P_i{P}_j|=2\sin (\frac{{\alpha }_j}{2}-\frac{{\alpha }_i}{2}).$

Wzór w tezie twierdzenia Ptolemeusza

$|P_1{P}_3|\cdot |P_2{P}_4|=|P_1{P}_2|\cdot |P_3{P}_4|+|P_1{P}_4|\cdot |P_2{P}_3|$

przyjmie wtedy postać

$\sin (\frac{{\alpha }_3}{2}-\frac{{\alpha }_1}{2})\sin (\frac{{\alpha }_4}{2}-\frac{{\alpha }_2}{2})=\sin (\frac{{\alpha }_2}{2}-\frac{{\alpha }_1}{2})\sin (\frac{{\alpha }_4}{2}-\frac{{\alpha }_3}{2})+\sin (\frac{{\alpha }_4}{2}-\frac{{\alpha }_1}{2})\sin (\frac{{\alpha }_3}{2}-\frac{{\alpha }_2}{2}).$

Jego prawdziwość udowodnić można przy użyciu wzoru na iloczyn sinusów

$\sin \alpha \sin \beta =\frac{1}{2}(\cos (\alpha -\beta )-\cos (\alpha +\beta )).$

Po jej zastosowaniu do każdej ze stron sześć wyrazów zniesie się parami, co kończy dowód.

Dowód inwersyjny

Podczas inwersji trzech wierzchołków czworokąta wpisanego przez okrąg przechodzący przez pozostały, czwarty wierzchołek, ich obrazy są współliniowe.

Niech dany będzie czworokąt $ABCD$ wpisany w okrąg $O$Szablon:OdnSzablon:Odn. Niech dane będą również punkty $B^{\prime },C^{\prime }$ oraz $D^{\prime }$ będące obrazami inwersyjnymi punktów $B,C,D$ względem nowego okręgu $O_1$ o środku w punkcie $A$ i pewnym promieniu $r.$ Ponieważ punkty $B,C,D$ leżą na okręgu $O,$ który przechodzi przez środek okręgu $O_1,$ to ich obrazy $B^{\prime },C^{\prime }$ i $D^{\prime }$ będą współlinioweSzablon:Odn. Wynika stąd, że

Szablon:Wzór

Dla każdych dwóch punktów $P$ i $Q,$ przekształcanych przez inwersję względem okręgu o promieniu $r,$ zachodzić będzieSzablon:Odn

$|P^{\prime }{Q}^{\prime }|=\frac{r^2\cdot |PQ|}{|OP|\cdot |OQ|}.$

Po zastosowaniu tej zależności do odcinków $|B^{\prime }{C}^{\prime }|,$ $|C^{\prime }{D}^{\prime }|$ i $|D^{\prime }{B}^{\prime }|$ otrzymuje się

Szablon:Wzór

Po wstawieniu tych równości do wzoru Szablon:LinkWzór jest

$\frac{|BC|}{|AB|\cdot |AC|}+\frac{|CD|}{|AC|\cdot |AD|}=\frac{|DB|}{|AD|\cdot |AB|},$

skąd (po sprowadzeniu do wspólnego mianownika) wynika teza.

Dowód twierdzenia odwrotnego

Powyższe rozumowanie daje niemal natychmiastowy dowód twierdzenia odwrotnego: jeśli założyć, że w czworokącie $ABCD$ zachodzi zależność Szablon:LinkWzór i zbada inwersję punktów $B,C$ i $D$ względem pewnego okręgu o środku w $A,$ to otrzyma się równość Szablon:LinkWzór, z której wynika, że punkty $B^{\prime },C^{\prime }$ i $D^{\prime }$ są współliniowe. Ale to oznacza, że wyjściowe punkty $B,C$ i $D$ będą leżały na pewnym okręgu przechodzącym przez $A,$ co czyni je współokręgowymi.

Uogólnienia i wnioski

Nierówność Ptolemeusza

Jeśli trzy wierzchołki czworokąta nie będą współokręgowe, ich obrazy względem inwersji przez okrąg przechodzący przez czwarty wierzchołek nie będą współliniowe.

Twierdzenie Ptolemeusza jest szczególnym przypadkiem nierówności zachodzącej w dowolnym czworokącieSzablon:OdnSzablon:Odn:

Jeśli $ABCD$ jest czworokątem, to prawdziwa jest nierówność

Szablon:Wzór

przy czym równość zachodzi wtedy i tylko wtedy, gdy czworokąt $ABCD$ jest wpisany w okrąg.

Dowód powyższej nierówności opiera się na własnościach inwersjiSzablon:Odn i jest podobny do analogicznego dowodu twierdzenia Ptolemeusza. Jako że punkty $B,C$ i $D$ nie muszą teraz leżeć na okręgu, ich obrazami będą trzy (niekoniecznie współliniowe) punkty $B^{\prime },C^{\prime }$ i $D^{\prime },$ które spełniają nierówność trójkąta

$|B^{\prime }{C}^{\prime }|+|C^{\prime }{D}^{\prime }|⩾|B^{\prime }{D}^{\prime }|.$

Równość pojawia się, gdy wpomniane punkty są współliniowe (w przeciwnym razie utworzą trójkąt). Po ponownym zastosowaniu wzorów Szablon:LinkWzór i analogicznych przekształceniach dostaje się nierówność Szablon:LinkWzór.

Zarówno wyjściowe twierdzenie, jak i nierówność z nim związana są przypadkami ogólnego wzoru, prawdziwego dla dowolnego czworokąta $ABCD$Szablon:Odn:

$|AC{|}^2\cdot |BD{|}^2=|AB{|}^2\cdot |CD{|}^2+|BC{|}^2\cdot |AD{|}^2-2|AB|\cdot |CD|\cdot |BC|\cdot |AD|\cos (\sphericalangle A+\sphericalangle C).$

Gdy czworokąt $ABCD$ jest wpisany w okrąg, suma miar przeciwległych kątów jest równa mierze kąta półpełnego więc:

$|AC{|}^2\cdot |BD{|}^2=|AB{|}^2\cdot |CD{|}^2+|BC{|}^2\cdot |AD{|}^2+2|AB|\cdot |CD|\cdot |BC|\cdot |AD|$

i ostatecznie $|AC|\cdot |BD|=|AB|\cdot |CD|+|BC|\cdot |AD|.$

Innym uogólnieniem twierdzenia Ptolemeusza jest twierdzenie Caseya.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę, księga I, rozdział X
• Szablon:Cytuj książkę

Linki zewnętrzne

Polskojęzyczne

• Szablon:Pismo Delta
• Szablon:Pismo Delta

Obcojęzyczne

• Szablon:MathWorld [dostęp 2023-12-03].
• Szablon:Otwarty dostęp Ptolemeus theorem Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-12-03].
• Szablon:Cytuj stronę

Skany i tłumaczenia Almagestu Ptolemeusza:

• Szablon:Cytuj stronę – łacińskie tłumaczenie z 1515 roku
• Szablon:Cytuj stronę – niemieckie tłumaczenie 1912 roku