Qua O kẻ Ot song song với a.
Ta có hình vẽ:
Ta có: Ot // a => góc A = góc O1 = 350
Mà góc O = góc O1 + góc O2
hay 950 = 350 + góc O2
=> góc O2 = 600.
Ta có: góc O2 + góc B = 600 + 1200 = 1800
Mà hai góc này ở vị trí TCP
=> Ot // b. Mà Ot // a.
=> a // b (đpcm).