Ta có: AB // CD ⇒ \(\widehat{AID}=\widehat{CDI}\) ( so le trong )
Mà \(\widehat{CDI}=\widehat{ADI}\) ( do DK là phân giác \(\widehat{D}\) )
⇒ \(\widehat{ADI}=\widehat{AID}\)
⇒ △ ADI cân tại A
⇒ AD = AI (1)
Tương tự ta có: \(\widehat{DCI}=\widehat{BIC}\) ( so le trong )
\(\widehat{DCI}=\widehat{BCI}\) ( CK là phân giác \(\widehat{C}\) )
⇒ \(\widehat{BCI}=\widehat{BIC}\) ⇒ △ BCI cân tại B
⇒ BC = BK (2)
Từ (1) và (2) ⇒ AB = AK + BK = AD + BC ( đpcm )