圆幂定理及其证明
--圆幂的定义假设平面上有一圆 O,其半径为 R,有一点 P 在圆 O 外,则OP^2-R^2 即为 P点到圆 O 的幂;若P点在圆内,则圆幂为R^2-OP^2;综上所述,圆幂为|OP^2-R^2|。