硬解定理就是個笑話，其實就是用Ax+By+C=0和x^2/a^2+y^/b2=1聯立得出來的，只是把結果背下來而已硬解定理用Ax+By+C=0和x^2/a^2+y^/b2=1聯立得出來的。
在將圓錐曲線的方程與直線方程聯立求解時人們發現了可消項的存在。但其一般化的推導結果不具有普適性，且一直無法用一個簡潔的形式表示。
由CGY（2010）以橢圓曲線推導，重新排列分組形式，並引入ε，從而得出了較為簡潔的表示形式。後再由CGY成功引入弦長計算公式，並將適用範圍擴大到對y值求解與對x的求解，從而奠定了CGY-EH定理強大的通用性與普適性。
