《高职应用数学（下）》课件——项目8 数学文化——二次型理论的发展史.pdfVIP

扩展阅读

数学文化——二次

型理论的发展史

1

数学文化——二次型理论的发展史

——节选自《线性代数》（马凤敏等著）

二次型理论的系统研究起源于对二次曲线和二次曲面的分类问

题的讨论。将二次曲线和二次曲面的方程变形，选主轴作为坐标轴以

简化方程的形状，这个问题是在18世纪开始研究的。

1657年，费马指出方程(为非完全平方的正整数)有

无穷多个整数解，研究了将一个数表示为型，，

乃至的问题，但并未给出证明。几十年后，瑞士数学家欧拉改

进了费马的求解方法，并讨论了三元二次型的化简问题.

二次型化简的进一步研究涉及二次型或行列式的特征方程的概

念。特征方程的概念隐含在欧拉的著作中，拉格朗日在其关于线性微

分方程组的著作中首先明确地给出了这个概念。而三个变数的二次型

的特征值的实性则是由阿歇特、蒙日和泊松建立的。1801年，高斯在

《算术研究》中引进了二次型的正定、负定、半正定和半负定等术语。

1826年，数学家柯西在别人著作的基础上，着手研究化简变数的二次

型问题，并证明了特征方程在直角坐标系的任何变换下的不变性。他

还利用特征根概念解决了元二次型化简问题，并且证明了两个元

二次型可用非退化线性替

换同时化成标准形。柯西在其著作中给出结论：当方程是标准

形时，二次曲面用二次项的符号来进行分类。然而，那时并不太清楚,

在化简成标准形时，为何总是得到同样数目的正项和负项。西尔维斯

特回答了这个问题，1852年，西尔维斯特提出了二次型的惯性定律，

即任一实二次型经过非退化线性替换总可以化成规范形，

并且，是不变量，但是当时他没有给出证明。1857

年，这个定律被雅可比重新发现和证明。1858年，魏尔斯特拉斯对同

时化两个二次型成平方和给出了一个一般的方法。魏尔斯特拉斯比较

系统地完成了二次型的理论并将其推广到双线性型。

实二次型在数学很多分支里都频繁出现，在其他学科也到处可见，

比如优化、概率、图论、统计、机器学习、信号处理等的很多问题都

2

可以转化成二次型，因此二次型的研究有重要的现实意义。

3