(2009年南宁)如图①,在边长为5的正方形ABCD中,点E、F是BC、DC边上的点,且AE⊥EF,BD=2.