证明点的幂公式: |PA| * |PB| = |PC|^2 - r^2 (对过 P 的任意割线为常数)。