a. Xét ΔABE và ΔADF có:
AB = AD
Góc EAB = FAD ( cùng phụ góc EAD)
Do đó: Δ ABE = ΔADF ( cạnh góc vuông - góc nhọn kề)
⇒ AE = AF ( 2 cạnh tương ứng)
b.
Xét ΔAEF có AE = AF
⇒ Δ AEF cân tại A
Lại có Ay là trung tuyến
⇒ Ay cũng là phân giác của góc EAF
⇒ góc FAK = 45o
Xét AKF và CAF có:
góc AFK chung
góc FAK = ACF (= 45o)
Do đó: ΔAKF ~ ΔCAF (g.g)
⇒ \(\dfrac{AF}{CF}=\dfrac{KF}{AF}\Rightarrow AF^2=CA.KF\)