费马-欧拉定理证明
费马小定理:
引理:若集合{f}={f1,f2,f3...fm-1}中元素对m取模的结果遍历了(1~m-1)所有值,且k与m互质,则{f1k,f2k,f3k...}对m取模的结果同样遍历(1~m-1)所有值
(或者用偏理论的语言描述:如果{a1,a2,a3...am}是m的一个完全剩余系,且k与m互质,则{a1k,a2k...amk}也是m的一个完全剩余系)
证明:
应用反证法,假设:
于是:
设 ①
②
②-①,得:
即与m不互质
又∵k与m互质
∴与m不互质
不妨设
于是
两侧对m取模,得:
这与{f}是m的一个完全剩余系矛盾
∴假设不成立,原命题得证
即:{f*k}也是m得一个完全剩余系
证明:
构造序列{bn},令bi=i·a(i<=p-1),则:
又∵ a,p互质,由引理:
∴
又∵
∴
证毕
应用相同方法,可以证明欧拉定理:
证明方法完全一致