几何 1219 字 约 3 分钟 3 图

升高维度,解决问题

本文整理自今天的上课笔记,就不再重新用电脑画图了。

先来看一道简单的题目:

、、在一条直线上顺次排列,为中点,为中点.求证:.

重绘插图

证明:


如果我们把第一个条件“、、三点共线”去掉,则从直线(一维)上变成平面(二维)上的问题.

为中点,为中点.求证:.

重绘插图

容易看出,此时为的一条中位线,结论显然成立.

事实上,我们可以将点不断移动,使其趋于直线上,在此过程中始终成立.由于变化过程是连续的,故当移动到直线上时,结论也依然成立.(注:这里的说明不太严谨,只是为了方便理解)

因此,我们利用二维中的一个“显然”的结论,证明了一维中的问题.


我们再来看一道平面几何问题.

(笛沙格定理) 和对应顶点连线交于一点,且对应边不平行.则对应边交点、、三线共点.

重绘插图

证明:

由截,有

由截,有

设,由截,有

三式相乘并约分得:

于是、、三点共线,即和重合.

因此、、三线共点.证毕.


我们继续用升高维度的方法来看这题.

空间中两个三角形和对应顶点连线交于一点,且对应边不平行.则对应边交点、、存在,且三线共点.

重绘插图

将上图看成平面截三棱锥.证明和的交点、和的交点、和的交点(当然,要先说明三个交点都存在),这三点共线.

证明:

由知,,,四点共面.由和不平行知,和相交.设,平面为,平面为.

于是,又,因此,同理.

所以,同理,.

从而、、都在上,而由公理

如果两个平面有公共点,那么这两个平面的所有公共点的集合是一条直线.

知为一条直线,所以、、三点共线,证毕.

同前面的分析,我们可以让点不断移动,并且趋于平面上,同理可得二维的结论依然成立.

这样的升高维度,将一道竞赛难度的平面几何问题变成了刚学高中立体几何就能立马解决的问题。由此可以看出升高维度对解决问题所起的积极作用。

事实上,将问题放在更高维度中解决,是一个常用的好方法。试想一下,如果在桌面上由一团乱糟糟的线,要将它们理顺是非常困难的。但如果将线拿起来放在空中,让它们之间产生更多的空隙,这样线团的结构就更加清晰明了了。上面两个例子的原理也正是如此。

参考阅读

高维庞加莱猜想

这一时期拓扑学家对庞加莱猜想的研究,虽然没能产生他们所期待的结果,但是,却因此发展出了低维拓扑学这门学科。一次又一次尝试的失败,使得庞加莱猜想成为出了名难证的数学问题之一。然而,因为它是几何拓扑研究的基础,数学家们又不能将其撂在一旁。这时,事情出现了转机。

斯梅尔(Smale)在60年代初想到了一个天才的主意:如果三维的庞加莱猜想难以解决,高维的会不会容易些呢?

1960年到1961年,在里约热内卢的海滨,经常可以看到一个人,手持草稿纸和铅笔,对着大海思考。他,就是斯梅尔。

1961年的夏天,在基辅的非线性振动会议上,斯梅尔公布了自己对庞加莱猜想的五维空间和五维以上的证明,立时引起轰动。 斯梅尔由此获得1966年菲尔兹奖。

1983年,美国数学家福里德曼(Freedman)将证明又向前推动了一步。在唐纳森工作的基础上,他证出了四维空间中的庞加莱猜想,并因此获得菲尔茨奖。但是,再向前推进的工作,又停滞了。

拓扑学的方法研究三维庞加莱猜想没有进展,有人开始想到了其他的工具。瑟斯顿(Thruston)就是其中之一。他引入了几何结构的方法对三维流形进行切割,并因此获得了1983年的菲尔茨奖。

“就像费马大定理,当谷山志村猜想被证明后,尽管人们还看不到具体的前景,但所有的人心中都有数了。因为,一个可以解决问题的工具出现了。”清华大学数学系主任文志英说。

留言

解法、疑问、勘误都可以说。公式用 LaTeX:行内 $…$,整行 $$…$$。

留言区还没开。想聊这道题,可以点上面的「在公众号查看原文」,到公众号那边留言。