正方形ABCD中,点P在边AB上,AE⊥DP于F,求证:AE+EF=CF