从平面几何的发展看现代数学.pptVIP

从平面几何的发展看现代数学 谈胜利 二零零四年十二月一日 欧氏平面上的二次曲线 椭圆: 　与无限远直线 L?不相交的二次曲线 抛物线: 与 L? 相切的二次曲线 双曲线: 与 L? 相交两个点的二次曲线 圆: 　　与 L? 相交于下述两个固定虚点的二次曲线 　 [ 1, i, 0], 　[ 1, -i, 0 ] 平行线: 相交于无限远处的两直线 将P和Q的连线移至无穷远 将过P的切线线移至无穷远 关于圆的定理 曲线的相交（17 世纪开始） 牛顿 1665 年断言：如果虚点包含在内，m 次曲线 和 n 次曲线有 mn 个交点. f(x,y)=0, g(x,y)=0. 消元法（我国数学家于12世纪发现，Bezout 和欧拉 于 1764 发现明显的算法）： r(x)=f(x,y) u(x,y) + g(x,y) v(x,y). Bezout 定理：牛顿的断言正确。 完整的证明在十九世纪末才找到。 圆锥曲线的定理的推广 Chasles定理：设两三次曲线交9个点，如果第三条三次曲线过其中8个点，那么它一定过第九个点。 ＊　这是 Pappus 定理和 Pascal 定理的推广