Kẻ Ay’ // By, khi đó ta có xAy'^=xOy^ (hai góc đồng vị).

Vẽ tia Az là tia phân giác của góc xAy’.

Khi đó xAz^=12xAy'^=12xOy^

Vẽ tia Ot là tia phân giác của góc xOy.

Khi đó xOt^=12xOy^

Do đó xAz^=xOt^ (cùng bằng 12xOy^).

Mà xAz^ và xOt^ ở vị trí đồng vị nên Az // Ot.

Như vậy, qua điểm M kẻ đường thẳng d vuông góc với Az thì đường thẳng d là đường thẳng đi qua điểm M và vuông góc với tia phân giác của góc xOy (theo định lí phát biểu trong Bài tập 26b).