暑假acwing算法总结20：欧拉定理与费马定理

• 1、费马大定理

满足 a^k + b^k = c^k 的数据k一定小于3，当k>=3是，找不到这样的a，b，c使得上面式子成立

• 举例子：（k=2）
• 3，4 ，5
• 6，8 ，10

if(c%2) b=(a*a-1)/2,c=(a*a+1)/2;
else b=(a*a/2-2)/2,c=(a*a/2+2)/2

• 证明：> ???

• 2、欧拉定理

若a与n互质则，a^b(n)=1mod(n)，（b[n]表示n的欧拉函数值值）

• 举例子：
• 6的互质数1，5，且6的欧拉函数值是2所以
• 由欧拉定理应该有5²=1mod(6)成立
• 证明：> 1 ~ n中 a₁，a₂，…，a_[b(n)] 分别代表n的互质数，所以 a₁ * a，a₂ * a，…，a_[b(n)] * a 也与n互质在mod n 的情况下互质数又是这些，所以上下两组数在mod n 的情况下相等所以 a₁ * a * a₂ * a * … * a_[b(n)] * a 同余 a₁ * a₂ * … * a_[b(n)] 得到 a^b[n] 同余 1 mod n

• 3、费马小定理

质数的欧拉函数值等于n-1所以当n为质数的时候，若a与n互质则，a^n-1=1mod(n)

• 举例子：
• 7的互质数是6所以其中任意个a，a⁶ mod 7 =1
• 比如3，3⁶=729%7=1
• 证明：是欧拉定理的推论