檢視算術研究的原始碼

《'''算術研究'''》（_'''Disquisitiones Arithmeticae'''_）是德國數學家卡爾 ・ 被里德里希望 ・ 高斯佇一七九八年寫成的一本數論教材，佇一八Ｏ一年伊二十四歲的時頭一改出版。全書用拉丁文寫做。佇這本冊中高斯整理匯集了費馬、歐拉、搝格朗日佮勒讓德等等數學家佇數論方面的研究結果，並加入真濟伊家己的重要成果。

==寫作歷史==

高斯一七九六年就準備欲寫一本數論的著作。一年後，伊完成矣初稿。一七九七年十一月，高斯開始對初稿進行重寫佮修訂，使成做會當印刷出來的成熟版本。製本所以印刷一七九八年四月開始，毋過因為機器的原因，速度沓沓仔。毋過這嘛使得高斯有時間補充一寡新的內容，特別是第五章的二次互反律的部份：一八空一年夏季終出版的時陣的長度已經是初稿的兩倍。

==主題==

《 算術研究》包括了初等數論佮這馬講做代數論領域的一部份。毋過，高斯佇咧書中並無熟似著抽象代數的核心：群的概念，所以伊無摻以應用。高斯將這本冊的主題定位為伊所講的「高等算術」。 佇這本冊的序一開頭，高斯明確地講著：

==內容==

全冊有六百五十五頁，分做七个部份共三百三十五篇文章，由淺入深，對同餘理論起步，探討仝款齊餘、仝款在程佮二改賰的理論。佇兩改賰的理論當中，辜振甫佇咧前人的基礎頂頭回予出兩回互反律的證明。其後高斯閣提出雙二次互反律佮三次互反律，並對所謂的高斯整數進行矣研究，得著代數論的一寡基本成果。


: 第一部份：仝款的概論。建立了到今仔日猶閣佇咧使用的仝款的概念佮紀號。


: 第二个部份：按呢主要咧研究線性仝款，予出矣算基本定理、絞起來除法、中國賰的定理等初等數論的基本結果。


: 第三部份：「 冪賰餘論」。 討論了費馬小定理、原根的存在性佮威爾遴定理。

前三部份的內容大攏是其他數學家的成果，但是高斯是首個將這寡成果系統地匯集佇咧一本冊內底的人。伊嘛是首個意識著唯一分解定理之重要性的人。

進入彼第四部份了後，大部份內容便是高斯的原創矣。


: 第四部份：「 二改同餘論」。 重點討論兩改賰的理論。高斯提出伊看做「對中會當捒甲強欲所有佮二改賰的物件有關係的」的「基礎定理」的二次互反律：


: 若是 _ p _ 是形式為四 _ n _ + 一，遐爾 _ p _（若是 _ p _ 是形式為四 _ n _ + 三哪會-_ p _）是模仔逐个為模仔 _ p _ 的兩改賰落來（有賰無）的質數的二改賰落來（有賰無）。


: 高斯將這个命題分做偌攏獨獨情形，然後用歸納法予出頭一个證明，並且運用這个定理會著一寡基本結果。


: 第五部份：「 二次型佮二次無定方程」。 這一部份占全書的一半有偌，高斯研究了模 _ p _ 仝款餘中的整係數二次型以及二次型本徵等價的性質，得著整數表示為二次的形式一般規律。了後高斯閣研究兩回型的分類以及約簡。並且佮雙二次互反律佮三次互反律的研究。


: 第六部份：前五章結論的應用。前五章，特別是第四、五章得著的豐富成果予得佇這章用來解決真濟問題。高斯討論了分數分解，十進展開佮二改仝款的問題，並且提出兩个素性檢驗的方法。


: 第七部份：分圓外項式佮尺規作圖。高斯探求尺規作圓內接正多邊形的辦法，並且出圓內接正十九邊形和正十七邊形的做法。並且得著所謂的「高斯和」的概念佮一寡相關成果。

高斯捌寫過《算術研究》的第八部份，探討閣較懸遍的同餘方程，猶毋過並無完成。草稿佇伊過身了後分批出版。

==影響==

佇咧《算術研究》發表較早，數論研究只是一寡孤立定理佮猜想。高斯頭一改共遮的零星的結果加以系統的處理，修補佮改進了往過的證明，並且佇這以上發展出著家己的系列理論佮成果。《算術研究》是現代數論研究的開端。

《 算術研究》一冊的邏輯結構—— 聲明定理、共出證明，才閣共出系理抑是推論—— 為以後的教科書咧編寫提供一个模樣，成做後世教材的標準結構。為著使讀者會當理解證明的邏輯思路，高斯咧證明了後會共出相應的例，這點嘛為後來的教材所採用。

《 算術研究》亦是十九世紀歐洲數學家如庫默爾、狄利克雷佮戴德金等人著冊的出發點。𪜶繼續承高斯的研究。真濟《算術研究》中的評註佮無證明的命題成做新的研究熱點。就算到二十世紀，《 算術研究》猶閣佇產生影響。比如講第五部份中高斯簡要的講伊關於虛二次域類數的計算，並且猜想伊已經揣著矣所有的類數為一、二和三的虛二次域。這个後來講是類數問題的猜想一直到一九八六年才得著肯定的答案。仝款佇第五部份，高斯證明會當予人解說做黎曼猜想的第一類非平凡的情形：哈斯-韋他定理。

==譯本佮相關的作為==

《 算術研究》雖然是一部十分重要的數論作穡，但是全書以拉丁文寫就，內容深奧難捌，所以共翻譯做各國的語言佮進行注釋闡述的工課一直不斷。一八空七年，《 算術研究》的法文譯本出版。一八六三年，狄利克雷寫矣《數論講義》（Vorlesungen über Zahlentheorie）一冊，著《算術研究》作了明度的闡釋。一八八九年德文翻譯本出版。一九五九年出版矣俄文譯本；一九六五年出版矣英文版。

==引用==

《 算術研究》定定予人引用，出現佇各種數學論文、著作佮教材的注釋中。引用的時陣一般簡寫為「DA」。

==評價==

*「高斯捌講：『 數學是科學的女皇，數論講是數學的女皇。』若這是真理，咱閣會當補充一點仔：《 算術研究》是數論的憲章。」——莫里茨 ・ 康托
*「此書（《 算術研究》）是一粒袂漚的豐碑，表示人類思想所會達到的光景的廣度佮予人驚嘆的深度。」——愛德華 ・ 盧卡斯
*「眾書之王」——利奧波德 ・ 克羅內克
*「高斯第一遍將數學的這个部份（數論）變做一門獨立的科學，而且《算術研究》是頭一部詳盡系統的著作。…… 因為雅可比佮狄利克雷…… 這本二十年來一直予七道漆封的著作變做為著當代的數學。…… 封漆猶未完全解開。」——約翰 ・ 西奧多 ・ 梅茲
*「數論捌一度止步無前，……這就是為啥物深奧而新穎的《算術研究》預示高斯欲成做歐洲上偉大的頭腦之一。」——路易 ・ 潘索

==參見==

* 數論
* 卡爾 ・ 被里德里希望 ・ 高斯
* 二次互反律

==注釋佮參考來源==

[[分類: 待校正]]