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