『笔记』数学数论(四)

\[\Huge{(四)费马小定理} \]

费马小定理(Fermat's little theorem)

如果 \(p\) 是一个质数,而整数 \(a\) 不是 \(p\) 的倍数,则有 \(a^{(p-1)} \equiv 1 \pmod p\)

换句话说,对于任意整数 \(a\),有 \(a^p \equiv a \pmod{p}\)

证明

设一个质数 \(p\) 、一个整数 \(a\) 满足 \(a \bmod p \neq 0\)

构造一个序列:\(A=\{1,2,3\dots,p-1\}\),该序列满足以下性质:

\[\prod_{i=1}^{n}\space A_i\equiv\prod_{i=1}^{n} (A_i\times a) \pmod p \]

证明 1

因为

\[(A_i,p)=1,(A_i\times a,p)=1 \]

又因为

有且只有一个 \(i\) 满足 \(A_i\times a \pmod p\) ,且 \(A_i\times a \pmod p < p\)

即每一个 \(A_i\times a\) 都对应了一个 \(A_i\)

得证。

\(f=(p-1)!\) , 则有

\[f\equiv a\times A_1\times a\times A_2\times a \times A_3 \dots \times A_{p-1} \pmod p \]

又有

\[a^{p-1}\times f \equiv f \pmod p \\ a^{p-1} \equiv 1 \pmod p \]

证毕。

证明 2

归纳法。

显然有 \(1^p\equiv 1\pmod p\),假设 \(a^p\equiv a\pmod p\) 成立,那么通过二项式定理有

\[(a+1)^p=a^p+\binom{p}{1}a^{p-1}+\binom{p}{2}a^{p-2}+\cdots +\binom{p}{p-1}a+1 \]

因为

\[\binom{p}{k}=\cfrac{p(p-1)\cdots (p-k+1)}{k!} \]

对于 \(1\leq k\leq p-1\) 成立,在模 \(p\) 意义下有

\[\binom{p}{1}\equiv \binom{p}{2}\equiv \cdots \equiv \binom{p}{p-1}\equiv 0\pmod p \]

那么

\[(a+1)^p \equiv a^p +1\pmod p \]

\(a^p\equiv a\pmod p\) 带入得

\[(a+1)^p\equiv a+1\pmod p \]

证毕。

应用

\(a\)\(b\) 次方对 \(n\) 取模。

代码:

int Fmt(int a, int b, int m) //废妈小定理
{
	int t = 1;
	int y = a;

	while (!b)
	{
		if (b & 1 == 1)
			t = t * y % m;
		y = y * y % m;
		b >>= b;
	}
	return t;
}
原文地址:https://www.cnblogs.com/Frather/p/14659639.html