Cho hình vuông ABCD, có O là giao điểm của AC và BD. Trên BC lấy điểm E. Gọi M là giao điểm của AE với CD, N là giao điểm của ED với AB. Tia phân giác của ABD cắt AO và AD lần lượt tại I và F. a, chứng minh tam giác AIF cân b, chứng minh BF=2OI c, gọi K là giao điểm BM và CN. CMR CM^2=MB.MK