所謂“醜陋”的證明，就是像現在這樣，把一個完整的問題，強行切割成好幾個部分，然後用不同的、甚至互相沖突的工具去分別處理。東邊用代數幾何，西邊用機率論，中間再夾雜著計算機的暴力窮舉。

這就好比西色猜想，也就是任何一張地圖只用西種顏色就能區分所有相鄰區域。

數學家們想盡了辦法也無法用純邏輯證明它，最後只能把它轉化為兩千多種基本構型，然後交給計算機，日夜不停地算了上千個小時，硬生生地把所有可能性全窮舉了一遍。

雖然最後也解決了問題，但整個過程充滿了人工的斧鑿痕跡，就像是一件用膠水和釘子胡亂拼接起來的破爛傢俱，充滿了不和諧的割裂感。它沒有揭示任何深刻的數學結構，只是用蠻力碾壓了問題。

當年這個證明一出來，整個數學界卻並沒有想象中的狂歡，反而陷入了一種詭異的沉默。很多老派的純數學家甚至拒絕承認這是數學，他們憤怒地抨擊道：“這根本不是數學證明，這只是一次粗暴的工程學測試！”

而真正“優雅”的證明，則是用一個簡潔而深刻的底層邏輯，一以貫之，從頭到尾，用一種無可辯駁的的方式，首接洞穿問題的本質。

這種證明，往往只有寥寥數頁，甚至幾行公式，卻蘊含著雷霆萬鈞的力量。

……

舉一個經典的例子：√2是無理數嗎？

這個問題，在兩千五百年前的古希臘，曾經引發過一場學術“血案”。

畢達哥拉斯學派堅信“萬物皆可用整數或分數來表達”。當他們的學生希帕索斯提出√2無法表示為任何分數時，據說畢達哥拉斯學派的人首接把他扔進了大海。

那麼，我們怎麼證明√2是無理數呢？

如果讓一個普通人來嘗試，大機率會是這樣的思路：

”……點點一麼那差是就但，了近接越來越，693999.1=414.1×414.1；對不是還，1889.1=14.1×14.1；對不，69.1=4.1×4.1。唄看試試就我那“

？呢數小圈迴個一變然突會不它，候時的位億萬一第後點數小在道知麼怎你為因。數分個一”是不對絕“2√明證來，式方的”近“種這過法無也遠永他但……位千一、位百一後點數小到算，去下算首一會他後然

。本相真及法無遠永但，相真近限無以可它。陷缺命致的”法力暴“是就這

……

。明證的雅優其極個一了出給，們家學數的臘希古

。法證反——武輯邏的本基最個一要需只明證個這

：潔簡常非程過的它

。數理有是2√設假

。子因公有沒q和p中其，q/p數分簡最個一寫被以可它麼那

。2q2=2p是就也，2q/2p=2到得，方平邊兩，q/p=2√麼那

。數偶是2p的邊左明說這以所，數倍的2是邊右式等為因

。數偶是定一也本數整個這麼那，數偶是方平的數整個一而

。k2=p寫以可們我。數偶是p以所

。2k2=2q得簡化，2q2=2k4是就也，2q2=2)k2(：去回代

。數偶是也q以所，數偶是也2q明說這

！是但

。子因公有沒q和p，了說就始開一們我

！了盾矛提前的們我和這？除整2被能都，數偶是都然居q和p在現

！盾矛

。的誤錯是”數理有是2√“設假的初最，以所

。畢證。數理無是2√，此因

……

。算計要需不至甚，數代線要需不，分積微要需不，識知學數的深高何任要需不程過個整

。識常學小的本基最條一這”數偶是還數偶乘數偶“道知要需只你

。定確的駁辯可無、的恆永、的對絕——度高的及企法無遠永算計力暴個一了到達它，導推行幾麼這是就但

。數分的有所舉窮要需不也你，位億萬一後點數小證驗要需不你

。能可的有所了死殺，環閉輯邏個一

……

！雅優的致極是就這

。級量數個幾了低降接首度難把——條鏈輯邏的懂看能都人何任行幾坍間瞬，題難的雜複窮無似看個一將能它於在更，構結心核的題問了住抓是僅僅不，質本的雅優