每一对等距点都在垂直平分线上提供一个见证点。
对每个 P∈SP\in SP∈S,选取 kkk 个到 PPP 距离相同的点。任取两个被选点 A,BA,BA,B,都有 PA=PBPA=PBPA=PB,所以 PPP 位于 ABABAB 的垂直平分线上。因此每个 PPP 至少贡献 (k2)\binom{k}{2}(2k) 个关联 (P,{A,B})(P,\{A,B\})(P,{A,B});对全部 nnn 个点计数,得到 N≥n(k2)=nk(k−1)2N\ge n\binom{k}{2}=\frac{nk(k-1)}2N≥n(2k)=2nk(k−1)。