n個のひきだしの中に n+1個の物があれば少なくとも1つのひきだしに2個以上の物がある。 という論法をディリクレのひきだし論法といいます。
たとえば、座標平面上において、X座標、Y座標がともに整数となる点を格子点といいますが、かってに格子点を5つ選ぶとそのうちの2点の中点は必ず格子点になります。なぜならば、格子点には次の4つのタイプがあります。
�ｳ X座標、Y座標ともに奇数であるもの。
�ｴ X座標、Y座標ともに偶数であるもの。
�ｵ X座標が奇数でY座標が偶数のもの。
�ｶ X座標が偶数でY座標が奇数のもの。
よって、5点のうち2点は上のタイプの1つに入ります。同一タイプの2点の中点が格子点になるのは明らかですね。