证明:∵正方形ABCD∴AO=BO,∠AOB=∠BAD=90, ∠ABD=∠DAC=45∵PE⊥AB∴PE=BE∵PF⊥AD∴矩形AEPF∴AF=PE∴AF=BE∴△AOF≌△BOE∴∠AOF=∠BOE∵∠BOE+∠AOE=∠AOB=90∴∠AOF+∠AOE=90∴∠EOF=90∴OE⊥OF
先证OE=BE,再证三角形AFO与三角形BEO全等(SAS)可得 角FOA=角EOB根据等式性质 可得 角EOF=角AOB=90度所以OE⊥OF