确实简单。设三角形ABP外接圆心为O，设角PAD=x，角PBC=y，角ADP和角BCP平分线分别为DM和CN
DM与AO相交于O`,CN与BO相交与O``
易见角PAO`=π/2 - 2x=PDO`，所以ADPO`四点共圆。同理，BCPO``四点共圆。
角AO`P=4x,角BO``P=4y
又易见角AOP=4x,角BOP=4y,所以O O` O``三点重合，得证。
【 在 iwannabe 的大作中提到: 】
: 发信人: iwannabe (I wanna be), 信区: IQDoor
: 标  题: 2020 IMO
: 发信站: 水木社区 (Thu Sep 24 15:46:53 2020), 站内
: ...................
--
FROM 59.37.165.*