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
Giải thích
Do OC = OD nên ∆OCD cân tại O, suy ra OCD^=ODC^ hay OCF^=ODF^.
Xét ∆COF vuông tại O có OCF^+OFC^=90° (tổng hai góc nhọn trong)
Lại có OFC^=DFE^ (đối đỉnh)
Suy ra ODF^+DFE^=90°
Mà ODF^+FDE^=90° nên DFE^=FDE^.
Do đó ∆EDF cân tại E, suy ra EF=ED.
