四边形ABCD是正方形,E是BC任意一点,角1=角2,AE垂直EF,求证AE=EF