Mình vẽ hình hơi xấu thông cảm :
- Có AB // CD (gt)
=> góc I2 = góc C2 (sole trong)
mà C2 = góc C1 (CI là phân giác góc C - gt)
=> góc I2 = góc C1
=> tam giác IBC cân tại B
=> IB = BC (1)
- AB // CD (gt)
=> góc I1 = góc D2
mà góc D1 = góc D2 (DI là phân giác góc D - gt)
=> góc I1 = góc D1
=> Tam giác 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)