MathLabs

第3题

设 nn 和 kk 为正整数,SS 是平面上的 nn 个点集,且 SS 中任意三点不共线。假设对每个 P∈SP\in S,至少有 kk 个 SS 中的点与 PP 等距。证明 k<12+2nk<\frac12+\sqrt{2n}.
第 1/5 步:从每个中心计数关联
通俗地说

每一对等距点都在垂直平分线上提供一个见证点。

N≥n(k2)=nk(k−1)2N\ge n\binom{k}{2}=\frac{nk(k-1)}2
详细分析

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