勾股定理可以说是数学定理之中,存在证明方法最多的定理之一,地球上周朝时期也早出现过“勾三股四弦五”的数值特例。
严格说来,它便是那个“余弦定理”的特殊形式。地球上11年陕西高考还考究过它的证明,让一群用定理用得滚瓜烂熟的同学看得一脸懵逼。
林奇思索数分钟,也想不通这里考验的是如此简单的几何定理。
对比那些听着就高大上的数学定理而言,它无疑太过浅显。
“公理”是指依据人类理性的不证自明的基本事实,它门锁经过人类长期反复实践的考验,不需要再加证明的基本命题。
“定理”则是从公理或其他已被证明的定理出发,经过受逻辑限制的演绎推导,证明为正确的结论的命题或公式。
《几何原本》中“凡是直角都相等”是公理,而“勾股定理”则是定理。
一言概之,公理是鸡,定理是蛋。
林奇哪怕是瞎子,在知道“不动点定理”这些意义非凡后,都知道他记忆中处于最顶层位置的“哥德尔不完备定理”这等击穿公理系统的存在,将会是极为可怕的颠覆存在。
它指出了一个没有矛盾的公理系统,依旧会存在一些无法被证明或者证伪的“命题”。
类似于超脱三界外,不在五行中,直掐系统命门。
这年头,自己不够复杂,都不好意思摆上台面,与各路高环法术搭上关系。
可如此想想,简单直白的“勾股定理”,简单地怎么都看不出和当前的法术系统有半毛钱关系。
不太值得作为一项“考验”。
林奇摇了摇头,也罢,瞎凑合写着就是了,还好大千世界无奇不有,这世界真的存在《挑战思维极限:勾股定理的365种证明》这类书籍,完美主义的林奇看着现存证明法五百种,便咬咬牙给看完了。
正如同他背着圆周率,根据“山巅一寺一壶酒”之类的口诀把圆周率背到22位(),后面再看到一位数学家鲁道夫的实际,对方用割圆法算圆周率算到35位之多,代表着旧时代最后的辉煌,他也顺带背完剩下的位数,以作纪念。
他直接捡起地面的一块碎石,以它为粉笔,慢慢在用泥浆糊过的拱形门面上,开始刻画出具体的证明过程来。
“勾股定理”五百多种证明方法里,绝大多数都是初中层次。
最有名的当属于课本上所采用的赵爽弦图解法,林奇上学时也曾经为之感慨。当然后面再看