P是正方形ABCD边CD的任意一点,且PE⊥DB于E,CA于F,则PE+PF=OC