為什么數(shù)學(xué)上所有的早期進(jìn)展都通向勾股定理？
因為它反映了基礎(chǔ)數(shù)學(xué)的兩個側(cè)面：數(shù)與空間，或算術(shù)與幾何，或離散與連續(xù)。
就連大部分人接觸證明也是從勾股定理開始，它是如此耳熟能詳，又如此影響深遠(yuǎn)。
證明教會人類哪些東西是真的，哪些不是真的，為什么是真的，為什么不是真的。
沒有證明，我們就無法談?wù)撜嬲臄?shù)學(xué)。
世界知名數(shù)學(xué)家、數(shù)學(xué)史專家約翰·史迪威（John Stillwell）“十年一劍”，圖文并茂地展現(xiàn)了從勾股定理到現(xiàn)代數(shù)學(xué)的精彩歷史。這是對數(shù)學(xué)思想的全方位揭秘，闡述了數(shù)學(xué)研究和學(xué)習(xí)的底層方法和邏輯：
什么問題可以被證明？如何證明？
什么問題可以（或無法）被解決？
證明是如何演變的？
數(shù)學(xué)在過去和未來如何憑借證明獲得新生？
來源 | 《證明的故事：從勾股定理到現(xiàn)代數(shù)學(xué)》
作者 | [澳] 約翰·史迪威
譯者 | 程曉亮 張浩
01
勾股定理
數(shù)學(xué)的標(biāo)志性定理無疑是勾股定理〔西方又稱畢達(dá)哥拉斯定理（Pythagorean theorem）〕。早在公元前1800年，人們就對勾股定理的算術(shù)側(cè)面進(jìn)行了深入的觀察。
當(dāng)時古巴比倫的數(shù)學(xué)家們發(fā)現(xiàn)了許多自然數(shù)三元數(shù)組?a b c? 滿足a2+b2=c2。他們是否把每個三元數(shù)組?a b c? 都看作一個直角三角形的三條邊，這一點是受到質(zhì)疑的，不過這種聯(lián)系在古印度和中國并沒有被忽略，古印度和中國也出現(xiàn)了對該定理特殊情況的幾何論證。
無論如何，畢達(dá)哥拉斯學(xué)派還是恰當(dāng)?shù)貙⒅苯侨切闻c這個定理聯(lián)系在一起，因為他們發(fā)現(xiàn)，具有單位直角邊長的直角三角形的斜邊長——根號2是無理數(shù)。這一發(fā)現(xiàn)是古希臘數(shù)學(xué)的轉(zhuǎn)折點，甚至可以說是一場動搖數(shù)學(xué)基礎(chǔ)的“危機(jī)”，因為它迫使人們對無窮進(jìn)行推測，隨之而來的還有對證明的需求。在不考慮無理性的古印度和中國，就不存在“危機(jī)”，因此人們沒有必要從不言自明的公理出發(fā)，以演繹的方式發(fā)展數(shù)學(xué)。
正如我們將要看到的，無理數(shù)的本質(zhì)是一個困擾數(shù)學(xué)家數(shù)千年的深刻問題。其實在古代，有了歐多克斯（Eudoxus）的比例理論，古希臘人邁出了從離散走向連續(xù)的第一步。
02
證明的起點
對許多人來說，勾股定理是幾何學(xué)的起點，也是證明的起點。圖1.1展示了該定理的純幾何形式：對于一個直角三角形（白色），以其斜邊為邊長的正方形（灰色）的面積等于以其另外兩條邊為邊長的正方形（黑色）的面積之和。
上文中“等于”與“和”的含義可以借助圖1.2來解釋。圖1.2的左右兩圖各是一個大正方形，里面有四個相同的直角三角形。在左圖中，大正方形減去四個直角三角形后就是以直角三角形斜邊為邊長的正方形。在右圖中，大正方形去掉四個直角三角形后就是分別以直角三角形兩條直角邊為邊長的兩個正方形。因此，以直角三角形斜邊為邊長的正方形的面積等于以其另外兩條邊為邊長的正方形的面積之和。
因此，我們隱含地假設(shè)了歐幾里得所說的一些“公理”：
彼此能重合的圖形全等；
等于同量的量彼此相等；
等量加等量，其和相等；
等量減等量，其差相等。
這些假設(shè)聽起來有點像代數(shù)，它們顯然適用于數(shù)，但在這里它們被應(yīng)用于幾何對象。從這個意義上說，我們得到了一個幾何定理的純幾何證明。畢達(dá)哥拉斯學(xué)派想要保持幾何純粹的原因?qū)⒃诘?.3節(jié)中解釋。盡管圖1.2作為圖片令人信服，但有人可能會吹毛求疵地說，我們并沒有真正解釋為什么灰色區(qū)域和黑色區(qū)域是正方形。
畢達(dá)哥拉斯之后的古希臘人之所以確實對類似這樣的細(xì)節(jié)吹毛求疵，是因為他們擔(dān)心幾何對象的本質(zhì)，這也將在第1.3節(jié)出現(xiàn)。其結(jié)果是在公元前300年前后產(chǎn)生了歐幾里得的《原本》，這是一個把幾何學(xué)建立在堅實（但冗長）的邏輯基礎(chǔ)上的證明體系。第2章會將圖1.2擴(kuò)充為一個歐幾里得風(fēng)格的證明。我們會發(fā)現(xiàn)“一圖勝千言”這句話非常貼切。
如上所述，勾股定理在幾個古代文化中被獨立發(fā)現(xiàn)，可能還比畢達(dá)哥拉斯本人更早。其特殊情況出現(xiàn)在古印度和中國，最早的特例可能出現(xiàn)在古巴比倫（位于今天的伊拉克一帶）。因此，這個定理是數(shù)學(xué)的廣泛性的一個很好的例子。正如我們將在后面的章節(jié)中看到的，它以不同的形式出現(xiàn)在幾何學(xué)的歷史中，也出現(xiàn)在數(shù)論的歷史中。
它最初是如何被證明的，這一點尚不清楚。上述證明是希思（Heath 1925，1：354）在他編輯的《原本》版本中給出的一個建議。中國和古印度的數(shù)學(xué)家對邊長為特定數(shù)值（如3, 4, 5或5, 12, 13）的三角形更感興趣。
03
無理數(shù)
無理數(shù)自然地源于勾股定理，但只有畢達(dá)哥拉斯學(xué)派發(fā)現(xiàn)了無理數(shù)。像這個定理的其他發(fā)現(xiàn)者一樣，畢達(dá)哥拉斯學(xué)派知道a, b, c , 這些自然數(shù)值的特殊情況。但顯然，他們是唯一會問“為什么我們找不到a = b的三元數(shù)組？”這個問題的人，謎底就在謎面上：假設(shè)存在自然數(shù)a和c使得 c2 = 2a2會得到矛盾。
畢達(dá)哥拉斯學(xué)派的論證不得而知，但是這個結(jié)果在亞里士多德時代（公元前384—前322年）肯定已成為常識，因為亞里士多德（Aristotle）顯然認(rèn)為他的讀者會理解以下簡短的提示：
這里的“可公度”是指常用的度量單位的自然數(shù)倍數(shù)，所以我們假設(shè)c2 = 2a2 ，其中正方形的邊長是a個單位，其對角線長是c個單位。我們得出的矛盾“奇數(shù)=偶數(shù)”如下。
首先，選擇一個盡可能大的度量單位，我們可以假設(shè)自然數(shù)c和a沒有公因子（1除外）。特別地，它們中最多有一個可以是偶數(shù)?，F(xiàn)在c2 = 2a2意味著c2這個數(shù)是偶數(shù)。因為奇數(shù)的平方是奇數(shù)，所以c也必須是偶數(shù)，比如說可以寫成c=2d。用2d替換c，得到
然而，同理這又說明a是一個偶數(shù)，得出矛盾。
因此，假設(shè)存在使c2 = 2a2的自然數(shù)a和c是錯誤的。如今，表達(dá)這一事實的通常方式是：不存在自然數(shù)c和a使得,更簡單地說， 根號 2 是無理數(shù)。
《證明的故事：從勾股定理到現(xiàn)代數(shù)學(xué)》
作者：[澳] 約翰·史迪威（John Stillwell）
譯者：程曉亮 張浩
數(shù)學(xué)史泰斗、舊金山大學(xué)榮休教授，“肖夫內(nèi)獎”獲得者，當(dāng)今世界最有影響力的數(shù)學(xué)家之一約翰·史迪威全新力作！
證明是數(shù)學(xué)思想中十分重要且極具開拓性的特征之一。沒有證明，就沒有真正的數(shù)學(xué)！
本書從古希臘幾何學(xué)時代講起，涵蓋代數(shù)、微積分、集合、數(shù)論、拓?fù)洹⑦壿嫷葞缀跞繑?shù)學(xué)分支中的證明故事，講述了證明的演變及其在數(shù)學(xué)中的重要作用和啟發(fā)意義。我們將看到歐幾里得、康托爾、哥德爾、圖靈等數(shù)學(xué)大師的精彩發(fā)現(xiàn)和發(fā)明。
本書不是教材，而是在講數(shù)學(xué)的歷史，更是在講數(shù)學(xué)思想的演變。
熱門跟貼