Vì c // a (1)
`⇒ \hat(OAa) + \hat(AOc) = 180^o`
Hay `120^o + \hat(AOc) = 180^o`
`⇒ \hat(AOc) = 60^o` hoặc `\hat(O)_1 = 60^o`
Ta có:
`+)\hat(O)_1 + \hat(O_2) = 90^o`
Hay `60^o + \hat(O)_2 = 90^o`
`⇒ \hat(O)_2 = 30^o`
`+) \hat(O)_2 = \hat(B) = 30^o`
Mà hai góc này ở vị trí so le trong
`⇒` b//c (2)
Từ (1) và (2), suy ra: a//b
