延长EP交DC于G,
ABCD为正方形,AB‖DC,因为PE⊥AB,所以PG⊥DC,AE=DG,
对角线AC,PE⊥AB,PF⊥BC ,故PF=GC=PG,PE=AE=DG,
PD²=DG²+PG²=PE²+PF²=EF²,
所以PD=EF.