如图23所示,E是正方形ABCD的边AB上任何一点,过点D做DF垂直DE,交BC的延长线于点F.求证DE=DF