Ta có: \(\widehat{xAB}=\widehat{ABy'}\)\(\left(xx'//yy',soletrong\right)\)(1)
Mà A1 là phân giác của \(\widehat{xAB}\)nên \(\widehat{xA_1}=\widehat{_1AB}=\frac{\widehat{xAB}}{2}\)(2)
Chứng minh tương tự: \(\widehat{AB_1}=\widehat{_1By'}=\frac{\widehat{ABy'}}{2}\)(3)
Từ (1), (2) và (3) suy ra \(\widehat{_1AB}=\widehat{AB_1}\)
Mà hai góc này ở vị trí so le trong nên \(A_1//B_1\)(đpcm)
\(xx'//yy'\)\(\Rightarrow\widehat{xAB}=\widehat{ABy'}\left(slt\right)\)
\(\Rightarrow\frac{1}{2}\widehat{xAB}=\frac{1}{2}\widehat{ABy'}\)
\(\Leftrightarrow\widehat{xA1}=\widehat{AB1}\)
\(\Rightarrow A1//B1\)( 2 góc slt bằng nhau ) ( đpcm)