kẻ `zz'` đi qua `O`
và `zz'`//`x x'`
mà `x x'`//`yy'`
`=>zz'`//`yy'`
ta có `hat(xAO)=hat(AOz')` ( `x x'`//`zz'` ở vị trí so le trong )
mà `hat(xAO)=40^o`
`=>hat(AOz')=40^o`
mà ta lại có `hat(AOz')+hat(z'OB)=hat(AOB)`
`=>hat(z'OB)=90^o-40^o`
`=>hat(z'OB)=50^o`
ta có: `hat(z'OB)=hat(OBy)` ( `zz'`//`yy'` ở vị trí so le trong )
mà `hat(z'OB)=50^o`
`=>hat(OBy)=50^o`
hay `hat(B_1)=50^o`
vậy `hat(B_1)=50^o`