Cho tam giác ABC vuông tại A. Gọi D là trung điểm BC, kẻ DE vuông góc với AB, gọi I là điểm đối xứng với D qua AC

cho tam giac ABC vuong tai A.goi D la trung diem BC ke DE vuong goc voi AB ,goi I la diem doi xung voi D qua AC,DI cat  AC tai F 
a,C/m AEDF la hinh chu nhat 
b,goi O la giao diem cua AD va EF
C/m ABDI la hinh binh hanh