Cho tam giác ABC nội tiếp đường tròn tâm O và điểm I là tâm đường tròn nội tiếp tam giác.Các điểm A', B', C' lần lượt là các giao điểm của AI,BI,CI với (O). Trên cung nhỏ AC của (O) không chứa điểm B lấy điểm D bất kì. Gọi E là giao điểm của DC' và AA', F là giao điểm củaDA' và CC'.CMR
a) I là trực tâm của tam giác A'B'C'
b) Tứ giác DEIF nội tiếp
c) Tâm đường tròn ngoại tiếp tam giác DEF luôn thuộc 1 đường thẳng cố định