Моя племяшка принесла мне сегодня задачу: доказать, что десятичная запись числа
содержит по крайней мере три одинаковые цифры. Я сразу схватился за бином Ньютона и стал раскладывать по формуле. Но...
(Оффтоп)
...серебристый смех Ксении прервал мои выкладки: "А без бинома - слабо? Во-первых, я могу отправиться на машине времени в XVII век и тупо ликвидировать твоего Ньютона вместе с его хедвой (так она называет дифференциальное и интегральное исчисление), которую он бесстыдно стырил у Лейбница, и его биномом, что тогда делать будешь? А во-вторых, ты бы ещё просто умножил столбиком на бумажке
Учись думать и смотри, как умные люди это делают!"
С этими словами, она продемонстрировала следующее решение:
. Таким образом, десятичная запись числа
содержит по крайней мере 20 цифр. Если больше 20, то задача решена (по принципу Дирихле должны быть минимум три одинаковые цифры). Если ровно 20, то каждая из цифр содержится ровно два раза, то есть число число
состоит из цифр 0, 0, 1, 1, ..., 9, 9, сумма которых равна 90, а значит, должно делиться на три, но оно не делится. Противоречие. Таким образом, утверждение доказано, и никаких биномов не нужно.