作FG⊥CD，FE⊥BE，可以得出GFEC为正方形。 令AB=Y ，BP=X ,CE=Z ,可得PC=Y-X 。 tan∠BAP=tan∠EPF=X/Y=Z/(Y-X+Z)，可得YZ=XY-X*X+XZ， 即Z(Y-X)=X(Y-X) ，既得X=Z ， 得出△ABP≌△PEF ， 得到PA=PF ，得证 。
