Cho định lí: “Nếu Ax, By là hai tia phân giác của hai góc đồng vị tạo bởi một đường thẳng cắt hai đường thẳng song song thì Ax song song với By”. Cho các ý sau:
1. Ta có: (vì Ax là tia phân giác của
).
2. Suy ra , mà chúng là hai góc đồng vị nên Ax // By.
3. Mà nên
(hai góc đồng vị).
4. (vì By là tia phân giác của
).
Để chứng minh định lí trên ta làm như sau:
Bước 1. Ta có: (vì Ax là tia phân giác của
).
Bước 2. (vì By là tia phân giác của
).
Bước 3. Mà nên
(hai góc đồng vị).
Bước 4. Suy ra , mà chúng là hai góc đồng vị nên Ax // By.