如何将矩阵化为约旦标准型_二次型和矩阵合同原来是这么一回事

在数学中，二次型(Quadratic Form)是指关于变元的二次齐次多项式。例如，

是关于变元 和 的一个二次型。

二次型在一元、两元和三元的情况下，被称为 unary，binary 和 ternary，可以写为以下形式，

其中 是系数。

二次型在许多数学分支，包括数论、线性代数、群论(正交群)、微分几何、微分拓扑和李代数中，占有重要地位。

二次型可以用于表示某些二次曲线。例如，可以表示下图中旋转的椭圆，

其在 坐标系中的方程对应如下关于二次型的等值式，

这个例子说明，正确选择坐标系或者基底，通常可以简化方程或者待处理的特定问题。

将 坐标系逆时针旋转 度，进入 坐标系。此时， 乘积项没有了，椭圆方程简化为，

这个方程中两个变元之间独立了，形式干净漂亮。那么给定一个二次型，我们如何得到它的标准型呢？这就是本文要讨论的内容，在正式开始之前，我们先来回顾一下有关二次型的研究背景和简史。

0历史简介

对特定二次型的研究，特别是关于给定整数是否可以是整数上二次形式的值的问题，可以追溯到多个世纪以前。一个这样的例子是关于两个数平方和的问题，即确定何时可以用 这样的形式表示整数，其中 ， 是整数。这个问题与古老的毕达哥拉斯三元组问题有关。

公元 628 年，印度数学家 Brahmagupta 撰写的著作中包括对 这类方程的研究。特别地，他考虑了现在称为 Pell 方程 的问题，并找到了一种求解方法。在欧洲，布龙克尔(Brouncker)，欧拉(Euler)和拉格朗日(Lagrange)研究了这个问题。

而对二次型进行系统性研究可以说是从 18 世纪开始的，它起源于对二次曲线和二次曲面的分类问题的讨论，将二次曲线和二次曲面的方程变形，选有主轴方向的轴作为坐标轴以简化方程的形状，这个问题是在 18 世纪引入的。

柯西在前人基础上得出结论: 当方程是标准型时，二次曲面用二次型的符号来进行分类。然而，那时并不清楚，在化简成标准型时，为何总是得