Cho tam giác ABC nhọn (AB < AC) nội tiếp đường tròn (O;R). Gọi H là giao điểm 3 đường cao AD, BE, CF. Vẽ đường kính AI của (O). Gọi K trung điểm BC. Chứng minh tứ giác EFDK nội tiếp