如图所示,在矩形ABCD中,E为BC上一点,且DF垂直于点F