⋙ Qua E kẻ đường thẳng vuông góc với EK cắt AB tại FDễ dàng cm △BEF=△CEM(g.c.g)
⇒△EFM vuông cân
⋙ Dễ thấy △MBA=△MCN
⇒MBMC=AMMN
Lại có MBMC=AFFB
⇒AFFB=AMMN⇒FM//BN (ta-lét)
Từ đó suy ra ^EKB=^EMF=45o
⇒◻BKCE nội tiếp (C,K cùng nhìn EB dưới góc 45o)
⇒△BCK vuông tại K
⇒dpcm
__________________________________________________________________________________