圆锥曲线硬解定理，又称CGY-EH定理或JZQ-EH定理，是一套求解椭圆（或双曲线）与直线相交时联立方程求判别式、韦达定理与相交弦长的简便算法。该定理常应用于解析几何，特别是在中学数学教育中。
定理内容
若圆锥曲线 $\frac{x^2}{m} + \frac{y^2}{n} = 1$（其中 $mn \neq 0$ 且 $m, n$ 不同时为负数）与直线 $Ax + By + C = 0$ 相交于 $E, F$ 两点，则有以下结果：
交点坐标的和与积
$x_1 + x_2 = \frac{-2ACm}{\varepsilon}$
$x_1x_2 = \frac{m（C^2 - B^2n）}{\varepsilon}$
判别式
$\Delta' = mn（\varepsilon - C^2）$
弦长
$|EF| = \frac{2\sqrt{（A^2 + B^2）\Delta'}}{|\varepsilon|}$
其中，$\varepsilon = A^2m + B^2n$，$\Delta' = \frac{1}{4B^2}\Delta$，且 $\Delta = A^2 + B^2 - C^2$。
适用范围
该定理适用于标准双曲线与椭圆，也适用于抛物线，但抛物线的计算量较小，通常选择消去一次项。
特殊情况
当直线与x轴垂直时，直线方程为 $x = ty + m$，此时 $B = 0$，交点 $x_1 = x_2$，弦长公式依然适用。
当焦点在x轴或y轴上时，需要根据焦点位置选择合适的代入公式。
证明过程
设曲线 $\frac{x^2}{m} + \frac{y^2}{n} = 1$ 与直线 $Ax + By + C = 0$ 相交于 $E, F$ 两点，联立两式得到二次方程。根据韦达定理，可以得到交点坐标的和与积。通过代数变换和引入辅助变量 $\varepsilon$，可以进一步简化表达式并得到弦长公式。
应用
圆锥曲线硬解定理在数学、物理、工程等领域具有重要的应用价值。例如，在天体力学中，它可以用于描述行星轨道和天体运动；在无线通信中，它可以用于分析抛物面天线的信号散射特性。
总结
圆锥曲线硬解定理是一套强大的工具，用于求解椭圆、双曲线与直线相交时的各种问题，包括判别式、韦达定理和相交弦长。通过联立方程和代数技巧，可以高效地解决这类问题，并在多个学科中找到实际应用。