第六讲 数学判断与命题.pptVIP

5.数学命题的简洁与魅力 有许多的数学命题是如此简洁，有相当的诱惑力，魅力无限。 * zhangyingjiang17@126.com 一、数学命题 判断是对思维对象有所断定的思维形式. 表示判断的语句叫做命题. 数学命题是表达关于数学对象的判断的语句. 命题有真有假. 1、 判断的种类: 判断是对思维对象有所断定的思维形式. 量: 全称判断、特称判断 全称肯定、全称否定；特称肯定、特称否定 所有的等腰三角形都是三角形。 所有的等腰三角形都不是四边形。 有些三角形是等腰三角形。 有些三角形不是等腰三角形。 判断的种类: 质: 肯定判断、否定判断 关系:直言判断、假言判断、选言判断 直言判断：不加条件直接断定数学对象具有或不具有某个属性的判断。 如 正多面体只有五种： 正四面体，正六面体、正八面体，正十二面体、正二十面体 判断的种类: 质: 肯定判断、否定判断 关系:直言判断、假言判断、选言判断 直言判断：不加条件直接断定数学对象具有或不具有某个属性的判断。 如 正多面体只有五种： 正四面体，正六面体、正八面体，正十二面体、正二十面体 假言判断：有条件地断定数学对象具有某种属性或关系存在的判断。 如果两直线平行，那么内错角相等。 选言判断：断定数学对象若干某种属性或关系中至少有一个存在的情况的判断。 如果说ab=1,则a、b中必有一个不大于1，也不小于1。 如平面内两直线相交，或平行，或重合。 2、数学中最早的命题： (1) 圆被任何直径二等分． (2) 等腰三角形两底角相等． (3) 两直线相交，其对顶角相等． (4) 两角及夹边对应相等的两三角形全等 (5) 内接于半圆的角是直角． 3、几何原本中的公设： ⑴ 连接任何两点可以作一直线段． ⑵ 一直线段可以沿两个方向无限延长而成为直线． ⑶　以任意一点为中心、通过任意给定的另一点可以作一圆． ⑷ 凡直角都相等． ⑸　如果同平面内一直线和另二直线相交，同一侧的两内角 之和小于二直角，则两二直线无限延长，必在这一侧相交。 二、 数学命题的文化特性 1. 数学命题的多样性 2. 数学命题的文化共享性 3. 数学命题的趣味性 4. 数学命题的探索性 5. 数学命题的简洁与魅力 欧几里得的第五公设“也许是科学史上最重要的一句话”． ————Keyser 上个世纪最富有启发性和最值得注意的成就就是非欧几里得几何的发现． ————希尔伯特 几何原本中的公设 5． 如果同平面内一直线和另二直线相交，同一侧的两内角 之和小于二直角，则两二直线无限延长，必在这一侧相交。 1、数学命题的多样性 公元五世纪新柏拉图学派的哲学家和评注家普罗克鲁斯在其《欧几里得原本卷一评注中告诉我们：这条公设很早就受到批评。 （伊夫斯，数学史上的里程碑，1990年，P281-283） 如此复杂、冗长的命题怎么能作为数学公设！！！ 多少年来,曾提出或隐含地假定作为平行公设的替代公设的 有： (1) 存在一对同平面的直线彼此处处等距离. (2) 过已知直线外的一个已知点只能作一条直线平行于已知直线． (3) 存在一对相似但不全等的三角形. (4) 如果一个四边形有一对对边相等，并且它们与第三边构成的角均为直角，则余下的两个角也是直角. (5) 如果一个四边形有三个角是直角，则第四个角也是直角. (6) 至少存在一个三角形，其三个角的和等于两个直角. (7) 过小于60的角内一点,总能作一条直线与该角的两边相交. (8) 过任何三个不在同一直线上的点可作一圆. (9) 三角形的面积无上限． (2) 归功于苏格兰物理学家和数学家J．普雷菲尔 2000多年以来，为了证明欧几里得平行公理是一条定理，或者寻求一条更容易接受的公理来代替平行公理，不知耗费了