Kẻ đường thẳng `c` đi qua `O` và song song với `Ax,a////c` `(1)`
Vì `Ax////c` nên `\hat{cOA}=\hat{AOx}(=30°)(` slt `)`
Ta có:
`\hat{O}=\hat{cOA}+\hat{cOB}`
`=>70°=30°+\hat{cOB}`
`=>\hat{cOB}=70°-30°`
`=>\hat{cOB}=40°`
Vì `\hat{cOB}` và `\hat{OBy}` là `2` góc so le trong mà `\hat{cOB}=40°(\hat{cOB}=\hat{OBy}=40°)`nên `By////c` `(2)`
Từ `(1)` và `(2)` suy ra:
`Ax////c;By////c=>Ax////By`
Vậy `Ax////By(đpcm)`
