a. Xét tam giác ABE và tam giác ACF ta có:
góc BAC chung (1)
góc AEB = góc AFC (cùng = 90 độ)  (2)
Từ (1) và (2)
=> tam giác ABE ∽ tam giác ACF (g.g)
=>  AE/AB = AF/AC
Xét tg AEF và tg ABC ta có:
 AE/AB = AF/AC (theo c/m trên) (*)
góc BAC chung  (**)
Từ (*) và (**)
=> tam giác AEF  ∽ tam giác ABC (c.g.c)