正方形ABCD,E是AB上的一点,F是BC上的一点,则EDF=45度,过D作DP垂直于EF于P,求证AB=DP