证明:
作EP⊥AB于P
∵AB=BE,∠ABC=∠EBP=60º,∠ACB=∠EPB=90º
∴⊿ACB≌⊿EPB(AAS)
∴AC=EP
∵∠DAF=∠DAC+∠CAB=60º+30º=90º
∴∠DAF=∠FPE=90º
又∵AD=AC=EP,∠AFD=∠EFP(对顶角)
∴⊿DAF≌⊿EPF(AAS)
∴DF=EF
证明:
作EP⊥AB于P
∵AB=BE,∠ABC=∠EBP=60º,∠ACB=∠EPB=90º
∴⊿ACB≌⊿EPB(AAS)
∴AC=EP
∵∠DAF=∠DAC+∠CAB=60º+30º=90º
∴∠DAF=∠FPE=90º
又∵AD=AC=EP,∠AFD=∠EFP(对顶角)
∴⊿DAF≌⊿EPF(AAS)
∴DF=EF