Cho tam giác ABC ngoại tiếp đường tròn (O), (O) tiếp xúc với BC,CA,AB thứ tự tại D,E,F. Một điểm P di động trên đường tròn (O), gọi (PBF) cắt (PCE) tại K khác P. Chứng minh rằng đường thẳng đối xứng với PK qua phân giác của góc EPF đi qua điểm cố định.