嘎嘎
love_ruo 发表于 2009-10-6 13:15
这个题我们用一个比较搞笑的方法来做~~
角标设定如图
首先假设△FED中有两边相等,假设FD=EF
那么有AF+FD=EF+CE,AD=CF,再加上AB=AC,BD=CE可得△ACF≌△ABD
然后有∠9=∠7,∠EFD=∠3+∠9=∠7+∠9=∠BAC=60,因此△DEF为等边三角形
然后假设三边都不等,反正是对称的,我们随便找一种情况来看,比如DF>DE>EF
这样有AD>BE>CF
根据余弦定理可知
cos∠1=(AB^2+BD^2-AD^2)/(2AB*BD)
cos∠2=(BC^2+CE^2-BE^2)/(2BC*CE)
cos∠3=(AC^2+AF^2-CF^2)/(2AC*AF)
这里AB=BC=AC,BD=CE=AF,AD>BE>CF
因此cos∠1<cos∠2<cos∠3,∠1>∠2>∠3
而∠1+∠8=∠2+∠9=∠3+∠7=60,因此有∠7>∠9>∠8
另一方面∠4=∠1+∠7,∠5=∠2+∠8,∠6=∠3+∠9
这样有∠4>∠5,∠4>∠6
但根据前面的假设DF>DE>EF,应该有∠5>∠6>∠4,这就出现矛盾了
故假设不成立
同理可知当DF、DE、EF不等时,无论大小排序如何都会出矛盾
因此DF、DE、EF只能相等,故△DEF为等边三角形 |