定理已证明
点的幂定理
命题陈述
若过点 的两条直线分别与圆交于 和 ,则 ,且这个共同的带符号值等于 ,其中 为圆心与半径。
为什么成立?
该定理是奥数几何中被重复使用最多的工具:它把任何含有两条割线、一条切线加一条割线,或过一点的两条弦的图形都转化为一个代数方程,避免了逐情形的角度追踪。
证明思路
第1步:构造相似三角形。 设过 的两条直线分别与圆交于 和 。由于 共圆,圆周角 与 对着同一段弧 (或依配置对其补弧),故 。
第2步:匹配第二对角。 三角形 在 处的角与三角形 在 处的角,要么相等(若 在圆外,两直线共用顶点 ,该角本就是同一个角),要么是对顶角(若 在圆内)。无论哪种情况都有 。
第3步:得出相似。 三角形 与 有两对相等的角,故由角角(AA)判定相似:。
第4步:提取比例式。 相似三角形给出对应边成比例:,整理得 (先用无符号长度,针对 在圆外的情形)。
第5步:通过直径计算公共值。 选取过 与圆心 的特定直线,与圆交于直径上的两点,到 的带符号距离为 与 (设 在圆外,故 )。其乘积为 ,由第4步知这必须等于过 的每条直线的 。
**第6步:用带符号长度处理 在圆内的情形。** 当 在圆内时,弦上 按此顺序排列,故 与 方向相反,带符号乘积 为负;对过 的直径重复第1–5步得 (此时为负,因 ),故恒等式 在带符号意义下一致成立,证明完成。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Trieu Trinh, Yuhuai Wu, Quoc Le, He He, Thang Luong (2024). AlphaGeometry: An Olympiad-level AI system for geometry
- Evan Chen (2016). Euclidean Geometry in Mathematical Olympiads
- H.S.M. Coxeter, S.L. Greitzer (1967). Geometry Revisited