7第七讲 数学证明与趣谈.ppt

数学证明与趣谈;一、 什么做证明 二、证明的几种理解 三、无字证明 四、证明趣事 五、证明的小结;一、 什么做证明? 《辞海》：“根据已知真实的判断来确定某一判断的真实性的思维形式。” 根据某个或某些真实的数学命题和概念，断定另一数学命题的真实性的推理过程叫做数学证明。数学证明是指数学的逻辑证明， 它是数学科学的一大特点。; 数学证明的组成 任何证明都由论题、论据和论证三部分组成。 论题——待证明的论题命题 论据——用于证明的一论据系列判断 论证——把论题和论据联系起来的一系列推理; 说它容易，是因为一般书本，尤其是西方的著述，都公认数学证明始于公元前六世纪。据说当时的希腊数学家、哲学家泰勒斯(Thales)证明了几条几何定理，包括如直径把圆平分、等腰三角形的底角相等、对顶角相等之类。 到了公元前4世纪，欧几里得写成了不朽巨著《几何原本》。他从一些基本定义与公理出发，以合乎逻辑的演绎手法推导出四百多条定理，从而奠定了数学证明的模式，成为后世宗师。 萧文强 , 数学证明 , 江苏教育出版社 , 1990年07月第1版 , 第4页; 如果没有严格的证明，则不能信服一事物是可能的还是不可能的。数学家曾证明了一系列可能的事和不可能的事。 对于