Cho đường tròn (O) có đường kính AB. Gọi C là điểm cố định trên đoạn OA. Điểm D thuộc (O) sao cho DA<DB. Dựng đường thẳng d vuông góc AB tại C, đồng thời cắt BD tại E, AD tại F. Đường tròn ngoại tiếp tam giác DEF cắt BF tại K. Chứng minh K thuộc đường tròn (O)