∆ACD = ∆BDC (c.c.c)

Suy ra 

⇒ Tam giác ICD cân tại I.

do đó ID = IC (1)

Tam giác KCD có hai góc ở đáy bằng nhau ∠C = ∠D nên tam giác KCD cân tại K

⇒ KD = KC (2)

Từ (1) và (2) suy ra KI là đường trung trực của CD.

Chứng minh tương tự có IA = IB, KA = KB

Suy ra KI là đường trung trực của AB