基础数论知识

本文将介绍一些基础的数论概念，包括整除、同余、素数、最大公约数（GCD）、线性筛和乘法逆元等。
一、整除、同余、素数和唯一分解定理
1. 整除
整除是数论中最基本的概念之一。如果两个整数 a 和 b（b 不等于零），存在一个整数 k，使得 a = k × b，那么我们称 b 整除 a，记作 b | a。整除关系具有传递性，即如果 a | b 且 b | c，那么 a | c。
2. 同余
同余是另一个重要的概念。给定一个模数 m，如果两个整数 a 和 b 满足 a - b 能被 m 整除，那么我们称 a 和 b 模 m 同余，记作 a ≡ b (mod m)。同余关系具有反身性、对称性和传递性，并且在加法、减法和乘法运算下保持不变。
3. 素数
素数是数论的基石。一个大于1的整数 p，如果它只有两个正因数，即1和它本身，那么 p 被称为素数。1不是素数。素数的一个重要性质是：所有大于1的整数都可以唯一地分解为素数的乘积，这就是唯一分解定理。
4. 唯一分解定理
唯一分解定理指出，任何大于1的正整数都可以唯一地表示为素数的乘积（忽略因数的顺序）。这一定理为数论提供了坚实的基础，常用于求解整除问题、最大公约数（GCD）和最小公倍数等。
二、最大公约数（GCD）及相关知识
1. GCD的定义
对于两个整数 a 和 b（不全为零），它们的最大公约数（GCD）是同时整除 a 和 b 的最大正整数，记作 gcd(a, b)。
2. 辗转相除法（欧几里得算法）
辗转相除法是一种高效的计算最大公约数的方法。其基本思想是：对于两个正整数 a 和 b，如果 a = b × q + r，那么 gcd(a, b) = gcd(b, r)。通过不断取余数，最终可以得到最大公约数。
3. 裴蜀定理
裴蜀定理指出，对于任意整数 a 和 b，存在整数 x 和 y，使得 a × x + b × y = gcd(a, b)。这一结果表明，最大公约数可以表示为 a 和 b 的线性组合，为求解线性不定方程和计算乘法逆元提供了理论支持。
4. 扩展欧几里得算法
扩展欧几里得算法不仅能够求出两个整数的最大公约数，还能同时求得一组整数 x 和 y，使得 a × x + b × y = gcd(a, b)。这一算法在求解线性不定方程和计算乘法逆元时非常有用。
三、线性筛
线性筛是一种高效的算法，用于在 O(n) 的时间复杂度内筛出区间 [1, n] 内的所有素数，并记录每个合数的最小质因数。与传统的埃拉托斯特尼筛法相比，线性筛确保每个合数只被标记一次，从而严格达到线性时间复杂度。
四、乘法逆元
1. 概念
给定模 m 和整数 a（满足 gcd(a, m) = 1），称整数 b 为 a 关于模 m 的乘法逆元，如果满足 a × b ≡ 1 (mod m)。乘法逆元存在的充要条件是 a 与 m 互质。
2. 计算方法
•  扩展欧几里得算法：利用扩展欧几里得算法求得整数 x 和 y，使得 a × x + m × y = gcd(a, m)。其中 x 就是 a 在模 m 下的乘法逆元（经过适当取模处理）。
•  快速幂：当模 m 为质数时，可以利用费马小定理计算逆元。根据费马小定理，如果 a 和 m 互质，那么 a^(m-1) ≡ 1 (mod m)，因此 a^(m-2) (mod m) 就是 a 的乘法逆元。
总结
数论是数学的一个重要分支，其核心概念如整除、同余、素数和唯一分解定理为理解整数的性质提供了坚实的基础。最大公约数（GCD）及其相关算法（如辗转相除法和扩展欧几里得算法）在解决实际问题中非常有用。线性筛法能够高效地筛选素数，而乘法逆元的计算则在密码学和算法设计中有着广泛的应用。通过掌握这些基础概念和算法，我们可以更好地理解和解决与整数相关的各种问题。