Đường tròn (O) có tiếp tuyến DE
=> DE ⊥ OD
=> \(\widehat{FDE}\) + \(\widehat{FDO}\) = 90 độ
OC ⊥ AB
=> \(\widehat{OFC }\) + \(\widehat{OCF}\) = 90 độ
mà \(\widehat{OCF}\) = \(\widehat{FDO}\) ( OC = OD)
=> \(\widehat{FDE}\) = \(\widehat{OFC }\)
=> \(\widehat{FDE}\) = \(\widehat{DFE}\)
=> ΔFDE cân tại E
=> EF = ED