1824年，一位年轻的挪威数学家尼尔斯·亨里克·阿贝尔取得了一个与某类方程相关的令人震惊的结果。不久之后，法国天才数学家埃瓦里斯特·伽罗瓦以深入的眼光证明了这一结果为什么是正确的——并在这个过程中开创了用数学研究对称性的先河。可惜两人都英年早逝，没有来得及享受他们的工作带来的好处。阿贝尔于1829年死于肺结核和贫困，时年26岁。伽罗瓦死于1832年，他在一场据称是为了争夺一个女人而进行的决斗中被杀死。当时他只有二十岁。
尼尔斯·亨里克·阿贝尔
那么他们做出了什么样的工作？方程和对称性又有什么关系？
解方程
最著名的公式之一是二次方程的通解公式，如果方程写为：
那么通解公式就可以告诉我们方程的解为：
以及
企业回1、CDMP认证简介CDMP数据管理专业认证是由DAMA国际于2004推出，是一项涵盖学历教育、工作经验和专业知识考试在内的综合资格认证，也是目前全球数据管理方面的权威认证。2、DAMA简介国际数据管理协会（DAMA国际）于1980年在洛杉矶成立，是一个非。
无论a，b，c的值是多少，这个公式都可以告诉你解是多少。它们使用起来很方便。
这有一个类似的但复杂得多的公式可以告诉你三次方程的通解，方程的形式为：
还有一些更复杂的方程可以告诉你四次方程的通解，这些方程可以写为：
虽然关于二次，三次，四次方程的通解公式看起来有些复杂，但是它们只包含了有限个运算操作：加、减、乘、除、开平方、开三次方、开四次方。
求微分方程通解的方法有很多种，如：特征线法，分离变量法及特殊函数法等等。而对于非齐次方程而言，任一个非齐次方程的特解加上一个齐次方程的通解，就可以得到非齐次方程的通解。每次都有一个任意常数，等式两边求不定积分。
很显然，你接下来会问，我们可以为五次方程找到一个类似的通解公式吗？
更一般的，包含x高阶项的多项式方程的通解公式长什么样子？
伽罗瓦画像 在他死后16年的1848年，由他的兄弟根据记忆所作
我们想要的是一个公式，这个公式只包含加减乘除和求根操作。如果一个方程具有这样一个通解公式，那么我们说这个方程是有根式解的。
1824年阿贝尔证明的结论是：对于一般的五次方程，不存在根式解。当然，微分方程的三种通解，这并不意味所有的五次方程都是没有根式解的。例如，多项式方程：
拥有一个解：。
但是对于一般的五次方程，确实不存在一个普适的根式解公式。
不变的对称性
首先，让我们思考对称性真正的含义。我们说一个正方形是对称的是因为我们将它绕着中心轴旋转90度，或者将它对于各种轴做反射操作并不会改变它的外观。所以对称性意味着没有变化：如果我们对某个物体进行某种操作之后并没有改变它，那么它就具有对称性。
当我们思考二次方程式，我们可以发现少许对称性。例如，二次方程
拥有两个解
方程具有两个离散的解，但是某种意义上，它们非常相似：只需在一个解上加上一个负号就可以得到另一个解。也许交换两个解并不会带来什么不同，就像对正方形做镜像操作一样意味着一种对称性一样，交换方程的两个解也许也意味着某种对称性。但究竟是哪种对称性呢？
加入无理数
蝴蝶有对称性，方程也有对称性！
为了理解这些结果，让我们考察一下方程所包含的数字：
二阶微分方程的3种通解公式如下：第一种：两个不相等的实根：y=C1e^（r1x）＋C2e^（r2x）。第二种：两根相等的实根：y=（C1+C2x）e^（r1x）。第三种：一对共轭复根：r1=α＋iβ，r2=α－iβ：y=e^（αx）。
方程的系数是1和-2：两个系数都是有理数。但是它的解却是两个无理数：你无法将
和写成两个整数相除的形式。多数二次方程的解都是无理数，因此只考虑方程的系数是不够的。
让我们把视野放宽一点。我们不光考察一组有理数（写作），我们还要考察一组新的数，这组数写作 。这组数包含所有可以写作的数，其中a和b是有理数。很显然，新的一组数包含所有的有理数（b=0），同时也包含前面二次方程的两个解和。
新的一组数是自包含的（ self-contained）：你可以将其中的两个数相加、相减、乘或者相除，得到的结果仍然在这组数里。在数学中，被称为一个域（field）。在代数操作下的自包含性是域的基本特性。事实上，是包含所有有理数以及和的最小的域。
交换两个解
现在我们回到将两个解和。进行交换的想法。在中将所有的 和进行交换，我们可以用函数f来表示这种交换操作：
将f作用在 中的所有数上并不会改变 也不会改变它的结构。并且，它并不会改变这个域中的所有有理数。
很显然，f并不改变域中的有理数，对于无理数，经f作用后仍然处于中。（因为是中的一个数，也是中的一个数）。
更进一步，将f作用在上保持加减乘除的结构。假设你对中的两个数和进行加、减、乘、除操作得到新的数，然后将和进行加、减、乘、除可以得到在某种意义上，函数f是方程的一个对称变换。它不会改变。函数f被称为域的-自同构：它是从到自身的双射函数，它不改变中的数并且保持在代数操作下的结构。
伽罗瓦群
1、求解下题方程组的通解：2、转换成，行阶梯方程组，并定义自由未知数，因此，可以得出该题通解，如下：
一个事物，无论它是一个图形还是一个方程，它的对称性的集合构成一个群。这个系统是自包含的原因是两个对称变换的组合仍然构成一个对称变换。在我们的例子中，将对称变换f连续两次作用在一个数上不会改变这个数：
回返带入得到一组未知量的解.这个就可以作为通解. (如果方程和未知量不多的具体题目中可以这么算)线性代数课本里面的方法就是高斯消元法.把方程进行排列之后,系数组成矩阵,从底部到高进行带入消减,(其实就类似于上面的过程。
类似的，先作用f后作用g，或者先作用g后作用f的组合构成了f，而g和g的组合仍然是g。我们的方程的对称性构成的群包含两个 -自同构g和f，它被称为方程的伽罗瓦群。
为什么你解不出一般的五次方程？
我们可以对其他任意多项式做类似的事情，例如对一个五次方程：
就像我们对二次方程做的那样，你可以观察一下这个分裂域的对称性。它的 -自同构包含不改变域内数字的自同构变换和不改变域的结构的自同构变换，它们构成的伽罗瓦群。
纪念伽罗瓦的法国邮票
伽罗瓦所能证明的是，一个方程是否有根式解，取决于它的伽罗瓦群的结构。有时候伽罗瓦群可以被分成更小的分量，它们和取n次方根有关。如果是这种情况，那么方程拥有根式解。
然而，如果它无法以恰当的方式分被解成更小的分量，如果你不能把对称性分离出来，那么你就找不到一个只涉及加、减、乘、除和求根的通解，在这种情况下，方程不存在根式解。
我们可以证明，五次方程并不能以恰当的方式分解。因此，五次方程不存在根式通解。对于包含x的更高次幂的多项式方程也是一样的：它们没有根式通解。用群论研究方程的解被称为伽罗瓦理论，这一理论以其发明者的名字命名。
翻译：Nothing
审校：C&C
