`\text{Trên tia đối của tia OC lấy điểm K}`
`\text{Ta có:}`
`\text{CO}` `\bot` `OD`
`\text{DE}` `\bot` `OD`
`<=> CO // DE{1}`
`\hat{COD}` + `\hat{KOD}` `=180^o`
`90^o + \hat{KOD} =180^o `
`\hat{KOD}=90^o`
`\hat{AOK} +\hat{DOK}=120^o `
`\hat{AOK}=30^o`
`=> \hat{AOK} +`\hat{OAB}=180^o và 2 góc này lại nằm ở vị trí trong cùng phía `
`=> OK // AB`
`=> OC // AB{2} vì OK là tia đối của tia OC`
`text{Từ {1};{2}⇒AB // BC}`