Cho hình 3, biết xx' // yy' ; Am là tia phân giác của góc $\widehat{zAx\text{'}}$ , Bn là tia phân giác của góc $\widehat{ zBy\text{'}}$ . Chứng minh Am // Bn.

Ta có xx' // yy'

⇒ $\widehat{zAx\text{'}}=\widehat{ zBy\text{'}}$ (so le trong )

Ta có: $\widehat{mAx\text{'}}=\widehat{zAm}=\frac{\widehat{zAx\text{'}}}{2}$

$\widehat{ABn}=\widehat{nBy\text{'}}=\frac{\widehat{ABy\text{'}}}{2}$

Mà $\widehat{zAx\text{'}}=\widehat{ ABy\text{'}}$ ⇒ $\widehat{xAm}=\widehat{ABn}$

Mà $\widehat{xAm},\widehat{ABn}$  là hai góc đồng vị nên Am // Bn.