数论2 同余、逆元和费马定理

今天我们来学习第二次数论。

我们首先要接触的是同余，意思就是a和b同时除以n，余数相等，记作A≡B(mod N)，读作A和B模N同余。

这里“三道杠”的符号是全等号。

接下来基本上全是干货和公式，数学不好者慎入：

1，费马定理

费马定理分费马小定理和费马大定理，接下来分别介绍。

（作者声明：以下的公式属于中高级数学，包含同余式和费马小定理的应用，如果你数学不好，请先去恶补一下这些，再来读这一部分）

1，费马大定理

当整数n>2时，关于x,y,z的方程x^n+y^n=z^n没有正整数解。

这个定理据说是费马看古希腊数学家丢番图的文章时写下来的，但是他在公式末附了一句话：我可以用一个巧妙的方法来证明，可是纸太小了，我写不开。

因此费马犯了个大错误，直到现在也没人知道他的证明方法是什么。

（作者有话说：@费马 你附张纸不行嘛？）

这个以后详细介绍，今天我们主要讲费马小定理。

2，费马小定理

如果我们定义一个p为素数，且定义a和b，a%p≠0，则a^p-1≡1（mod p）。

接下来数学不好者慎入，我们要来证明他了：

首先创造一个集合x，包含所有小于p得数，显然p与集合里的所有数互质。

我们在定义一个集合X，用公式表示是a*x{1,......,p-1}%p=X{a%p,2a%p,......,(p-1)a%p}，

将两个集合里的数分别相乘：(p-1)! % p=a^(p-1)*(p-1)! % p

把所有(p-1)!去掉，得到这个式子：

1(mod p)≡a^(p-1)(mod p)，可以推出式子

a^(p-1)≡1(mod p)。

接下来的逆元，数学分数在A以下的请慎入。

逆元的概念可以这样理解：我们定义b和m，且b和m互质。定义a和b，且a是b的倍数。

则存在一个数x，使得a/b=a*x(mod m)，即为b^-1（不是b的-1次方，这里是代表b的逆)(mod m)