Vì ABCD là HCN nên AB = CD
=> 1/2 AB = 1/2 CD
=> AF = EC
mà AF // EC (t/c HCN) => AFCE là HBH
=> KE // AI
lại do F là tđ của AB => K là tđ của BI
=> BK = KI (1)
C/m t.tự trog \(\Delta DKC\):
I là tđ của DK => DI = IK (2)
Từ (1) và (2) => DI = IK = KB.