主题目录

托勒密定理及其推广

第 41 章06几何进阶

41-托勒密
41-托勒密 · 点击放大 / Enlarge
证明:拆开一条对角线
在 ACAC 上取 PP,使 ∠CDP=∠ADB\angle CDP=\angle ADB。由圆周角关系,
△DAB∼△DPC,\triangle DAB\sim\triangle DPC,
继而由两边成比例及夹角相等,
△DAP∼△DBC.\triangle DAP\sim\triangle DBC.
于是
AB⋅CD=BD⋅PC,AB\cdot CD=BD\cdot PC,
AD⋅BC=BD⋅AP.AD\cdot BC=BD\cdot AP.
相加并用 AP+PC=ACAP+PC=AC 即得。

两个熟悉的检验

矩形的两条对角线相等,托勒密等式化为 d2=a2+b2d^2=a^2+b^2。边长为 aa 的正方形则给出 d2=2a2d^2=2a^2。
使用前先按圆周顺序写出四个顶点,再区分“对角线”与“对边”,避免把乘积配错。