全称为圆锥曲线硬解定理，又称圆锥曲线联立公式，其实是一套求解椭圆（或双曲线）与直线相交时，联立方程求判别式、韦达定理与相交弦长的结果公式，常应用于解析几何。