~ Bạn tham khảo ~
Kẻ `EF////AB`
Mà `AB////CD`
`=> EF////CD`
Vì `EF////AB`
`=>\hat{BAE}=\hat{AEF}` (So le trong) `(1)`
Vì `EF////CD`
`=>\hat{ECD}=\hat{CEF}` (So le trong) `(2)`
Cộng vế theo vế của `(1),(2)=>\hat{BAE}+\hat{ECD}=\hat{AEF}+\hat{CEF}`
Mà `\hat{AEF}+\hat{CEF}=\hat{AEC}`
`=> \hat{BAE}+\hat{ECD}=\hat{AEC}` (Đpcm)