不知你是否認(rèn)真想過下面這個(gè)問題：什么是 √2？

你可能會說，如果沒有√2，地球不照樣轉(zhuǎn)，我們的日子不也照樣過嗎？其實(shí)不然，至少在遙遠(yuǎn)的古希臘，有一群人的日子會過不好。

那是公元前 500 年前后，在愛琴海周邊有一群有閑的智者，他們不事生產(chǎn)，終日思考宇宙的本質(zhì)、生命的意義等各種大問題，畢達(dá)哥拉斯（Pythagoras）就是其中一員。

(資料圖片僅供參考)

畢達(dá)哥拉斯（Pythagoras）

他及其門徒們認(rèn)為“萬物皆數(shù)”，即世間萬物的和諧都能用數(shù)字來解釋與描述。比如，當(dāng)琴弦長度成簡單整數(shù)比的時(shí)候，發(fā)出的和音最悅耳。

要注意，畢達(dá)哥拉斯他們所談?wù)摰摹皵?shù)”，是如今所謂的自然數(shù)，即 1, 2, 3 這種我們打小會數(shù)的數(shù)。世間萬物無外乎這些數(shù)以及它們的比例耳！這是一種信仰，支撐著畢達(dá)哥拉斯學(xué)派不斷探索著自然。直到有一天，他們中的一員發(fā)現(xiàn)了一件不得了的事情。

這個(gè)發(fā)現(xiàn)來源于畢達(dá)哥拉斯學(xué)派另一個(gè)聞名于世的偉大成就，那就是西方所稱的畢達(dá)哥拉斯定理（Pythagoras Theorem） ——也即我們的勾股定理：

若一個(gè)直角三角形的兩直角邊長度為 a 和 b，斜邊長度為 c，那么：

如果我們畫一個(gè)邊長為 a = b = 1 的等腰直角三角形，按照上述公式一算，立馬能得到

斜邊長度的平方等于 2，這又咋了？

如果我是畢達(dá)哥拉斯，至此也不會怎樣，估計(jì)會自言自語道：那就讓我們來找到一個(gè)分?jǐn)?shù)，其平方等于 2 唄！你可以試著找一找，或者相信我，很遺憾，這樣的分?jǐn)?shù)不存在。

斷言：不存在一個(gè)分?jǐn)?shù)，其平方等于2。（為了區(qū)別正式定義的數(shù)學(xué)中的“命題”與“定理”，我們稱在直觀理解下的一個(gè)或正確或錯(cuò)誤的陳述為斷言。）

正是這個(gè)斷言，直接摧毀了畢達(dá)哥拉斯學(xué)派的整個(gè)信仰基礎(chǔ)。

據(jù)說，發(fā)現(xiàn)這件事的學(xué)生被推入大海，其他門徒也必須發(fā)誓保守秘密。但只要是真理，就有被發(fā)現(xiàn)的一天，它是藏不住的。時(shí)至今日，√2 于我們已經(jīng)是一個(gè)再平凡不過的記號了。

那話說回來，憑什么上文的斷言就是真理呢？它為什么是真的呢？如果要論證一個(gè)怎樣的分?jǐn)?shù)存在，很簡單，找出來就行了。但是要怎么論證不存在呢？找了很久都找不到并不說明問題，我們得用邏輯推理來證明！

上文斷言的證明：

假設(shè)存在一個(gè)分?jǐn)?shù) m/n，其平方等于 2，其中 m，n都是自然數(shù)。顯然，可以不妨設(shè)它們不全都是偶數(shù)，否則可約去公因子 2。我們有

注意到右邊是一個(gè)偶數(shù)，于是 m 的平方是一個(gè)偶數(shù)，那么 m 必然也是一個(gè)偶數(shù)，設(shè) m = 2k。于是

同理，這又表明 n 是一個(gè)偶數(shù)。于是，m 和 n 都是偶數(shù)，與它們不都為偶數(shù)

矛盾，故假設(shè)錯(cuò)誤，不存在這樣的分?jǐn)?shù)。

這是一段流傳千古的證明，精彩，漂亮。要知道為什么這個(gè)證明震撼并摧毀了畢達(dá)哥拉斯學(xué)派，我們繼續(xù)探究：

說這個(gè)方程無解沒有人會反對，但邊長為一米的正方形可是實(shí)實(shí)在在看得見摸得著地存在的，它的對角線長度就是一個(gè)平方等于二的量！可我們證明了它不可能是分?jǐn)?shù)，說好的萬物皆數(shù)呢？！

洞察：我們周遭物理世界的幾何性質(zhì)逼迫我們不得不承認(rèn)存在一個(gè)量其平方等于二。

現(xiàn)代數(shù)學(xué)告訴我們存在著無窮無盡種幾何（geometry），有些于其中成立畢達(dá)哥拉斯定理，有些不成立。

前者被稱為平坦的（flat），后者被稱為彎曲的（curved）。現(xiàn)代宇宙學(xué)一個(gè)很大的課題便是回答我們的宇宙到底是平坦的還是彎曲的。誠然我們在地球上的測量顯示直角三角形兩邊平方和的確等于斜邊的平方，但那未必不是由于測量誤差導(dǎo)致的，換上精度更高的尺子可能會發(fā)現(xiàn)實(shí)際上二者并不相等，這樣一來畢達(dá)哥拉斯信仰的分?jǐn)?shù)說不定就夠用了！

但無論如何，在平坦的幾何中，分?jǐn)?shù)肯定是不夠的，√2 是存在的。據(jù)筆者所知，如今的各種實(shí)驗(yàn)基本都表明我們的宇宙是平坦的。

說了這么多，無非就想說明一件事——√2 的確存在。

讓我們回到正題，既然它不是分?jǐn)?shù)，那它到底是個(gè)什么東西呢？如果你回答 √2 就是 1.414 · · ·，那我就要繼續(xù)問了，那它是 1.4142 · · · 嗎？是 1.4142135624 · · · 嗎？這個(gè)省略號“· · · ”是什么意思？如果你回答 √2 是一個(gè)平方等于 2 的數(shù)，那什么是“數(shù)”呢？什么又是一個(gè)數(shù)的平方呢？

在這里埋下一個(gè)伏筆，且聽下回分解......

轉(zhuǎn)載自：原點(diǎn)閱讀

作者：韓旭

責(zé)編：咕嚕

標(biāo)簽：