如图,已知正方形ABCD的边长为5,且角EAF=45度