在正方形abcd中点E是CD的中点过点E作EF垂直AE交BC于点F