Cho đường tròn tâm O đường kính AB = 2R, bán kính OC vuông góc với AB tại O. Lấy điểm F thuộc đoạn thẳng OB, tia CF cắt đường tròn (O) tại D. Tiếp tuyến tại D của đường tròn (O) cắt AB tại E (Hình 15). Chứng minh EF = ED.