引用:
原帖由 火车是运茶的 于 2009-4-18 21:20 发表 
吴文俊在《数学机械化》的前言里面说:“我们并不鼓励以后人们将使用计算机来证明甚至发现一些有趣的几何定理。恰恰相反,我们希望人们不再从事这种虽然有趣却对数学甚至几何学本身也已意义不大的工作,而把自己从这 ...
赞同。喜欢数学的人在中学学习阶段都非常喜欢平面几何,但数学是用来解决实际问题的,有多少问题需要平面几何的知识去解决呢?在日常生活中,我们用到的平面几何知识就是算算面积了。后面学习的物理和机械方面用到了些平面几何知识,但这些基本都是使用的平面几何中相对简单直接的原理。
学习平面几何中的对称性、相似性也许比解一些看似高深的证明题更重要,自然界中的万事万物大多是对称、相似的,体会对称和相似有助于认知很多物理学上的知识。.