Чтобы доказать, что число 1611−239 делится на 31, мы можем воспользоваться свойством конгруэнтности.
Сначала рассмотрим числа 16 и 2 по модулю 31:
16≡−15(mod31)
2≡2(mod31)
Теперь мы можем переписать исходное выражение с использованием конгруэнтности:
1611−239≡(−15)11−239(mod31)
Теперь нам нужно упростить каждое из чисел. Давайте начнем с (−15)11. Мы можем использовать бином Ньютона, чтобы разложить этот член:
(−15)11=(−1)11⋅1511=−1511
Теперь давайте рассмотрим значение 1511. Мы можем представить его как произведение 155⋅155⋅15:
1511=155⋅155⋅15
Теперь посмотрим на каждый из членов по отдельности:
155≡(−16)5≡(−1)5⋅165≡−165(mod31)
Теперь используем бином Ньютона для 165:
165=(24)5=220
Теперь сократим это число по модулю 31:
220≡(25)4≡324≡14≡1(mod31)
Теперь вернемся к предыдущему выражению:
155≡−165≡−1(mod31)
Теперь мы можем вернуться к 1511:
1511=155⋅155⋅15≡−1⋅−1⋅15≡15(mod31)
Теперь давайте вернемся к исходному выражению:
1611−239≡(−15)11−239≡15−239(mod31)
Теперь давайте посмотрим на 239:
239=(24)9⋅23=169⋅8
Упростим 169:
169=(24)9=236
Теперь сократим 236 по модулю 31:
236≡(25)7≡327≡17≡1(mod31)
Теперь вернемся к предыдущему выражению:
239≡169⋅8≡1⋅8≡8(mod31)
Теперь мы можем вернуться к 1611−239:
1611−
0
0