Ta có: \(\widehat{A_1}=\widehat{B_1}\)
mà hai góc này là hai góc ở vị trí đồng vị
nên a//b(1)
Ta có: \(\widehat{C_1}=\widehat{C_2}\)
mà \(\widehat{C_1}+\widehat{C_2}=180^0\)
nên \(\widehat{C_1}=\widehat{C_2}=90^0\)
=> Suy ra: m\(\perp\)a(2)
Từ (1) và (2) suy ra m\(\perp\)b