Cho tam giác ABC nhọn (AB<AC<BC). Điểm P thay đổi bên trong tam giác. Trên tia đối tia AP lấy D bất kì. Gọi PB cắt đường tròn (BDA) tại E khác B, PC cắt (CDA) tại F khác C. Gọi K là tâm ngoại tiếp của tam giác DEF. Chứng minh rằng PK luôn đi qua điểm cố định khi P thay đổi.