作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-XX XZ， 即Z(Y-X)=X(Y-X) ，既得X=Z ，
得出△ABP≌△PEF ， 得到PA=PF ，得证 。
