Có `AB // CD` (gt)
⇒ `∠ I2 = ∠ C2 ` (so le trong)
mà `∠C2 = ∠C1` (CI là phân giác `∠C`- gt)
⇒ `∠ I2 = ∠ C1`
⇒ `Δ IBC` cân tại B
⇒ `IB = BC` (1)
`AB // CD` (gt)
⇒ `∠ I1 = ∠ D2`
mà `∠ D1 = ∠ D2` (DI là phân giác ∠ D )
⇒ `∠ I1 = ∠ D1`
⇒ `Δ AID` cân tại A
⇒ `IA = AD` (2)
Từ (1) và (2)
⇒ `IA + IB = BC + AD`
⇒ `AB = BC + AD`
⇒AB bằng tổng hai cạnh bên (đpcm)