由于DEBC四点共圆,ADE=BCA,而aP//ED得到PAD=ADE,因此PAD=BCA,因此PAB和PCA相似
得到：PA/PC=PB/PA
因此PA*PA=PB*PC
由切割线定理
PB*PC=PF*PF
因此PA *PA=PF*PF
所以 PA=PF