1、结论:EF=PD
证明:(如图)
连接PB
在正方形ABCD中 AC是对角线 P是AC上的点
BC=CD ∠BCP=∠DCP=45° PC=PC(公共边)
∴△BPC≌△DPC
∴BP=DP
∵PE⊥AB PF⊥BC ∠B是直角
∴四边形BEPF是矩形(有三个角是直角的四边形是矩形)
∴EF=BP(矩形的对角线相等)
∴EF=PD(等量代换)
2、OF与OE的关系:垂直且相等。
证明:(如图)
连接OB
在△OEB和△OFC中
∵BE=AB-AE FC=BC-BF
而BF=EP=AE
∴BE=FC
又OC=OB ∠OBE=∠OCF=45°
∴△OEB≌△OFC
∴OE=OF ①
∴∠1=∠2
而∠2+∠3=90°
∴∠1+∠3=90°
即∠EOF=90° ②
根据 ① 和②
所以OF⊥OE 且OF=OE