Ta có: xy//BC => AD//BM. Mà AB//DM => tứ giác ADMB là hình bình hành => AD=BM (2 cạnh đối nhau) (1)
xy//BC => AE//CM. Mà AC//EM => tứ giác AEMC là hình bình hành => AE=CM (2 cạnh đối nhau) (2)
Từ (1) và (2) => AD+AE=BM+CM hay DE=BC
Do xy//BC ⇒EDOˆ=CBOˆ;DEOˆ=BCOˆ⇒EDO^=CBO^;DEO^=BCO^
Ta dễ chứng minh ΔDOE=ΔBOC(g−c−g)⇒OD=OBΔDOE=ΔBOC(g−c−g)⇒OD=OB
Ta dễ chứng minh ΔAOD=ΔMOB(c−g−c)⇒AODˆ=MOBˆΔAOD=ΔMOB(c−g−c)⇒AOD^=MOB^
⇒AODˆ+DOMˆ=MOBˆ+DOMˆ⇒AODˆ+DOMˆ=1800⇒AOD^+DOM^=MOB^+DOM^⇒AOD^+DOM^=1800 (do O, B, D thẳng hàng) ⇒AOMˆ=1800⇒AOM^=1800
=> A,M,O thẳng hàng
Vậy A, M, O thẳng hàng