一般的四邊形中,
A
B
⋅
C
D
+
A
D
⋅
B
C
⩾
A
C
⋅
B
D
{\displaystyle AB\cdot CD+AD\cdot BC\geqslant AC\cdot BD}
在數學 中,托勒密定理 是歐幾里得幾何學 中的一個關於四邊形 的定理。托勒密定理指出凸四邊形兩組對邊乘積之和不小於兩條對角線的乘積,若且唯若四邊形為圓內接四邊形 ,兩組和相同。或退化為直線 以取得(這時也稱為歐拉定理 )。
狹義的托勒密定理也可以敘述為:若且僅若圓內接凸四邊形兩對對邊乘積的和等於兩條對角線的乘積,則這個凸四邊形內接於一圓。托勒密定理實際上也可以看做一種判定圓內接四邊形的方法。
設ABCD是圓內接四邊形 。
在弦 BC上,圓周角 ∠BAC = ∠BDC,而在AB上,∠ADB = ∠ACB。
在AC上取一點K,使得∠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+CK)·BD = AB·CD + BC·DA;
但AK+CK = AC,因此AC·BD = AB·CD + BC·DA。即得證
設弦AB,BC及CD對應的圓周角分別為
α
{\displaystyle \alpha }
,
β
{\displaystyle \beta }
及
γ
{\displaystyle \gamma }
,外接圓的半徑為
R
{\displaystyle R}
,則有
A
B
=
2
R
sin
α
{\displaystyle AB=2R\sin \alpha }
,
B
C
=
2
R
sin
β
{\displaystyle BC=2R\sin \beta }
,
C
D
=
2
R
sin
γ
{\displaystyle CD=2R\sin \gamma }
,
A
D
=
2
R
sin
(
α
+
β
+
γ
)
{\displaystyle AD=2R\sin(\alpha +\beta +\gamma )}
,
A
C
=
2
R
sin
(
α
+
β
)
{\displaystyle AC=2R\sin(\alpha +\beta )}
及
B
D
=
2
R
sin
(
β
+
γ
)
{\displaystyle BD=2R\sin(\beta +\gamma )}
。於是,原托勒密等式化為
sin
(
α
+
β
)
sin
(
β
+
γ
)
=
sin
α
sin
γ
+
sin
β
sin
(
α
+
β
+
γ
)
{\displaystyle \sin(\alpha +\beta )\sin(\beta +\gamma )=\sin \alpha \sin \gamma +\sin \beta \sin(\alpha +\beta +\gamma )}
。
現在,只需用和差化積公式,即可推得上式兩邊都等於
sin
α
sin
β
cos
β
cos
γ
+
sin
α
cos
2
β
sin
γ
+
cos
α
sin
2
β
cos
γ
+
cos
α
sin
β
cos
β
sin
γ
{\displaystyle \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 }
。即得證。
用a、b、c、d分別表示四邊形頂點 A、B、C、D的複數,則AB、CD、AD、BC、AC、BD的長度分別是:(a-b)、(c-d)、(a-d)、(b-c)、(a-c)、(b-d)。
首先注意到複數 恆等式 :
(
a
−
b
)
(
c
−
d
)
+
(
a
−
d
)
(
b
−
c
)
=
(
a
−
c
)
(
b
−
d
)
{\displaystyle (a-b)(c-d)+(a-d)(b-c)=(a-c)(b-d)}
,兩邊取模 ,運用三角不等式 得
‖
(
a
−
b
)
(
c
−
d
)
‖
+
‖
(
a
−
d
)
(
b
−
c
)
‖
≥
‖
(
a
−
c
)
(
b
−
d
)
‖
{\displaystyle \|(a-b)(c-d)\|+\|(a-d)(b-c)\|\geq \|(a-c)(b-d)\|}
。
等號成立的條件是(a-b)(c-d)與(a-d)(b-c)的輻角相等,這與A、B、C、D四點共圓等價。因此托勒密定理得證。
複數證明中的複數可以換成賦范向量空間 中的向量。這說明了定理中的四點不一定限於同一平面 。
用幾何方法也可以同時證明托勒密定理以及它的逆定理。設
A
B
C
D
{\displaystyle ABCD}
為任意一個凸四邊形。作三角形
A
P
B
{\displaystyle APB}
與三角形
D
C
B
{\displaystyle DCB}
順相似,則會有:
∠
A
B
P
=
∠
D
B
C
{\displaystyle \angle ABP=\angle DBC}
(紅色角)
因此,
∠
A
B
D
=
∠
P
B
C
{\displaystyle \angle ABD=\angle PBC}
同時,根據相似三角形的性質還有:
A
B
D
B
=
P
B
C
B
{\displaystyle {\frac {AB}{DB}}={\frac {PB}{CB}}}
由此可知三角形
A
B
D
{\displaystyle ABD}
與三角形
P
B
C
{\displaystyle PBC}
也是順相似三角形。這兩個順相似關係說明:
A
B
⋅
C
D
=
A
P
⋅
B
D
{\displaystyle AB\cdot CD=AP\cdot BD}
A
D
⋅
B
C
=
P
C
⋅
B
D
{\displaystyle AD\cdot BC=PC\cdot BD}
兩式相加,得到:
A
B
⋅
C
D
+
A
D
⋅
B
C
=
(
A
P
+
P
C
)
⋅
B
D
⩾
A
C
⋅
B
D
{\displaystyle AB\cdot CD+AD\cdot BC=(AP+PC)\cdot BD\geqslant AC\cdot BD}
等號成立若且唯若
A
{\displaystyle A}
、
P
{\displaystyle P}
、
C
{\displaystyle C}
三點共線,也就等價於
∠
B
A
C
=
∠
B
A
P
=
∠
B
D
C
{\displaystyle \angle BAC=\angle BAP=\angle BDC}
,
∠
B
C
A
=
∠
B
C
P
=
∠
B
D
A
{\displaystyle \angle BCA=\angle BCP=\angle BDA}
因此有
∠
A
B
C
+
∠
A
D
C
=
∠
A
B
C
+
∠
A
D
B
+
∠
B
D
C
=
∠
A
B
C
+
∠
P
C
B
+
∠
B
A
P
{\displaystyle \angle ABC+\angle ADC=\angle ABC+\angle ADB+\angle BDC=\angle ABC+\angle PCB+\angle BAP}
=
∠
A
B
C
+
∠
B
A
C
+
∠
B
C
A
=
π
{\displaystyle =\angle ABC+\angle BAC+\angle BCA=\pi }
即是等價於
A
{\displaystyle A}
、
B
{\displaystyle B}
、
C
{\displaystyle C}
、
D
{\displaystyle D}
四點共圓。因此命題得證。[ 1]
使用反演 方法,可以得出托勒密定理與三角不等式互為對偶命題的結論。事實上,設有凸四邊形
A
B
C
D
{\displaystyle ABCD}
內接於圓,那麼以其中一點
D
{\displaystyle D}
為中心,以半徑
r
{\displaystyle r}
作反演,則圓變為不過點
D
{\displaystyle D}
的直線,點
A
{\displaystyle A}
、
B
{\displaystyle B}
、
C
{\displaystyle C}
變為這條直線上的三點:
A
′
{\displaystyle A'}
、
B
′
{\displaystyle B'}
、
C
′
{\displaystyle C'}
。這三點之間有:
A
′
B
′
+
B
′
C
′
=
A
′
C
′
(
∗
)
{\displaystyle A'B'+B'C'=A'C'\qquad \qquad \qquad (*)}
而反演變換中的長度關係為:
A
′
B
′
=
A
B
⋅
D
A
′
D
B
=
A
B
⋅
r
2
D
A
⋅
D
B
,
B
′
C
′
=
B
C
⋅
r
2
D
C
⋅
D
B
,
A
′
C
′
=
A
C
⋅
r
2
D
A
⋅
D
C
{\displaystyle A'B'=AB\cdot {\frac {DA'}{DB}}=AB\cdot {\frac {r^{2}}{DA\cdot DB}},\qquad \,B'C'=BC\cdot {\frac {r^{2}}{DC\cdot DB}},\qquad \,A'C'=AC\cdot {\frac {r^{2}}{DA\cdot DC}}}
代入
(
∗
)
{\displaystyle (*)}
式就得到:
A
B
⋅
r
2
D
A
⋅
D
B
+
B
C
⋅
r
2
D
C
⋅
D
B
=
A
C
⋅
r
2
D
A
⋅
D
C
{\displaystyle AB\cdot {\frac {r^{2}}{DA\cdot DB}}+BC\cdot {\frac {r^{2}}{DC\cdot DB}}=AC\cdot {\frac {r^{2}}{DA\cdot DC}}}
通分,並除以
r
2
{\displaystyle r^{2}}
,就可得到:
A
B
⋅
C
D
+
A
D
⋅
B
C
=
A
C
⋅
B
D
{\displaystyle AB\cdot CD+AD\cdot BC=AC\cdot BD}
而如果
A
{\displaystyle A}
、
B
{\displaystyle B}
、
C
{\displaystyle C}
、
D
{\displaystyle D}
四點不共圓的話,那麼以
D
{\displaystyle D}
為中心反演之後的三個點
A
′
{\displaystyle A'}
、
B
′
{\displaystyle B'}
、
C
′
{\displaystyle C'}
將在另一個圓上,因此不共線。
(
∗
)
{\displaystyle (*)}
式里的等號也要改為大於等於號。這正是托勒密定理。[ 2]
西姆松定理 也是一個與四點共圓有關的定理。利用圓內接四邊形邊長之間的三角關係,可以將托勒密定理作為西姆松定理的推論[ 3] 。
西姆松定理說明:過一個三角形
A
B
C
{\displaystyle ABC}
外的一點
P
{\displaystyle P}
作它到三角形三邊的垂線 ,設垂足分別是
L
,
N
,
M
{\displaystyle L,N,M}
(如左圖),那麼
L
,
N
,
M
{\displaystyle L,N,M}
這三個點在同一條直線上若且唯若
P
{\displaystyle P}
在三角形
A
B
C
{\displaystyle ABC}
的外接圓 上(也就是說
A
,
B
,
C
,
P
{\displaystyle A,B,C,P}
四點共圓)。
注意到由於
∠
P
L
B
{\displaystyle \angle PLB}
與
∠
P
N
B
{\displaystyle \angle PNB}
都是直角,
L
,
B
,
N
,
P
{\displaystyle L,B,N,P}
四點共圓,並且這個圓的直徑就是
P
B
{\displaystyle PB}
。因此:
L
N
=
P
B
sin
∠
L
B
N
=
P
B
sin
∠
A
B
C
{\displaystyle LN=PB\sin \angle LBN=PB\sin \angle ABC}
而根據圓內弦長的關係,有:
A
C
=
2
R
sin
∠
A
B
C
{\displaystyle AC=2R\sin \angle ABC}
其中
R
{\displaystyle R}
為外接圓的半徑。所以代入上式就可得到:
L
N
=
P
B
⋅
A
C
2
R
{\displaystyle LN={\frac {PB\cdot AC}{2R}}}
同理可得:
N
M
=
P
A
⋅
B
C
2
R
,
L
M
=
P
C
⋅
A
B
2
R
{\displaystyle NM={\frac {PA\cdot BC}{2R}},\qquad \quad LM={\frac {PC\cdot AB}{2R}}}
而在三角形
L
N
M
{\displaystyle LNM}
中,兩邊長之和大於第三邊:
L
N
+
N
M
⩾
L
M
{\displaystyle LN+NM\geqslant LM}
所以有:
P
A
⋅
B
C
+
P
B
⋅
A
C
⩾
P
C
⋅
A
B
{\displaystyle PA\cdot BC+PB\cdot AC\geqslant PC\cdot AB}
等號若且唯若
L
,
N
,
M
{\displaystyle L,N,M}
共線,也就是
A
,
B
,
C
,
P
{\displaystyle A,B,C,P}
四點共圓的時候取得。這正是托勒密定理。[ 4]
托勒密定理的一個推廣是開世定理 。開世定理將圓內接四邊形的四個頂點 換為與外接圓相內切的四個小圓,而四邊形的邊變為圓與圓之間的外公切線。開世定理可以看做是「利用托勒密定理慘澹經營得到的結果」[ 5] 。
對一般的四邊形,托勒密定理給出了它的對角線與邊長之間的不等關係。如果要掌握更為精確的關係,可以通過以下的公式:
A
C
2
⋅
B
D
2
=
A
B
2
⋅
C
D
2
+
B
C
2
⋅
A
D
2
−
2
A
B
⋅
B
C
⋅
C
D
⋅
D
A
⋅
cos
(
∠
A
B
C
+
∠
A
D
C
)
{\displaystyle AC^{2}\cdot BD^{2}=AB^{2}\cdot CD^{2}+BC^{2}\cdot AD^{2}-2AB\cdot BC\cdot CD\cdot DA\cdot \cos(\angle ABC+\angle ADC)}
[ 6]
由這個公式可以推出托勒密定理:
cos
(
∠
A
B
C
+
∠
A
D
C
)
{\displaystyle \cos(\angle ABC+\angle ADC)}
的絕對值小於等於1,所以
A
C
2
⋅
B
D
2
=
A
B
2
⋅
C
D
2
+
B
C
2
⋅
A
D
2
−
2
A
B
⋅
B
C
⋅
C
D
⋅
D
A
⋅
cos
(
∠
A
B
C
+
∠
A
D
C
)
{\displaystyle AC^{2}\cdot BD^{2}=AB^{2}\cdot CD^{2}+BC^{2}\cdot AD^{2}-2AB\cdot BC\cdot CD\cdot DA\cdot \cos(\angle ABC+\angle ADC)}
.
⩽
A
B
2
⋅
C
D
2
+
B
C
2
⋅
A
D
2
+
2
A
B
⋅
B
C
⋅
C
D
⋅
D
A
⋅
{\displaystyle .\quad \leqslant AB^{2}\cdot CD^{2}+BC^{2}\cdot AD^{2}+2AB\cdot BC\cdot CD\cdot DA\cdot }
也就是說
(
A
C
⋅
B
D
)
2
⩽
(
A
B
⋅
C
D
+
B
C
⋅
A
D
)
2
{\displaystyle (AC\cdot BD)^{2}\leqslant (AB\cdot CD+BC\cdot AD)^{2}}
A
C
⋅
B
D
⩽
A
B
⋅
C
D
+
B
C
⋅
A
D
{\displaystyle AC\cdot BD\leqslant AB\cdot CD+BC\cdot AD}
等號僅在
cos
(
∠
A
B
C
+
∠
A
D
C
)
=
−
1
{\displaystyle \cos(\angle ABC+\angle ADC)=-1}
,也就是說
∠
A
B
C
+
∠
A
D
C
=
π
{\displaystyle \angle ABC+\angle ADC=\pi }
的時候取到,這正好等價於四邊形內接於圓。
^ R.A.詹森,《近代歐氏幾何學》,第51頁
^ R.A.詹森,《近代歐氏幾何學》,第52頁
^ R.A.詹森,《近代歐氏幾何學》,第117頁
^ (英文) Harold Scott Macdonald Coxeter, Samuel L. Greitzer. Geometry revisited . The Mathematical Association of America; 1ST edition. 1967. ISBN 978-0883856192 . ,p.42
^ R.A.詹森,《近代歐氏幾何學》,第102-103頁,原文如此
^ R.A.詹森,《近代歐氏幾何學》,第54頁