| For All Solvers
OMC186 (ゴーガ解析コンサルティング杯)

OMC186(E) - 別解

ユーザー解説 by pomodor_ap

 DA×DX=DQ2(=DR2)DA×DX=DQ^2(=DR^2) なる点 XX を線分 DADA 上にとる.
公式解説と同様に, ADE=BDE, ADF=CDF\angle ADE=\angle BDE, \angle ADF=\angle CDF が成り立つ. DFC=DQR=DRQ=DEB, DQX=DAB, DRX=DAC\angle DFC=\angle DQR=\angle DRQ=\angle DEB, \angle DQX=\angle DAB, \angle DRX=\angle DAC より XQR=DQRDQX=DEBDAB=ADE=BDE=PFE\angle XQR=\angle DQR-\angle DQX=\angle DEB-\angle DAB=\angle ADE=\angle BDE=\angle PFE かつ XRQ=DRQDRX=DFCDAC=ADF=FDC=PEF\angle XRQ=\angle DRQ-\angle DRX=\angle DFC-\angle DAC=\angle ADF=\angle FDC=\angle PEF より三角形 XRQXRQPEFPEF は相似である.これと,三角形 ARQARQAEFAEF の相似から,四角形 ARXQARXQAEPFAEPF は相似だから,BAP=DAC\angle BAP=\angle DAC より APBCAP\perp BC.以下公式解説と同様である.