对 A、B、C 具体选取的所有依赖都消失了,从而揭示出一个隐藏的不变量。
上一等式两边的 −2Q⋅P-2Q\cdot P−2Q⋅P 相互抵消,剩下 ∣Q∣2+d2=3R2−d2|Q|^2+d^2 = 3R^2-d^2∣Q∣2+d2=3R2−d2,即 ∣Q∣2=3R2−2d2|Q|^2 = 3R^2-2d^2∣Q∣2=3R2−2d2——这个值只依赖于固定半径 RRR 与固定距离 d=∣OP∣d=|OP|d=∣OP∣,与 A,B,CA,B,CA,B,C 的选取无关。