在矩形ABCD中
AC=BD,OB=OD,OC=OA
OC=OD
过C做CK⊥BD,连接OP
S△OCD≌S△OCP+S△OPD
1/2×OD×CK=OC×1/2×PF+1/2×OD×PE
PE+PF=CK