关于数论

从基础谈起。

整除

• 对于 ，称 整除 ，记作 。

欧几里得算法

• 即当 时， 。
• 记 ，要证明这个定理，我们考虑去说明 与 的公因数集合和 与 的公因数集合是相同的。我们知道 ，那么对于 和 的公因数 ，就有 ，即 和 的公因数必然是 和 的公因数。而我们又有 ，那么，同理， 和 的公因数也必然是 和 的公因数，则原式成立。

二元不定方程

扩展欧几里得算法

• 用于得到不定方程 的某一组解，其中 。
• 具体的，我们考虑如何修改欧几里得算法。考虑递归的过程，不妨假定我们已经得到了方程 的解，其中 。那么就有 ，即 ，这样我们也就得到了当前状态的解。

斐蜀定理

• 对于方程 ，其有解的充要条件是 。
• 先证必要性。记 ，我们知道 必然存在，即 ， 。再证充分性。我们知道，若方程 有解 ，那么原方程就必然存在解 。而由扩展欧几里得算法，我们可以断言，解 必然存在，从而充分性得证。

二元不定方程解的结构

• 对于方程 ，若其存在一组整数解 ，则其所有整数解可以表示为 ，其中 。

• 我们从题设开始。考虑 ，对于方程在 之外的整数解 ，必然有 ，其中 。那么我们就有： 记 ，那么就有：

  其中 。进一步，我们有： 类似的，也有 。那么若记 ， ，就有： 再记 ，那么可以发现，不同的 和不同的解恰好一一对应，且有 ，即 。

模意义下的整数系统

同余

• 取模运算 ：对于 ，其中 ，其满足 ，且 。

  其运算优先级与乘除相同。

  取模运算存在一些非常基本且重要的性质，例如：

  1. 。
  2. 。
  3. 。

  是容易验证的。

• 同余：称 和 关于 同余，当且仅当 ，记作 。

乘法逆元

• 我们知道，在同余的框架下，一般意义的除法是做不了的。但是，我们考虑有理数集当中的除法，可以将其看作是乘法的逆运算。对于非 有理数 ，必然存在 使得 。我们试着把这个概念推广到整数系统中去。具体的，我们考虑在 的意义下，对于 ，是否存在 使得 。我们把以上的 称为乘法逆元。

• 我们接着考虑模 的整数系统中的 应该具有什么性质：

  1. 没有逆元。

  2. 至多存在一个。要证明这个命题，我们使用反证法。不妨假定存在 ，那么我们就有： 这与定义冲突，那么假设不成立，不可能存在多于 个的逆元。

  3. 存在，当且仅当 。记 ，那么我们有 ，等价于 ，其中 。那么由斐蜀定理，上述方程有解，当且仅当 ，即 ，则原命题成立。

• 那么我们该如何求取乘法逆元呢？第一种思路，是将同余式看作不定方程，再使用扩展欧几里得算法求解。而第二种，则是使用下面要提到的费马小定理。

模意义下的整数系统中的分数

• 既然我们已经把有理数的除法概念推广到了模意义下的整数系统当中，那么进一步导出分数的概念就也是很自然的了。具体的，对于分数 ，我们希望在 的整数系统中去找到一个对应的数，使其代数性质与 相似。
• 具体的，我们设这个数为 ，那么就是要使其满足 。若 ，即 存在，那么我们立即就可以知道，在这个系统中有且仅有一个 满足条件。而若 ，此时上式就等价于 ，其有解，当且仅当 ，且通解为 ，也就是说此时合法的 的数目并不确定，甚至可以为 。

费马小定理

• 对于 ， ，有 。

• 要证明这个定理，我们考虑 。首先，我们有这 个数在 意义下互不相同。因为假定存在 ，使得 ，而由 ，我们有 ，即 ，与假设不符，说明假设不成立。这样，我们就有： 而 又与 之中的每个数互素，说明： 那么费马小定理得证。

• 应用费马小定理，我们就知道，当模数 为素数， 时， ，说明 就是 。