如图:点F是正方形ABCD的边CD上的一点,过点A作AE⊥AF