Ta có EF là đtb hình thang ABCD
⇒EF//CD (T/C đtb)
Hay IF//CD
Mà BF=CF (gt)
⇒BI=DI (đl về đtb ΔBDC)
Nên IF là đtb ΔBDC
⇒IF=\(\dfrac{1}{2}\) CD (T/C đtb) (1)
Tượng tự, KF=\(\dfrac{1}{2}\)AB (T/C đtb ΔABC) (2)
Từ (1) và (2) suy ra
IF-KF=\(\dfrac{1}{2}\)CD-\(\dfrac{1}{2}\)AB
Hay IK=\(\dfrac{1}{2}\)(CD-AB)