证明:
∵ABCD是正方形
∴AB=AD=BC,∠BAC=∠DAC=45º,∠ABC=∠ADC=90º
又∵AF=AF
∴⊿BAF≌⊿DAF(SAS)
∴∠ABF=∠ADF
∴∠CBE=∠CDF
∵PF⊥AE
∴∠DAE=90º-∠ADF=∠CDF
∴∠CBE=∠DAE
又∵BC=AD,∠ADE=∠BCE=90º
∴⊿BCE≌⊿ADE(ASA)
∴CE=DE
∴E是DC边上的中点
证明:
∵ABCD是正方形
∴AB=AD=BC,∠BAC=∠DAC=45º,∠ABC=∠ADC=90º
又∵AF=AF
∴⊿BAF≌⊿DAF(SAS)
∴∠ABF=∠ADF
∴∠CBE=∠CDF
∵PF⊥AE
∴∠DAE=90º-∠ADF=∠CDF
∴∠CBE=∠DAE
又∵BC=AD,∠ADE=∠BCE=90º
∴⊿BCE≌⊿ADE(ASA)
∴CE=DE
∴E是DC边上的中点