Vẽ `Oz // Ax`
Do `Oz//Ax` nên `\hat{xAO} =\hat{AOz}`
`⇒ 40^0 = \hat{AOz}`
Ta có : `\hat{AOB}=\hat{AOz}+\hat{BOz}`
` 70^0 = 40^0 + \hat{BOz}`
`⇒ \hat{BOz}=70^0-40^0=30^0`
Ta thấy : `\hat{BOz}+\hat{OBy}=30^0+150^0=180^0`
`⇒\hat{BOz}` và `\hat{OBy}` bù nhau
mà hai góc này ở vị trí trong cùng phía.
`⇒ Oz//By` ( theo dấu hiệu nhận biết hai đường thẳng song song) (1)
Lại có : `Oz//Ax` (cách dựng) (2)
Từ (1) và (2) `⇒Ax//By`
