a) c/minh tam giác ABE đồng dạng tam giác ACF
Xét t/giác ABE và t/giác ACF
có góc E = góc F = 90độ
Gốc A: chung
=> t/giác ABE đồng dạng t/giác ACF (g.g)
b) c/minh t/giác BDE đồng dạng t/giác CDF
Xét t/giác BDE à t/giác CDF
có góc E = góc F = 90 độ
góc BDE = góc CDF ( đđ )
=> t/giác BDE đồng dạng t/giác CDF (g.g)
c) c/minh: AE.DF=AF.DE
Vì t/giác ABE đồng dạng t/giác ACF (cmt)
=> AE/AF = BF/CF (1)
Vì t/giác BDF đồng dạng t/giác CDF (cmt)
=> BE/CF = DE/DF (2)
Từ (1) và (2) => AE/AF = DE/DF
=> AE.DF = AF.DE