如图,AC是正方形ABCD的对角线,AE平分∠BAC,EF⊥AC交AC于点F.