>>785
EBがPAと交わる点をFとすると、円周角の定理と錯角などの関係から
∠PEF=∠DCB=∠BPF
∠BAF=∠FAE
より方冪の定理からPF^2=FB・FE=FA^2ゆえFは中点