1745年斯蒂尔运用数学归纳法推导出了椭圆方程。