Tự vẽ thêm `Oz`//`OA` vào
Qua O kẻ tia `Oz`//`OA`
Ta có : `∠AOz = ∠xAO` ( hai góc so le trong)
Vì tia Oz nằm giữa 2 tia OA và OB nên :
`∠AOz + ∠BOz = ∠AOB`
Vì `∠AOz = ∠xAO` nên `∠AOz + ∠BOz`
=`∠AOz + ∠BOz = ∠AOB(2)`
Theo đề ra , `∠AOB= ∠xAO + ∠yBO(1)`
Từ (1)(2) suy ra: `∠BOz = ∠yBO`
Mà 2 góc này nằm ở vị trí sole trong nên `Oz`//`By`
Ta lại có : `Oz // Ax`
`Oz` // `By`
⇒ `Ax` // `By`