Maths Olympiad Prep

Track / Stage 6 / 366 of 400 #1846 of 2444

Problem 1846

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 UVAIUV \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 PBPC=PDPIPB \cdot PC = PD \cdot PI.
We also have PEPF=PBPCPE \cdot PF = PB \cdot PC then PEPF=PDPIPE \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 PHUVPH \perp UV.
Hence, we have PHAIPH \perp AI.
Because BAC=45\angle BAC = 45^\circ then EIF=90\angle EIF = 90^\circ, this implies the result
IQH=90AIF=EIFAIF=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 IDIP=IC2ID \cdot IP = IC^2, but IMIG=IDIPIM \cdot IG = ID \cdot IP (equal to the power of point II to the circle (J)(J)) then IMIG=IC2IM \cdot IG = IC^2, so we have
IMCICG (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 CBCT=CDCP=CKCGCB \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 GTPDGT \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 CNCJ=CBCT=CKCGCN \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.