【当∠BAC=90º时,EF=AD】
证明:
∵∠EAD=∠FAD,∠AED=∠AFD=90º,AD=AD
∴⊿AED≌⊿AFD(AAS)
∴AE=AF
∵∠BAC=90º
∴∠AEF=∠AFE=45º
∵∠EAD=½∠BAC=45º=∠AEF
∠EAF=∠AED,AE=AE
∴⊿AEF≌⊿EAD(ASA)
∴EF=AD
【当∠BAC=90º时,EF=AD】
证明:
∵∠EAD=∠FAD,∠AED=∠AFD=90º,AD=AD
∴⊿AED≌⊿AFD(AAS)
∴AE=AF
∵∠BAC=90º
∴∠AEF=∠AFE=45º
∵∠EAD=½∠BAC=45º=∠AEF
∠EAF=∠AED,AE=AE
∴⊿AEF≌⊿EAD(ASA)
∴EF=AD