Принцип Дирихле

Несмотря на совершенную очевидность этого принципа, его применение является весьма эффективным методом решения задач, дающим во многих случаях наиболее простое и изящное решение. С помощью принципа Дирихле обычно доказывается существование некоторого объекта, не указывая алгоритм его нахождения или построения. Это даёт так называемое неконструктивное доказательство – мы не сможем сказать, в какой именно клетке сидят два «зайца», а знаем только, что такая «клетка» есть.