Kẻ tia đối Ox' của Ox => y O x ' ^ = 40°
=> y O x ' ^ = y A t ^ (hai góc đồng vị bằng nhau)
=> Ox' // At (1).
Mặt khác: OA ⊥ OB => A O B ^ = 90 °
=> x ' O B ^ = y O B ^ − y O x ' ^ = 90 ° − 40 ° = 50 °
=> x ' O B ^ = O B z ^ = 50 ° + 130 ° = 180 °
(hai góc trong cùng phía bù nhau)
=>Ox' //Bz (2).
Từ (1) và (2), suy ra At //Bz