a) Xét tam giác AFC và tam giác AEB có:
^A chung
^F vuông góc ^E
Vậy: tam giác AFC đồng dạng tam giác AEB (g.g)
vì tam giác AFC đồng dạng tam giác AEB (cmt) nên:
=> AF/AC = AE/AB
=> AE.AC = AF.AB (đpcm)
b) từ H kẻ HK vuông góc BC
+) xét tam giác BKH và tam giác BEC có:
^HBC chung
^BKH = ^BEC (= 90 độ)
vậy: tam giác BKH đồng dạng tam giác BEC (g.g)
=> BK/BH = BE/BC
=> BH.BE = BK.BC (1)
+) xét tam giác CKH và tam giác CFB:
^BHC chung
^CKH = ^CFB (= 90 độ)
vậy: tam giác CKH đồng dạng tam giác CFB
=> CK/CH = CF/CB
=> CH.CF = BC.CK (2)
Từ (1) và (2) ta có:
BH.BE + CH.CF = BK.BC + CK.BC
= BC.(BK + CK)
= BC.BC
= BC^2
=> BH.BE + CH.CF = BC^2 (đcpm)