按我自己画的图如下
∠odp=∠oep,∠dop=∠eop,op=op,角角边,三角形ODP≌三角形oep
∴dp=ep,∠OPD=∠ope∴∠dpf=∠epf(∠OPD=∠ope余角相等）
又∵pf=pf,∴三角形pdf≌三角形pef ,边角边,
∴df=ef