◎过平面上一个定点m，任作一直线与半径为r的定圆交于a、b两点，则ma · mb为定值k，且等于om2-r2。定值k称为点m对圆o的幂，简称“圆幂”。上述命题称为圆幂定理。圆幂定理包括相交弦定理、割线定理和切割线定理。
圆幂定理是平面几何中的一个定理，是相交弦定理、切割线定理及割线定理（切割线定理推论）的统一，例如如果交点为P的两条相交直线与圆O相交于A、B与C、D，则PA·PB=PC·PD。