Петер Густав Лежен Діріхле(13.02.1805 – 05.05.1859)Петер Густав Лежен Діріхле – відомий німецький математик. Починаючи з 17 років був домашнім учителем, а в 26 став професором Берлінського університету. Йому належать вагомі відкриття у галузі теорії чисел. З ім’ям Діріхле пов’язані задачи, інтеграли, принцип, ряди тощо. Лекції Діріхле мали значний вплив на математиків більш пізнього часу.
Нехай 13 учнів грають роль „ кроликів “. Тоді в ролі „ кліток “ будуть місяці року, їх 12. Так як 13 > 12, тоді, за принципом Діріхле, знайдеться, як мінімум, одна „ клітка “, в якій будуть сидіти принаймні 2 „ кролики “. Тобто, знайдуться принаймні 2 учні, які відзначають дні народження в один і той же місяць.
Якщо в кожному з 12 місяців року , свій день народження будуть святкувати по 3 учні, то за рік свій день народження відсвяткують 36 учнів, а в класі їх 40. Отже, 4 учні будуть святкувати свій день народження в будь-якому місяці року. Тобто знайдеться хоча б один місяць, коли іменинників буде 4, а можливо і більше.
У цій задачі кульки відіграють роль «кроликів», а два види кольорів – «клітки». За умовою задачі, повинна бути «розставлена по клітках» така кількість «кролів», щоб принаймні двоє із них потрапили в одну «клітку». Отже, якщо перша кулька червона, а друга біла, тоді третя кулька може бути будь-якого кольору, або червоного, або білого . Отже серед трьох цих кульок знайдеться дві одного кольору. Тобто потрібно взяти 3 кульки.
Припустимо, що твердження задачі неправильне. Нехай кожний хлопчик зібрав різну кількість грибів. Тоді 15 хлопчиків зібрали щонайменше 0+1+2+3+4+5+6+7+8+9+10+11+12+13+14=105 грибів. Це суперечить умові, так як вони разом зібрали 100 грибів . Отже якісь доданки потрібно зменшити, тому знайдеться хоча б двоє хлопчиків, які зібрали однакову кількість грибів.
Всі числа можна розбити на два класи: парні і непарні. Класів - два („ клітки “), а чисел три („ зайці “). Тобто, серед будь-яких трьох натуральних чисел знайдуться два числа однакової парності. А тоді їх сума парна. Отже, серед будь-яких трьох натуральних чисел обов'язково можна вибрати два, сума яких парна.