
Xét 2 tam giác vuông ABE và ACF ta có:
B A E ^ = C A F ^ (vì AD là tia phân giác của góc A)
=> ΔABE ~ ΔACF (g - g)
⇒ A E A F = B E C F (1)
Xét 2 tam giác vuông BDE và CDF ta có:
E D B ^ = F D C ^ (2 góc đối đỉnh)
=> ΔBDE ~ ΔCDF (g - g)
⇒ B E C F = D E D F (2)
Từ (1) và (2) ta có: A E A F = D E D F ⇔ AE.DF = AF.DE (đpcm)
Đáp án: C