a, Xét tam giác AEH và tam giác AFH có
- EAH = FAH ( gt )
- AH chung
- AHE =AHF = 90*
Suy ra tam giác AEH = tam giác AFH ( g.c.g )
Suy ra AE = AF suy ra tam giác AEF cân tại A ( đpcm )
b, Ta có Bx // EF
AH vg EF
Suy ra AD vg Bx
Xét tam giác ABD và tam giác AKD có
- BAD = KAD ( gt )
- AD chung
- ADB = ADK = 90*
Suy ra tam giác ABD = AKD ( g.c.g ) suy ra AB = AK
Mà AE = AF suy ra BE = KF ( đpcm )