Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /144 of 270

Iranian Mathematical Olympiad

Geometry Difficulty 6.5 National Olympiad Prove it Iran

In the scalene triangle ABC, the in-circle touches side BC at the point D. The angle bisectors of ∠ABC\angle ABC and ∠ACB\angle ACB meet the circumcircle of the triangle at the points TBT_B and TCT_C, respectively. Let AXBAX_B and AXCAX_C be diameters in the circumcircles of triangles ACDACD and ABDABD, respectively. Prove that the triangles BTCXCBT_CX_C and CTBXBCT_BX_B are similar.

Solutions — 2

Solution 1

Let NN and YY be the midpoint of the arc BAC\text{BAC} and the intersection of the lines ID,TbNID, T_bN, respectively. Now, since YT bA = AN 2 = B-C 2 = AIY\text{YT bA = AN 2 = B-C 2 = AIY}, therefore AYTbIAYT_bI is cyclic, so ∠AYD=∠ATbI=∠C\angle AYD = \angle AT_bI = \angle C. Thus, AYCDAYCD is cyclic and AYXbCAYX_bC is a rectangle, so AYTb≅CXbTbAYT_b \cong CX_bT_b and ∠CTbXb=∠ATbY=B−C2\angle CT_bX_b = \angle AT_bY = \frac{B-C}{2}. Similarly ∠BTcXc=B−C2\angle BT_cX_c = \frac{B-C}{2}. By easy angle chasing, we get BTcXc∼CTbXbBT_cX_c \sim CT_bX_b which completes the proof.

Solution 2

Suppose the feet of the perpendiculars from the vertex AA to the lines BC,CDBC, CD, and DADA are respectively X,Y,ZX, Y, Z.
The quadrilaterals ABXYABXY and ADZCADZC are cyclic, and ACAC is a diagonal of both. Thus we have:
∠ABX=∠ACX,∠ADZ=∠ACZ \angle ABX = \angle ACX, \quad \angle ADZ = \angle ACZ
Now, since the quadrilaterals are cyclic (respectively with circles of diameter ACAC), we also have:
∠ABX+∠ADZ=90∘ \angle ABX + \angle ADZ = 90^\circ
Moreover, since XX and YY lie on the angle bisector of ∠ABC\angle ABC, and ZZ and WW lie on the angle bisector of ∠ADC\angle ADC, therefore:
∠XAY=∠ZAW \angle XAY = \angle ZAW
So we conclude:
∠XAY=∠ZAW=45∘ \angle XAY = \angle ZAW = 45^\circ
It suffices to prove the following; If D,E,FD, E, F are the points where the incircle touches the sides BC,CA,ABBC, CA, AB respectively, then by Iran's lemma, we know that D,E,FD, E, F are collinear. Also, we know that XX and YY both lie on the angle bisector of ∠ABC\angle ABC, and ZZ and WW on that of ∠ADC\angle ADC. Therefore:
XY∥ZW XY \parallel ZW
it can now be concluded that the quadrilateral is an isosceles trapezoid. ■

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.