Cho tam giác ABC nhọn nội tiếp đường tròn O, có các đường cao AK,BI cắt nhau ở H.
a) Xác định tâm F của đường tròn ngoại tiếp tam giác BKI, tâm D của đường tròn ngoại tiếp tam giác IHF, tâm E của đường tròn ngoại tiếp tam giác AFC.
b)Cm: AEDF là hình bình hành.