Vẽ hình bình hành ABMC ta có AB = CM . 
Để chứng minh AB = KC ta cần chứng minh KC = CM. 
Thật vậy xét tam giác BCE có BC = CE (gt) => tam giác CBE cân tại C => vì góc C1 là góc ngoài của tam giác BCE => mà AC // BM (ta vẽ) => nên BO là tia phân giác của . Hoàn toàn tương tự ta có CD là tia phân giác của góc BCM . Trong tam giác BCM, OB, CO, MO đồng quy tại O => MO là phân tia phân giác của góc CMB
Mà : là hai góc đối của hình bình hành BMCA => MO // với tia phân giác của góc A theo gt tia phân giác của góc A còn song song với OK => K,O,M thẳng hàng.
Ta lại có : mà (hai góc đồng vị) => cân tại C => CK = CM. Kết hợp AB = CM => AB = CK (đpcm)