Kẻ Ay'//By, khi đó xAy^=xOy^ (hai góc đồng vị). Vẽ tia Az là tia phân giác của góc xAy', suy ra xAz^=12xAy^=12xOy^

Ta chứng minh được góc xAz bằng góc tạo bởi tia Ox và tia phân giác của góc xOy (cùng bằng xOy^). Mà chúng ở vị trí đồng vị nên Az song song với tia phân giác của góc xOy.

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 d là đường thẳng đi qua 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)