Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /281 of 395

Saudi Arabian Mathematical Competitions

Geometry Difficulty 6.3 National Olympiad Prove it Saudi Arabia

Let ADAD be the altitude of the right angled triangle ABCABC with ∠A=90∘\angle A = 90^{\circ}. Let DEDE be the altitude of the triangle ADBADB and DZDZ be the altitude of the triangle ADCADC respectively. Let NN be chosen on the line ABAB such that CNCN is parallel to EZEZ. Let A′A' be the symmetric of AA with respect to the line EZEZ and I,KI, K the projections of A′A' onto ABAB and ACAC respectively. Prove that ∠NA′T=∠ADT\angle NA'T = \angle ADT, where TT is the intersection point of IKIK and DEDE.

Solution

Suppose that the line AA′AA' intersects the lines EZEZ, BCBC and CNCN at the points LL, MM, FF respectively. The line IKIK being diagonal of the rectangle KA′IAKA'IA passes through LL, which by construction of A′A' is the middle of the other diagonal AA′AA'. The triangles ZALZAL and ALEALE are similar, so ∠ZAL=∠AEZ\angle ZAL = \angle AEZ. By the similarity of the triangles ABCABC and DABDAB we get ∠ACB=∠BAD\angle ACB = \angle BAD. We have also that ∠AEZ=∠BAD\angle AEZ = \angle BAD, therefore
∠ZAL=∠CAM=∠ACB=∠ACM \angle ZAL = \angle CAM = \angle ACB = \angle ACM
Since AF⊥CNAF \perp CN, we have that the right angled triangles AFCAFC and CDACDA are equal. Thus the altitudes from the vertices FF and DD of triangles AFCAFC and CDACDA are respectively equal. It follows that FD∥ACFD \parallel AC and since DE∥ACDE \parallel AC we get that the points E,D,FE, D, F are collinear. In triangle LFTLFT we have
A′I∥FT and ∠LA′I=∠LIA′, A'I \parallel FT \text{ and } \angle LA'I = \angle LIA',
so ∠LFT=∠LTF\angle LFT = \angle LTF. Therefore the points F,A′,I,TF, A', I, T belong to the same circle. Also ∠A′IN=∠A′FN=90∘\angle A'IN = \angle A'FN = 90^{\circ} so the quadrilateral IA′FNIA'FN is cyclic. Thus the points F,A′,I,NF, A', I, N all lie on a circle. From the above, we infer that
∠NA′T=∠TFN=∠ACF=∠FEZ=∠ADT \angle NA'T = \angle TFN = \angle ACF = \angle FEZ = \angle ADT

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

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