部屋割り論法 （もしくは鳩の巣原理）という誰もが納得しやすい命題を拠り所にして、条件を満たすものが少なくとも一つ存在するということを示す問題が高校の数学で扱われるときがあります。簡単な例から始めて複雑な例も扱います。