一是不是素数？

不是。根据定义，一被排除在外，以确保素数分解的唯一性；如果一被算作素数，则每个数都将有无限多种分解方式。

贝祖等式有什么用？

它指出两个整数的最大公约数是它们的整数线性组合，这是计算模逆和求解线性丢番图方程的基础。

可除性、最大公约数和素数构成了数论的基石：每个整数都由素数乘法构成，其构成方式决定了几乎所有后续结果。

用 PaperMind 寻找选题即将推出Find papers & topics

Tools & resources

Learn & explore

视频即将推出

如果 b 等于 a 乘以某个整数，则整数 a 整除 b；素数是大于一的整数，其唯一的正因数是它本身和一。可除性与素数涉及整数的乘法分解以及该分解的不可约构成块。

本主题探讨整数上的可除性关系、除法算法、通过欧几里得算法计算的最大公约数和最小公倍数、贝祖等式、欧几里得引理、算术基本定理，以及素数的基本理论——它们的无限性、分布启发式和素性。

除法算法和欧几里得算法: 任何整数除以一个正整数都会得到唯一的商和余数；重复此过程可得到最大公约数，并通过回代得到将其表示为线性组合的整数（贝祖等式）。
算术基本定理: 每个大于一的整数都是素数的乘积，且这种乘积在排序上是唯一的；欧几里得引理（素数如果整除一个乘积，则它整除其中一个因子）是关键步骤。
素数的无限性: 欧几里得的经典论证表明，没有有限的素数列表是完整的；欧拉的 zeta 函数乘积公式提供了一个解析证明，并通过素数倒数和的发散性量化了素数密度。

快速因式分解和素性测试是密码学的基础：RSA 安全性依赖于分解两个素数的大乘积的难度，而高效的素性测试（如 Miller-Rabin）使密钥生成变得实用。

欧几里得的《几何原本》（约公元前 300 年）已经包含了欧几里得算法、欧几里得引理以及素数无限的证明。埃拉托斯特尼筛法提供了第一个系统列出素数的方法，而欧拉、勒让德和高斯在十八世纪和十九世纪的工作将素数分布重新定义为一个定量问题。