a)xét tam giác ABC có AD=DB, AE=EC => DE là đg` TB => DE//BC=> DE//BF
và DE=1/2BC=> DE= BF => BDEF là hbh
b) DE//BC => DE//KF => DEFK là hình thang(1)
DE//BC => DEF = EFC(SLT)
BDEF là hbh BD//EF => DBC=EFC (đồng vị) => DEF = DBC
DE//BC => EDK=DKB(SLT)
Xét tam giác ABK vg tại K có D là TĐ của AB=> KD là trung tuyến => KD=1/2AB=BD=> tam giác BDK cân tại D => DBC=DKB
=> KDE = DEF(2)
Từ (1) và (2) => DEFK là hình thang cân