在正方形abcd中 点e f分别在边BC,DC边上的点,且AE垂直EF