破解一道高计算量圆锥曲线（4）

回带r值证明多项式恒为0。

此类有高等背景的解析几何题通过计算法解决会发现系数极大：此题验算过程出现的最大系数超过了千万（分子。）