如图所示,E是正方形ABCD的边AB上的动点,EF垂直DE交BC于点F,求证:△ADE相似△BEF