Xét [tex]\triangle{HBM}[/tex] vuông tại H và [tex]\triangle{KCM}[/tex] vuông tại K
có MB = MC ( TC trung điểm )
[tex]\widehat{HMB}=\widehat{KMC}[/tex] ( đối đỉnh )
=> [tex]\triangle{HBM}[/tex] = [tex]\triangle{KCM}[/tex] ( cạnh huyền - góc nhọn )
=> MH = MK ( cạnh tương ứng )
- Xét [tex]\triangle{BMK}[/tex] và [tex]\triangle{CMH}[/tex]
có MB = MC ( TC trung điểm )
[tex]\widehat{BMK}=\widehat{CMH}[/tex] ( đối đỉnh )
MH = MK ( chứng minh trên )
=> [tex]\triangle{BMK}=\triangle{CMH}[/tex] ( c.g.c )
=> BK = CH ( cạnh tương ứng )
và [tex]\widehat{CBK}=\widehat{BCH}[/tex] ( góc tương ứng )
- Xét [tex]\triangle{BME}[/tex] và [tex]\triangle{CMF}[/tex]
có [tex]\widehat{CBK}=\widehat{BCH}[/tex] ( chứng minh trên )
MB = MC ( tính chất trung điểm )
[tex]\widehat{BME}=\widehat{CMF}[/tex] ( đối đỉnh )
=> [tex]\triangle{BME}[/tex] = [tex]\triangle{CMF}[/tex] ( g.c.g )
=> BE = CF ( cạnh tương ứng )
mà BE = KE ( TC trung điểm )
BK = CH ( chứng minh trên )
=> HF = CF
hay F là trung điểm của CH