1801年,高斯的名著《算術(shù)研究》問(wèn)世?!端阈g(shù)研究》是用拉丁文寫成的。這部書是高斯大學(xué)畢業(yè)前夕開始撰寫的,前后花了三年時(shí)間。1800年,高斯將手稿寄給法國(guó)科學(xué)院,請(qǐng)求出版,卻遭到拒絕,于是高斯只好自籌資金發(fā)表。
在這本書的序言一開頭,高斯明確地說(shuō)明了本書的范圍:“本書所研究的是數(shù)學(xué)中的整數(shù)部分,分?jǐn)?shù)和無(wú)理數(shù)不包括在內(nèi)?!?/p>
高斯原本計(jì)劃繼續(xù)撰寫《算術(shù)研究》第2卷,但由于工作的變化和研究興趣的轉(zhuǎn)移,這一計(jì)劃未能實(shí)現(xiàn)。
高斯的許多數(shù)學(xué)成就都是在他去世后才被人們發(fā)現(xiàn)的。從1796年3月30日高斯用尺規(guī)作出正17邊形后,他開始記科學(xué)日記,并且長(zhǎng)期堅(jiān)持下來(lái),到1814年7月9日。高斯的科學(xué)日記是1898年哥廷根皇家學(xué)會(huì)為了研究高斯,向高斯的孫子借來(lái)的。從此,這本科學(xué)日記的內(nèi)容才在高斯逝世43年后流傳。這本日記共146項(xiàng)研究成果,由于僅供個(gè)人使用,所以每一條記錄往往只寫三言兩語(yǔ),十分簡(jiǎn)短。有的條目簡(jiǎn)單得甚至專家也摸不著頭腦。
1796年10月11日,Vicimus GEGAN
1799年4月8日,REV.GALEN
這兩項(xiàng)研究成果,至今仍是個(gè)謎。
在1796年7月10日中有這樣一條日記:
Ευρηκα!num=△+△+△
Ευρηκα是希臘文找到了的意思。當(dāng)年,阿基米德在洗澡的時(shí)候突然發(fā)現(xiàn)了浮力定律,興奮地從浴缸一躍而起,在大街上狂奔高喊的就是“Ευρηκα!”高斯在這里找到了費(fèi)馬提出的一個(gè)困難定理的證明:每個(gè)正整數(shù)是三個(gè)三角數(shù)之和。
高斯的科學(xué)日記一經(jīng)披露,轟動(dòng)了整個(gè)科學(xué)界。人們第一次了解到,有許多重大成果高斯實(shí)際上早就發(fā)現(xiàn),而公開發(fā)表得很晚,有的甚至生前根本沒(méi)有發(fā)表。有關(guān)橢圓函數(shù)雙周期性的內(nèi)容一直到日記發(fā)表的時(shí)候人們才知道,以致這個(gè)重大成果在日記里整整沉睡了100年。1797年3月19日的一條日記清楚表明,高斯已經(jīng)發(fā)現(xiàn)了這個(gè)成果;后來(lái)又有一條,說(shuō)明高斯還進(jìn)一步認(rèn)識(shí)到一般情況下的雙周期性。這個(gè)問(wèn)題后來(lái)經(jīng)過(guò)雅可比(1804—1851)和阿貝爾獨(dú)立研究發(fā)展,才成為19世紀(jì)函數(shù)論的核心。類似的例子不勝枚舉。
這樣大量的重大發(fā)現(xiàn)在日記里竟被埋沒(méi)了幾十年甚至一個(gè)世紀(jì)!面對(duì)這一不可思議的事實(shí),數(shù)學(xué)家無(wú)不大為震驚。如果及時(shí)發(fā)表這些內(nèi)容,無(wú)疑會(huì)給高斯帶來(lái)空前的榮譽(yù),因?yàn)槿沼浿械娜魏我豁?xiàng)成果都是當(dāng)時(shí)世界第一流的。如果及時(shí)發(fā)表這些內(nèi)容,就可以免得后來(lái)的數(shù)學(xué)家在許多重要領(lǐng)域中的苦苦摸索,數(shù)學(xué)史因而將大大改寫。
當(dāng)時(shí)的社會(huì)環(huán)境和高斯個(gè)人性格
為什么會(huì)出現(xiàn)這現(xiàn)象呢?這與當(dāng)時(shí)的社會(huì)環(huán)境和高斯個(gè)人性格有十分重要的關(guān)系。
18世紀(jì),數(shù)學(xué)界貫穿著激烈的爭(zhēng)論,數(shù)學(xué)家們各持己見,互相指責(zé),由于缺乏嚴(yán)格的論證,在爭(zhēng)論中又產(chǎn)生了種種錯(cuò)誤。為了證明自己的論點(diǎn),他們往往自吹自擂,互相諷刺挖苦,這類爭(zhēng)論給高斯留下了深刻的印象。高斯雖然出身貧微,卻和他的父母一樣,有著極強(qiáng)的自尊心,加之他對(duì)科學(xué)研究的極端慎重的態(tài)度,使他生前沒(méi)有公開這本日記。他認(rèn)為,這些研究成果還須進(jìn)一步加以論證。他在科學(xué)研究上遵循的格言是“寧少毋濫”。
高斯這種嚴(yán)謹(jǐn)?shù)闹螌W(xué)態(tài)度,雖然使后輩科學(xué)家付出了巨大的代價(jià),但是,也給科學(xué)研究帶來(lái)了好處。高斯出版的著作至今仍然像第一次出版一樣正確而重要,他的出版物就是法典,比人類其他法典都更高明,因?yàn)椴徽摵螘r(shí)何地從未發(fā)現(xiàn)其中有任何毛病。
高斯治學(xué)的態(tài)度正如他在自己的肖像下工工整整地寫下的《李爾王》中的一段格言一樣:
“大自然,您是我的女神,我一生的效勞都服從于您的規(guī)律。”
高斯在數(shù)學(xué)領(lǐng)域中的成就是巨大的。后來(lái)人們問(wèn)起他成功的秘訣,他以其特有的謙遜方法回答道:
“如果別人思考數(shù)學(xué)的真理像我一樣深入持久,他也會(huì)找到我的發(fā)現(xiàn)。”
為了證明自己的結(jié)論,有一次他指著《算術(shù)研究》第633頁(yè)上一個(gè)問(wèn)題動(dòng)情地說(shuō):
“別人都說(shuō)我是天才,別信它!你看這個(gè)問(wèn)題只占短短幾行,卻使我整整花了4年時(shí)間。4年來(lái)我?guī)缀鯖](méi)有一個(gè)星期不在考慮它的符號(hào)問(wèn)題?!?/p>
《算術(shù)研究》是一部劃時(shí)代的作品,它結(jié)束了19世紀(jì)以前數(shù)論的無(wú)系統(tǒng)狀態(tài)。在這部書中,高斯對(duì)前人在數(shù)論中的一切杰出而又零星的成果予以系統(tǒng)的整理,并積極加以推廣,給出了標(biāo)準(zhǔn)化的記號(hào),把研究的問(wèn)題和解決這些問(wèn)題的已知方法進(jìn)行了分類,還引進(jìn)了新的方法。
《算術(shù)研究》似乎任何一個(gè)學(xué)過(guò)中學(xué)普通代數(shù)的人都可以理解,但是,它完全不是給初學(xué)者看的。在當(dāng)時(shí),讀懂這本書的人較少。困難不是詳細(xì)的計(jì)算示例而是對(duì)主題的理解和對(duì)深?yuàn)W思路的認(rèn)識(shí)。由于全書有7個(gè)部分,人們風(fēng)趣地稱它是部“加七道封漆的著作”。
全書共有三個(gè)核心課題:同余理論、齊式論及剩余論和二次互反律。這些都是高斯貢獻(xiàn)給數(shù)論的卓越成就。
同余是《算術(shù)研究》中的一個(gè)基本研究課題。這個(gè)概念不是高斯首先提出的,但是給同余引入現(xiàn)代的符號(hào)并予以系統(tǒng)研究的卻是高斯。他詳細(xì)地討論了同余數(shù)的運(yùn)算、多項(xiàng)式同余式的基本定理以及冪的同余等各種問(wèn)題。他還運(yùn)用冪的同余理論證明了費(fèi)馬小定理。
二次互反律是高斯最得意的成果之一,它在數(shù)論中占有極為重要的地位。正如美國(guó)現(xiàn)代數(shù)學(xué)家狄克遜(1874—1954年)所說(shuō):“它是數(shù)論中最重要的工具,并且在數(shù)論發(fā)展史上占有中心位置。”其實(shí),高斯早在1796年就已經(jīng)得出了這個(gè)定理及其證明。發(fā)表在《算術(shù)研究》中的則是另一種證明。
從二次互反律出發(fā),高斯相繼引出了雙二次互反律和三次互反律,以及與此相聯(lián)系的雙二次和三次剩余理論。為了使三次和雙二次剩余理論優(yōu)美而簡(jiǎn)單,高斯又發(fā)展出了復(fù)整數(shù)和復(fù)整數(shù)數(shù)論;而它的進(jìn)一步結(jié)果必然是代數(shù)數(shù)理論,這方面由高斯的學(xué)生戴德金(1831—1916)作出了決定性的貢獻(xiàn)。
在《算術(shù)研究》中,高斯出乎尋常的以最大的篇幅討論了型的理論。他從拉格朗日的著作中抽象出了型的等價(jià)概念后,便一鼓作氣地提出了一系列關(guān)于型的等價(jià)定理和型的復(fù)合理論,他的工作有效地向人們展現(xiàn)了型的重要性——用于證明任何多個(gè)關(guān)于整數(shù)數(shù)的定理。正是由于高斯的帶領(lǐng),使型的理論成為19世紀(jì)數(shù)論的一個(gè)主要課題。高斯關(guān)于型和型類的幾何表式的論述是如今所謂數(shù)的幾何學(xué)的開端。
高斯對(duì)數(shù)論問(wèn)題的處理,有許多涉及到復(fù)數(shù)。
首先是對(duì)復(fù)數(shù)的承認(rèn)
這是個(gè)老問(wèn)題。18、19世紀(jì)不少杰出的數(shù)學(xué)家都曾被“復(fù)數(shù)究竟是什么?”搞不清楚。萊布尼茲、歐拉等數(shù)學(xué)大師對(duì)此一籌莫展。高斯在代數(shù)基本定理的證明中無(wú)條件地使用了復(fù)數(shù)。這使得原先僅從運(yùn)算通行性這點(diǎn)考慮對(duì)復(fù)數(shù)的承認(rèn),擴(kuò)大到在重大的代數(shù)問(wèn)題的證明中來(lái)確認(rèn)復(fù)數(shù)的地位。高斯以其對(duì)該定理的高超證明,使數(shù)學(xué)界不僅對(duì)高斯而且對(duì)復(fù)數(shù)刮目相待。
復(fù)數(shù)帶進(jìn)了數(shù)論
高斯不僅如此,他又把復(fù)數(shù)帶進(jìn)了數(shù)論,并且創(chuàng)立了復(fù)整數(shù)理論。在這一理論中,高斯證明了復(fù)整數(shù)在本質(zhì)上具有和普通整數(shù)相同的性質(zhì)。歐幾里得在普通整數(shù)中證明了算術(shù)基本定理——每個(gè)整數(shù)可唯一地分解為素?cái)?shù)的乘積,高斯則在復(fù)整數(shù)中得出并證明,只要不把四個(gè)可逆元素(±1,±i)作為不同的因數(shù),那么這個(gè)唯一分解定理對(duì)復(fù)數(shù)也成立。高斯還指出,包括費(fèi)馬大定理在內(nèi)的普通素?cái)?shù)的許多定理都可能轉(zhuǎn)化為復(fù)數(shù)的定理(擴(kuò)大到復(fù)數(shù)領(lǐng)域)。
《算術(shù)研究》出版后,很多青年數(shù)學(xué)家紛紛購(gòu)買此書并加以研究,狄利克雷(1805—1859)就是其中之一。狄利克雷是德國(guó)著名數(shù)學(xué)家,對(duì)分析、數(shù)論等有多方面的貢獻(xiàn)。他把《算術(shù)研究》視為心愛的寶貝,把書藏在罩袍里貼胸的地方,走到哪兒帶到哪兒,一有空就拿出來(lái)閱讀。晚上睡覺的時(shí)候,把它墊在枕頭下面,在睡前還讀上幾段。功夫不負(fù)有心人,憑著這股堅(jiān)韌不拔的毅力,狄利克雷終于第一個(gè)打開了“七道封漆”。后來(lái)他以通俗的形式對(duì)《算術(shù)研究》作了詳細(xì)的介紹和解釋,使這部艱深的作品逐漸為較多的人所理解和掌握。
關(guān)于《算術(shù)研究》和狄利克雷之間還有一段感人的故事。1849年7月16日,正好是高斯獲得博士學(xué)位50周年。哥廷根大學(xué)舉行慶?;顒?dòng),其中有一個(gè)別出心裁的節(jié)目,他們要高斯用《算術(shù)研究》中一頁(yè)原稿來(lái)點(diǎn)燃自己的煙斗。狄利克雷正好站在高斯身旁,他看到這個(gè)情景完全驚呆了。在最后一剎那,他不顧一切地從自己恩師的手中搶下了這頁(yè)原稿,并把它珍藏起來(lái)。這頁(yè)手稿直到狄利克雷逝世以后,編輯人員在整理他的遺稿中才重新發(fā)現(xiàn)了它。
《算術(shù)研究》發(fā)表后,拉格朗日曾經(jīng)悲觀地以為“礦源已經(jīng)挖盡”、數(shù)學(xué)正瀕臨絕境,當(dāng)他看完《算術(shù)研究》后興奮地看到了希望的曙光。這位68歲高齡的老人致信高斯表示由衷的祝賀:
“您的《算術(shù)研究》已立刻使您成為第一流的數(shù)學(xué)家。我認(rèn)為,最后一章包含了最優(yōu)美的分析的發(fā)現(xiàn)。為尋找這一發(fā)現(xiàn),人們作了長(zhǎng)時(shí)間的探索?!嘈盼?,沒(méi)有人比我更真誠(chéng)地為您的成就歡呼?!?/p>
關(guān)于這部著作,19世紀(jì)德國(guó)著名數(shù)學(xué)史家莫里茨·康托曾發(fā)表過(guò)高見,他說(shuō):
“高斯曾說(shuō):‘?dāng)?shù)學(xué)是科學(xué)的女皇,數(shù)論則是數(shù)學(xué)的女皇?!绻@是真理,我們還可以補(bǔ)充一點(diǎn):《算術(shù)研究》是數(shù)論的憲章?!?/p>
《算術(shù)研究》是高斯一生中的巨著。暮年高斯在談到這部書時(shí)說(shuō):“《算術(shù)研究》是歷史的財(cái)富?!?/p>