过平面上一个定点m，任作一直线与半径为r的定圆交于a、b两点，则ma·mb为定值k，且等于om2-r2。定值k称为点m对圆o的幂，简称“圆幂”。上述命题称为圆幂定理。圆幂定理包括相交弦定理、割线定理和切割线定理。