Từ I vẽ đường thẳng II' // BC
Từ D vẽ đường thẳng DD' // BC
=> II' // DD' . Mà I là trung điểm của DE
=> EI' = I'D' ( 1 )
Vì \(\Delta\)ABC cân tại A có DD' // BC => DB = D'C ( 2 )
Mà AD = CE => AE = DB ( 3 )
Từ ( 2 ) và ( 3 ) => D'C = AE ( 4 )
Từ ( 1 ) và ( 4 ) => AI' = 'IC
\(\Delta\)AKC có II' // KC ; AI' = I'C
=>AI = IK ( Đpcm )