2019年谈胜利 从平面几何的发展看现代数学.pptVIP

从平面几何的发展看 现代数学 谈胜利 二零零四年十二月一日 欧几里得几何（ ~ 公元前 300 ） 总结了公元前 7 世纪至 4 世纪希腊的几何成果。 研究对象： 直线 和 圆 解析几何（ 17 世纪初） 笛卡儿和费尔马引进了坐标后 几何问题 代数问题 研究对象： 直线 和 圆锥曲线 射影几何（ 17 世纪初） 研究对象： 直线 和 二次曲线 的射影性质 坐标几何 微 积 分 解 析 几 何 射 影 几 何 代 数 几 何 Pascal 定理 （公元 1640 ） Brianchon 定理 （ ~ 1800s ） P Q R P Q R 欧氏平面上的二次曲线 椭圆 : 与无限远直线 L ? 不相交的二次曲线 抛物线 : 与 L ? 相切的二次曲线 双曲线 : 与 L ? 相交两个点的二次曲线 圆 : 与 L ? 相交于下述两个固定虚点的二次曲线 [ 1, i , 0] , [ 1, - i , 0 ] 平行线 : 相交于无限远处的两直线 将 P 和 Q 的连线移至无穷远 将过 P 的切线线移至无穷远 关于圆的定理 A B C b c a 三次曲线的研究 牛顿 １７０７证明在坐标变换下三次曲线有 标准方程 : y 2 = x 3 + ax 2 +bx+c 曲线的相交（ 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 定理的推广。 ＊ 欧拉 给 克莱姆 的一封信中提到过此结果。 Cayley-Bacharach 定理 ： 设两曲线 C m 和 C n 交 mn 个点， 如果第三条曲线 C m+n-3 过其中 mn-1 个点，那么它 一定过剩下的点。 定理（ 2000 ） ： 设两曲线 C m 和 C n 交 mn 个点，如果第 三条曲线 C m+n-k 过其中 mn-(k-2) 个点，那么它一 定过剩下的 k-2 个点。 注意 ：推广到曲面上。高维时为猜想，等价于代数 几何中著名的 Fujita 猜想 圆锥曲线和三次曲线的差异 二次曲线可以用有理函数参数化，三次不行。 x=x(t), y=y(t) 曲线的复图形不同： 直线和二次曲线的图形是球， 三次曲线的图形是环面。 复曲线的想法来自 Riemann (1851), 他将多项式方程 f(w,z)=0 中的 w 看成是 z 的多值函数 w=h(z) , 复曲线的图形就 是复 z- 平面的多层覆盖所形成的 Riemann 面 。这导 致了现代数学中 流形 概念的产生。 Riemann 面的图 形为： 图形中洞的个数 g 成为亏格 三次曲线又叫 椭圆曲线 y 2 = 4 x 3 + ax+b 因为它与 椭圆积分 有联系。椭圆积分大致上就 是包含三次或四次多项式的平方根的积分，来 自椭圆周长的计算。这种联系是由 高斯、阿贝 尔、 Jacobi 于 1820 年代发现，后来被 Riemann (1850 年代）、 Weierstrass (1863) 和 Poincare (1901) 进一