kẻ `BO`//`Ab`
mà `Ab`//`Cc`
do đó `BO`//`Cc`
ta có `hat(aAb)=hat(ABO)=43^o` ( `Ab`//`BO` ở vị trí đồng vị )
ta có `hat(OBC)+hat(BCc)=180^o` ( `BO`//`Cc` ở vị trí trong cùng phía )
`=>hat(OBC)=180^o-140^o`
`=>hat(OBC)=40^o`
ta có `hat(OBC)+hat(AOB)=hat(ABC)`
`=>hat(ABC)=43^o +40^o`
`=>hat(ABC)=83^o`
do đó `BA` và `BC` không vuông góc