Maths Olympiad Prep

Library / /349 of 520

Geometry Difficulty 6.8 National olympiad Prove it

Let ABCA B C be a right angled triangle with A=90\angle A=90^{\circ} and ADA D its altitude. We draw parallel lines from DD to the vertical sides of the triangle and we call E,ZE, Z their points of intersection with ABA B and ACA C respectively. The parallel line from CC to EZE Z intersects the line ABA B at the point NN. Let AA^{\prime} be the symmetric of AA with respect to the line EZE Z and I,KI, K the projections of AA^{\prime} onto ABA B and ACA C respectively. If TT is the point of intersection of the lines IKI K and DED E, prove that NAT=ADT\angle N A^{\prime} T=\angle A D T.

Solution

Suppose that the line AAA A^{\prime} intersects the lines EZ,BCE Z, B C and CNC N at the points L,ML, M, FF respectively. The line IKI K being diagonal of the rectangle KAIAK A^{\prime} I A passes through LL, which by construction of AA^{\prime}, is the middle of the other diagonal AAA A^{\prime}. The triangles ZAL,ALEZ A L, A L E are similar, so ZAL=AEZ\angle Z A L=\angle A E Z. By the similarity of the triangles ABC,DABA B C, D A B, we get ACB=BAD\angle A C B=\angle B A D. We have also that AEZ=BAD\angle A E Z=\angle B A D, therefore

ZAL=CAM=ACB=ACM \angle Z A L=\angle C A M=\angle A C B=\angle A C M

!

Since AFCNA F \perp C N, we have that the right triangles AFCA F C and CDAC D A are equal. Thus the altitudes from the vertices F,DF, D of the triangles AFC,CDAA F C, C D A respectively are equal. It follows that FDACF D \| A C and since DEACD E \| A C we get that the points E,D,FE, D, F are collinear.

In the triangle LFTL F T we have, AIFTA^{\prime} I \| F T and LAI=LIA\angle L A^{\prime} I=\angle L I A^{\prime}, so LFT=LTF\angle L F T=\angle L T F. Therefore the points F,A,I,TF, A^{\prime}, I, T belong to the same circle. Also, AIN=AFN=90\angle A^{\prime} I N=\angle A^{\prime} F N=90^{\circ} so the quadrilateral IAFNI A^{\prime} F N is cyclic. Thus, the points F,A,I,T,NF, A^{\prime}, I, T, N all lie on a circle. From the above, we infer that

NAT=TFN=ACF=FEZ=ADT \angle N A^{\prime} T=\angle T F N=\angle A C F=\angle F E Z=\angle A D T \text {. }

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.