Hình 4.9 có ;  và Bx // AC. Chứng minh rằng tia Bx là tia phân giác của góc Aby.

Ta có ABC⏞=180°-2m° nên ABy⏞=180°-(180°-2m°)=2m°.

Mặt khác Bx // AC nên xBy⏞=C⏞=m° (cặp góc đồng vị); suy ra

ABx⏞=2m°-m°=m°. Vậy ABx⏞=xBy⏞=m°.           (1)

Tia Bx nằm giữa hai tia BA và By.                  (2)

Từ (1) và (2) suy ra tia Bx là tia phân giác của góc ABy.