a) ABCD là hình bình hành => AD//BC => ED//BF (1)
ABCD là hbh => AD = BC
mà E là tđ AD, F là tđ BC nên EA=ED=FB=FC => ED=BF (2)
Từ (1) và (2) => DEBF là hbh.
b) Gọi O là giao điểm của AC và BD
ABCD là hbh => O là tđ BD
Xét hbh DEBF có O là tđ BD nên O là tđ EF.
Do đó EF, DB, AC đồng quy tại O.