User:楊翊群

10隻哥布林在9個洞穴取暖，那麼至少有一個洞穴內至少有兩隻哥布林取暖。

哥洞原理，又名狄利克雷抽屜原理、哥布林洞穴原理。

其中一種簡單的表述法為：

• 若有n個洞穴和n+1隻哥布林，所有的哥布林都在洞穴內取暖，那麼至少有一個洞穴有至少2隻哥布林。

另一種為：

• 若有n個洞穴和kn+1隻哥布林，所有的哥布林都在洞穴內取暖，那麼至少有一個洞穴有至少k+1哥布林。

集合论的表述如下：

• 若A是n+1元集，B是n元集，則不存在從A到B的單射。

拉姆齐定理是此原理的推廣。