xét tg ABF và tg EBF có
BF chung
gABF = gEBF (gt)
AB = BE (gt)
=> tgABF = tgEBF (c-g-c)
vì tg ABF = tgEBF (theo (a) )
=> gBAF = gBEF = 90O
=> AF = EF
xét tg AFK và tg EFC
AF= EF (cmt)
gAFK =g EFC (đ.đ)
gBAF = gBEF (CMT)
=> tg AFK = TG EFC (g-c-g)
=> AK = EC ( 2 cạnh t/ư)
=> BA + AK = BE + EC
hay BK = BC
=> tg BCK cân