《五点共圆问题与Clifford链定理北京师范大学张英伯》由会员分享,可在线阅读,更多相关《五点共圆问题与Clifford链定理北京师范大学张英伯(51页珍藏版)》请在金锄头文库上搜索。
1、 五点共圆问题 与Clifford 链定理北京师范大学 张英伯2007年4月一、引子l在世纪之交的2000年5月,当时的国家主 席江泽民视察澳门濠江中学,兴致勃勃地 出了一道“五点共圆”的几何题。l江泽民先生随后给数学家和数学教育家张 景中院士打电话征询答案,并亲函濠江中 学参考。与此同时,濠江中学的四位数学 老师也各自独立地作出了解答。我很敬佩 濠江中学的这些老师们,他们的数学功底 由此可见一斑。l这个图形就是五点共圆问题。当时的表述 是:给出一个不规则的五角星,做所得五 个小三角形的外接圆,其中每相邻的两个 圆交于两个点,在所得五边形五顶点外的 点共有五个,证明这五点共圆。l2003年春天
2、,我去德国访问。我的老板, 代数学家 Claus Ringel 问我,你知道江问 题吗?我正在脑子里紧张地搜索江姓数学 家的名单,老板得意地笑了,“哎呀呀,你 们的国家主席呀!” lClaus 刚从伦敦开会回来,他说在伦敦的会 议上,数学家们聊起了江泽民先生提出的 五点共圆问题,觉得国家主席关注几何学 非常有趣。Claus 随手在黑板上画出了五点 共圆问题的推广。l2006 年底,华东师范大学张奠宙先生在澳 门组织的高级研讨班邀请我去做报告,报 告刚好在濠江中学举行。濠江中学校方与 我们会面时介绍了当年江泽民主席的视察 。我一下子想起三年前与 Claus 的对话, 就临时改变报告题目,凭记忆谈
3、了广义的 五点共圆问题。l回到学校,正赶上本科生准备毕业论文,一 个保送研究生的女孩儿希望读代数方向的硕 士,来我这里要题目,我说你试着找找五点 共圆问题的推广吧。l感谢今天的互联网,把这个世界所有的信息 摆在了每一个人的面前。l经过一个礼拜的搜索,女孩子终于找到了一 位日本数学家冈洁的传记,在传记的最后一 页的最后一个脚注中,提到 Clifford 定理将 五点共圆问题推广到了任意的正整数。l有了这个名字,事情便简单多了。女孩马 上去搜索 Clifford 所有文章的目录,找到了 他关于这个问题的文章:On Miquels theorem. 遗憾的是年代过于久远,我们的 北京图书馆,中科院图
4、书文献中心都没有 收藏。l再一次感谢互联网,北图很快通知我们文 章在大英图书馆找到了,付钱之后就可以 扫描过来。还是由于年代过于久远,大英 图书馆将刊有这篇文章的杂志收在一个乡 间的书库。付过的钱被退了回来,原文的 扫描和复印件都不能提供,原因无可奉告 。l因为没有见到原文,我今天讲的证明,基 于 F. Morley 1900 年发表在美国数学会 Transaction 上的一篇文章 On the metric geometry of the plane n-line. Morley 也是 英国人,几何学家。l在十九世纪下半叶和二十世纪初,许多欧 美大数学家致力于建立欧几里得几何的公 理化体系
5、。希尔伯特用了三十年的时间, 先后出版七稿,写成了几何基础一书。l十九世纪下半叶和二十世纪初,我国正处 于清朝末年,尚未进入近代数学的研究领 域。将数学基础研究首先引入中国的是我 国著名的数学家,我国近代数学教育的先 驱傅种孙先生。他在二十年代翻译了希尔 伯特的几何基础,倾其毕生精力在北京师 范大学,师大附中教书,引进国外教材, 培训中学教师。l正因为我国的近代数学研究起步较晚,对 当时的一些研究领域比较陌生。l当几何基础引起广泛讨论的时候,许多古 老的几何问题,比如与三角形相关的点, 直线和圆的问题被发现并研究。 1838年, Miquel 证明了有关四圆共点的定理。l一百三十六年前的187
6、1年,在四圆共点的 定理的基础上,英国数学家 William Kingdon Clifford 建立了 Clifford 链定理, 并在英国早期的一本杂志Messenger of Mathematics第五册上发表了证明。l Clifford 本人因他提出的 Clifford 代数而闻 名于数学界。lClifford 链定理是数学史上非常著名的有趣 而又奇妙的定理。l19世纪末和20世纪初,许多欧美数学家都 研究并论述过这个问题,一方面研究它的 多种证明方法,一方面研究这些点圆和其 他一些著名的点圆之间的关系,还有人积 极探索它的扩展,例如向高维情况的引伸 。在欧美的许多深受欢迎的数学杂志上,
7、 不断地发表与 Clifford 链定理相关的研究成 果。二、Clifford 链定理的表述n=3n=2任选平面内两两相交, 且不共点的三条直线, 则其中每两条为一组可以确定一个点 ,共有三个点, 那么这三个点确定一个圆。任选平面内两条相交直线, 则这两条直线确定一个点。n=4n=4l任选平面内两两相交,l且任意三条直线都不共点的四条直线,l则其中每三条为一组可以确定一个圆, 共有四个这样的圆,l则这四个圆共点。l此点被称为 Wallace 点。n=5l任取平面内两两相交,l且任意三条直线都不共点的五条直线,l则其中每四条作为一组可确定如上所述l的一个 Wallace 点,共有五个这样的点,l
8、那么这五个点共圆,l此圆被称为 Miquel 圆l(即五点共圆问题)。n=6l任取平面上两两相交的六条直线, 且任意三条直线都不共点,l则其中每五条为一组可以确定一个 Miquel 圆,共有六个这样的圆,l则这六个圆共点。n=7l任取平面内两两相交,l且任意三条直线都不共点的七条直线,l则其中每六条作为一组可确定如上所述l的一个点,共有七个这样的点,l那么这七个点共圆。一般地,l任取平面内两两相交,且任意三条直线都 不共点的2n条直线,则其中每2n-1条直线 可确定一个 Clifford 圆,共确定 2n 个圆, 那么这 2n 个圆交于一点,称为 2n 条直线 的Clifford 点;l 任取
9、平面内两两相交,且任意三条直线都 不共点的 2n+1条直线,则其中每 2n 条直 线可确定一个 Clifford 点,共确定 2n+1个 点,那么这 2n+1 个点共圆,称为 2n+1 条 直线的 Clifford 圆。三、直线方程l用平面几何的方法归纳地证明 Clifford 定理 几乎是不可能的,我们已经看到 n=7 的情况 图形有多么复杂,实际上五点共圆问题已经 够复杂了。那么用平面解析几何呢?用复平 面呢?这样就可以充分借助现代数学工具。 让我们来试一试。l现在考虑复平面 C, 建立原点,实轴和虚轴。l用 分别表示两个确定的复数,其中 的模为1,也就是说, 在单位圆上。其次 ,用 分别
10、表示两个复变量,其中的模为1,也就是说 在单位圆上运动。l考察公式 l当 在单位圆周上运动时, 跑过原点 0 和点 连线的垂直平分线。l事实上, 而因为 和 的模都是1,故 l另一方面,当 趋近于 时, 的模趋近于 无穷大;并且 是 的连续函数。所以我们 得到了一条直线。l从上述分析可以看出,直线与 的幅角的 取值无关。我们不妨取l利用单位圆周上的点作参数,利用分子分 母都是参数线性函数的分式表示一个圆或 一条直线,是复变函数保角映射的一个特 例。四、特征常数l如果我们有两条直线: , l则 . 两式相减,得到两条直线的交点: . 记作 . 再设 . 称 为n=2时的特征常数。 l如果我们有三
11、条直线: 令l上面的式子中,求和号表示对数组 (1 2 3) 进行轮换,分别取 (1 2 3), (2 3 1) , (3 1 2). 叫做 n=3 时的特征常数。l建立一个圆方程,圆心在 ,半径为 :l当 时,l当 时,l当 时,l所以我们的圆经过三条直线中每两条的交 点,这就是三点共圆。 l定义 4.1. 关于 n 条直线 的 特征常数 定义为:l引理4.2. l证明:l引理证毕。l特征常数有如下的共轭性质。取任意正整数 n,令l将 的复共轭记作 ,令 ,则l引理4.3. l引理4.4. 设 是 n 个变元的初 等对称多项式,记 的共轭元为 。 如果 n 个变元均取模为 1 的复数,则l证
12、明:设 ,l则l引理证毕。五、n=4 和 n=5 时的证明l设我们有四条直线l根据第四节的讨论,三条直线确定的圆方程为:l或l其中 是一个变元的初等对称多项式。根据引 理4.2, 去掉四条直线中的第 条后的圆方程是 :l根据引理4.3,方程 是自共轭的,即它 的共轭方程 与自身相等, 我们有 :l即 在单位圆上。又因为 的任意性,方程等 价于:l其中 是 n= 4 时的特征常数。则l 即l是四条直线的 Clifford 点。l当 n=5 时,我们有五条直线:l去掉其中的任意一条,所得到的四条直线确定一 个 Cliford 点。l根据引理4.2,我们可以从n=5 时的特征常数得到 n=4 时的特
13、征常数,比如去掉第 条直线,得方 程:l因为 是一个变元的初等对称多项式, l分别导出了两个变元的初等对称多项式 和l上述方程变为:l 根据引理4.3,第二个方程是自共轭的,保证了 t 在单位圆上。l从方程组中消去 ,并用 t 代替 ,或考察 以 和 (以 t 代之)为未知数的线性方程 组,Cramer 法则给出 x 和 t 应该满足的关系:l或 l这就是五条直线的 Clifford 圆。六、Clifford 链定理l定理7.1. 2p 条直线的 Clifford 点由下述行列式给 出:l而 2p+1 条直线的 Clifford 圆由下述方程确定:l证明: 设 p=1 在2x1 时得到两条直线
14、的交点:l设 P=2 , 是一个变元的初等对称多项式。在 2x2-1 时得到三条直线的 Clifford 圆满足的方程: l在2x2 的情况得到四条直线的 Clifford 点满足的方 程l设p=3, 是两个变元的初等对称多项式。在 2x3-1 时得到五条直线的 Clifford 圆方程:l现在设 2p-1条直线的 Clifford 圆满足的方程是 :l其中 是 p-1个变元的初等对称 多项式。则该假设当 p=2,p=3 时都是正确的。 我们来计算 2p 条直线的情况。l根据引理4.2, 关于 2p-1 条直线的特征常数可以 用关于 2p 条直线的特征常数去掉某条直线,例 如第 条表示出来:l由于 的任意性,考察下述 p 个方程:l其中第 1+i 与第 p-i+1 个方程是共轭的。为方便 起见,我们仅验证第 2 与第 p 个方程的共轭性。l记