在矩形ABCD中取E是CD的中点,再连接BE再过点E作EF垂直BE交AD于点F,求证三角形DEF与三角形EFB相似?