oi-wiki/docs/math/drawer-principle.md

wiki for OI / ACM-ICPC

就比如说，你有 $n+1$ 个苹果，想要放到 $n$ 个抽屉里，那么必然会有至少一个抽屉里有两个（或以上）的苹果。

这个定理看起来比较显然，证明方法考虑反证法：假如所有抽屉都至多放了一个苹果，那么 $n$ 个抽屉至多只能放 $n$ 个苹果，矛盾。