7第七讲数学证明与趣谈探析.pptVIP

柏拉图在《理想园》的一段话，这是很可信的： 你一定晓得，研究几何、算术或类似科学的人，以奇数、偶数、图形、三种角及这一类东西作为基础。这是他们的研究的出发点，他们不认为有需要对这些再加任何说明，这是开始的原理。如， 公元前6世纪毕达哥拉斯学派关于图形数的一些定理，看来是凭形象观察去证明的。他们常把数描绘成小石于，按小石子能排列成的形状把数分类。例如，l、4、9、16，…叫做正方形数；1、3、6、10、…叫做三角形数 萧文强 , 数学证明 , 江苏教育出版社 , 1990年07月第1版 , 第5页 把这四个这样的三角形合成一矩形，再重新拼凑寻20块小片，得到另一矩形，两矩形的面积相等， 一个是2ab， 另一个是2r(a+b+c). 故2ab=2r(a+b+c) 即2r= 2ab/(a+b+c). 萧文强 , 《数学证明》 , 1990年07月第1版 , 第25页 萧文强 , 《数学证明》 , 1990年07月第1版 , 第27—28页 谁能保证证明没有错误呢？如汤普逊一菲特定理为例，有多少人能透彻读通那255页？ 所谓透彻，是指连文章里引用到的定理也全部核实。这番功夫是很费劲的，而且要十分仔细，任何细节都不能放过或者借别人之手去验证。即使真的有这样的