Cho tứ giác ABCD nội tiếp đường tròn tâm O (AB>CD). GỌi giao điểm của AC và BD là I. Đường tròn ngoại tiếp tam giác ADI cắt AB và CD lần lượt tại E và F, EF cắt AC và BD tại M, N.
a, Chứng minh IE = IF
b, Chứng minh EF//BC và tứ giác AMND nội tiếp
c, Gọi K là tâm đường tròn ngoại tiếp tam giác ADI.
Chứng minh rằng KI vuông góc với BC
(Mình cần làm giúp phần (c) thôi ạ, cảm ơn)