用機(jī)器證題

張景中　彭翕成

初中同學(xué)中的“數(shù)學(xué)迷”們，誰(shuí)不喜歡幾何哩.

幾何證題，變化萬(wàn)千.看起來(lái)似乎難于下手的一道題，只要在圖上添上適當(dāng)?shù)妮o助線，往往就云開(kāi)霧散，妙趣橫生.

正因?yàn)閹缀巫C題變化萬(wàn)千，所以也就不好做.難就難在看不出一般的規(guī)律.

例如，在△ABC中，已知AB=AC，∠B、∠C的平分線為BD、CE.求證BD=CE.如圖1，這只要證明△DBC≌△ECB（ASA），問(wèn)題便可迎刃而解.可是，把已知和求證交換一下，這一換，問(wèn)題就難多了.

100多年前，德國(guó)數(shù)學(xué)家雷米歐司公開(kāi)提出了這個(gè)問(wèn)題.他說(shuō)，幾何題在沒(méi)有證明出來(lái)之前，很難說(shuō)它是難還是易.等腰三角形兩底角的角平分線相等，初中學(xué)生都會(huì)證.可是反過(guò)來(lái)，已知三角形的兩條角平分線相等，要證它是等腰三角形，可就不好證了.

后來(lái)，德國(guó)著名數(shù)學(xué)家史坦納解決了這個(gè)問(wèn)題，使它成為一個(gè)定理，叫做史坦納-雷米歐司定理.

經(jīng)過(guò)名人一做，這個(gè)問(wèn)題也就出了名.有一個(gè)數(shù)學(xué)期刊還曾經(jīng)公開(kāi)征求這條定理的證明，收到了形形色色的證法.他們經(jīng)過(guò)挑選和整理，得到了60多種證法，編印成了一本書(shū)！

到了20世紀(jì)60年代，有人用添圓弧的辦法得到了一個(gè)十分簡(jiǎn)單的證法.從雷米歐司提出問(wèn)題到找到這個(gè)簡(jiǎn)單的證法，竟用了100年之久.而且，人們找到了60多種證法，偏偏沒(méi)有發(fā)現(xiàn)這個(gè)簡(jiǎn)單的證法.可見(jiàn)，幾何證題的變化實(shí)在是太多了.

幾何證題既然這么千變?nèi)f化，人們自然會(huì)想：能不能找到一個(gè)固定的方法，不管什么幾何題到手，都可以用這個(gè)方法一步一步地做下去，最后，或者證明它，或者否定它呢?

19世紀(jì)、20世紀(jì)的大數(shù)學(xué)家希爾伯特證明：有一類幾何題，可以用一種統(tǒng)一的方法，一步一步地得到最后解答.后來(lái)，數(shù)學(xué)家塔斯基證明：所有的初等幾何命題，都可以用機(jī)械方法找到解答.可是，他的方法太復(fù)雜了，即便是使用高速電子計(jì)算機(jī)，也只能證明一些很平常的定理.

我國(guó)著名數(shù)學(xué)家吳文俊，提出了用機(jī)器證明幾何定理的方法.他用到了我國(guó)古代的數(shù)學(xué)思想和方法.用這個(gè)方法，可以在計(jì)算機(jī)上證明許多相當(dāng)復(fù)雜的定理，還能證明高等數(shù)學(xué)中許多微分幾何的定理.

用機(jī)器證明幾何定理，主要的思路是用坐標(biāo)方法，把幾何問(wèn)題轉(zhuǎn)化成代數(shù)問(wèn)題來(lái)解決.要是你有志將來(lái)研究這方面的問(wèn)題，從現(xiàn)在起就應(yīng)該好好學(xué)習(xí)幾何、代數(shù)和解析幾何的基礎(chǔ)知識(shí)了！