Đáp án:
Giải thích các bước giải:
Qua tâm $O$ của đường tròn vẽ đường thẳng
vuông góc với $BC; EF => ADKI $ là hcn (hình)
$ => BI = \dfrac{BC}{2} = 2,5$
$ => DK = AI = AB + BI = 4 + 2,5 = 6,5$
$ => EK = DK - DE = 6,5 -3 = 3,5$
$ => EF = 2EK = 2.3,5 = 7$