正方形abcd的边长为1,AC是对角线,AE平分∠BAC,EF垂直AC于点F