Cho tứ giác ABCD, AB Cắt CD tại E, BC cắt AD tại F. Các tia phân giác của E^ và F^ cắt nhau tại I. Chứng minh a) EIF^=ABC^+ADC^2;