在正方形ABCD中,点E为BC的中点,连接AE,过点B作BF垂直于AE