如图,在矩形ABCD中,E,F分别是CD,BC上的点,若∠AEF=90°,则一定有 [