椭圆方程推理