Теорема Ферма

Материал из Викиконспекты
Перейти к: навигация, поиск

Теорема Ферма[править]

Теорема (Ферма, a в степени p по модулю p.):
[math] a^p \equiv a(mod \text{ }p)[/math], где p — простое.
Доказательство:
[math]\triangleright[/math]
  • 1. [math] a \vdots p[/math], тогда, очевидно, [math] a^p \vdots p[/math].
  • 2. Рассмотрим случай a не кратного p. Рассмотрим приведенную систему вычетов [math] r_1, r_2, \ldots , r_{p-1} [/math].

Система [math] ar_1, ar_2, \ldots , ar_{p-1} [/math] задает те же вычеты, только в другом порядке, таким образом [math] \prod_{i=1}^{p-1} ar_i \equiv \prod_{i=1}^{p-1} r_i (mod \text{ }p) [/math],

сократив лишнее, получаем [math] a^{p-1} \equiv 1(mod \text{ }p)[/math]. Домножив обе части на a, получим теорему в изначально представленном виде.
[math]\triangleleft[/math]