正方形ABCD中，点P是AD上的一动点（与点D、点A不重合），DE⊥CP，垂足为E，EF⊥BE与DC交于点F．

求证：△DEF∽△CEB；
当点P运动到DA的中点时，求证：点F为DC的中点.