- Ta có F \in đường trung trực của AC
=> FA = FC ( tính chất đường trung trực )
=> \triangle{FAC} cân tại F
=> \widehat{FAC}=\widehat{FCA} ( tính chất tam giác cân )
- Tương tự, \widehat{EBA}=\widehat{EAB}
=> \widehat{CBA}+\widehat{BCA}=\widehat{EAB}+\widehat {FAC}
mà \widehat{CBA}+\widehat{BCA}=180^0-\widehat{BAC}=180^0-120^0=60^0 ( tổng 3 góc trong tam giác )
=> \widehat{EAB}+\widehat{FAC}=60^0
mà \widehat{EAB}+\widehat{FAC}+\widehat{EAF}=\widehat {BAC}=120^0 ( kề nhau )
=> \widehat{EAF}=120^0-60^0=60^0
Vậy, đpcm
Bước đầu tiên là tiến hành khai thác dữ kiện từ giả thiết bài toán:
\Delta ABC có \widehat{ABC} = 120^\circ do đó, theo định lý tổng 3 góc trong 1 tam giác là 180^\circ, ta có: \widehat{ACB} + \widehat{BAC} = 60^\circ.
E là giao điểm của trung trực AB và BC, nên E nằm trên trung trực của AB, áp dụng định lý về đường trung trực ta có EA = EB, nên \Delta ABE cân tại E. Suy ra \widehat{BAE} = \widehat{ABE}.
Tương tự \Delta ACF cân tại F. Suy ra \widehat{CAF} = \widehat{ACF}.
Sau 1 vài bước biến đổi, ta sẽ tính được \widehat{EAF} = 60^\circ
cả 2 cách