Maths Olympiad Prep

Library / /34 of 61

Geometry Difficulty 6.3 National olympiad Prove it Belarus

Point DD is marked on the side ABAB of triangle ABCABC. The bisectors of the angles ABCABC and ADCADC meet at point UU, and the bisectors of the angles BACBAC and BDCBDC meet at point VV. Let SS be the midpoint of the segment UVUV.

Prove that the lines SDSD and ABAB are perpendicular if and only if the inscribed circles of the triangles ADCADC and BDCBDC are tangent.

Solution

Note that the triangle UDVUDV is a right-angled triangle regardless of the position of the point DD since
UDV=UDC+VDC=12ADC+12BDC=12180=90. \angle UDV = \angle UDC' + \angle VDC' = \frac{1}{2} \angle ADC + \frac{1}{2} \angle BDC = \frac{1}{2} \cdot 180^\circ = 90^\circ.
So SS is the center of the circumcircle of the triangle UDVUDV, and the condition SDABSD \perp AB is equivalent to the tangency of this circle and the line ABAB, and, by turn, is equivalent to the equality ADU=DVU\angle ADU = \angle DVU. Let the lines UVUV and CDCD meet at point TT. Since ADU=CDU\angle ADU = \angle CDU, the condition ADU=DVU\angle ADU = \angle DVU is equivalent to the equality UDT=UVD\angle UDT' = \angle UVD, i.e. is equivalent to the similarity UTDUDV\triangle UTD \sim \triangle UDV; this similarity is equivalent to the equality UTD=90\angle UTD = 90^\circ. Thus, SDABSD \perp AB is equivalent to UVCDUV \perp CD.

Note that UU and VV are the centers of the circles ωA\omega_A and ωB\omega_B of the triangles BDCBDC and ADCADC, respectively. Let the circles ωA\omega_A and ωB\omega_B touch the side CDCD at points TAT_A and TBT_B, respectively. It is easy to see that the condition UVCDUV \perp CD is equivalent to TA=TB=TT_A = T_B = T that is equivalent to DTA=DTBDT_A = DT_B.
Let the circle ωA\omega_A touch the lines ABAB and BCBC at points KK and LL, respectively. Using the equality of the tangents to the circle ωA\omega_A, we get

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 and solution reproduced as published; topic and difficulty added by this site.