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