多项式的多代表什么（多项式的概念是什么） - 原点资讯

与费马数对应的是著名的梅森数列：

这里依次取遍所有的素数。人们也曾猜测梅森数都是素数。比如前几项分别为3,7,31,127都是素数。但是

如果素数被4除余数为3，并且也是素数，那么必定不是素数。

梅森数的遭遇与费马数类似，尽管没有能够达到原始的构造素数公式的目的，但是它却和另一个著名的定理联系起来。为了叙述该定理，我们做些准备工作。给一个正整数n，我们把它的所有可能的因子（就是能整除的那些正整数）加起来得到的总和记作。如果满足

所有的偶完全数都可以写成，这里是梅森素数。反之，这样的表达式得到的数也必定是偶完全数。

上面说的

由此产生另一个有趣的问题：奇完全数存在吗?这又是数论中一个至今悬而未决的著名猜想。人们借助计算机检验了以内所有数，竟然都没能找到奇完全数!另外一个同样让人沮丧的事实是，至今我们还不知道是否有无穷多个梅森素数。

欧拉提出了另一类构造素数的方式。比如考虑多项式。当从0取到40时，多项式的值皆素数。我们同样可以考虑多项式

这里是素数，使得当从0开始直至某个数为止逐一代入时，上述多项式取值始终为素数。对任意，我们是否总能找到这样的满足上面的要求呢?这个有趣的问题也是未解决的难题之一。让我们在上述多项式中分别取

有趣的是，假如我们要求上述

设，二次多项式
当

（注记：上面的的六种取值是有深刻背景的，它们恰好对应所有类数为1的虚二次域。）

看了这样几个例子之后，你也许会问：是否真有素数公式呢?有是有的，但这类公式通常意义不大。我们这里举一个例子来说明。为此需要一些准备。对任何实数x，我们用表示不超过的最大整数。比如

现在我们可以构造素数公式

<左右滑动>

对任何大于1的正整数，项都是素数，比如最前面的几项分别为2,3,2,5,2,7,…这个素数公式表面上看似乎很神奇，其实并没有太多的新东西。它只是利用了和素数有关的威尔逊定理：

一个大于1的正整数是素数的充分必要条件为：是整数。

比如

5素数和方程

素数的很多有趣的性质都是从方程开始的。在经典数论（即研究整数性质的理论）中，人们关心的一个问题就是某些多项式方程是不是有整数解。比如著名的勾股方程

当我们只关心这类方程的整数解（或有理数解等等）时，这样的方程通常就称为不定方程或者丢番图方程。我们这里介绍一些和素数有关的方程。它们中的一些对数学的发展起到了很大的作用。以下设是素数。

(1)我们考虑不定方程

对任一整数，假设它被除的余数是。那么显然被整除。因此对任何整数

(2) 费马小定理断言：不定方程

对任何整数

没有非零的整数解。但费马只证明了

(3)假设是一个整数，并且不为整除。我们来求解不定方程

的整数解。由费马小定理，我们取

(4)（平方剩余）求解以下方程的整数解是初等数论的核心问题之一：

这里是给定的正整数。高斯在其名著《算术研究》中对此作了深入研究，给出了一系列漂亮的研究成果。与前面几个方程不同的是，该方程有可能无整数解，比如

如果

若

这就是说，如果被8除余数为1或7，那么方程

当q也是奇素数时，高斯发现了数论史上具有里程碑意义的重要结果，即著名的二次互反律：

高斯将此定理比喻为“数论之酵母”，意思是说这个深刻定理对数论的研究极其重要。近代数学的研究也验证了这一观点。事实上这一定理经过许多数学家——比如希尔伯特、高木贞治等——的努力，推广到代数数论研究中，发展成了深刻的理论——类域论。二次互反律也可以这样解释：当中有一个被4除余数是1时，以下两个方程

要么同时有解要么同时无解；当被4除余数都是3时，那么其中一个方程有解而另一方程无解。

对一般的整数，由算术基本定理，我们可以将它写成素因子乘积

从几何角度看，平方剩余问题对应的方程就是平面上的一条抛物线。因此我们等价于寻找抛物线上的整数点。

(5)两平方和问题：一个素数什么时候可以写成两个平方数之和?比如

容易检验，不可能写成两平方数之和。这个问题等价于求不定方程

的整数解。从几何上看，相当于寻找一个圆周上的整数点。费马早在1640年前后就得到了以下的结论，但是并未正式发表；欧拉最早给出了其正式证明。

多项式的多代表什么,多项式的概念是什么(5)

这个结论的第一部分可以从平方剩余问题(4)简单地得到。事实上，由方程(3)，我们可以找到一个整数，使得能被整除。由于

故得

<左右滑动>

因此上面方程有解也就意味着

这就相当于p被4除余数为1。

无论如何，要具体求出的平方数之和的精确表达式并非易事。这就需要用到更加高深的工具了。

上面这些不定方程的研究为古典数论提供了许多重要的原动力，发展出了很多重要的数学工具。如何求解一般的不定方程实际上是个很困难的问题。希尔伯特在他著名的23个数学问题中也作了探讨。近代的一种重要思想是：先退而求其次，求方程的有理数解。对每个素数，将方程放到p-adic数域情形去求解（p-adic数是和素数有关的一类很特殊的“数”）。我们将相应的p-adic解综合起来，根据这些解的信息，试图构造出真正的有理数解。这一思想曾被成功地应用到二次不定方程上。它可以归结成著名的Hasse-Minkowski定理：

假设是二次多项式 (比如
等等 )，方程

本节最后，我们再介绍一个与素数和方程有关的重要猜想——abc猜想：

任意给定正实数，则最多只有有限个三元组，满足以下条件：

(1) 皆整数，并且两两之间互素，

(2)

(3) ，此处是乘积abc中所有互不相同的素因子的乘积。

如果abc猜想正确，那么立刻可以推出费马猜想对充分大的方幂都成立。这还不止，其实有许许多多重要的猜想和定理竟然都能从abc猜想推出来，而后者本身看上去却如此简单!

6素数和代数

素数在整数中具有如此特殊的地位，它除了包含许多有趣深刻的性质之外，也留下诸多未解之谜。人们自然会想到将素数的概念推广到更一般的数域上来研究，比如实数域、复数域等等。高斯首先研究了这样一些复数（称为高斯整数）：

这里都取整数。所有这些复数构成的集合记为。我们可以像在整数情形一样定义高斯整数的加减乘运算，甚至我们还可以定义两个高斯整数的带余数除法等。完全类似地，我们自然也可以定义中的“素数”概念。

整数集合里的素数在中不一定是素数哦。比如当被4除余数为1时，根据上一节的结论，它可以写成两平方数之和

因此在中可以写为两个高斯整数的乘积

高斯的一项有趣的工作，就是找出了中的所有素数：

(1) ；

(2) ，使得

(3)就是整数集合里被4除余数为3的素数。

在整数中我们不把这样的数作为素数；同样地，在中我们也不考虑以下诸如,这样的数——单位数。如果两个高斯整数只相差一个单位数，它们的数论性质一般没什么差别，所以我们有时只挑选其中的一个代表来讨论。接着，我们同样可以得到高斯整数的算术基本定理等等一系列的数论性质。

高斯对于的研究可以说是代数数论的重要起源之一。为什么高斯要研究高斯整数呢?原来高斯一开始在研究四次剩余问题（即不定方程

进一步，如果我们考虑除法，整数集合可以扩张到有理数域上。因此类似地，高斯整数集合也可以扩张到高斯有理数域上，里面的数无非是两个高斯整数的比值而已。很自然地，我们也可以考虑更一般的数域——二次域：

这里是任意整数，并且我们可以假设不含平方因子。就是高斯有理数域。中的“整数”是什么样的呢?答案与我们想象的稍微不同：

情形一：如果m被4除余数是2或者3，那么二次域中的“整数”（称作代数整数）都可以写为，

这里是整数。

情形二：如果被4除余数是1，那么二次域中的“整数”可以写为

这里是整数。

同样地，人们可以考虑这样的“整数”什么时候能称作“素数”等等基本问题，这里我们不再详细展开。那么著名的算术基本定理在这时是否一定成立呢?答案是否定的!这里我们举一个简单的例子。在中，21竟然有两种完全不同的素因子分解：

在历史上，人们一开始并未意识到这一问题。最初，人们之所以引进这样的数域，是为了研究著名的费马猜想，就是证明不定方程

当是大于2的正整数时没有非零整数解。比如我们可以在高斯整数的意义下证明

当这一想法第一次被正式提出时，遭到了很多数学家的质疑和反对。事实上，数学家库莫此前早已意识到这一问题，即复数情形下“素因子”分解不一定唯一!为了弥补这一缺陷，库莫引入了理想数的概念，证明理想数有类似于算术基本定理那样的唯一分解性质，从而成功证明费马猜想在时成立。

多项式的多代表什么,多项式的概念是什么(6)

其实理想数并不是真正的数，而是一组数的集合。但有趣的是，我们也可以定义这种集合之间的乘法运算，并且定义出类似素数的东西——素理想，最终证明理想数唯一分解定理——算术基本定理的推广。理想数的引入可以说是极为关键的。它使数论的研究观点和方法产生了质的飞跃，促使了代数数论的发展。继库莫的工作之后，戴德金将理想数推广到了更一般情形，从而发展成了系统的理想理论。这一理论是交换代数等学科中的核心内容之一。它不但对数论发展极为重要，而且还深入到其他各个数学领域中，特别是对代数几何等等学科有着重要的影响。

7素数和函数

上一节我们从一个侧面看到素数及算术基本定理对于数学的重要影响，它们的推广促进了代数数论等领域的发展。同样地，素数对于函数的研究也有极为深刻的影响。如前所述，除了算术基本定理，素数另一重要的基本结论就是“素数个数无限”。我们曾经介绍了欧几里德关于这一结论的存在性证明。实际上，欧拉还给了另一个巧妙的证明，这个证明极富启发性，常被人们视为解析数论之发端。下面我们用不太严格的方式来介绍一下。欧拉的证明利用了下面几个简单的事实

(1)：对任何介于0和1之间的实数，都有无限求和公式

(2)：将下式左边展开并利用算术基本定理得到

<左右滑动>

左边的大写希腊字母在这里表示求乘积符号，就是把每个素数对应的项都相乘起来。

(3)：结合上面两个式子，则有

<左右滑动>

如果素数只有有限个，那么上式左边是个有限的数。但无论如何，上式右边的值是无穷大（数学上叫做发散），这就推出矛盾!因此素数个数必定无限。

从上面的讨论，我们可以定义一个重要的函数——黎曼函数

稍微推广一下前面的恒等式，就得到有趣的恒等式

黎曼函数是数学中极其重要的函数。黎曼首先研究了这种函数的诸多深刻性质，并且第一次发现了黎曼函数居然和素数之间存在着极为深刻的内在联系!按照上述方式定义的黎曼函数的定义域还比较小。通过一定的数学技巧，我们可以把它的定义域扩大到除了

的非平凡零点一定可以写成形如的复数（是实数）。换言之，所有的非平凡零点都落在直线上，这里 Re表示取复数的实部。

这个猜想被称为黎曼猜想，它被列为千禧年七大数学猜想之一，也被希尔伯特收入到23个著名数学问题中。这是个极其困难的问题，它远比费马猜想艰深得多。我们注意到，《数学文化》刊登的卢昌海博士的系列文章对黎曼猜想作了非常生动的介绍。

为什么黎曼猜想如此重要呢?黎曼以其深刻的洞察力，发现素数的许多性质和黎曼函数的解析性质密切相关。黎曼函数也可以稍稍变化，改成更一般的狄利克雷级数

<左右滑动>

此外还有许多更复杂的函数。研究表明，许许多多重要的数论猜想或定理本质上都和研究这类函数的零点位置有关。比如前面说的素数定理等等。因此从这样的深刻背景来看，我们有理由预见，那些表面上看似简单的未解决之难题，即使有证明也必定是极其艰深的，绝不可能用简单的初等方法获得。

黎曼的这一杰出工作，可以说是开了解析数论之先河，给数论研究提供了强有力的研究工具和技巧。尽管我们至今无法证实黎曼猜想，但是可以退而求其次，想办法证明所有这些零点落在一条狭窄的区域里面——这个区域当然要包含整条直线。我们要做的是将这个区域不断地缩小。如果最终能压缩成直线，那就等于证明了黎曼猜想。一个十分有趣的现象是：区域缩得越小，那么就能得到越多的关于素数的深刻定理。

另一种迂回的方式，则是企图在函数域情形探讨黎曼猜想的一个模拟。事实上，Weil在有限域代数曲线上建立了这样的类似猜想——Weil猜想。Weil本人于1948年证明了该情形的猜想。对有限域上高维代数簇情形，Weil也提出了类似猜想。数学家Deligne利用代数几何等理论工具于1973年证明了它。尽管这一猜想离原始的黎曼猜想还相差很远，但这一杰出的工作已经影响深远，极大地推动了数学各领域的发展，特别是代数几何理论。

8一些题外话

我最早是通过汤涛教授的新浪微博了解《数学文化》的，并立刻被深深吸引住了，成为其忠实粉丝。在这里，我要感谢《数学文化》各位老师给我这次难得的锻炼机会，也要感谢他们在科普传播方面的辛勤劳作，让我们能够看到数学有如此生动有趣的一面。

多项式的多代表什么,多项式的概念是什么(7)