沿途風景

光引擎 沿途風景專輯

3.QED(故得證)

作詞:賴彥均
作曲:賴彥均

3.1415927
16384次艱辛*
追尋與真理最近距離
轉角遇見費布納西**
鸚鵡螺的曲線曼妙美麗
樹葉一片片排列整齊

* 古代數學家用正多邊形的面積來逼近圓面積,原理簡單,但計算時要不斷開平方,過程非常繁複。
南北朝的祖沖之算到16384邊,而得知圓周率介於3.1415926與3.1415927之間。
** 費布納西(Fibonacci)數列:1,1,2,3,5,8,13,21,34,55...
費布納西於西元1202年提出,在葉序問題、最佳化理論、結晶結構等領域都有直接應用。

畢達哥拉斯和商高先生
都發現勾股弦中的秘密*
引領千年後費瑪最後定理**
懷爾斯的熱情與堅定不移
解開懸宕三百年的世紀謎題

* 畢氏定理,又稱商高定理或勾股弦定理,a2 + b2 = c2。
** 費瑪最後定理,源於畢氏定理,17世紀的數學怪傑費瑪在書頁空白處寫下:「xn + yn = zn,當n大於2時沒有整數解。
我已為這個命題找到一個非常巧妙的證明,然而這裡狹窄的篇幅不足以讓我寫下。
」如此簡短的敘述,卻成為數學史上最深奧的謎團。
一直到二十世紀,才由安德魯懷爾斯(Andrew Wiles)破解。

一次一次一次證明 都更接近真理
零是零 一是一 這世界黑白分明
不同不同不同 不同於模糊難解的人心
這浩瀚宇宙是如此美麗

127.0.0.1 *
最美好的秘密基地
二進位言語
改變世界的超能力
沒有終止條件的遞迴函式**
不斷呼喊自己 不到終點永不放棄

* 127.0.0.1 = localhost = home
** 遞迴(recursion),是「函式(function)不斷呼叫自身」的一種程式撰寫法。
而為了防止程式無窮盡的遞迴下去,必須為所寫出來的遞迴函式設定一個終止條件(termination condition)。

一次一次一次證明 都更接近真理
零是零 一是一 這世界黑白分明
不同不同不同 不同於模糊難解的人心
這浩瀚宇宙是如此美麗

一次一次一次 喔 接近真理
零是零 一是一 絕對的純粹
不同不同不同 不同於模糊難解的人心
這浩瀚宇宙是如此美麗