硬解定理的判别式（硬解定理公式完整版）

硬解定理用Ax+By+C=0和x^2/a^2+y^/b2=1联立得出来的。

在将圆锥曲线的方程与直线方程联立求解时人们发现了可消项的存在。但其一般化的推导结果不具有普适性，且一直无法用一个简洁的形式表示。

由CGY（2010）以椭圆曲线推导，重新排列分组形式，并引入ε，从而得出了较为简洁的表示形式。后再由CGY成功引入弦长计算公式，并将适用范围扩大到对y值求解与对x的求解，从而奠定了CGY-EH定理强大的通用性与普适性。