《几何证明初步》知识回顾.doc

《几何证明初步》知识回顾 “平行线的有关证明”一章是证明的初步，主要涉及命题、公理、定理的有关概念，以及与平行线、三角形的内角和等有关的简单的证明.通过本章的复习，要掌握证明的格式，能利用学过的公理、定理等进行简单问题的证明或计算. 一、定义与命题 1.定义：对术语和名称的含义加以描述，作出明确的规定，也就是给出它们的定义.如“两点之间线段的长度，叫做这两点之间的距离”是“两点之间的距离的定义. 2.命题：判断一件事情的句子叫做命题，每个命题都是由条件和结论两部分组成，条件是已知事项，结论是由已知事项推断出的事项.命题一般写成“如果……，那么……”的形式，“如果”引出的部分是条件，“那么”引出的部分是结论. 3.真命题、假命题与反例 真命题：正确的命题称为真命题. 假命题：不正确的命题称为假命题. 反例：要说明一个命题是假命题，通常可以举出一二例子，使之具有命题的条件，而不具有命题的结论，这个例子称为反例. 4.公理、定理、证明 公理：人们公认的真命题称为公理. 定理：经过证明了的真命题称为定理. 证明：推理的过程称为证明. 例1　在下列命题中，真命题是（　　）. A.两个钝角三角形一定相似 B.两个等腰三角形一定相似 C.两个直角三角形一定相似 D.两个等边三角形一定相似 析解：本题是和三角形相似的有关命题的识别，真命题就是条件成立，结论正确的命题.两个三角形是否相似，主要看是否满足下列相似的条件之一：①有两组对应角相等的两个三角形相似；②两边对应成比例，且夹角相等的两个三角形相似；③三边对应成比例的两个三角形相似.所给的选项中只有两个等边三角形满足以上条件.所以选（D）. 说明：和命题有关的试题，多以选择题的形式出现，以判断真假命题类型题为主要形式. 二、平行线的判定和性质 1.平行线的判定公理：同位角相等，两直线平行. 2.平行线的判定定理1：同旁内角互补，两直线平行. 3.平行线的判定定理2：内错角相等，两直线平行. 平行线的性质公理：两直线平行，同位角相等. 4.平行线的性质定理1：两直线平行，内错角相等. 平行线的性质定理2：两直线平行，同旁内角互补. 注意：对于平行线的判定与性质，一定不要混淆它们的条件和结论，平行线的条件是由角的数量关系来确定直线的位置关系，平行线的性质是由平行线的位置关系来确定角的数量关系.对平行线的判定而言，“两直线平行”是结论，对平行线的性质而言，“两直线平行”是条件.因此，不能随便说“同位角相等”“同旁内角互补”. 例2　如图1，
，
分别交
于
，
，
平分
，
交
于
.求∠1的度数. 分析：要求∠1的度数，根据两直线平行可得
，所以只要根据已知条件求出
的度数即可. 解：因为
， 所以
（两直线平行，内错角相等）. 又
，
平分
， 所以
. 所以
. 说明：根据平行条件求角的度数，一般借助平行线的性质（两直线平行，同位角相等，内错角相等或同旁内角互补）解决问题，有时还要用到三角形的外角性质等. 三、三角形内角和定理 探究三角形内角和定理时，将三角形的三个内角“凑”在一起，拼成一个平角，从而得到三角形的内角和等于180°，这里体现了一种重要的数学思想——转化思想.三角形内角和定理的证明方法较多，除了转化为平角证明外，还可以利用“构造周角”的方法以及“两直线平行，同旁内角互补”的方法解析证明. 例3　如图2，已知
中，
，
于
，
是
上一点.求证：
. 分析：
与
没有直接的联系，但
、
都与
有关，因此可以用
作中间量进行过渡. 证明：在
中，
， 因为
，所以
， 在
中，
， 所以
， 所以
. 因为
（三角形的一个外角大于任何一个和它不相邻的内角）， 所以
. 说明：证明角的不等关系式时一般用到三角形的外角与三角形的内角的关系：三角形的一个外角大于任何一个和它不相邻的内角. 四、三角形的外角 三角形内角和定理的两个推论是： 推论1 三角形的一个外角等于和它不相邻的两个内角的和. 推论2 三角形的一个外角等于任何一个和它不相邻的内角. 关于三角形外角的重要结论是三角形内角和定理的推论.第一个推论反映了一个外角与它不相邻的两个的相等关系，应用在证明或计算内角与外角的大小问题中；第二个推论反映了一个外角与它不相邻的内角的不等关系，用于证明和三角形有关的角的不等关系问题中. 例4　如图3，点P是△ABC内的一点，连接BP、CP. 求证：∠BPC>∠BAC. 分析：要求证明∠BPC>∠BAC，通常有两种方法：一是找到第三个角，利用不等式的传递性得证；二是将∠BPC和∠BAC都分成两个角，利用同向不等式的和所得不等式仍然成立来证明. 证法一：如图3（1）所示，延长BP交AC于点D. 由于∠BPC是△DPC的外角，所以∠BPC>∠CDP. 由于∠CDP是△ABD的外角，所以∠CDP>∠BAC. 所以∠BPC>BAC. 
证法二：如图3（2）所示，连接AP