如图,矩形ABCD中,BE⊥AC于F,E恰是CD的中点,下列式子成立的是(  )