劉扶搖到底老奸巨猾,道:“這證明之法,我兒已完整地書寫在此,可先交給慕主管,同時也算是成果提交。”
折中之法,交到慕雪手中,若是她說出來,那邊是智慧宮對外宣揚。
卻不曾想,劉蒙擺擺手道:“誰先誰后倒也無妨,反正這局我贏定了,總要大度些,我先說說我的法子吧,你若先說了,免得又說出什么陰謀論、黑幕的無聊話來。”
“根2為無理數之證明,算是此類問題中最簡單的題,常規思路都是設定根2為互質整數A/B,然后從A和B出發找出矛盾點,進而證明論點,難就難在用空間幾何的法子。”
劉蒙說來頭頭是道,“我一開始認為,可以A、B為邊構造正方形,因為兩者的平方關系,因此A邊長的正方形中放兩個B邊長的正方形,兩個B邊正方形中間的黑色陰影面積等于A邊正方形中空白面積,都是正方形,這就找到了一組更小的正整數A1和B1,同樣滿足2倍平方關系,無窮遞推下去,這個過程無限進行,也就證明了根2是無理數。”
劉蒙一邊說,一邊在前面書寫演示。
劉扶搖和劉翀兩父子一聽頓時變色,這就是他們所書寫的結果。
簡直不可思議。
劉蒙解答出來了。
諸位學者一聽也都震撼,這小子贏了?贏了劉翀。
卻沒想到劉蒙還沒說完,繼續道:“可這方法終究還是從A和B的關系出發,算不得純粹的空間幾何方法,為了避免扯皮,我只好去想其他的法子。”
慕雪聽得如癡如醉,一雙美目一直盯著劉蒙的一舉一動,那股指點江山的氣勢為之折服,舉手投足間,高難深的問題迎刃而解,小妮子無意間便流露了愛慕和崇拜。
“幸好是證明根2比較簡單,若是換個根3,根5之類,我一時還真想不出來了,從勾股定理出發,根2還可以看作是等邊直三角形的斜邊,無理數之定義便是表示為整數之比,在空間幾何中,便可以理解為兩條線段的公度單位,使得兩條線段的長度都是公度量的整數倍,尋找公度量的方法相當直觀,就是不斷把較長的線段減去較短那個線段,直到兩個線段一樣長,就如同數論中求取最大公約數。”
劉蒙畫了一幅圖出來。
“把BD減去BC,剩下一段DE……”
劉蒙總是習慣性跳躍一段思維。
聽得諸位老夫子十分揪心,遇見精妙的學術,依舊是諸位學者們的最大追求,一時也聽迷了進去,腦子不由自主地跟著思考。
一位老夫子忍不住提問,正是天賦最一般的楚鏘。
“以DE為邊做一個新的小正方形DEFG,那么顯然DE=EF=FC,這還因為BEF和BCF兩個三角形一定全等,抱歉,忘了加這條輔助線,我以為大家都能看出來。”
劉蒙倒也虛心解答迷惑。
老夫子囧得滿臉通紅,可獲得學術知識依舊是喜悅居多。
“這是怎么無限下去的?”另一個老夫子忍不住問。
“剛才所說,現在輪到DE和DF之間輾轉相除,而它們是一個新的正方形的邊和對角線,其比例正好與最初的BC和BD相當,于是,這個操作再次回到原問題,無限遞歸下去。”
無限遞歸,那邊證明了根2是無理數,完完全全空間幾何的法子,思維精妙到了極點。
……