圆锥曲线硬解定理得到的弦长公式大幅简化运算