两个貌似简单命题的证明.doc

两个貌似简单命题的证明 湖北省仙桃十中 林明祥 下面两个命题由于与我们熟知的相关结论貌似，看似简单，实则证明困难，它们偶尔出现在现行学习资料上，给教师带来了困惑。现予证明，以供参考。 如果三角形两角的平分线相等，则这个三角形是等腰三角形。 本题可以用反证法证明，也可以用代数方法证明，下面给出几何证法。 如图BN、CM是△ABC的角平分线，BN=CM，求证：AB=AC。 证明：过点B作∠NBD=∠AMC且使BD=AM，连接DN，则△AMC≌△DBC ∴∠BAN=∠BDN，∠1=∠7 作∠BDN的平分线交BN于E ，则DE=AI，连接AD。 ∵∠BAN=∠BDN ∴D、B、N、A四点共圆 ∴∠6=∠7 ， ∠5=∠3 ∵∠NAI=∠NAB=∠NDB=∠NDE 又1=∠7 ∴∠DEN=∠AIC 又∠6=∠7=∠1 ∴∠DAI+∠DEN=∠6+∠MAI+∠AIC =∠1+∠NAI+∠AIC=180° ∴D、E、I、A共圆 ∴∠IAE=∠IDE 又∠BAI=∠NAI=∠NAB=∠NDB=∠NDE ∴∠BAE=∠NDI ∵ DE=AI ∴ ∠IDA=∠DAE ∴∠5=∠6 ∴∠3=∠7 又∠1=∠7 ∴∠3=∠1 ∴∠ABC=∠ACB ∴AB=AC 有两边及其中一边上的角平分线对应相等的两个三角形全等。 如图，在△ABC和△EFG中，AB=EF=c，AD=EH=t, BC=FG=a，AC=b, EG=m, AD、EH是角平分线，求证：△ABC≌△EFG.. 证明：∵AD平分∠ABC，∴= ∴= ∴= ∴BD= 同理CD= ∵cos∠BAD= , cos∠CAD= 又 cos∠BAD= cos∠CA ∴= 即 = c+－=b+－ t2=b-c+ 若b=c，结论显然成立，若b≠c，则 t2＝1－ ∴t2=bc- 同理t2=mc- ∴ bc-= mc-，b-m-+==0 －==0 －=0 (b-m)[ －]=0 而 -＞-= =＞=＞0 ∴b=m即AC=EG又AB=EF，BC=FG ∴ △ABC≌△EFG A C B D E G F H