眼前的星术士学徒久经考验,虽然诧异却依旧镇定的道:“姜璜星术士在工作时,禁止我们打扰。”
“在哪个房间?”程晋州又问。
两个星术士学徒都闭口不言。
程晋州用瘦小的胳膊推开他们,一边走一边道:“假如你们不告诉我,那我只能推开每一个房间来询问了。”
“在最大的房间,工作室中。”
程晋州在皇家星术士官邸住了有段日子,轻易的找对方向,然后就在两名学徒的担心的眼神中,毫无预警的将门使劲推开。
沉重的木质房门发出老朽的吱嘎声。
但里面的星术士们依旧沉浸在自己的世界里,唯有负责庶务的两名星术士学徒惊讶的看过来。
如以前那样,姜璜星术士坐在两块白板之间冥思苦想,另有一名星术士在第三块白板上奋笔疾书。剩下的两名星术士分别在剩余的白板上演算着。
程晋州稍一注意,就发现他们是在做曲线的切线,并求曲线围成图形的面积。这很类似他在绍南解决的近似问题,实际上,也是微积分发展的必然问题——人们之所以需要微积分这个工具,并不是某个数学家搓着脏兮兮的胸毛说“我想要”,它不是一种生理上的冲动,而是的确遇到了相适应的问题,曲线围成的面积,就是一个常常遇到,可是却很难解决的问题。
事实上,在数千年的数学发展中,人们始终都在致力于解决,曲线围成的面积。他们首先解决了一些特殊图形,正方形是最简单的,接着大约是长方形,为了能计算出三角形和梯形的面积,至少耗费了两代人的脑细胞,相当于培养10代博士生的时间。圆的面积解决有赖于圆周率,祖冲之完成的工作片面而部分,并对世界没有产生延续性的影响,仍然被宣扬了数十年,与革命导师的待遇相当。
至于最一般的曲线图形,直到微积分的出现,方能彻底解决。
让学生觉得最舒服的地方在于,不规则图形面积的问题,同样能够解释微积分,多少减轻了理解上的困难。
在程晋州看来,过去半年以来,姜璜星术士们的研究,似乎只能说是充分,却依旧没有突破性的进展——当然,这也是很自然的。数学的研究本来就很困难,一个数学教授只需要某个烂的出奇的偏方公式,就可以吃喝享用一生不愁,若是在中国的话,兴许还能混进两个三个七八个委员会,公允的讲,相对于其他更没有建树的先生们,再烂的偏方公式也是个公式。
自从一名高级文官,确切的说,是一名准高级文官,决定粗鲁的干涉自己的时候,程晋州就觉得,应该提高自我价值。
用超卓的发展水平,来歧视超卓的智能,是个很不错的主意。
因此,程晋州拿起一只笔,就在姜璜星术士面前的白板上,画出一个有“dx,dy和ds”的三角形,然后又在ds下重重的划上一条横线,写下“PQ,弦”。
忙碌中的几名星术士均抬起了头,惊讶的望向程晋州。
姜璜星术士结束了沉思,扫了一眼被划花的白板,面有不善的看着他道:“程先生,您是一位很有才华的星术士,但您最好解释……”
“dx表示相邻的序数之差,dy表示相邻的项数之差……”程晋州用手势打断了姜璜星术士的质问,滔滔不绝的说了起来。
他用的,正是莱布尼茨曾经使用的特征三角形,又是一颗天才大脑的结晶。
……
第一百五十四章 重要性
特征三角形并不是独有的创意,但莱布尼茨的特征三角形,是基于组合学的,使其相较前人更容易意识到两个重要的问题——切线有赖于纵横坐标的差值,面积有赖于纵坐标之和。
通过这两点,莱布尼茨轻易的推导出了一大堆新理论,其数量和质量足以养活中国任何一个省的数学教授。
用莱布尼茨自己的话来说:我毫不费力的确立了无数的定理。
就像是程晋州现在做的那样。
莱布尼茨的特征三角形,可以说是起了一个承前启后的作用,或者说,它是一个支撑物,从而让数学家们看的更远。
它本身不一定是什么重要的,或困难的定理。
可是一旦想到了它,就像是人们了解对数一样,很容易就衍生开去。
程晋州认为,既然自己要拿出些重要的东西,要卖出一些原始股,那么显然要将它卖出足够的价钱才行。
在此考量的基础上,特征三角形是一个很好的选择,如果要以推论和定理的数量比较,那哪怕是莱布尼茨先生自己最重要的莱布尼茨方程,都不一定能与之媲美。
相形之下,显然莱布尼茨方程更重要。它完成了微积分的基本建设。
程晋州当然不愿意现在,就推动姜璜星术士掌握微积分。
尽管这个趋势不可遏制,但他也不会主动的去推动这个趋势。
即使有着强烈的收敛之心,当程晋州在三块白板上阐述清楚所谓的特征三角形之后,蓬勃而出的定理证明,仍然让所有人震惊。
从白板上划线开始,程晋州的笔就再也没有停下来。
他从不回头去看姜璜星术士,或者其他星术士,他也不在乎那扇老旧的木门开开关关的吱嘎声,他完全无视人们在后方能或激烈或压抑的讨论声……
程晋州微微的眯着眼,仿佛永动机一般的书写着公式、证明和定理。
https://www.cwzww.com https://www.du8.org https://www.shuhuangxs.comabxsw.net dingdianshu.com bxwx9.net
kenshu.tw pashuba.com quanshu.la
tlxsw.cc qudushu.net zaidudu.org
duyidu.org baquge.cc kenshuge.cc
qushumi.com xepzw.com 3dllc.net