Maths Olympiad Prep

Track / Stage 6 / 366 of 400 #2006 of 2604

Problem 2006

National Olympiad, first round
Geometry Difficulty 6.8 Prove it Vietnamese Mathematical Competitions · Vietnam

Let ABCABC be an acute and non-isosceles triangle with ∠A=45∘\angle A = 45^\circ. The altitudes AD,BE,CFAD, BE, CF of triangle ABCABC are concurrent at orthocenter HH. The line EFEF meets the line BCBC at PP. Point II is the midpoint of segment BCBC and IFIF cuts PHPH at QQ.
1. Prove that ∠IQH=∠AIE\angle IQH = \angle AIE.
2. Let KK be the orthocenter of triangle AEFAEF and (J)(J) is the circumcircle of the triangle KPDKPD. The line CKCK intersects circle (J)(J) at GG (different to KK) and the line IGIG intersect circle (J)(J) at MM (different to GG), the line JCJC intersect the circle with the diameter BCBC at NN (different to CC). Prove that G,M,N,CG, M, N, C are cyclic.

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

1. Without loss of generality, we can assume that AB<ACAB < AC, then BB will lie between points P,CP, C. The other case can be proved similarly.
First, we will prove that the line PHPH is perpendicular to AIAI.
Let U,VU, V be the midpoints of two segments AH,IHAH, IH, respectively, then UV∥AIUV \parallel AI.
It is easy to check (P,D,B,C)=−1(P, D, B, C) = -1, so based on the properties of harmonic division, we have PB⋅PC=PD⋅PIPB \cdot PC = PD \cdot PI.
We also have PE⋅PF=PB⋅PCPE \cdot PF = PB \cdot PC then PE⋅PF=PD⋅PIPE \cdot PF = PD \cdot PI or point PP lies on the radical axis of the circle with diameter AHAH (center UU) and the circle with diameter IHIH (center VV).
Furthermore, point HH also lies on the radical axis of these circles so PH⊥UVPH \perp UV.
Hence, we have PH⊥AIPH \perp AI.
Because ∠BAC=45∘\angle BAC = 45^\circ then ∠EIF=90∘\angle EIF = 90^\circ, this implies the result
∠IQH=90∘−∠AIF=∠EIF−∠AIF=∠AIE. \angle IQH = 90^\circ - \angle AIF = \angle EIF - \angle AIF = \angle AIE.
Therefore, we have ∠IQH=∠AIE\angle IQH = \angle AIE (Q.E.D).

2. We can see that
∠EKF+∠ECF=∠EKF+∠EAF=180∘ \angle EKF + \angle ECF = \angle EKF + \angle EAF = 180^\circ
so KK belongs to the circle with diameter BCBC. Because D,P,B,CD, P, B, C are harmonic so ID⋅IP=IC2ID \cdot IP = IC^2, but IM⋅IG=ID⋅IPIM \cdot IG = ID \cdot IP (equal to the power of point II to the circle (J)(J)) then IM⋅IG=IC2IM \cdot IG = IC^2, so we have
△IMC∼△ICG (c.g.c) so ∠IMC=∠ICG=∠ICK=45∘.(1) \triangle IMC \sim \triangle ICG\ (c.g.c) \ \text{so}\ \angle IMC = \angle ICG = \angle ICK = 45^\circ. \quad (1)

Let TT be the midpoint of the segment PDPD then CB⋅CT=CD⋅CP=CK⋅CGCB \cdot CT = CD \cdot CP = CK \cdot CG or the quadrilateral GTBKGTBK is cyclic and because ∠BKG=90∘\angle BKG = 90^\circ, then we also have ∠GTD=90∘\angle GTD = 90^\circ or GT⊥PDGT \perp PD.
Figure 1
Triangle JPDJPD is isosceles with JP=JDJP = JD and point TT is the midpoint of segment PDPD then JTJT is perpendicular to PDPD.
Hence, G,J,TG, J, T are collinear and ∠KGJ=45∘\angle KGJ = 45^\circ.
On the other hand, because CN⋅CJ=CB⋅CT=CK⋅CGCN \cdot CJ = CB \cdot CT = CK \cdot CG then the quadrilateral KNJGKNJG is cyclic and this implies that
∠JNG=∠JKG=∠JGK=45∘.(2) \angle JNG = \angle JKG = \angle JGK = 45^\circ. \quad (2)
From the equation (1) and (2), we have ∠GMC=∠GNC=135∘\angle GMC = \angle GNC = 135^\circ or four points G,M,N,CG, M, N, C are cyclic (Q.E.D)

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.