Vì `AB`//`CD`
`=> hat {BAK} = hat {AKD}(1), hat {ABK} = hat {BKC}(2)`(`2` cặp góc so le trong)
Vì `AK` là tia phân giác của `hat{BAD}`
`=> hat {DAK} = hat {BAK}(3)`
Từ `(1)` và `(3) => hat {AKD} = hat {DAK}`
`=> Delta ADK` cân tại `D`
`=> AD = DK(**)`
Vì `BK` là tia phân giác của `hat{ABC}`
`=> hat {ABK} = hat {CBK}(4)`
Từ `(2)` và `(4) => hat {BKC} = hat {CBK}`
`=> Delta BCK` cân tại `C`
`=> BC = CK(***)`
Từ `(**)` và `(***) => AD + BC = DK + CK`
`=> AD + BC = DC`
`=> đpcm`