在正方形ABCD的对角线AC上取AE=AB,过E作EF⊥AC交BC于F,求EF:AB的值