a) Có BE = AB/2
DF = DC/2
mà AB = DC ( t/c hình bình hành)
=> BE = DF (1)
Lại có BE // DF ( vì AB//DC) (2)
từ (1) và (2)
=> EBFD là hình bình hành
b) Xét hbhABCD, có AC giao BD tại trung điểm mỗi đường
=> AC giao DB tại trug điểm AC (*)
Xét hbhEBFD, có
AC giao EF tại trung điểm mỗi dường
=> AC giao EF tại trug điểm AC (**)
Từ (*) và (**)
=> AC , DB, EF đồng quy tại trung điểm CA