Q.E.D.

quod erat demonstrandum 故得證之意，
宣示定理真實性的建立。
這是一首歌頌知識與真理的歌曲。
步入社會後，就會開始懷念起學生時代單純的美好。在純粹知識的世界裡，一切如此分明。長大後的世界，是非界線變得模糊，令人不知所措。儘管如此，我們依舊努力用著自己的方式，追尋著那個，絕對純粹的世界。
-----------------------------------------------------------

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


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


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


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

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

-----------------------------------------------

(註1)古代數學家用正多邊形的面積來逼近圓面積，原理簡單，但計算時要不斷開平方，過程非常繁複。南北朝的祖沖之算到16384邊，而得知圓周率介於3.1415926與3.1415927之間。


(註2) 費布納西（Fibonacci）數列：1,1,2,3,5,8,13,21,34,55... 費布納西於西元1202年提出，在葉序問題、最佳化理論、結晶結構等領域都有直接應用。

(註3)畢氏定理，又稱商高定理或勾股弦定理，a2 + b2 = c2。

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

(註5) 127.0.0.1 = localhost = home

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

http://tw.streetvoice.com/music/lightengine/song/188032/

光引擎樂團 http://www.facebook.com/LightEngineBand
首張迷你專輯 My Journey‧旅程 收錄歌曲

Q.E.D.：quod erat demonstrandum 故得證之意，宣示定理真實性的建立。
這是一首歌頌知識與真理的歌曲。
步入社會後，就會開始懷念起學生時代單純的美好。在純粹知識的世界裡，一切如此分明。長大後的世界，是非界線變得模糊，令人不知所措。儘管如此，我們依舊努力用著自己的方式，追尋著那個，絕對純粹的世界。


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）。

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

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