a)  Từ A kẻ A m / / b  (Am nằm trong a O b ^ )

Kẻ tia Ay là tia phân giác của a A m ^ .

Ta có:   a O t ^ = 1 2 a O b ^ (Ot là tia phân giác của   a O b ^ )

            a A y ^ = 1 2 a A m ^ (Ay là tia phân giác của  a A m ^ )

Mà  a O b ^ =   a A m ^ (hai góc đồng vị) ⇒ a O t ^ = a A y ^  

Hai góc này lại ở vị trí đồng vị nên  A y / / O t

b)  Vẽ tia  A z ⊥ A y

Lại có A y / / O t  (theo phần a)

   ⇒ A z ⊥ O t (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).