一开始我都不知道费马是个人,以为和胡不归问题起名方法一样,是个浪费马的小定理所以叫费马小定理
内容
若 p p p是质数,则对于任意整数 a a a,有 a p ≡ a^p \equiv ap≡ a ( m o d a(mod a(mod p ) p) p)。
证明
反过来两边同时除以 a a a我们可以得到 a p − 1 ≡ 1 a^{p-1} \equiv1 ap−1≡1 ( m o d (mod (mod p ) p) p),所以此时可以把该问题转换为证明 a p − 1 a^{p-1} ap−1 m o d mod mod p = 1 p=1 p=1,随手举个例子也确实没什么大问题: a = 2 a=2 a=