Докажите или опровергните: для любого натурального n число n^5 - n делится на 5; какие еще простые числа всегда делят n^5 - n? Выведите общее утверждение и обоснуйте его

20 Ноя в 08:28
4 +1
0
Ответы
1
1) Для 555: по малой теореме Ферма для любого целого nnn имеем n5≡n(mod5)\,n^5\equiv n\pmod 5n5n(mod5), значит n5−n≡0(mod5)\,n^5-n\equiv0\pmod5n5n0(mod5). Итак, 555 делит n5−nn^5-nn5n при любом nnn.
2) Какие простые числа делят n5−nn^5-nn5n при любом nnn? Пусть ppp — простое такое, что p∣n5−np\mid n^5-npn5n для всех целых nnn. Тогда для всех классов a∈Fpa\in\mathbb F_paFp выполняется a5=a\,a^5=aa5=a. Для a≠0a\ne0a=0 получается a4=1a^4=1a4=1, т.е. все элементы мультипликативной группы Fp×\mathbb F_p^\timesFp× имеют порядок, делящий 444. Поскольку Fp×\mathbb F_p^\timesFp× цикличесна порядка p−1p-1p1, следует p−1∣4p-1\mid4p14. Отсюда p−1∈{1,2,4}p-1\in\{1,2,4\}p1{1,2,4}, значит p∈{2,3,5}p\in\{2,3,5\}p{2,3,5}.
Проверка: для p=2,3,5p=2,3,5p=2,3,5 действительно для любого nnn выполняется n5≡n(modp)n^5\equiv n\pmod pn5n(modp) (для p=2p=2p=2 тривиально, для p=3p=3p=3 у ненулевых элементов a2=1⇒a4=1⇒a5=aa^2=1\Rightarrow a^4=1\Rightarrow a^5=aa2=1a4=1a5=a, для p=5p=5p=5 это малая теорема Ферма).
3) Следствие: ровно простые 2,3,52,3,52,3,5 делят n5−nn^5-nn5n при всех nnn, поэтому их НОК 2⋅3⋅5=302\cdot3\cdot5=30235=30 делит n5−nn^5-nn5n для любого nnn. Никакое другое простое число этого свойства не имеет.
20 Ноя в 08:39
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир