Vì E thuộc đường trung trực của đoạn thẳng AB nên EA = EB, hay tam giác EAB cân tại đỉnh E. Suy ra \(\hat B = \widehat {{A_1}}\). Tương tự, có \(\hat C = \widehat {{A_2}}\). Ta có:
\(\widehat {EAF} = \hat A - \left( {\widehat {{A_1}} + \widehat {{A_2}}} \right) = \hat A - \left( {\hat B + \hat C} \right)\)
Mặt khác
\(\hat B + \hat C = {180^0} - \hat A = {180^0} - {100^0} = {80^0}\)