一个定理逆命题探究及证明.docVIP

一个定理逆命题探究及证明1 问题的提出 同学们都知道等腰三角形的“三线合一”的性质,可是很少有人研究过它的逆命题. 某同学经过深思熟虑,得出结论:当一个三角形一边上的高和这边上的中线重合时,显然它是等要三角形;当一个三角形一边上的高和这边所对角的角平分线重合时,显然它也是等腰三角形;可是他无法判断当一个三角形一边上的中线和这边所对角的角平分线重合时,它是不是等腰三角形,你能帮他解决这个问题吗? 如图1,在△ABC中,AD是BC边上的中线,且AD平分∠BAC,试探究AB和AC的数量关系? 2 问题的解决 结论:AB=AC.下面给出解决问题的几个途径供读者参考. 途径1:利用角平分线. 证法1 如图2,作DE⊥AB,DF⊥AC,垂足为E、F,因为AD平分∠BAC,所以DE=DF,又BD=DC,所以Rt△EDB≌Rt△FDC,所以∠B=∠C,所以AB=AC. 评注 过角平分线上的点作角的两边的垂线段,用“角平分线上的点到角的两边的距离相等”,再证明三角形全等,是解决与角平分线有关问题的常用手段. 途径2:抓住中点. 证法2 如图3,延长AD至点E,使DE=AD,连结BE、CE,则四边形ABEC是平行四边形,所以AC=EB且AC∥BE,所以∠CAD=∠BED,因为∠BAD=∠CAD,所以∠BED=∠BAD,所以AB=EB所以AC=AB. 证法3 如图4,取AC的中点M,连结DM,根据三角形中位线定理得DM=[SX(]1[]2[SX)]AB且DM∥AB,所以∠ADM=∠BAD,因为∠BAD=∠MAD,所以∠MAD=∠ADM,所以DM=AM=[SX(]1[]2[SX)]AC,所以AB=AC. 证法4 如图5,延长BA至点E,使AE=AB,连结CE,根据三角形中位线定理得AD=[SX(]1[]2[SX)]CE且AD∥CE,所以∠BAD=∠E,∠CAD=∠ACE,因为∠BAD=∠CAD,所以∠E=∠ACE,所以AC=AE,所以AB=AC. 评注 线段的中点是几何图形中的一个特殊点,倍长过中点的线段或构造中位线,在解决与中点有关问题时很适用. 途径3:利用平移变换. 证法5 如图6,把△ABD作平移,使BD与DC重合,DE交AC于点F,连结AE,则四边形ABDE和四边形ADCE都是平行四边形,所以AB=DE,AB∥DE,所以∠BAD=∠ADE,又因为∠BAD=∠DAC,所以∠ADE=∠DAC,所以AF=DF,又因为平行四边形ADCE的对角线互相平分,所以AC=2AF=2DF=DE,所以AB=AC. 评注 变换能把分散的图形或条件相对集中,能够展现几何图形内在的性质和几何图形外在的美,一些几何题,利用图形变换来处理,往往会产生意想不到的结果. 途径4:作辅助圆. 证法6 如图7,作△ABC的外接圆⊙O,延长AD交⊙O于点E,连结BE、CE,因为∠BAE=∠CAE,所以弧BE=弧CE,所以BE=CE,又因为BD=CD,所以ED⊥BC,即AE是BC的垂直平分线,所以AB=AC. 证法7 如图8,作△ABD的外接圆⊙O交AC于点E,连结DE,因为∠BAD=∠DAE, 所以弧BD=弧DE. 所以BD=DE,因为BD=DC,所以BD=DE=DC,所以∠DBE=∠DEB, ∠DEC=∠C,因为∠DBE+∠DEB+∠DEC+∠C=180°,所以∠BED+∠DEC=90°, 所以BE⊥AC,所以AB是⊙O的直径,所以∠BDA=90°所以AD⊥BC,即AD是BC的垂直平分线,所以AB=AC. 评注在处理平面几何中的许多问题时,常常需要作辅助圆,借助于圆的性质,问题才能得以解决. 途径5:用反证法. 证法8 如图9,假设AB≠AC,不妨设ABAC,在AB上截取AE=AC,连结DE,因为AD=AD,∠EAD=∠CAD,所以△EAD≌△CAD,所以∠AED=∠C,ED=CD,因为BD=CD,所以ED=BD,所以∠B=∠BED,因为∠AED+∠BED=180°,所以∠C+∠B=180°,这与三角形内角和定理矛盾,故假设AB≠AC不正确,所以AB=AC. 证法9 如图10,假设AB≠AC,不妨设ABAC,过点D作EF⊥AD交AB于点E,交AC的延长线于点F,因为∠EAD=∠FAD,AD=AD,∠ADE=∠ADF,△ADE≌△ADF,所以ED=FD,又因为∠EDB=∠FDC,BD=CD,所以△BDE≌△CDF,所以∠B=∠FCD,所以BA∥FA,这与已知条件矛盾,故假设AB≠AC不正确,所以AB=AC. 评注 对直接证明比较困难的几何问题,可逆向思维――采用“反证法”,即从命题结论的反面出发,经过推理,引出矛盾,从而证