Cho đường tròn tâm O bán kính OM. Vẽ đường trung trực BC của OM (B,C∈(O)).Tam giác ABC nội tiếp đường tròn (O). Các đường cao AD, BE, CF cắt nhau tại H. Gọi K là trung điểm của CH.
a) Chứng minh EFDK nội tiếp
b) Tính bán kính đường tròn ngoại tiếp tam giác DEF