Gọi \(AC\cap BD=O\)
Suy ra O là trung điểm AC,BD và \(AC\perp BD\) tại O
\(\Rightarrow AO-AE=CO-CF\\ \Rightarrow OE=OF\)
Do đó O là trung điểm EF
Mà O là trung điểm BD nên BEDF là hbh
Mà \(AC\perp BD\) tại O nên \(EF\perp BD\) tại O
Vậy BEDF là hthoi