鸽巢原理几何问题：求证3n+1个点中n+1个可放入半径1圆盘

嘿，我完全懂这种卡在几何鸽巢原理上的感觉——毕竟不像数论里直接数抽屉那么直观，几何里得自己琢磨“抽屉”该怎么画！咱们先把这个3n+1点的问题拆明白，再聊聊怎么练得更顺手。

第一步：从任意一点开始构造“抽屉” #

咱们先随便挑一个点，叫它$P_1$，以$P_1$为圆心、1为半径画个圆，记为$C_1$：

• 如果$C_1$里面包含了至少$n+1$个点，那直接就搞定了，这$n+1$个点本来就在半径1的圆盘里嘛。
• 如果$C_1$里最多只有$n$个点，那剩下的点一共有$(3n+1)-n=2n+1$个，这些点到$P_1$的距离都大于1（因为不在$C_1$里）。

第二步：对剩余点重复构造，利用题设条件找矛盾 #

现在盯着这$2n+1$个点，再随便挑一个点$P_2$，同样画半径1的圆$C_2$：

• 要是$C_2$里包含这$2n+1$个点中的至少$n+1$个，那也直接得证了。
• 要是$C_2$里最多只有$n$个点，那剩下的点就有$2n+1-n=n+1$个，记这个点集为$S$。

重点来了：$S$里的每个点到$P_1$和$P_2$的距离都大于1。那咱们从$S$里随便拿三个点$Q_1,Q_2,Q_3$，加上$P_1$凑成四个点——根据题设，这四个点里必有两点距离≤1。但$P_1$到每个$Q_i$的距离都>1，那只能是$Q_i$之间有两个点距离≤1？不对，要是$S$里的点两两之间距离都>1，那$P_1,Q_1,Q_2,Q_3$这四个点里任意两点距离都>1，直接违反题设！

所以$S$根本不可能存在——也就是说，要么第一步的$C_1$里有$n+1$个点，要么第二步的$C_2$里有$n+1$个点，反正肯定存在一个半径1的圆盘能装下$n+1$个点。

聊聊几何鸽巢原理的灵活运用技巧 #

我当年练这类题的时候也卡，后来发现核心是主动构造“抽屉”+用题设条件锁死抽屉的边界：

• 先从极端情况入手：比如最远的点、任意一点，先画一个符合条件的图形（这里就是半径1的圆）当第一个抽屉。
• 然后看剩下的点的约束：题设说“任意4点必有两点距离≤1”，其实就是在禁止“存在4个点两两距离>1”，这个约束是关键，用来推导矛盾或者限制剩余点的分布。
• 不要怕反证：几何鸽巢里反证法特别好用，假设找不到符合条件的抽屉，然后推导出和题设矛盾的情况，反过来证明抽屉必然存在。

内容的提问来源于stack exchange，提问作者R. Morty