观察
- 随便拖 D。比较两条彩带:AB⋅CD+AD⋅BC 和 AC⋅BD。下面那条有没有超过上面的时候?
- 点“把 D 吸到圆上”。“多出来的”变成了多少?
- 沿着圆继续拖 D,让它越过 A,跑到 A、B 之间的弧上。D 还在圆上,等号还成立吗?
- 想象 ABCD 是一个长方形(长方形一定内接于圆)。这时六条线段只有三种长度,等式变成了哪个熟悉的定理?
托勒密定理:圆内接四边形 ABCD 中,
AB⋅CD+AD⋅BC=AC⋅BD
对平面上任意四点,左边都不小于右边(托勒密不等式)。等号成立,当且仅当四点共圆并且按 A、B、C、D 的顺序排列。
长方形的对边相等、对角线相等,所以定理变成 AB2+BC2=AC2:勾股定理是托勒密定理的特例。
先猜后证
等边三角形 ABC 内接于圆,点 P 在劣弧 BC 上,PB=3,PC=5。PA 是多少?
先选定答案,才能看到结论。
✓ 猜对了!✗ 和你想的不一样——这正是值得停一下的地方。
四边形 ABPC 内接于圆,对角线是 AP 和 BC。设等边三角形的边长是 s,由托勒密定理
AB⋅PC+AC⋅PB=AP⋅BC,s⋅5+s⋅3=PA⋅s.
两边约去 s:PA=5+3=8。
边长 s 是多少根本不用知道。结论 PA=PB+PC 对劣弧 BC 上的每一点都成立。
为什么
要证“乘积之和等于乘积”,办法是把对角线 BD 切成两段,让每一段各负责一个乘积。
-
要证什么 ABCD 内接于圆。要证两组对边的乘积之和等于对角线的乘积。
AB⋅CD+AD⋅BC=AC⋅BD
-
在 BD 上取一点 E
-
第一对相似
-
第二对相似
-
相加
-
不共圆时
如果 D 不在圆上
结论:AB⋅CD+AD⋅BC=AC⋅BD ← 还成立吗?
D 离开了圆。往圆里拖、往圆外拖,各试一次。
不管 D 在圆内还是圆外,上面那条都更长。这和圆周角不一样:圆周角是“圆内偏大、圆外偏小”,而这里两边都偏向同一侧。所以托勒密定理的逆定理也成立——只要等号成立,四点就共圆。
练一练
等腰梯形 ABCD 中,AD∥BC,AD=7,BC=15,AB=CD=8。求对角线 AC 的长。(等腰梯形有外接圆。)
提示 · 方法AC=BD。对圆内接四边形 ABCD 用托勒密定理。
提示 · 第一步AB⋅CD+AD⋅BC=AC⋅BD,即 8×8+7×15=AC2。
完整解答AC2=64+105=169,AC=13。用勾股定理验算:梯形的高的平方是 82−42=48,AC2=112+48=169。
等边三角形 ABC 内接于圆,点 P 在劣弧 BC 上,PA=10,PB=4。求 PC。
提示 · 方向四边形 ABPC 的对角线是哪两条?
提示 · 方法对 ABPC 用托勒密定理,三条相等的边可以约掉。
提示 · 第一步AB⋅PC+AC⋅PB=PA⋅BC 约去边长后是 PC+PB=PA。
四边形 ABCD 内接于圆,AC 是直径,AC=25,AB=7,AD=15。求 BD 的长。
提示 · 方向AC 是直径,∠ABC 和 ∠ADC 各是多少度?
提示 · 方法先用勾股定理求 BC 和 CD,再用托勒密定理求 BD。
提示 · 第一步BC=252−72=24,
CD=252−152=20。
完整解答AB⋅CD+AD⋅BC=7×20+15×24=500=AC⋅BD=25BD,所以 BD=20。
正五边形 ABCDE 的边长是 1,对角线长是 x。用托勒密定理证明 x2=x+1,并求出 x。
提示 · 方向正五边形有外接圆。它的所有对角线都一样长。
提示 · 方法取其中四个顶点组成圆内接四边形,例如 ABCD。它的四条边和两条对角线分别是多长?
提示 · 第一步AB=BC=CD=1;AD、AC、BD 都是正五边形的对角线,长 x。
完整解答托勒密定理:
AB⋅CD+AD⋅BC=AC⋅BD,即
1⋅1+x⋅1=x⋅x,所以
x2=x+1。解得正根
x=21+5≈1.618,这就是黄金比。