如何快速判定一般形式的二次曲线是否为椭圆？
好问题！你提到的“A和C符号相同”只是必要条件，远不是充分的——要严谨判定给定的一般二次曲线$$Ax^2 + Bxy + Cy^2 + Dx + Ey +F=0$$是否为椭圆（这里默认指实椭圆，即有实际几何轨迹的椭圆），我们可以用二次曲线的不变量判别法，这套方法既准确又容易操作，因为不变量不会随坐标系的旋转、平移而改变，能直接反映曲线的本质类型。
核心判定步骤
我们按顺序计算几个关键的判别式/不变量：
第一步：判断是否属于椭圆型曲线
先计算二次项的判别式：
$$\Delta = B^2 - 4AC$$- 如果 $\Delta \geq 0$：直接排除椭圆可能——此时曲线是双曲型（$\Delta>0$，比如双曲线）或抛物型（$\Delta=0$，比如抛物线），或者它们的退化形式。
- 如果 $\Delta < 0$：曲线属于椭圆型，这才有可能是椭圆，继续下一步。
这里补充你关心的A、C符号问题：当$\Delta <0$时，必然有$AC>0$（因为$4AC > B^2 \geq 0$），也就是A和C符号相同。但反过来，A、C同号不能保证$\Delta <0$（比如$x^2 + 5xy + y^2 + ...=0$，A=C=1同号，但$\Delta=25-4=21>0$，实际是双曲线），所以A、C同号只是必要条件，不是充分条件。
第二步：排除退化的椭圆型曲线
计算三阶行列式不变量$I_3$：
$$I_3 = \begin{vmatrix}
A & \frac{B}{2} & \frac{D}{2} \
\frac{B}{2} & C & \frac{E}{2} \
\frac{D}{2} & \frac{E}{2} & F
\end{vmatrix}$$
展开计算的话是：
$$I_3 = A\left(CF - \frac{E^2}{4}\right) - \frac{B}{2}\left(\frac{B}{2}F - \frac{D}{2} \cdot \frac{E}{2}\right) + \frac{D}{2}\left(\frac{B}{2} \cdot \frac{E}{2} - C \cdot \frac{D}{2}\right)$$- 如果 $I_3 = 0$：椭圆型曲线退化了，要么是单个实点（比如$x^2 + y^2 = 0$，只有原点），要么是无实轨迹（比如$x^2 + y^2 + 1 = 0$），都不是椭圆。
- 如果 $I_3 \neq 0$：继续第三步，判断是实椭圆还是虚椭圆。
第三步：判定是否为实椭圆
计算二阶不变量$I_2 = A + C$，然后看$I_2$和$I_3$的符号关系：- 如果 $I_2 \cdot I_3 < 0$：曲线是实椭圆（就是我们平时说的有实际几何形状的椭圆，圆是椭圆的特例）。
- 如果 $I_2 \cdot I_3 > 0$：曲线是虚椭圆，没有任何实坐标点满足方程，一般不认为是“椭圆”（除非在复平面讨论）。
举几个例子验证
- 例1：标准圆 $x^2 + y^2 - 1 = 0$
$\Delta=0-411=-4<0$，$I_3=\begin{vmatrix}1&0&0\0&1&0\0&0&-1\end{vmatrix}=-1≠0$，$I_2=2$，$I_2I_3=2(-1)=-2<0$ → 实椭圆（圆）。 - 例2：斜椭圆 $2x^2 + xy + 2y^2 + 3x + 4y -5=0$
$\Delta=1-422=-15<0$，计算$I_3$结果不为0，$I_2=4$，$I_2*I_3<0$ → 实椭圆。 - 例3：退化情况 $x^2 + y^2 + 1=0$
$\Delta=-4<0$，$I_3=1≠0$，但$I_2I_3=21=2>0$ → 虚椭圆，无实轨迹。 - 例4：双曲线（A、C同号但不是椭圆） $x^2 +5xy + y^2 -1=0$
A=C=1同号，但$\Delta=25-4=21>0$ → 直接排除椭圆可能，实际是双曲线。
内容的提问来源于stack exchange，提问作者SorenJ
