在正方形ABCD中,E是BC上一点,连接AE,作BF垂直AE