kẻ $Oz//Ax$
do đó `har(xAO)=hat(AOz)=30^o` ( ở vị trí so le trong )
ta có `hat(AOz)+hat(zOB)=hat(AOB)`
`=>hat(zOB)=hat(AOB)-hat(AOz)`
`=>hat(zOB)=100^o-30^o`
`=>hat(zOB)=70^o`
mặt khác `hat(zOB)=hat(OBy)=70^o`
mà hai góc này ở vị trí so le trong
do đó $Oz//By$
mà $Oz//Ax$
`=>`$Ax//By (đpcm )$