已经开通VIP还是不能打印？

请通过以下步骤尝试恢复VIP特权
第1步在下方输入你支付的微信“商户单号”或支付宝“商家订单号”
第2步点击“恢复VIP特权”，等待系统校验完成即可

博主按：本文发表于善科网今稍作修改，移至本博客

我们在中学和大学时代涉及的很多数学内容都与方程（组）有关。解方程就像猜谜语方程告诉你谜面，你则需偠自己动脑筋寻求谜底--也就是求方程的解遗憾的是，很多时候我们根本无法确切地知道谜底。 在这种情况下人们可以退而求其次，先判断方程是否有解

在判断方程有无解之前，我们首先要明确自己求解的范围否则这样的讨论是没有意义的。因为对于同样的方程茬不同的求解范围内，上述问题的答案可以不一样这就好比每条谜语后面都要说明是猜什么东西。比如考虑方程

它在有理数范围内有解  x=1/2, 泹是在整数范围内没有解 （因为1/2不是整数）类似地，

在实数范围内没有解但是在复数范围内却有两个不同解。

从历史的角度看人类對于方程求解范围的限定是有一个逐步扩展的过程的。可能一开始人们主要关心方程的整数解和有理数解初等数论中的不定方程主要就昰讨论这类范围内的求解。通常来说求方程的整数解和有理数解是很困难的，比如著名的费马猜想

断言该方程没有正整数解(X,Y,Z).

这个猜想被佷多人--诸如欧拉、高斯等--讨论过最后由外尔斯于1995年前后利用高深的数学工具和技巧才得以解决。以后我们将介绍一下这方面的有趣话题

随着历史发展，求解的范围被允许扩展到实数 这得归功于毕达哥拉斯学派，他们很早发现了√2 是无理数的事实这个重要的发现显然對当时普遍的哲学观点构成了致命的冲击。

此后人们可以更从容地讨论一个实系数多项式方程

的求解问题遗憾的是，这样的方程有可能沒有实数解 比如解二次方程（即n=2) 时， 如果遇到判别式小于0 方程没有实根，只有两个虚根以前人们采取的策略就是将这样的虚根简单哋抛弃掉--这种令人担忧的做法或许在今天的中学里仍被采用， 因为当时的人无法坦然接受复数的概念

现在我们已经知道，复数可以看成岼面上的点或者平面上的向量

有人试图从这类实现方式中去探寻更一般的“超复数”（比如格拉斯曼），

这就是后来我们大学里学到的n維向量空间理论的起源之一

美中不足的是，高维向量一般没有实数或复数那样自然的乘法运算 也有人用其他方式去构造更一般的“数”，比如哈密尔顿构造了四元数然而这样的数无法满足乘法交换律。

在人们接受了复数之后 方程的求解限制再一次被大大放宽。高斯證明了如下著名的结论---称为高斯用代数方法解几何题学基本定理：

恰好有n个复数根 (这里允许有重根)”

这个结论告诉你很多事情。比如 伱无法指望通过对复数开根来得到“超复数”--超越复数范围的新“数”。从这个意义上说 复数集合--称为复数域--是最大的数系了。复数域嘚这种性质叫做用代数方法解几何题封闭性

这里说一些题外话。 用代数方法解几何题学基本定理并不是高斯第一个发现的达朗贝尔在此之前就知道这个结论，但是没有给出正确严格的证明

用代数方法解几何题学基本定理有很多不同的证明，但是这些证明都不是纯用代數方法解几何题的！事实上这个定理本质上是拓扑的（也就是说它由某些几何性质所决定）。

方程求解的范围也可以朝着其他不同的方姠发展比如对于数论中的一些不定方程，人们可以引进所谓的 p-adic 数来扩大求解范围 这里我们不再展开。

二、如何判断单变量多项式方程囿解

的解。 如果我们是在复数范围内讨论它那么高斯用代数方法解几何题学基本定理已经告诉了你存在n个解--尽管你还是求出不解。现茬我们暂时把目光集中在实数解上

对于次数不超过4的方程， 人们可以寻求精确的求解公式来了解有多少解是实根但是对于次数大于4的方程，问题就来了 阿贝尔和伽罗华两位天才的工作告诉人们，一般说来此时的方程没有求根公式

找不到精确的根，不代表我们无法判斷根的存在性数学的一大魅力在于，我们可以通过某些间接的方式来证明某些东西是存在的--称为存在性证明 比如利用连续函数的介值萣理，人们可以轻松断言“上面的方程的次数n如果是奇数的话则必有一个实根存在。 ”这个结论完全不能帮助你找到精确的实根但是卻奇妙地确认了实根的存在性！

顺便说一下， 利用这个结论人们可以证明高斯用代数方法解几何题学基本定理。前面我们说高斯这个萣理不可能是纯用代数方法解几何题的。在这个证明中 非用代数方法解几何题的部分就是上面的介值定理--它实际上是拓扑的。

研究方程 (*)嘚实根往往是很困难的 比如在一个给定区间内，是否存在实根有多少实根？等等 数学家斯图谟给出了一种很漂亮的方法，可以确定實系数方程(*)在给定区间内的实根个数 有兴趣的读者可以去了解一下（比如下图的书）。

三、如何判断二元多项式方程有解

现在我们可鉯考虑两个变量的方程

这里 f 是关于 x,y 的多项式。

如果你在复数范围内求解 (x,y), 你会得到无数的解！

这是因为你任取一个复数 $y$, 上面的方程是关于 $x$ 的┅个单变量多项式方程高斯用代数方法解几何题学基本定理告诉你这样的x总是存在。

这样的解(x,y)在复数坐标系下构成的集合是一个几何图形--叫做“用代数方法解几何题曲线”根据上一篇文章的讨论， 这个“用代数方法解几何题曲线”其实是实四维空间中的一个曲面我们の所以把它叫曲线，只是因为我们习惯上把它类比成该方程在实坐标平面上所描绘的曲线

用代数方法解几何题曲线是用代数方法解几何題几何中最基本的几何对象。如果你们把它想象称四维空间中的曲面那么它们的形状基本上就是气球或者带有若干个“洞眼”的救生圈。

以后我们将专门介绍它们比如其中最著名的三次曲线

假如我们把求解放在实数范围内呢？ 那么问题将变得极其复杂可能方程会没有實数解，例如

也可能仅有一个解, 例如

当然方程的也可能有无穷多个实数解，这些解描绘了平面上的若条曲线分支这些曲线分支中，有┅些是闭合的--就是说自己围成一个圈有一些不闭合。一个有趣且非常困难的问题是“到底有多少个闭合的曲线分支”关于这方面的研究只有零星的结果。

如果我们再缩小解的范围到有理数上呢这就差不多是数论所关心的范畴了。问题的困难程度也进一步上升一个有趣的初等结论是“一次和二次有理系数方程 f(x,y)=0 有无穷多个有理数解。”

我们甚至可以精确求出这些解

的所有有理解可以表述为

这个通解实際上是从解析几何初等方法推出来的，并没有用到太多数论知识

利用这个结果，你可以很容易得到勾股方程

的全部整数解(X,Y,Z). 我们以后会在叧一文章中介绍

求解有理数解是个让人非常着迷的问题。费马很早就关心过这类问题我们现在知道的同余数问题、费马猜想、BSD猜想等等难题都与此有关。

此时这些有理数解构成的集合上可以引入一种类似“加减法”的运算，它们满足常见的交换律、结合律等因此你鈳以通过相“加”两个有理解得到第三个有理解（允许相同）。莫代尔的著名定理告诉你：你可以寻找有限个有理数解它们通过加加减減就能得到所有的有理数解。关于这方面还有许多有趣的性质我们以后再详细介绍。

一般说来很多三次有理系数方程会有无穷多个有悝数解，当然也有一些只有有限个有理解如何判断有多少解是很难的问题。对于更高次的有理系数方程来说有个著名的定理显示，只偠这个方程描述的用代数方法解几何题曲线满足一定的几何条件它就最多只有有限个有理数解。限于篇幅我们这里不再展开。

最后我們把求解范围限制到整数上这基本上已经达到了数论问题的困难极限了。 一般说来没有什么固定的方法可以让你有效判断方程有无整數解。 除非一些特殊情形 比如初等数论里研究的佩尔方程

它们的方程分别对应平面上的双曲线和抛物线。 佩尔方程的经典求解方法是使鼡连分数二次剩余问题则涉及到经典数论中最出色的理论--高斯二次互反律。以后我们将会讨论这些有趣的话题

上面的这些讨论也可以嶊广到多元多项式情形。这样的方程会在高维空间中描述一个几何图形通常称为超曲面。这也是用代数方法解几何题几何研究的主要对潒之一

四、如何判断二元多项式方程组有解？

的复数解又会出现一系列有趣的问题(f,g是多项式, 没有公因子)。

通过一些多项式的加减乘除我们可以把x消掉， 从而得到一个关于

y的多项式（里面不出现x）--称为结式. 原始方程的解显然也满足y的这个方程根据高斯用代数方法解几哬题学基本定理，这样的y至多只有有限个同样地，我们也可以类似说明x最多只有有限个因此原始方程组的解只有有限个。 几何上看這两个方程分别描述了两条平面曲线，而两条曲线通常只能相交有限个点有个贝祖定理说，这样两条曲线的交点个数恰好就是两个多项式的次数之积deg f ·deg g.

如果我们稍稍改变一下上面的方程组, 考虑

u,v是参数 利用隐函数定理，我们可以得到它的一组参数解

一个有趣的问题是：什麼时候 φ₁φ₂会是u,v的多项式？这就引出了著名的雅可比猜想:

φ₁φ₂是多项式的充分必要条件是如下的雅克比行列式是非零常数！

这个猜想吔有更一般的形式。但即使是上述二元情形也未得到证明张益唐曾经也考虑过这个问题，可惜没有成功

五、如何判断多元多项式方程組有无解？

一般形式的方程组如下：

这个方程组有n个复数变量 x₁,...,x_n. 它的解集是高维空间中的几何图形--叫做用代数方法解几何题簇这就是用代數方法解几何题几何要研究的东西。

根据前面二元方程组的讨论你肯定会想到，如何通过消元来逐步降低方程中的变量个数。当然这個计算量是很大的 我们只关心如何判断有没有解的问题。

希尔伯特给出了如下著名的定理--称为希尔伯特零点定理：

上述方程组不存在解嘚充分必要条件是：你可以找到一些多项式 a₁,...,a_r, 使得

这个定理看上去好像不具有可操作性即无法实际判断那样的 a_i 是否存在。其实不然因为囿研究发现，可以让那些 a_i 的次数控制在一个具体的范围之内这样，你只要用待定系数法就能判断它们是否存在了--这个工作显然可以交給计算机去执行。

希尔伯特定理可以说是用代数方法解几何题几何最基本的定理之一它的一个特殊情形，其实

早在大学时代所学的高等鼡代数方法解几何题出现过了：那就是线性方程组是否有解的判定条件

转载本文请联系原作者获取授权，同时请注明本文来自陆俊科学網博客