Cho tam giác DEF có ba góc nhọn nội tiếp đường tròn (O) với DE < DF và DH là đường cao. Kẻ phân giác góc D cắt (O) tại P. Qua F kẻ tiếp tuyến với (O) cắt EF kéo dài ở K