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

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

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

对于二次型的最终表达式，我们希望最后是只有平方项的，平方项的复数表达式为
zˉz=x2+y2z2+ˉz2=2(x2−y2)

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

就很容易看出，只要令
Z=z√A−C+Bi

上式就可以改写为
Z2+ˉZ2+2(A+C)√(A−C)2+B2ZˉZ=4

这就是我们期待的形式。这真是一个很讨人喜欢的巧合！这样，我们从复数出发，稍微经过了一点运算，轻松得出了二次曲线的最简形式：
2(X2−Y2)+2(A+C)√(A−C)2+B2(X2+Y2)=4(A+C√(A−C)2+B2+1)X2+(A+C√(A−C)2+B2−1)Y2=2

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

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

转载到请包括本文地址：https://spaces.ac.cn/archives/1851

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

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

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

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

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

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