第八章
送給外星人看
幾何學裏有一個非常重要的定理，在我國叫勾股定理，在國外叫畢達哥拉斯定理，相傳畢達哥拉斯發現這個定理後欣喜欲狂，宰了100頭牛大肆慶賀了許多天，因此這個定理也叫百牛定理。
勾股定理的大意是：任意畫一個直角三角形，它的兩條直角邊的平方和，一定會等於斜邊的平方。這個定理精確地刻畫了直角三角形3條邊之間的數量關係，以它為基礎，還可以推導出不少重要的數學結論來。
勾股定理不僅是最古老的數學定理之一，也是數學中證法最多的一個定理。幾千年來，人們已經發現了400多種不同的證明方法，足以編成厚厚的一本書。實際上，國外確實有一本這樣的書，書中收集有370多種不同的證法。在為數眾多的證題者中，不僅有著名的數學家，也有許多數學愛好者。美國第20任總統伽菲爾德，就曾發現過一種巧妙的證法。
伽菲爾德的證法很有趣。他首先畫兩個同樣大小的直角三角形，然後設法組成一個梯形。根據梯形麵積的計算公式，整個圖形的麵積為
S＝a+b2(a+b)
＝12（a2＋b2＋2ab）。
另一方麵，根據三角形麵積計算公式，整個圖形的麵積為
S＝12ab＋12ab＋12c2＝12（2ab＋c2）。
即a2＋b2＝c2。
據說，世界上最先證明勾股定理的人，是古希臘數學家畢達哥拉斯，但誰也未見過他的證法。目前所能見到的最早的一種證法，屬於古希臘數學家歐幾裏得，他的證法采用演繹推理的形式，記載在世界上數學名著《幾何原本》裏。
在我國，最先明確地證明勾股定理的人，是三國時期的數學家趙爽。
趙爽的證法很有特色。首先，他作4個同樣大小的直角三角形，將它們拚成設定的形狀，然後再著手計算整個圖形的麵積。顯然，整個圖形是一個正方形，它的邊長是C，麵積為C2。另一方麵，整個圖形又可以看作是4個三角形與1個小正方形麵積的和。4個三角形的總麵積是2ab，中間那個小正方形的麵積是（b－a）2，它們的和是2ab＋（b－a）2＝a2＋b2。比較這兩種方法算出的結果，就有，
a2＋b2＝c2。
趙爽的證法鮮明地體現了我國古代證題術的特色。這就是先對圖形進行移、合、拚、補，然後再通過代數運算得出幾何問題的證明。這種方法融幾何代數於一體，不僅嚴謹，而且直觀，顯示出與古代西方數學完全不同的風格。
比趙爽稍晚幾年，我國數學家劉徽發明了一種更巧妙的證法。在劉徽的證法裏，已經用不著進行代數運算了。
劉徽想：直角三角形3條邊的平方，可以看作3個不全相等的正方形，這樣，要證明勾股定理，就可以理解為要證明：兩條直角邊上的正方形麵積之和，等於斜邊上正方形的麵積。
於是，劉徽首先作出兩條直角邊上的正方形，他把由一條直角邊形成的正方形叫做“朱方”，把由另一條直角邊形成的正方形叫做“青方”，然後把圖中標注有“出”的那部分圖形，移到標注有“入”的那些位置，就拚成了圖中斜置的那個正方形。劉徽把斜置的那個正方形叫做“弦方”，它正好是由直角三角形斜邊形成的一個正方形。
經過這樣一番移、合、拚、補，自然而然地得出結論：
朱方十青方＝弦方。
即a2＋b2＝c2。
“青朱出入圖”，這是一幅多麼神奇的圖啊！甚至不用去標注任何文字，隻要相應地塗上朱、青兩種顏色，也能把蘊含於勾股定理中的數學真理，清晰地展示在世人麵前。
我國著名數學家華羅庚認為，無論是在哪個星球上，數學都是一切有智慧生物的共同語言。如果人類要與其他星球上的高級生物交流信息，最好是送去幾個數學圖形。其中，華羅庚特別推薦了這幅“青朱出入圖”。
我們深信，如果外星人真的見到了這幅圖，一定很快就會明白：地球上生活著具有高度智慧和文明的友鄰，那裏的人們不僅懂得“數形關係”，而且還善於幾何證明。