Maths Olympiad Prep

Library / /78 of 87

Geometry Difficulty 6.8 National Olympiad Prove it Austria

Let ABC\triangle ABC be an acute-angled triangle with AC<ABAC < AB and circumradius RR. Furthermore, let DD be the foot of the altitude from AA on BCBC and let TT denote the point on the line ADAD such that AT=2RAT = 2R holds with DD lying between AA and TT. Finally, let SS denote the mid-point of the arc BCBC on the circumcircle that does not include AA.
Prove: AST=90\angle AST = 90^\circ.

Solution

As usual, we denote the angles BAC\angle BAC, ABC\angle ABC and BCA\angle BCA by α\alpha, β\beta and γ\gamma, respectively. The center of the circumcircle is denoted by OO, see Figure 1.
Figure 1
Figure 1: Problem 2
By assumption, we have β<γ\beta < \gamma. Let EE be the point on the circumcircle of ABCABC diametrically opposite to AA.
By the inscribed angle theorem, we have AOB=2γ\angle AOB = 2\gamma. By definition, SS is the intersection of the angular bisector of CAB\angle CAB and the circumcircle. We note that
EAS=BASBAO=α212(180AOB)=α212(1802γ)=α2+γ90 \angle EAS = \angle BAS - \angle BAO = \frac{\alpha}{2} - \frac{1}{2}(180^\circ - \angle AOB) = \frac{\alpha}{2} - \frac{1}{2}(180^\circ - 2\gamma) = \frac{\alpha}{2} + \gamma - 90^\circ
Since we also have
SAT=SACDAC=α2(90ACD)=α2+γ90 \angle SAT = \angle SAC - \angle DAC = \frac{\alpha}{2} - (90^\circ - \angle ACD) = \frac{\alpha}{2} + \gamma - 90^\circ

it therefore follows that EAS=TAS\angle EAS = \angle TAS holds. Since we also have AE=AT=2RAE = AT = 2R, triangles ASEASE and ASTAST are congruent, and therefore AST=ASE\angle AST = \angle ASE follows. Since AEAE is a diameter of the circumcircle, we have ASE=90\angle ASE = 90^\circ, and the claim is proven.

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.