数论

数论是数学的一个分支，主要研究整数的性质及由此产生的算术结构。其核心研究对象包括整除性、素数、同余，以及要求解为整数或有理数的方程。现代数论还研究有理数的扩张，并将算术问题与分析、代数、几何和计算联系起来。这些研究方法相互交织，并非界限分明的独立学科。(math.mit.edu)

整除性与素数

整除性构成了数论的初等框架。如果存在整数 $k$，使得 $b=ak$，就称整数 $a$ 整除整数 $b$，记作 $a\mid b$。两个整数的最大公约数反映了它们共有的因子；欧几里得算法通过反复进行带余除法来求出最大公约数。这一过程也是求解整数线性方程的基础。(ocw.mit.edu)

素数是大于一、且正因数只有一和自身的正整数。算术基本定理指出，每个大于一的整数都有素因数分解，而且除因子的排列顺序外，这一分解是唯一的。因此，素数是构成正整数的基本乘法因子。欧几里得证明了素数有无穷多个：对于任何给定的有限素数列表，都可以利用它构造出一个整数，使其具有不在该列表中的素因数。(math.mit.edu)

初等数论的内容远不止因数分解，还包括算术函数、平方和表示、连分数和二次互反律等。这里的“初等”是指所用的方法不依赖某些高等数学工具，尤其是复分析；并不意味着问题或证明很简单。(math.mit.edu)

同余与算术方程

模算术按余数对整数进行分类。对于正整数 $m$，

表示 $m\mid(a-b)$。加法和乘法都保持同余关系，因此可以在有限个剩余类中进行算术运算。例如，$17\equiv5\pmod{12}$。中国剩余定理指出，给定一组两两互素的正整数作为模数，并分别指定余数，就能唯一确定一个以这些模数的乘积为模的剩余类。(ocw.mit.edu)

丢番图方程是要求整数解的方程；相关问题也会寻求有理数解。典型问题包括：解是否存在，解是有限多个还是无穷多个，以及如何描述所有的解。例如，$ax+by=c$、满足 $x^2+y^2=z^2$ 的勾股数组，以及佩尔型方程 $x^2-Dy^2=1$。与不限制解的数域的方程求解不同，这类问题的答案在很大程度上取决于允许取值的数系。(ocw.mit.edu)

同余可以用来排除某些解的可能性。任何整数的平方模四都与零或一同余，因此 $x^2+y^2=3$ 没有整数解。然而，通过模意义下的检验，通常并不足以证明整体解的存在。以各个素数为模的算术与整数上的算术之间存在这种区别，这促使人们发展了局部方法和整体方法。(ocw.mit.edu)

代数、分析与几何方法

代数数论将整数算术扩展到更大的体系。数域是有理数域（数学）的有限扩张，其中的代数整数满足整系数首一多项式方程。在这些体系中，元素的唯一分解性质可能不再成立。对理想、素理想、单位和理想类群的研究，为理解这种失效现象以及重新建立有用的分解结构提供了框架。(math.mit.edu)

解析数论运用数学分析，包括复分析，来研究算术规律。其核心成果包括素数定理：

其中，$\pi(x)$ 表示不超过 $x$ 的素数个数，符号 $\sim$ 表示当 $x$ 无限增大时，两边的比值趋于一。因此，从平均意义上看，素数出现的频率逐渐降低，而且这一趋势可以精确量化。雅克·阿达马和夏尔-让·德·拉·瓦莱·普桑于1896年分别独立证明了这一定理。(claymath.org)

黎曼ζ函数将素因数分解与分析性质联系起来。更一般地，ζ函数和L函数将算术信息编码在函数之中，而这些函数的值、极点和零点可以用分析方法研究。代数几何提供了另一种视角：有理数解可以看作曲线及更高维空间上的有理点。椭圆曲线是其中尤为重要的例子，它将几何方程与曲线上点的群结构结合起来。(claymath.org)

历史发展与重大问题

欧几里得的工作确立了有关素数和整除性的基础成果。1801年，卡尔·弗里德里希·高斯出版了《算术研究》，系统整理了同余、二次互反律和二次型。波恩哈德·黎曼在1859年的论文中提出了有关素数分布的重要分析思想，影响深远。(math.mit.edu)

费马大定理指出，当整数指数 $n$ 大于二时，$x^n+y^n=z^n$ 没有正整数解。安德鲁·怀尔斯的证明于1995年发表，同时发表的还有他与理查德·泰勒合作完成的配套研究。这一证明表明，一个看似初等的算术命题，可能依赖于椭圆曲线与模形式之间的深刻联系。(annals.math.princeton.edu)

黎曼猜想至今仍未解决。它断言，经过解析延拓的ζ函数的每一个非平凡零点，其实部都等于 $1/2$。这一猜想的重要性体现在多个方面，其中包括对素数分布估计误差的强有力推论；即使用计算方法验证了大量零点，也不能据此证明该断言对所有零点都成立。(claymath.org)

计算与应用

计算数论研究用于素性检验、因数分解、模运算和椭圆曲线上算术运算的算法。它区分了判断一个整数是否为素数与求出一个合数的因子这两类问题。在密码学中的应用，利用了这样一类算术运算：正向计算效率很高，而在规模适当时，某些相应的逆问题被认为难以求解。RSA使用与整数因数分解相关的算术运算，而椭圆曲线密码系统则使用群运算和离散对数问题。椭圆曲线也用于因数分解算法，以及生成可验证的素性证明的方法。(ocw.mit.edu)