如图，在▱ABCD中，点O为对角线BD的中点，EF过点O且分别交AB、DC于点E、F，连接DE、BF.

求证：