Птоломеева теорема

десно|мини|Птоломеевата теорема е однос меѓу овие должини во тетивен четириаголник. <math>\definecolor{V}{RGB}{148,0,211} \definecolor{B}{RGB}{0,0,255} \definecolor{R}{RGB}{204,0,0}
{\color{V}\overline{AC}}\cdot{\color{V}{\overline{BD}}}={\color{B}\overline{AB}}\cdot{\color{B}\overline{CD}}+{\color{R}\overline{BC}}\cdot{\color{R}\overline{AD}}</math>
**Птоломеева теорема** — врска помеѓу четирите страни и двете дијагонали на тетивен четириаголник (четириаголник чии темиња лежат на една кружница). Теоремата е именувана по древниот астроном и математичар Птоломеј (Клавдиј Птолемеј). Птоломеј ја користел теоремата како помош при создавањето на неговата табела со тетиви, тригонометриска табела која ја применил во астрономијата.

Ако темињата на тетивниот четириаголник се *A*, *B*, *C* и *D,* редоследно, тогаш теоремата вели дека:

: |\overline{AC}|\cdot |\overline{BD}|=|\overline{AB}|\cdot |\overline{CD}|+|\overline{BC}|\cdot |\overline{AD}|

каде вертикалните линии ги означуваат должините на отсечките помеѓу именуваните темиња. Оваа врска може вербално да се изрази на следниов начин:

: *Ако околу четириаголник може да се опише кружница, тогаш производот од должините на неговите дијагонали е еднаков на збирот на производите од должините на паровите противположни страни.*

Покрај тоа, обратната теорема на Птоломеевата теорема е исто така точна:

: *Во четириаголник, ако збирот на производите од должините на неговите два пара противположни страни е еднаков на производот од должините на неговите дијагонали, тогаш околу четириаголникот може да се опише во кружница, односно тој е тетивен четириаголник.*

## Последица за тетивни многуаголници

### Рамностран триаголник
десно|мини| Рамностран триаголник
Птоломејовата теорема дава како последица убава теорема  во врска со рамностран триаголник впишан во кружница.

Даден е рамностран триаголник впишан на кружница и точка на кружницата.

Растојанието од точката до најоддалеченото теме на триаголникот е збир на растојанијата од точката до двете поблиски темиња.

**Доказ:** Веднаш следи од Птоломеевата теорема:

:  qs=ps+rs \Rightarrow q=p+r. 

### Квадрат
Секој квадрат може да се впише во кружница чиј центар е центарот на квадратот. Ако заедничката должина на неговите четири страни е еднаква на a, тогаш должината на дијагоналата е еднаква на a\sqrt{2} според Питагоровата теорема, и Птоломејовата врска очигледно важи.

### Правоаголник
десно|мини|Питагорова теорема: ''„manifestum est“'' : Коперник
Поопшто, ако четириаголникот е правоаголник со страни a и b и дијагонала d, тогаш Птоломејовата теорема се сведува на Питагоровата теорема. Во овој случај центарот на кружницата се совпаѓа со точката која е пресек на дијагоналите. Производот на дијагоналите тогаш е d 2, а десната страна на Птоломејовата релација е збирот *a*2+b2 .

Коперник – кој опширно ја користел Птоломејовата теорема во неговата тригонометриска работа – се однесува на овој резултат како „поризам“ или очигледна последица:

: *Понатаму, јасно е (*'manifestum est**) дека кога е дадена тетивата која одговара на некој лак, може да се најде и онаа тетива која го оптегнува остатокот од полукружницата.'' 

=== Пентагон ===
[[Податотека:Ptolemy_Pentagon.svg|десно|мини| [[Златен пресек|Златниот пресек]] произлегува од оваа примена на Птоломејовата теорема]]
Поинтересен пример е односот помеѓу должината ''a'' на страната и (заедничката) должина ''b'' од 5-те тетиви во правилен петаголник. Со комплетирање на квадратот, релацијата го дава [[Златен пресек|златниот пресек]] :

: <math>\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}</math>

=== Страна на правилен десетаголник (декагон) ===
[[Податотека:Ptolemy_Pentagon2.svg|десно|мини| Страна на впишаниот декагон]]
Ако го нацртаме дијаметарот AF кој лежи на симетралата на DC така што DF и CF се страни на впишаниот десетаголник, тогаш повторно може да се примени Птоломејовата теорема - на тетивниот четириаголник ADFC со дијаметар ''d'' како една од неговите дијагонали:

: <math>ad=2bc</math>

: <math>\Rightarrow ad=2\varphi ac</math> каде <math>\varphi</math> е златниот пресек.
: <math>\Rightarrow c=\frac{d}{2\varphi}.</math> 

од каде се добива страната на правилниот десетаголник преку на дијаметарот (или радиусот) на кружницата. Теоремата на Питагора применета на правоаголниот триаголник AFD потоа ја дава „b“ изразена преку дијаметарот и „a“ страната на пентагонот  и се пресметува како

:: <math>a = \frac {b} {\varphi} = b \left( \varphi - 1 \right).</math>

Како што напишал [[Никола Коперник|Коперник]] (следејќи го Птоломеј),

: ''„Ако е даден дијаметарот на кружницата, тогаш се дадени и страните на триаголникот, четириаголникот (тетрагонот), петаголникот (пентагонот), шестоаголникот (хексагонот) и десетаголникот (декагонот), околу кои е опишана истата кружница“.'' 

== Докази ==

=== Визуелен доказ ===
[[Податотека:Animated_visual_proof_of_Ptolemy's_theorem,_based_on_Derrick_&_Herstein_(2012).gif|мини|400x400пкс| Анимиран визуелен доказ за Птоломеевата теорема, заснован на Derrick & Herstein (2012).]]
Анимацијата прикажана овде дава визуелен доказ на Птоломеевата теорема, заснована на Derrick & Herstein (2012).

=== Доказ со сличност на триаголници ===
[[Податотека:Ptolemy's_theorem.svg|мини|400x400пкс| Конструкции за доказ на Птоломејовата теорема]]
Нека ABCD е тетивен четириаголник . На [[тетива]]та BC, периферните [[Периферен агол|агли]] ∠BAC = ∠BDC, а на AB, ∠ADB = ∠ACB. Ја конструираме K на AC така што ∠ABK = ∠CBD; бидејќи ∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD, ∠CBK = ∠ABD.

Сега, заради еднаквите агли △ABK е [[Сличност|сличен]] на △DBC, а исто така и △ABD е сличен на △KBC. Така AK/AB = CD/BD, и CK/BC = DA/BD; еквивалентно, AK⋅BD = AB⋅CD и CK⋅BD = BC⋅DA. Со собирање на двете равенства имаме AK⋅BD + CK⋅BD = AB⋅CD + BC⋅DA, а со разложување на множители од ова се добива (AK+CK)·BD = AB⋅CD + BC⋅DA. Но AK+CK = AC, па AC⋅BD = AB⋅CD + BC⋅DA, [[Q.E.D.|ш.т.д.]] 

Доказот како што е напишан важи само за едноставни тетивни четириаголници. Ако четириаголникот се самопрекрстува (две негови страни се сечат), тогаш K ќе се наоѓа надвор од отсечката AC. Но, во овој случај, AK &#x2212; CK = ±AC, и повторно се добива очекуваниот резултат.

=== Доказ со тригонометриски идентитети ===
Нека периферните агли кои одговараат на <math>AB</math>, <math>BC</math> и <math>CD</math> се соодветно <math>\alpha</math>, <math>\beta</math> и <math>\gamma</math>, а радиусот на кружницата е <math>R</math>. Имаме <math>\overline{AB}=2R\sin\alpha</math>, <math>\overline{BC}=2R\sin\beta</math>, <math>\overline{CD}=2R\sin\gamma</math>, <math>\overline{AD}=2R\sin(180^\circ-(\alpha+\beta+\gamma))</math>, <math>\overline{AC}=2R\sin(\alpha+\beta)</math> и <math>\overline{BD}=2R\sin(\beta+\gamma)</math>, и првобитната еднаквост што треба да се докаже се трансформира во

: <math> \sin(\alpha+\beta)\sin(\beta+\gamma) = \sin\alpha\sin\gamma + \sin\beta \sin(\alpha + \beta+\gamma)</math>

од каде факторот <math>4R^2</math> исчезна при делење на двете страни на равенката со него.

Сега, со користење на формулите за збир, <math>\sin(x+y)=\sin{x}\cos y+\cos x\sin y</math> и <math>\cos(x+y)=\cos x\cos y-\sin x\sin y</math>, тривијално е да се покаже дека двете страни на горната равенка се еднакви на

: <math>
\begin{align}
& \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{align}
</math>

што е она што требаше да се докаже.

Еве уште еден, можеби потранспарентен, доказ со помош на најосновна [[тригонометрија]]. Дефинирајте нов четириаголник <math>ABCD'</math> впишан во истата кружница, каде <math>A,B,C</math> се исти како во <math>ABCD</math>, а <math>D'</math>, лежи на истата тетива како и <math>D</math>, и се дефинира со <math> |\overline{AD'}| = |\overline{CD}|</math>, <math>|\overline{CD'}| = |\overline{AD}|</math> . Потоа, <math>ABCD'</math> има исти должини на страните, а со тоа и исти периферни агли кои одговараат на соодветните рабови, како и кај <math> ABCD</math>, само по различен редослед. Тоа значи, <math>\alpha</math>, <math>\beta</math> и <math>\gamma</math>, за, соодветно, <math>AB, BC</math> и <math>AD'</math>. Исто така, <math>ABCD</math> и <math>ABCD'</math> имаат иста плоштина. Потоа,

: <math> 
\begin{align}
\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{align}
</math>

ш.т.д.

=== Доказ со инверзија ===
[[Податотека:Ptolemy-crop.svg|десно|мини|200x200пкс| Доказ за Птоломејовата теорема преку инверзија во однос на кружница]]
Изберете помошна кружница <math> \Gamma </math> со радиус <math> r </math> и центар во D во однос на кој опишаната кружница околу ABCD се пресликува во права (види слика). Важи <math> \overline{A'B'} + \overline{B'C'} = \overline{A'C'}. </math> Сега, ќе искористиме дека за должините важат релациите <math> \overline{A'B'}=\frac{\overline{AB} \cdot \overline{DB'}}{\overline{DA}} </math>, <math display="inline"> \overline{B'C'}=\frac{\overline{BC} \cdot \overline{DB'}}{\overline{DC}} </math> и <math display="inline"> \overline{A'C'} = \frac{\overline{AC} \cdot \overline{DC'}}{\overline{DA}} </math> . Ако го помножиме секој член со <math> \frac{\overline{DA} \cdot \overline{DC}}{\overline{DB'}} </math> и искористиме дека <math display="inline">\frac{\overline{DC'}}{\overline{DB'}} = \frac{\overline{DB}}{\overline{DC}} </math> ја добиваме Птоломејовата формула.

Забележете дека ако четириаголникот не е тетивен, тогаш A', B' и C' формираат триаголник и оттука A'B'+B'C' > A'C', давајќи ни многу едноставен доказ за неравенството на Птоломеј кое е дадено подолу .

=== Доказ со помош на [[Комплексен број|комплексни броеви]] ===
Го разгледуваме четириаголникот ABCD во комплексната рамнина <math>\mathbb{C}</math> при што ги идентификуваме <math>A\mapsto z_A, B\mapsto z_B,C\mapsto z_C,D\mapsto z_D</math> како четири различни точки <math>z_A, z_B, z_C, z_D\in\mathbb{C}</math> . Го дефинираме двојниот однос

: <math>\zeta:=\frac{(z_A-z_B)(z_C-z_D)}{(z_A-z_D)(z_B-z_C)}\in\mathbb{C}\setminus \{0\}</math> .

Тогаш

: <math>
\begin{align}
\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{align}
</math>

при што важи равенство ако и само ако <math>\zeta\in\mathbb{R}_{>0}</math> . Ова го докажува неравенството на Птоломеј во општ случај , бидејќи останува само да се покаже дека  <math>z_A, z_B, z_C, z_D</math> лежат последователно распоредени на кружница (можеби со бесконечен радиус, т.е. права) во <math>\mathbb{C}</math> ако и само ако <math>\zeta\in\mathbb{R}_{>0}</math> .

Од [[Комплексен број|поларниот (тригонометрискиот) облик]] на комплексен број <math>z=\vert z\vert e^{i\arg(z)}</math>, следи

: <math>
\begin{align}
\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{align}
</math>

при што во последното еднаквост важи ако и само ако ABCD е тетивен, бидејќи четириаголникот е цикличен ако и само ако спротивните агли му се суплементни.

Забележете дека овој доказ може еквивалентно да се направи со набљудување на цикличноста на ABCD, односно од тоа што [[Агол|суплементноста]] на <math>\angle ABC</math> и <math>\angle CDA</math>, е еквивалентна на условот

: <math>\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}</math> ;

специјално, постои ротација на <math>\mathbb{C}</math> во кој овој <math>\arg</math> е 0 (т.е. сите три производа се позитивни [[Реален број|реални броеви]]), а според која Птоломејовата формула

: <math>\overline{AB}\cdot \overline{CD}+\overline{AD}\cdot\overline{BC} = \overline{AC}\cdot \overline{BD}</math>

директно следува од едноставниот алгебарски идентитет

: <math>(z_A-z_B)(z_C-z_D)+(z_A-z_D)(z_B-z_C)=(z_A-z_C)(z_B-z_D).</math>

== Последици ==
[[Податотека:Ptolemy_theore_trig2_proof.svg|мини|<math>|S_1|=\sin(\theta_1)</math>]]
[[Податотека:Ptolemy_theore_trig3.svg|мини|Последица 1: Питагорова теорема]]
Во случај на кружница со единичен дијаметар страните <math>S_1,S_2,S_3,S_4</math> на кој било етивенч етириаголник ABCD се нумерички еднакви на синусите на апериферните агли <math>\theta_1,\theta_2,\theta_3</math> и <math>\theta_4</math> кои одговараат на нив. Слично на тоа, дијагоналите се еднакви на синусот на збирот на **пар*' агли кои тие ги определуваат. Потоа можеме да ја напишеме Птоломејовата теорема во следнава тригонометриска форма:

: <math>\sin\theta_1\sin\theta_3+\sin\theta_2\sin\theta_4=\sin(\theta_1+\theta_2)\sin(\theta_1+\theta_4)</math>

Со примена на одредени услови на периферните агли <math>\theta_1,\theta_2,\theta_3</math> и <math>\theta_4</math> можно е да се извлечат голем број важни последици користејќи го горенаведеното равенство како почетна точка. Во она што следи, важно е да се има предвид дека збирот на аглите <math>\theta_1+\theta_2+\theta_3+\theta_4=180^\circ</math> .

=== Заклучок 1. Питагорова теорема ===
Ако <math>\theta_1=\theta_3</math> и <math>\theta_2=\theta_4</math>, тогаш <math>\theta_1+\theta_2=\theta_3+\theta_4=9
0^\circ</math> (бидејќи спротивните агли на тетивниот четириаголник се дополнителни). Важи:

: <math>\sin\theta_1\sin\theta_3+\sin\theta_2\sin\theta_4=\sin(\theta_1+\theta_2)\sin(\theta_1+\theta_4) </math>

: <math> \sin^2\theta_1+\sin^2\theta_2=\sin^2(\theta_1+\theta_2) </math>

: <math> \sin^2\theta_1+\cos^2\theta_1=1 </math>

=== Заклучок 2. Косинусна теорема ===
[[Податотека:Ptolemy_theore_trig4.svg|мини|Заклучок 2: Косинусна теорема]]
Нека <math>\theta_2=\theta_4</math> . Правоаголникот од последицата 1 сега е симетричен [[трапез]] со еднакви дијагонали и пар еднакви страни. Паралелните страни се разликуваат по должина по <math>2x</math> единици каде што:

: <math>x=S_2\cos(\theta_2+\theta_3)</math>

Ќе биде полесно во овој случај да се вратиме на стандардната форма на Птоломејовата теорема:

: <math>\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}</math>

што е косинусната теорема за триаголникот ABC.

=== Заклучок 3. Синус од збир на агли (+) ===
Нека

: <math>\theta_1+\theta_2=\theta_3+\theta_4=90^\circ. </math>

Тогаш

: <math>
\sin\theta_1\sin\theta_3+\sin\theta_2\sin\theta_4=\sin(\theta_3+\theta_2)\sin(\theta_3+\theta_4)
</math>

Затоа,

: <math> \cos\theta_2\sin\theta_3+\sin\theta_2\cos\theta_3=\sin(\theta_3+\theta_2)\times 1 </math>

што е формулата за синус од збир на агли (+).

=== Заклучок 4. Синус од разлика на агли (-) ===
Нека <math>\theta_1=90^\circ</math> . Потоа <math>\theta_2+(\theta_3+\theta_4)=90^\circ</math>. Оттука,

: <math>\sin\theta_1\sin\theta_3+\sin\theta_2\sin\theta_4=\sin(\theta_3+\theta_2)\sin(\theta_3+\theta_4) </math>

: <math> \sin\theta_3+\sin\theta_2\cos(\theta_2+\theta_3)=\sin(\theta_3+\theta_2)\cos\theta_2 </math>

: <math>\sin\theta_3=\sin(\theta_3+\theta_2)\cos\theta_2-\cos(\theta_2+\theta_3)\sin\theta_2 </math>

Ова е формулата за синус од разлика на агли.

Ова изведување одговара на Третата теорема како што е опишана од [[Никола Коперник|Коперник]] следејќи го [[Клавдиј Птоломеј|Птоломеј]] во неговото делоАлмагест. Посебно, ако се дадени страните на петаголникот (одговара на 36° на периметарот) и на шестоаголникот (одговара на 30° на периметарот), може да се пресмета тетивата која одговара на 6°. Ова беше критичен чекор во древниот метод за пресметување на табелите со тетиви.

=== Заклучок 5. Косинус од збир на агли ===
Овој заклучок е јадрото на Петтата теорема како што е опишана од Коперник следејќи го Птоломеј во Алмагест.

Нека <math>\theta_3=90^\circ</math> . Потоа <math>\theta_1+(\theta_2+\theta_4)=90^\circ </math> . Оттука

: <math> \sin\theta_1\sin\theta_3+\sin\theta_2\sin\theta_4=\sin(\theta_3+\theta_2)\sin(\theta_3+\theta_4) </math>

: <math> \cos(\theta_2+\theta_4)+\sin\theta_2\sin\theta_4=\cos\theta_2\cos\theta_4 </math>

: <math>\cos(\theta_2+\theta_4)=\cos\theta_2\cos\theta_4-\sin\theta_2\sin\theta_4 </math>

Што е формула за косинус од збир на агли

И покрај недостигот на умешноста на нашата модерна тригонометриска нотација, од горенаведените последици треба да биде јасно дека во Птоломеевата теорема (или поедноставно во Втората теорема) античкиот свет имал на располагање исклучително флексибилна и моќна тригонометриска алатка која им овозможила на учените од тие времиња да подготват точни таблици со тетиви (кои одговараат на таблици со синуси) и да ги користат во нивните обиди да го разберат и пресликаат космосот како што го гледаат. Бидејќи таблиците со тетиви биле составени од [[Хипарх]] три века пред Птоломеј, мора да претпоставиме дека тој знаел за „Втората теорема“ и за она што од неа следува. Следејќи ја трагата на античките астрономи, во историјата е запишано за ѕвездениот каталог на Тимохарис од Александрија. Ако, како што изгледа веројатно, за збирката на таквите каталози било потребно разбирање на „Втората теорема“, тогаш нејзиното вистинско потекло  исчезнува во маглите на антиката, но не може да биде неразумно да се претпостави дека астрономите, архитектите и градежните инженери на древниот Египет можеби имале одредено знаење за неа.

== Неравенство на Птоломеј ==
[[Податотека:Ptolemy_Inequality.svg|мини|Ова *не* е тетивен четириаголник. Овде никогаш не важи равенството, и е нееднакво во насоката наведена со неравенството на Птоломеј.]]
Равенството во Птоломејовата теорема никогаш не важи за нететивни четириаголници. Неравенството на Птоломеј е продолжување на овој факт, и тоа е поопшт облик на Птоломејовата теорема. Според него, за даден четириаголник *ABCD*, важи

: <math>\overline{AB}\cdot \overline{CD}+\overline{BC}\cdot \overline{DA} \ge \overline{AC}\cdot \overline{BD}</math>

каде равенство важи ако и само ако четириаголникот е тетивен. Овој специјален случај е еквивалентен на Проломеевата теорема.

== Поврзана теорема за односот на дијагоналите ==
Птоломејовата теорема го дава производот на дијагоналите (на тетивен четириаголник) ако се знаат страните. Следнава теорема го дава истото за односот на дијагоналите.

: <math>
\frac{\overline{AC}}{\overline{BD}}
=\frac{\overline{AB}\cdot \overline{DA}+\overline{BC}\cdot \overline{CD}}
{\overline{AB}\cdot \overline{BC}+\overline{DA}\cdot \overline{CD}}</math>

<u>Доказ</u> : Познато е дека [[плоштина на триаголник|плоштината на триаголник]] <math>ABC</math> впишан во кружница со дијаметар <math>R</math> е: <math>\mathcal {P} = \frac{\overline{AB}\cdot \overline{BC}\cdot \overline{CA}}{4R}</math>

Запишувајќи ја плоштината на четириаголникот како збир од два триаголници кои делат ист ограничен круг, добиваме две релации за секое распаѓање.

: <math> \mathcal {A}_\text{tot} 
= \frac{\overline{AB}\cdot \overline{BC}\cdot \overline{CA}}{4R} + \frac {\overline{CD}\cdot \overline{DA}\cdot \overline{AC}}{4R} = \frac {\overline{AC} \cdot (\overline{AB} \cdot \overline{BC} + \overline{CD} \cdot \overline{DA})}{4R}
</math>

: <math>\mathcal {A}_\text{tot} = \frac{\overline{AB}\cdot \overline{BD}\cdot \overline{DA}}{4R} + \frac {\overline{BC}\cdot \overline{CD}\cdot \overline{DB}}{4R} = \frac {\overline{BD} \cdot (\overline{AB} \cdot \overline{DA} + \overline{BC} \cdot \overline{CD})}{4R}
</math>

Со изедначување, ја добиваме формулата.

<u>Последица</u> : Знаејќи го и производот и односот на дијагоналите, ги изведуваме непосредните изрази за нив:

: <math>
\begin{align}
\overline{AC}^2 & 
= \overline{AC} \cdot \overline{BD} \cdot \frac{\overline{AC}}{\overline{BD}}
=(\overline{AB} \cdot \overline{CD} + \overline{BC} \cdot \overline{DA})\frac{\overline{AB} \cdot \overline{DA} + \overline{BC} \cdot \overline{CD}}{\overline{AB} \cdot \overline{BC} + \overline{DA} \cdot \overline{CD}} \\[8pt]
\overline{BD}^2 & =\frac{\overline{AC} \cdot \overline{BD}}{\frac{\overline{AC}}{\overline{BD}}}
=(\overline{AB} \cdot \overline{CD} + \overline{BC} \cdot \overline{DA})\frac{\overline{AB} \cdot \overline{BC} + \overline{DA} \cdot \overline{CD}}{\overline{AB} \cdot \overline{DA} + \overline{BC} \cdot \overline{CD}}
\end{align}
</math>

== Поврзано ==

* [[Кејсиевата теорема]]
* [[Грчка математика]]

== Белешки ==


== Наводи ==

* Coxeter, HSM и SL Greitzer (1967) „Птоломејовата теорема и нејзините екстензии“. §2.6 во *Geometry Revisited*, Mathematical Association of America pp.&nbsp;42–43.
* [[Никола Коперник|Copernicus]] (1543) De Revolutionibus Orbium Coelestium, англиски превод пронајден во *На рамениците на великаните* (2002) уредено од [[Стивен Хокинг]], Пингвин книги
* Amarasinghe, GWIS (2013) [http://geometry-math-journal.ro/pdf/Volume2-Issue1/A%20Concise%20Elementary%20Proof%20for%20the%20Ptolemy.pdf Концизен елементарен доказ за Птоломеевата теорема], *Глобален весник за напредни истражувања за класични и модерни геометрии (GJARCMG) 2 (1): 20–25 (pdf).*

== Надворешни врски ==

* [http://www.mathalino.com/reviewer/derivation-formulas/derivation-proof-ptolemy-s-theorem-cyclic-quadrilateral Доказ за Птоломејовата теорема за тетивен четириаголник]
* [http://www.mathpages.com/home/kmath099/kmath099.htm MathPages – За Птоломејовата теорема]
* 
* [http://www.cut-the-knot.org/proofs/ptolemy.shtml Птоломејовата теорема] на cut-the-knot
* [http://www.cut-the-knot.org/proofs/sine_cosine.shtml Доказ за сложен агол] 
* [http://planetmath.org/encyclopedia/PtolemysTheorem.html Птоломеева теорема]  Archived на PlanetMath
* [http://mathworld.wolfram.com/PtolemyInequality.html Птоломеј нееднаквост] на [[MathWorld]]
* [http://ads.harvard.edu/books/1543droc.book/ De Revolutionibus Orbium Coelestium] на Харвард.
* [https://web.archive.org/web/20080705164103/http://www.atara.net/deep_secrets/index.html Длабоки тајни: Големата пирамида, златниот сооднос и кралскиот кубит]
* *Птоломејовата теорема'' од Џеј Варендорф, Проект за демонстрации на Волфрам .
* Книга XIII од Евклидовите елементи

Категорија:Планиметрија
Категорија:Теореми за четириаголници и кружници