Maths Olympiad Prep

Track / Stage 6 / 49 of 400 #1049 of 1964

Problem 1049

National Olympiad, first round
Geometry Difficulty 6.0 Prove it Taiwan IMO Selection Camp · Taiwan

平面上給定三角形 ABCABC 及一點 PP。令 ABC\triangle ABC, BPC\triangle BPC, CPA\triangle CPA, APB\triangle APB 的外接圓圓心分別為點 OO, DD, EE, FF。設直線 BCBCEFEF 交於點 TT,而點 OO 對直線 EFEF 的對稱點為 XX。證明:PTDXPT \perp DX

Given a triangle ABCABC and a point PP in the plane. Let the circumcenters of ABC\triangle ABC, BPC\triangle BPC, CPA\triangle CPA, APB\triangle APB be OO, DD, EE, FF respectively. Let line BCBC meet EFEF at point TT, and let XX be the reflection of point OO about line EFEF. Prove that PTDXPT \perp DX.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let XX be the reflection of OO in EFEF and YY, ZZ be the reflections of PP in EXEX, FXFX, respectively. Since AA, BB, CC are the reflections of PP in EFEF, FDFD, DEDE, respectively, so OO, PP are isogonal conjugate with respect to DEF\triangle DEF and hence
FEX=OEF=DEP,EFX=OFE=DFP, \angle FEX = \angle OEF = \angle DEP, \quad \angle EFX = \angle OFE = \angle DFP,
D\Rightarrow D, XX are isogonal conjugate with respect to EPF\triangle EPF. Since the reflection of PP in the bisector of PEF\angle PEF, PFE\angle PFE lies on EFEF, so YY, ZZ are the reflections of CC, BB in EFEF, respectively T\Rightarrow T lies on the radical axis of (BPC)\odot(BPC), (YPZ)\odot(YPZ) PTDX\Rightarrow PT \perp DX.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.