Maths Olympiad Prep

Library / /160 of 299

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 AYTbCXbTbAYT_b \cong CX_bT_b and CTbXb=ATbY=BC2\angle CT_bX_b = \angle AT_bY = \frac{B-C}{2}. Similarly BTcXc=BC2\angle BT_cX_c = \frac{B-C}{2}. By easy angle chasing, we get BTcXcCTbXbBT_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:
XYZW 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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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