平面二次曲线的等距分类.PDFVIP

平面二次曲线的等距分类 这篇笔记里，我们以平面二次曲线的分类为例，展示标准型和不变量两种不同的方法， 借以呈现坐标几何学和变换群几何学两种不同的视角。参见 [尤，第三章] 和 [王，第三章 第 3 节] 。 平面二次曲线 定义 在平面笛卡尔坐标系下，一般的平面二次曲线是由方程 Γ: + 2 + + 2 + 2 + = 0 定义的点集，其中系数都是实数且二次项系数不全为零。 例1 （1）标准的椭圆或双曲线方程 ± = 1 以及标准的抛物线方程 = 2 都可以整理成一般方程的形式，所以它们都是平面二次曲线的例子，统称为圆锥曲线。 （2 ）形如 ( + + ) = ℎ 的方程也给出平面二次曲线的例子，根据右边为正、为零、或者为负，解集分别是两条平行 直线、一条直线、或者空集。 （3 ）形如 ( + + ) ( + + ) = 0 的方程，如果 − ≠ 0，则解集是两条相交直线。 （4 ）形如 ( − ) + ( − ) = 0 的方程，解集是一个点。 （5 ）如果 − ≠ 0，线性代换（仿射坐标变换） = + + ℎ = + +   并不降低方程的次数。这样我们还可以得到更多具体的平面二次曲线。 （6 ）把方程系数都乘以相同的非零倍数并不改变所定义的平面二次曲线。 上面的例子表明平面二次曲线具有多种多样的形态。这里的复杂性一方面来自系数域的 限定（实数而不是复数，如例 1 （2 ）所见），一方面来自方程的系数随次数的增多（对比平 面一次曲线或高次曲线）。 问题 给定平面二次曲线的方程，如何判断曲线的形状？ 具体来讲，我们首先想知道：通过坐标变换是否可以把曲线方程整理为例 1 （1）—（4 ） 中的形式之一。由于不愿改变曲线的形状（比如圆锥曲线的准焦距、准焦比等度量特征）， 我们打算只使用（保向的）等距坐标变换。这种理解下，问题 3 其实是希望用移轴和转轴把 曲线的方程化成标准型。 换个角度设问：能否不借助标准化，仅通过系数的某些函数就确定曲线的特征，甚至能 否要求这些函数在等距坐标变换下保持不变？这样的函数被称为曲线方程（或二元二次多项 式）关于等距坐标变换的代数不变量。注意到例 1 （6 ），我们说方程的代数不变量并不完全 等同于曲线的几何不变量。不过，新的设问已经体现出变换群几何学的主要计划，即通过不 变量来完成对象的分类。 用移轴和转轴完成坐标方程的标准化 仿射坐标变换的实质是重新选定平面的仿射标架。通过重选标架，点的坐标变为新坐标 系下的坐标，曲线的方程变为新坐标系下的方程。所谓移轴和转轴就是通过平移和旋转旧标 架获得新标架。这两种变换都是标架的保定向、保内积的变换。我们首先需要知道诱导的坐 标和方程变换的形式。 为了合乎更一般的处理，我们把方程 Γ 改写成矩阵形式 = 0， 其中 = y