已知，如图，正方形ABCD中，E为BC边上一点，F为BA延长线上一点，且CE=AF．连接DE、DF．求证：DE=DF．