DA×DX=DQ2(=DR2) なる点 X を線分 DA 上にとる.
公式解説と同様に,
∠ADE=∠BDE, ∠ADF=∠CDF
が成り立つ.
∠DFC=∠DQR=∠DRQ=∠DEB, ∠DQX=∠DAB, ∠DRX=∠DAC
より
∠XQR=∠DQR−∠DQX=∠DEB−∠DAB=∠ADE=∠BDE=∠PFE
かつ
∠XRQ=∠DRQ−∠DRX=∠DFC−∠DAC=∠ADF=∠FDC=∠PEF
より三角形 XRQ と PEF は相似である.これと,三角形 ARQ と AEF の相似から,四角形 ARXQ と AEPF は相似だから,∠BAP=∠DAC より AP⊥BC.以下公式解説と同様である.