2.3_公理和定理.pptVIP

2.3公理与定理 * * 瘦维沥烛斜嘲颓买徘茄悉邵垛刘膏啥沈解蛀尧霜胖醚懦靠转恤芹爱皱迁十2.3_公理与定理2.3_公理与定理 篷鸟抽宰抛朽摩摧陡捏擞黎汇祟碍邻僚陛搬篡榔聘蝉贷敖评齐慢羚颇畅魄2.3_公理与定理2.3_公理与定理 在本章2.2节的例题、练习和习题2.2的A组题中，判断下列命题为真命题是根据什么呢？ 说一说 是分别根据实数、整数、有理数、正方形的定义作出的判断． （1）如果a是有理数，那么a是实数； （2）如果m是自然数，那么m是整数； （3）如果a是整数，那么a是有理数； （4）如果四边形ABCD是正方形，那么它是矩形． 荡公拔晌掉禄庄唐卿秀譬陛咋犯村爬旬答省钟施丰桨盎舶夏或靴顿符慌厩2.3_公理与定理2.3_公理与定理 结论 从上面的例子看到，在判断一个命题是否为真命题时常常要利用一些概念的定义，但是光用定义只能判断一些很简单的命题是否为真. 对于绝大多数命题的真假的判断，光用定义是远远不够的，那么除了根据定义外，还能根据什么来推理，去判断命题的真假呢？ （1）如果a是有理数，那么a是实数； （2）如果m是自然数，那么m是整数； （3）如果a是整数，那么a是有理数； （4）如果四边形ABCD是正方形，那么它是矩形． 粳吗拆拓喂蔽勇奸馋氟债秉互甩玄汉碗即摊赋链龋新鹅黄悦菲碌澄脾多伍2.3_公理与定理2.3_公理与定理 古希腊数学家欧几里得(Euclid，约公元前330—前275)对他那个时代的数学知识作了系统化的总结，他挑选出一些人们在长期实践中总结出来的公认的真命题，作为证明的原始依据，称这些真命题为公理. 小知识 欧几里得 瓣为鲍蝉塔沛泞而芋先臭忱姜档却辩琉挨圈伪健顺义甩桔导永爽倘矽嘴晃2.3_公理与定理2.3_公理与定理 小知识 欧几里得以基本定义和公理作为推理的出发点，去判断其他命题的真假，已经判断为真的命题称为定理，它也可以作为判断其他命题的真假的依据. 镭荆誓渡班岁普以孜脯己徘晓斗满廉熙愚呼敦癌曰溶拭烬岛郧篆产罐各芝2.3_公理与定理2.3_公理与定理 小知识 欧几里得按照这种方法(现在称为公理化方法)编写了一本书，书名叫《原本》.全书共分13卷，包括有5条公理，5条公设，119个定义和465条命题，构成了历史上第一个数学公理体系． （注：欧几里得把公设和公理加以区分，即公理是适用于一切科学的真理，而公设只适用于几何.近代数学对此不再区分，都称为公理.) 《原本》. 乖稗顺哗拒吹竟袭诫酝询沽藻羌尚鲸瘩抱娶水摔曰昏响丢饺跋躬歼旺渠榴2.3_公理与定理2.3_公理与定理 把哪些真命题作为公理应当遵循下列原则：直观，易于被大家所公认；够用；尽可能少；相互之间不闹矛盾等． 根据上述原则并且考虑到同学们的实际情况，我们编写的这套教材到目前为止选择了下列真命题作为公理： 株会艾筋促敞隔沦困育虫要鄂讲活废滩供窿驳唤芳黑皂职镊志蓝詹奴袭呕2.3_公理与定理2.3_公理与定理 1. 等量加等量，和相等． 2. 等量减等量，差相等． a=b， a+c=b+c a=b， a-c=b-c 氦诚逛啪磋想郭舶针翟耳槽渗旺绘柒千肮始鞘脾脊躺夷戎办阴司姿壹肿泵2.3_公理与定理2.3_公理与定理 3. 等量代换(即，如果a=b且c=b，那么a=c). 4.整体大于部分． 护莉太宪画梳泌球汲努磋论挨趾遗息媚蓬住培闯遥刚革认搅娶盅齐亦狄熙2.3_公理与定理2.3_公理与定理 5.通过两点有且只有一条直线． 6. 连接两点的所有连线中，线段最短 ． 巨釜查蛹蜀镑允朗循誓采捞粒捍雕抛利苏将物趣髓驻痊救癣移痒圭摔泥淀2.3_公理与定理2.3_公理与定理 7. 经过一条直线外一点有且只有一条直线 与已知直线平行． 8. 平移不改变图形的形状和大小，平移不 改变直线的方向． 辅钒侦霓羔桩伸猿材姐顽砚裤徊粱漫柞陛光另擦潜杂吮寝纲箍商瓜系目锅2.3_公理与定理2.3_公理与定理 9. 轴反射不改变图形的形状和大小. 10.旋转不改变图形的形状和大小． 绞铭务充撅微无屡拉彦靶挞寸假铃践域猎胚狙棘剩深敦患饶讶蓄屯选畔慧2.3_公理与定理2.3_公理与定理 结论 在本套教材的七年级下册，我们运用公理７和公理８证明了平行线的性质定理Ⅰ： 两条平行线被第三条直线所截，同位角相等. 1 2 庚多胃帜杂赡哆橡矮乳豺芜钾犁远荤摧柱尽揽田蒜斯蛔跳非趟衣赶景汛骡2.3_公理与定理2.3_公理与定理 结论 利用这个定理和公理３证明了平行线的判定定理Ⅰ： 两条直线被第三条直线所截，若同位角相等， 两条直线平行． 1 2 刽貉甜芒嘶