Q.E.D (故得证)

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

一次一次一次证明 都更接近真理
零是零 一是一 这世界黑白分明
不同不同不同 不同于模糊难解的人心
这浩瀚宇宙是如此美丽

一次一次一次 接近真理
零是零 一是一 绝对的纯粹
不同不同不同 不同于模糊难解的人心
这浩瀚宇宙是如此美丽