当二次型在二维平面的情况下时，就等价于二次曲线的化简。二次曲线的化简主要用到平移和旋转，这恰好是复数所“擅长”的。因此，以复数为工具来对二次曲线进行化简，似乎是一种很显然的思路。然而，我却没有看到这方面的内容，而且我自己之前也忽略了这一思路。下面我对这个思路进行一点探索。

由于只打算做一些启发性引导，所以在这里只考虑$ Ax^2+2Bxy+Cy^2=1$这种不完全的形式（它不包含抛物线）。

对于一个复数$z=x+yi$，有
$$ x=\frac{1}{2}(z+\bar{z}) \\ y=\frac{1}{2i}(z-\bar{z})$$
将这两条式子代进去，就可以得到任意一条平面曲线的复数表达式式。对于上述二次曲线，我们可以得到：
$$(A-C+Bi)z^2+(A-C-Bi)\bar{z}^2+2(A+C)z\bar{z}=4$$

对于二次型的最终表达式，我们希望最后是只有平方项的，平方项的复数表达式为
$$z\bar{z}=x^2+y^2 \\ z^2+\bar{z}^2=2(x^2-y^2)$$

因此，我们要做的就是把二次曲线的复数表达式变换成$z\bar{z}$和$z^2+\bar{z}^2$的线性组合形式。而直接从
$$(A-C+Bi)z^2+(A-C-Bi)\bar{z}^2+2(A+C)z\bar{z}=4$$

就很容易看出，只要令
$$Z=z\sqrt{A-C+Bi}$$

上式就可以改写为
$$Z^2+\bar{Z}^2+\frac{2(A+C)}{\sqrt{(A-C)^2+B^2}}Z\bar{Z}=4$$

这就是我们期待的形式。这真是一个很讨人喜欢的巧合！这样，我们从复数出发，稍微经过了一点运算，轻松得出了二次曲线的最简形式：
$$\begin{aligned}2(X^2-Y^2)+\frac{2(A+C)}{\sqrt{(A-C)^2+B^2}}(X^2+Y^2)=4 \\ (\frac{A+C}{\sqrt{(A-C)^2+B^2}}+1)X^2+(\frac{A+C}{\sqrt{(A-C)^2+B^2}}-1)Y^2=2\end{aligned}$$

而且用矩阵化简二次曲线的时候，旋转变换的具体形式是较难给出的，但是复数就不同了，它直接告诉我们：
$$Z=z\sqrt{A-C+Bi}$$

可见，这种数的几何在某些情况下还是有相当大的优越性的。虽然矩阵代数可以完全把高维数（四元数、八元数）的结果囊括进去，但是研究一下数本身的规律，还是相当有启发性的。就好比复数在现代的量子力学中占据了本质的地位，这是发明者完全想象不了的。也许某一天，某一种数也会在描述宇宙中发挥更大的作用。这便是数学的魅力所在！

转载到请包括本文地址：https://kexue.fm/archives/1851

更详细的转载事宜请参考：《科学空间FAQ》

如果您还有什么疑惑或建议，欢迎在下方评论区继续讨论。

如果您觉得本文还不错，欢迎分享/打赏本文。打赏并非要从中获得收益，而是希望知道科学空间获得了多少读者的真心关注。当然，如果你无视它，也不会影响你的阅读。再次表示欢迎和感谢！

如果您需要引用本文，请参考：

苏剑林. (Jan. 02, 2013). 《用复数化简二次曲线的尝试 》[Blog post]. Retrieved from https://kexue.fm/archives/1851

@online{kexuefm-1851,
        title={用复数化简二次曲线的尝试},
        author={苏剑林},
        year={2013},
        month={Jan},
        url={\url{https://kexue.fm/archives/1851}},
}