Синхронный турнир "Прост!". Тур 2. Вопрос 17

Вопрос 17: Известный человек писал коллеге, что нашел ЕГО, однако рамки переписки были для НЕГО слишком узки. В результате ЕГО через некоторое время заново нашел Ле́йбниц. Впрочем, ОНО невелико, и найти ЕГО несложно. Назовите ЕГО четырьмя словами абсолютно точно.

Ответ: Доказательство малой теоремы Ферма́

Зачёт: точный ответ

Комментарий: Пьер Ферма, похоже, имел нехорошую привычку декларировать наличие доказательств, не приводя их. В письме Бернарду де Бесси он написал, что доказательство слишком длинно для письма. Самое компактное современное доказательство умещается на 1-2 страницы. Слово «невелико», как и общие соображения, могли помочь вам догадаться о существовании не только великой, но и малой теоремы Ферма, которая, кстати, описывает целочисленную делимость чисел определенного вида.

Источник(и):
    1. Burton, David M. (2011), The History of Mathematics / An Introduction (7th ed.), McGraw-Hill
    2. https://en.wikipedia.org/wiki/Fermat’s_little_theorem#History

Автор: Антон Гусаков (Берлин)