Cho hai đường thẳng a và b cắt nhau tại một điểm O ở ngoài
Giải thích
a) Từ A kẻ Am//b (Am nằm trong aOb^ )
Kẻ tia Ay là tia phân giác của aAm^.
Ta có: aOt^=12aOb^ (Ot là tia phân giác của aOb^)
aAy^=12aAm^(Ay là tia phân giác của aAm^)
Mà aOb^ = aAm^ (hai góc đồng vị)⇒aOt^=aAy^
Hai góc này lại ở vị trí đồng vị nên Ay//Ot
b) Vẽ tia Az⊥Ay
Lại có Ay//Ot (theo phần a)
⇒Az⊥Ot (Az vuông góc với một trong hai đường thẳng song song thì phải vuông góc với đường thẳng còn lại).