关于三角形的一个千年之谜.doc

关于三角形的一个千年之谜 张寿武 关键词：?数论，三角形,?同余数 编者按：张寿武，安徽人，1979年考入中山大学化学系，后转入数学系，1983年毕业。之后在中科院研究所攻读硕士学位，师从数学家王元。1986年毕业后赴美国哥伦比亚大学，师从著名数学家吕西安·施皮罗(Lucien Szpiro)与格尔德·法尔廷斯(Gerd Faltings)，1991年获博士学位。此后任职普林斯顿、哥伦比亚大学。1996年任哥伦比亚大学教授，同年证明世界性难题波戈莫洛夫猜想(Bogomolov conjecture)；1997年在世界上率先于全实域上推广了格罗斯乍基亚公式。2011年起任普林斯顿大学教授，美国文理科学院院士。 杨武之是杨振宁先生的爸爸，也是中国第一个数论和代数方面的博士。杨武之先生的老师是Dickson (编者注：Leonard Dickson)，Dickson是美国第一位代数和数论的博士，他在哥廷根念的学位。Dickson回到美国之后，在Chicago培养了一批数学家，包括杨武之。Dickson在美国和华先生的情况很接近，也是一枝独秀。他花了很多时间来研究西方的数学史。他写了三卷书，叫做History of the theory of numbers，我的报告从他的书里面的一段话开始写起。这是我百分百把他的那段话翻译成中文，他在第二卷某一章写了这样一个问题，在公元972年或者更前，一个不知名的阿拉伯的手稿留下了这样的问题： 给一个整数n，求一个平方数γ2，使得γ2±n都是平方数。 从这个问题的叙述方式，发现它和三角形没有关系。有理由相信阿拉伯人提出这个问题的时候没有受到古希腊数学家的影响，这个问题在Dickson的书的第二卷可以找得到(Page 462)。这样的n称之为同余数，这里很多搞过奥数的同学知道同余是什么意思，但这里的同余不是这个意思。这样的同余更多的是和谐的意思，这样的数很少，因为是平方数的等差序列。24是同余数。这是因为： 52+24=7252?24=12 从而6也是同余数，所以，考虑同余数，只要考虑没有平方因子的数即可。那问题来了，为什么从6开始，1,2,3,5是不是同余数？ 下面直接跳到500年以后了，是1220年，斐波那契的年代。斐波那契差不多是中世纪最聪明的数学家。他生活在意大利的比萨，大家都知道那里有一个斜塔，伽利略在那个地方把球给丢下去了。那个城市有两位名人，一个就是斐波那契，一个就是伽利略。比萨那边有个高等师范学院，是拿破伦占领意大利之后建的。学院旁边的铜像是斐波那契的。斐波那契的“波那契”是他爸爸的名字，斐波那契基本是他爸爸的儿子的意思（笑），所以这个名字没有多少意义。斐波那契在当地是个非常有名的数学家，所以有一天国王的御前学者们——胥嗚伟老师替我翻译的，翻译得很准，向他挑战——找到一个有理数平方的等差数列，其公差为5，即 x21?x22=5=x22?x23 看看小朋友们能不能算出来？~~斐波那契证明了5和7都是同余数，你们有小学生证出来的我给你100块钱（笑），有没有小学生能算出来？或者中学生也行~~中学生不行我就推到大学生了。（人大附中某学生：5应该可以，29+20是7的平方，29减20是3的平方）啊，不错，一会记得向我要钱。。。啊？哦，不对，你算错了，你应该倒贴我100块钱（笑）。没办法是吧，再给你30秒钟时间，看看你是不是比斐波那契更聪明一些。大学生有没有会的？研究生的？清华的学生会吗？你现在不会的原因是你没有找到计算它的办法，到了讲座的中间你会发现计算同余数的秘方。好了，我们来看一下： 5:??(4912)2?(4112)2?(3112)27:??(463120)2?(337120)2?(113120)2 这个显然有点困难了吧。短时间内要算到分子分母100以内，如果都能算完，说明你脑袋特别快。要算7就更了不得了。当斐波那契算完7之后，他猜想1,2,3都不是同余数，但不会证明。 他的猜想，又过了400年之后，由杰出的数学家费马证明了。费马用的方法叫无穷下降法。下面到了所谓的秘方，同余数的问题一般叙述为，找一个面积为n的有理三角形。10世纪的时候，这个问题被认为是有理三角形理论的一个主要课题。为什么呢，因为，今天我们学的几何和代数是源自2300年前欧几里得的《几何原本》。虽然无理数很早就被发现了，但是大家关心的还是有理的对象。有理三角形问题无非研究有理面积和三个有理边长。所以被认为是主要问题。通分之后，从而可考虑三边都是整数，当然，n不再是无平方因子了。 下面我来解释一下从同余数的原来形式到三角形的形式的转换过程，如果事先有 γ2+n=α2γ2?n=β2 那么令 a=α?β,??b=α+β,??c=2γ 从三角形到原文也是容易的，给定直角三角形边长a，b，c，令 γ=c2 则有 γ2+n=(a