# 鸽巢原理

> 如果将n+1个物体放入n个盒子中，那么至少有一个盒子包含不少于两个物体。

- ID: m04236
- 分类: structure
- 领域: 逻辑学

## 定义

如果将n+1个物体放入n个盒子中，那么至少有一个盒子包含不少于两个物体。这是最基础、最显然，但应用极其广泛的数学原理。脚手架作用： 提供了必然性的简洁证明工具。在资源分配、密码学、算法设计中，它经常能以极简的逻辑证明某些事情"必然发生"，是数学版的"人多粥少"。

## 机制

若把 n+1 个物体放入 n 个容器，由计数可知至少有一个容器容纳不少于两个物体。它是抽屉式的最简必然性论证：只要"物体数超过容器数"，冲突或重复就不可避免，无需知道具体如何分配。

## 练习

1）明确"物体"与"容器"分别指什么；2）比较两者数量，若物体数 > 容器数，则断言必存在某容器含至少两个物体；3）将结论用于证明存在性（不必构造具体实例）；4）在算法/密码学中据此推导碰撞或必然事件的边界。

## 脚手架用法

提供了必然性的简洁证明工具。在资源分配、密码学、算法设计中，它经常能以极简的逻辑证明某些事情"必然发生"，是数学版的"人多粥少"。

[阅读网页](https://thinkingmodels.site/entries/detail/m04236)