欧几里得写过一本书,叫做《几何原本》,书中用几个最基本的定理,推导出所有的几何性质。
这本书的影响很大,因为建立在严格的公理化和逻辑推理的学科,可以发展的更好。
牛顿和莱布尼茨一开始发明的微积分,虽然展示了微积分可以为计算曲线下的面积,速度,加速度和路程等问题提供了很方便的工具,但是他们并没有解决无限小这个概念的问题,数学基础不牢固,后世过了几百年才提出了极限的概念,以及后来提出的一系列的定理,使得微积分公理化,形成了严密的逻辑。
还有线性代数,概率论都是建立在严格完备的公理化和逻辑推理的基础上。
实际上这些定理,都是一系列的证明,掌握了这些定理的证明,就相当于沿着数学学科的主线走了一遍,最后形成的能力就是,给你一些最简单的公理,你可以建立起整个数学的大厦。
因此,我们绝对要把定理证明放在最高的位置,同时要思考定理背后的各种意义,知道它的精髓,知道它能解决哪些问题。