Cho A là 1 điểm di động trên cung tròn BC cho trước. Đường tròn nội tiếp tam giác ABC tiếp xúc với BC, AB, AC tại D,E,F.
a) Chứng minh EF luôn tiếp xúc với 1 đường tròn cố định
b) Gọi EH, DP, FQ là các đường cao của tam giác DEF.
Chứng minh rằng: AH.PB.QC=QA.HB.PC