Xét tứ giác BFEC có
\(\widehat{BFC}=\widehat{BEC}=90^0\)
=>BFEC là tứ giác nội tiếp đường tròn đường kính BC
Xét tứ giác AFHE có
\(\widehat{AFH}+\widehat{AEH}=90^0+90^0=180^0\)
=>AEHF là tứ giác nội tiếp
=>\(\widehat{HFE}=\widehat{HAC}=90^0-\widehat{ACB}\)
Xét tứ giác BFHD có
\(\widehat{BFH}+\widehat{BDH}=180^0\)
=>BFHD là tứ giác nội tiếp
=>\(\widehat{HFD}=\widehat{HBD}=90^0-\widehat{C}\)
\(\widehat{EFD}=\widehat{EFC}+\widehat{DFC}=90^0-\widehat{C}+90^0-\widehat{C}=180^0-2\cdot\widehat{C}\)
ΔEBC vuông tại E có EM là trung tuyến
nên ME=MB=MC
ME=MB và ME=MC
=>ΔMEB cân tại M và ΔMEC cân tại M
Xét ΔMEC có \(\widehat{EMB}\) là góc ngoài tại đỉnh M
nên \(\widehat{EMB}=\widehat{MEC}+\widehat{MCE}=2\cdot\widehat{C}\)
=>\(\widehat{EMD}+\widehat{EFD}=180^0-2\cdot\widehat{C}+2\cdot\widehat{C}=180^0\)
=>EFDM là tứ giác nội tiếp
