如图，在矩形ABCD中，过对角线BD的中点O作垂线EF，与边AD，BC分别交于点E，F，连接BE，DF。