Kẻ BI // AD
`⇒ ABID` `là` `hình` `bình` `hành` ( do AB // ID ; BI // AD)
`⇒ AB = ID`
`⇒ CD - AB = IC`
Trong tam giác `IAC` thì `IC < AC (1)`
Trong tam giác `ABC` thì `AB + BC > AC (2)`
Từ (1) và (2)
`⇒ AB + BC > IC`
`⇔ AB + BC > CD - AB` ( `text(điều phải chứng minh)` )