∵四边形ABCD是正方形
∴AC⊥BD ∠ACD=45°
∴PE⊥DB PE⊥AC
∴BD∥PF AC∥PE 且∠OFP=∠PEO=∠EOF=90°
∴四边形PEOF是矩形
∴PE=FO
在Rt△PFC中
∠FCP(∠ACD)=45°
∴Rt△PFC是等腰直角三角形
∴PE=FC
∴OC=FO+FC=PE+PF