如图，在正方形ABCD中，E是边BC上的一动点（不与点B、C重合），连接DE、点C关于直线DE的对称点为C^' ， 连接AC^'并延长交直线DE于点P，F是AC^'的中点，连接DF．