MathLabs
定理已证明

点的幂定理

命题陈述

若过点 PP 的两条直线分别与圆交于 A,BA,B 和 C,DC,D,则 PA→⋅PB→=PC→⋅PD→\overrightarrow{PA} \cdot \overrightarrow{PB} = \overrightarrow{PC} \cdot \overrightarrow{PD},且这个共同的带符号值等于 OP2−r2OP^2 - r^2,其中 O,rO,r 为圆心与半径。

为什么成立?

该定理是奥数几何中被重复使用最多的工具:它把任何含有两条割线、一条切线加一条割线,或过一点的两条弦的图形都转化为一个代数方程,避免了逐情形的角度追踪。

证明思路

第1步:构造相似三角形。 设过 PP 的两条直线分别与圆交于 A,BA,B 和 C,DC,D。由于 A,B,C,DA,B,C,D 共圆,圆周角 ∠PAC\angle PAC 与 ∠PDB\angle PDB 对着同一段弧 BCBC(或依配置对其补弧),故 ∠PAC=∠PDB\angle PAC = \angle PDB。

第2步:匹配第二对角。 三角形 PACPAC 在 PP 处的角与三角形 PDBPDB 在 PP 处的角,要么相等(若 PP 在圆外,两直线共用顶点 PP,该角本就是同一个角),要么是对顶角(若 PP 在圆内)。无论哪种情况都有 ∠APC=∠DPB\angle APC = \angle DPB。

第3步:得出相似。 三角形 PACPAC 与 PDBPDB 有两对相等的角,故由角角(AA)判定相似:△PAC∼△PDB\triangle PAC \sim \triangle PDB。

第4步:提取比例式。 相似三角形给出对应边成比例:PAPD=PCPB\frac{PA}{PD} = \frac{PC}{PB},整理得 PA⋅PB=PC⋅PDPA \cdot PB = PC \cdot PD(先用无符号长度,针对 PP 在圆外的情形)。

第5步:通过直径计算公共值。 选取过 PP 与圆心 OO 的特定直线,与圆交于直径上的两点,到 PP 的带符号距离为 OP−rOP - r 与 OP+rOP + r(设 PP 在圆外,故 OP>rOP > r)。其乘积为 (OP−r)(OP+r)=OP2−r2(OP-r)(OP+r) = OP^2 - r^2,由第4步知这必须等于过 PP 的每条直线的 PA⋅PBPA \cdot PB。

**第6步:用带符号长度处理 PP 在圆内的情形。** 当 PP 在圆内时,弦上 A,P,BA,P,B 按此顺序排列,故 PA→\overrightarrow{PA} 与 PB→\overrightarrow{PB} 方向相反,带符号乘积 PA→⋅PB→=−PA⋅PB\overrightarrow{PA}\cdot\overrightarrow{PB} = -PA\cdot PB 为负;对过 PP 的直径重复第1–5步得 −PA⋅PB=OP2−r2-PA\cdot PB = OP^2-r^2(此时为负,因 OP<rOP<r),故恒等式 PA→⋅PB→=OP2−r2\overrightarrow{PA}\cdot\overrightarrow{PB}=OP^2-r^2 在带符号意义下一致成立,证明完成。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Trieu Trinh, Yuhuai Wu, Quoc Le, He He, Thang Luong (2024). AlphaGeometry: An Olympiad-level AI system for geometry
  2. Evan Chen (2016). Euclidean Geometry in Mathematical Olympiads
  3. H.S.M. Coxeter, S.L. Greitzer (1967). Geometry Revisited