唐宋韵

首页文章列表博文目录

个人资料

唐宋韵 (热门博主)

给我悄悄话

博客访问：

【金碧辉煌的圣殿（4. Never say never）】

(2023-11-30 19:18:05) 下一个

金碧辉煌的圣殿（4. Never say never）

在欧氏几何这两千多年的发展史上，共圆（cocircular）问题一直是一个十分有趣的话题，这方面的大量的定理和命题被发现，极大地丰富了人们对图形的认知。稍有几何知识的人都知道，三点如果不在一条直线上，则总是共圆的。四点若要共圆则需要一些条件，比如四点构成的四边形的对角的角度之和为180度，这是四点共圆的充分必要条件。

若是更多的点共圆，有时情况就比较“邪乎”了。例如非常有趣且著名的“九点圆定理”（nine-point circle theorem）是法国数学家Olry Terquem 在几代人结果的基础上，于200年前最终揭示的。九点圆定理的表述也非常简洁：“任意三角形三高线的垂足、各边中点、各顶点与垂心连线的中点，这九个点共圆。”（The midpoint of each side of the triangle, the foot of each altitude and the midpoint of the line segment from each vertex to the orthocenter all lie on the same circle. ）

很神奇是不是？其实远远不止于此。比如，这个“九点圆”的半径是同一个三角形外接圆半径的一半；这个圆分别与同一个三角形的三个旁切圆外切。而且，这个圆的圆心一定在欧拉线上。上一篇我们提到了欧拉线。现在有人误以为欧拉也发现了九点圆。其实不是的，他生前没有看出来。

对中国的几何爱好者来说，名气最大的不是上面那个九点圆，而是1838年由法国数学家Auguste Miquel 发现并证明的的“五点共圆定理”（Miquel's Pentagram Theorem ）。结合下图，这个定理的表述也非常简明：任意一个五角星形（不要求正五角星），分别对其五个三角形做外接圆，则外侧的五个交点共圆。(There are five triangles externally to the pentagon. Construct the five circumcircles. Each pair of adjacent circles intersect at a vertex of the pentagon and a second point. The five second points are concyclic.)

这个定理之所以今年在中国大陆有名，是因为一年前去世的前国家主席江泽民。他是工科出身，也是一位数学爱好者。据他说，求证“五点共圆定理”是他当年考大学的一道题。（水平了得！）于是他多次拿出来考人。他接见中国IMO队时提到这道题，还打电话到中科院院士张景中家里讨论这道题，弄得老张一脑门子汗。最有名的一次是2000年12月20日，江主席在澳门出席澳门特别行政区成立一周年庆祝活动，并参观濠江中学。他即兴给同学们出了这道题，并亲自到黑板上画图。濠江中学师生很少做这么难的题，圣诞都没过踏实，全校攻关，终于在12月28号得证，算过了一个踏实的新年。其实早在此前5年，在哈佛大学数学系教授、菲尔兹奖获得者丘成桐访问中国时，江主席就从兜里面摸出这道题让他证明。老邱一看就晕菜了，心想您这是让将军挖战壕啊。他回到宾馆闭门苦思，终于能在第二天离京前能够给中办一条信息：请转告江主席，他出的题我证出来了，Oh yeah！！！

这些事情，有时都造成了国际影响了。比如濠江中学出题这事儿，韩国媒体就报道了：您瞧人家中国主席多睿智、多有学问。再看看俺们青瓦台的那几块料，除了玩政治还会啥？…… 去年江主席去世的时候，很多人，包括我本都反省，当年我们笑话他爱卖弄，抨击他独裁，有点不公平啊。他肚子里有货，有资格卖弄嘛。而他当政那时候毕竟给我们一点抨击、说怪话空间啊…… 不怕不识货，就怕货比货！

扯远了。我们回来聊几何。我们前两次说的Morley’s trisector theorem 和 John’s theorem 分别是在19和20世纪才被发现的。虽然欧氏几何就像一座特殊的金矿，总能有耀眼的金块被发现，但到了21世纪，在欧氏几何被人类学习、研究了2400年后，人们还能发现简单的几何规律吗？

You bet it！

时间到了2000年。在荷兰的南部海滨有个叫Zeeland的小地方，一位年轻的高中数学老师叫Floor van Lamoen。本来中学老师照本宣科就行了，但这位van Lamoen先生是个数学迷，爱琢磨事儿，他时常在欧氏几何和初等数论方面有些小进展、小发表（不是大数学家那种）。我们都知道任何三角形顶角与对边的中点连成中线，三条中线交于重心G，把三角形分成面积相等的6块。他对6个小三角形分别做外接圆，惊奇地发现6个圆的圆心似乎是共圆的。他将三角形的形状作了多种变换，从图形上看，这个规律几乎肯定是存在的。

然而在试图证明时，van Lamoen却被卡住了，努力好几个月居然未能攻克。这个六点共圆问题的确是不太好证的。相比较而言，前面那个“九点圆定理”倒是比较好证。

于是van Lamoen考虑再三，决定把它作为一个open problem征答。他将问题登在了American Mathematical Monthly 2000年11月号的Problems栏目中。在阅读这个问题的人中间，有一个人叫 Kin-Yin Li，中文名叫李健贤。他当时是香港科技大学的年轻数学教授，几年前刚刚从加州伯克利拿了数学博士学位，回港加盟香港科技大学数学系。这位李博士是个解难题的人。而且 此前几年，IMO有一年在香港举行。借着这个东风，包括李健贤在内的一些促进香港竞赛数学的人士创办了一个竞赛数学的News Letter，叫Mathematical Excalibur。当时李健贤是它的编辑和重要撰稿人，后来他成了香港竞赛数学的教父级人物。

李健贤马上就看到了van Lamoen的问题。这个问题难不住他，他很快得到证明。的确，证明不是很简单，他用了几乎一页纸的篇幅。他的证明登在了2001年春天的一期Mathematical Excalibur上，正式成为了定理。现在这个圆依然叫“Van Lamoen Circle”，李博士并没有表面上的名分，他也不需要。有趣的是（见下图），他在解这道题之前，先提到了江泽民主席在澳门濠江中学出的那道题。该题与van Lamoen问题的提出时间相近，李博士也注意到了，于是先评论一下。