简介：
费马小定理(\(Fermat's\) \(little\) \(theorem\))是数论中的一个重要定理，在\(1636\)年提出。
定义：
如果 \(p\) 为质数，且 \(a \bmod p \ne 0\)，则有 \(a^{p-1}\bmod p=1\)
\(PS:\)
先证明一个裴蜀定理的引理。
推论：如果 \(a,b\in \mathbb Z^+\)，且 \(gcd(a,b)=1\)，则 \(0,a,2a,3a...(b-1)a\) 这些数 \(\bmod b\) 的值互不相同。
证明：
假设 \(\exists\) 两个不同的数 \(i*a,j*a(0<j<i<b,i,j \in \mathbb Z^+)\)，使 \(ai \bmod b=aj \bmod b\)
则 \(a(i-j) \bmod b=0\)，且\(0<i-j<b\)
矛盾
费马小定理证明：
\(∵(1a*2a*3a*...*((p-1)a)) \bmod p =a^{p-1}*(p-1)! \bmod p\)
又 \(∵p\) 为质数，且 \(p \nmid a\)，根据上述引理可得：
\(a\bmod p,2a \bmod p,3a \bmod p...(p-1)a \bmod p\)互不相同，且区间为 \([1,p-1]\)
\(∴(a*2a*3a*(p-1)a) \bmod p=(p-1)! \bmod p\)
\(∴(p-1)! \bmod p=a^{p-1}*(p-1)! \bmod p\)
\(∴(p-1) !\equiv a^{p-1}*(p-1)! \pmod p\)
又 \(∵p\) 是质数
\(∴gcd(p,(p-1)!)=1\)
\(∴a^{p-1} \equiv 1 \pmod p\)
证毕
努力学数学 \(ing\)
完结
标签：...,费马,数论,定理,质数,2a,3a,bmod 来源： https://www.cnblogs.com/firephonenix/p/16653315.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。