证明：连结AE,AC,
因为角PDF是圆内接四边形AEDC的一个外角,
所以角PDF=角EAC,
因为弧AE=弧AC,AB是圆O的直径,
所以弧EB=弧CB,即：弧EBC=2弧CB,
所以圆周角EAC=圆心角COB,
所以角PDF=角COB,
又因为角P=角P,
所以 三角形PDF相似于三角形POC,
所以 PD/PO=PF/PC,
所以 PF*PO=PC*PD
又由割线定理可知：PC*PD=PA*PB,
所以 PF*PO=PA*PB.