如图，在正方形ABCD中，BE=1，将BC沿CE翻折，使B点对应点刚好落在对角线AC上，将AD沿AF翻折，使D点对应点刚好落在对角线AC上，求EF= ．