查看“抽屉原理”的源代码

== 定义 ==
抽屉原理（Pigeonhole Principle）说明在将物品分配到容器中时，如果物品数量超过容器数量，至少一个容器将包含多于一个物品。

== 历史背景 ==
抽屉原理由德国数学家彼得·狄利克雷（Peter Gustav Lejeune Dirichlet）在19世纪提出。它以狄利克雷的名字命名，表现了数学中的一种基本的计数直觉。

== 数学表述 ==
<math>n+1</math> 个物品放入 <math>n</math> 个抽屉，则至少有一个抽屉含有至少两个物品。
对于任意整数 <math>k</math> 和 <math>n</math>，如果 <math>k > n</math>，则存在至少一个抽屉含有不少于 <math>\left\lceil \frac{k}{n} \right\rceil</math> 个物品。

== 数学证明 ==
抽屉原理可以通过反证法证明。假设每个抽屉最多只有一个物品，那么最多只能放置 <math>n</math> 个物品。这与有 <math>n+1</math> 个物品的前提矛盾。

== 应用示例 ==
* 数论：使用抽屉原理可以证明存在无限多的素数对。
* 概率论：在生日悖论中，展示至少两人共享生日的概率远高于人们的直觉。
* 计算机科学：在分析哈希算法时，说明不同输入值可能产生相同的哈希值。

== 推广与变体 ==
* 强抽屉原理：对于 <math>k</math> 个物品和 <math>n</math> 个抽屉，如果 <math>k > mn</math>，则至少有一个抽屉包含多于 <math>m</math> 个物品。
* 无限抽屉原理：当处理无限集合时，某些性质的事物必然无限多次出现，这是对原理的一种推广。

== 在其他领域的应用 ==
除了上述数学和计算机科学的应用，抽屉原理在其他领域也有实际应用，比如经济学中资源分配的问题，工程学中的网络流量分析，甚至在生物学中的种群研究等。

== 相关概念 ==
抽屉原理与集合论中的映射、函数以及基数的概念密切相关。它也常被用作证明其他更复杂数学命题的工具。