定理已证明
费马小定理
命题陈述
若 是素数, 是不被 整除的整数,则 。
为什么成立?
把 乘以 再对 取模,由于 模 可逆,这只是把它们做了一次置换。因此置换后列表的乘积等于原列表的乘积;消去公因子 后即得 。
证明思路
映射 是 上的一个置换,因为 模 可逆(由 )。把所有剩余相乘得 ,即 。由于 ,消去后得 。
用到此定理的主题
相关定理
分步证明
该定理暂无分步证明。
参考文献
- Leonhard Euler (1736). Theorematum quorundam ad numeros primos spectantium demonstratio
- G. H. Hardy, E. M. Wright (2008). An Introduction to the Theory of Numbers · DOI:10.1093/oso/9780199219858.001.0001