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).