cho hình vuông ABCD. E di động trên BC (E khác B và C). Tia AE cắt đường thẳng CD tại F. Đường thẳng qua A vuông góc với AE cắt CD tại G Tia phân giác của góc AGD cắt AD, AE theo thứ tự tại H và I.
a) CM: HA * IA = HD * IF
b) CM: tích BE*DF không đổi khi E di động trên BC