Từ O kẻ tia Ox // AB
⇒ `\hat{OAB}` + `\hat{AOx}` = `180^o` (hai góc ở vị trí trong cùng phía)
mà `\hat{OAB}` = `135^o`
⇒ `135^o` + `\hat{AOx}` = `180^o`
⇒ `\hat{AOx}` = `180^o` - `135^o`
⇒ `\hat{AOx}` = `45^o`
Ta có: `\hat{xOC}` = `120^o`
⇒ `\hat{AOx}` + `\hat{xOC}` = `120^o`
mà `\hat{AOx}` = `45^o` (cmt)
⇒ `45^o` + `\hat{xOC}` = `120^o`
⇒ `\hat{xOC}` = `120^o` - `45^o`
⇒ `\hat{xOC}` = `75^o`
Ta có: `75^o` + `135^o` = `180^o`
⇒ `\hat{xOC}` + `\hat{DOC}` = `180^o`
mà 2 góc này ở vị trí trong cùng phía
⇒ Ox // CD (dhnb)
mà Ox // AB (cách vẽ)
⇒ AB // CD (ĐPCM)