圆的十八个定理（圆幂定理）

圆幂定理是平面几何中的一个定理，是相交弦定理、切割线定理及割线定理（切割线定理推论）的统一，例如如果交点为P的两条相交直线与圆O相交于A、B与C、D，则PA·PB=PC·PD。

圆幂定理是一个总结性的定理。

根据两条与圆有相交关系的线的位置不同，有以下定理：

相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。则有AE·CE＝BE·DE。

切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。则有PA²＝PC·PD。

割线定理：从圆外一点P引两条割线与圆分别交于A、B、C、D，则有PA·PB=PC·PD。

从上述定理可以看出，两条线的位置从内到外，都有着相似的结论。

经过总结和归纳，便得出了圆幂定理。

点对圆的幂

定义：P点对圆O的幂定义为 OP²—R²。

性质：

点P对圆O的幂的值，和点P与圆O的位置关系有下述关系：

点P在圆O内→P对圆O的幂为负数；

点P在圆O外→P对圆O的幂为正数；

点P在圆O上→P对圆O的幂为0。

注意：以上关系除正向应用通过点和圆的位置关系判断点对的圆的幂的符号，还可以逆向应用，通过点对圆的幂的符号反推点和圆的位置关系。

在某些书中，点P对圆O的幂表示为 |OP²—R²|。