MathLabs
定理已证明

费马小定理

命题陈述

若 pp 是素数,aa 是不被 pp 整除的整数,则 ap−1≡1(modp)a^{p-1}\equiv 1 \pmod{p}。

为什么成立?

把 1,2,…,p−11,2,\dots,p-1 乘以 aa 再对 pp 取模,由于 aa 模 pp 可逆,这只是把它们做了一次置换。因此置换后列表的乘积等于原列表的乘积;消去公因子 (p−1)!(p-1)! 后即得 ap−1≡1a^{p-1}\equiv 1。

证明思路

映射 k↦ak mod pk\mapsto ak\bmod p 是 {1,…,p−1}\{1,\dots,p-1\} 上的一个置换,因为 aa 模 pp 可逆(由 p∤ap\nmid a)。把所有剩余相乘得 ∏k=1p−1(ak)≡∏k=1p−1k(modp)\prod_{k=1}^{p-1}(ak) \equiv \prod_{k=1}^{p-1} k \pmod p,即 ap−1(p−1)!≡(p−1)!(modp)a^{p-1}(p-1)! \equiv (p-1)! \pmod p。由于 gcd⁡((p−1)!,p)=1\gcd((p-1)!,p)=1,消去后得 ap−1≡1(modp)a^{p-1}\equiv 1\pmod p。

提出者

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Leonhard Euler (1736). Theorematum quorundam ad numeros primos spectantium demonstratio
  2. G. H. Hardy, E. M. Wright (2008). An Introduction to the Theory of Numbers · DOI:10.1093/oso/9780199219858.001.0001