圆幂定理是相交弦定理、切割线定理及割线定理(切割线定理推论)以及他们推论的统称。
相交弦定理:圆内的两条相交弦,被交点分成的两条线段长的积相等。
切割线定理:从圆外一点引圆的切线和割线,切线长是这点到割线与圆焦点的两条线段长的比例中项。
割线定理:从圆外一点p引两条割线与圆分别交于a.b.c.d则有pa·pb=pc·pd。
统一归纳:过任意不在圆上的一点p引两条直线l1、l2,l1与圆交于a、b(可重合,即切线),l2与圆交于c、d(可重合),则有pa·pb=pc·pd。
进一步升华(推论):
过任意在圆o外的一点p引一条直线l1与一条过圆心的直线l2,l1与圆交于a、b(可重合,即切线),l2与圆交于c、d。则pa·pb=pc·pd。若圆半径为r,则pc·pd=(po-r)·(po+r)=po^2-r^2=|po^2-r^2|(一定要加绝对值,原因见下)为定值。这个值称为点p到圆o的幂。(事实上所有的过p点与圆相交的直线都满足这个值)
若点p在圆内,类似可得定值为r^2-po^2=|po^2-r^2|
故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差的绝对值。(这就是“圆幂”的由来)