如图，正方形ABCD的边长为 ，点E在对角线BD上，且∠BAE=22.5°，EF⊥AB，垂足为点F，则EF的长是。