延长CP交圆P于M,延长PC交圆O于N,
在圆P中有DF*EF=MF*CF=(MP+PF)*CF=(PC+PF)*CF=PC*CF+PF*CF
在圆O中有DF*EF=QF*PF=(QC+CF)*PF=(PC+CF)*PF=PC*PF+PF*CF
所以有PC*CF=PC*PF
所以PF=CF即DE平分PC.
延长CP交圆P于M,延长PC交圆O于N,
在圆P中有DF*EF=MF*CF=(MP+PF)*CF=(PC+PF)*CF=PC*CF+PF*CF
在圆O中有DF*EF=QF*PF=(QC+CF)*PF=(PC+CF)*PF=PC*PF+PF*CF
所以有PC*CF=PC*PF
所以PF=CF即DE平分PC.