Maths Olympiad Prep

Library / /35 of 62

Geometry Difficulty 5.8 AIME, harder Prove it Ukraine

The points A1A_1 and C1C_1 are chosen on the sides BCBC and ABAB of the triangle ABCABC so that the segments AA1AA_1 and CC1CC_1 are equal and perpendicular. Prove that if ABC=45\angle ABC = 45^\circ, then AC=AA1AC = AA_1.

(Andrei Gogolev)

Solution

Firstly we will show that the triangle is acute. Indeed, suppose that BAC90\angle BAC \ge 90^\circ. Then ACB45=ABC<AA1C\angle ACB \le 45^\circ = \angle ABC < \angle AA_1C. From AA1C\triangle AA_1C we get that AC>AA1AC > AA_1. From the other side

C1AC90\angle C_1AC \ge 90^\circ, then in AC1C\triangle AC_1C the side CC1CC_1 is the longest, in particular, CC1>ACCC_1 > AC. Hence CC1>ACCC_1 > AC; CC1>AC>AA1CC_1 > AC > AA_1, contradiction.
Let AA1AA_1 and CC1CC_1 intersect at OO. Consider a circle with diameter ACAC, then OO lies on it (fig. 10).

Figure 1
Fig. 10

This circle intersect AB,BCAB, BC at P,QP, Q respectively. The points PP and QQ lies inside the sides of ABC\triangle ABC because the triangle is acute. Notice also that since AA1AA_1 and CC1CC_1 are cevians, OO lies inside ABC\triangle ABC, in other words, on the arc PQPQ of the latter circle. We will prove that A1AQ=QAC\angle A_1AQ = \angle QAC. If it is true CAA1\triangle CAA_1 is isosceles, because AQAQ is angle bisector and altitude in it and so A1A=ACA_1A = AC. Indeed, suppose that A1AQ=β>α=QAC\angle A_1AQ = \beta > \alpha = \angle QAC. Then A1A>ACA_1A > AC. Obviously, PBC=BAQ=45\angle PBC = \angle BAQ = 45^\circ. Then
PCC1=45OCQ=45OAQ=45β. \angle PCC_1 = 45^\circ - \angle OCQ = 45^\circ - \angle OAQ = 45^\circ - \beta.
Also PCA=90PAC=45α\angle PCA = 90^\circ - \angle PAC = 45^\circ - \alpha. Since β>α\beta > \alpha, we have 45β<45α45^\circ - \beta < 45^\circ - \alpha, so C1CP<PCA\angle C_1CP < \angle PCA, hence CC1<ACCC_1 < AC. But A1A>ACA_1A > AC, so CC1<AA1CC_1 < AA_1 - contradiction. The case β<α\beta < \alpha is considered analogously.

Alternative solution. Denote C1CB=α\angle C_1CB = \alpha, A1AB=β\angle A_1AB = \beta. Then since OCA+α+OAC+β=135\angle OCA + \alpha + \angle OAC + \beta = 135^\circ and OCA+OAC=90\angle OCA + \angle OAC = 90^\circ, so α+β=45\alpha + \beta = 45^\circ (fig. 11).

Figure 2
Fig. 11

We can assume that AA1=CC1=1AA_1 = CC_1 = 1. Denote OC1=pOC_1 = p, OA1=qOA_1 = q, then OC=1pOC = 1-p, OA=1qOA = 1-q. Since tanα=p1p\tan \alpha = \frac{p}{1-p} and tanβ=q1q\tan \beta = \frac{q}{1-q}, rewrite the condition α+β=45\alpha + \beta = 45^\circ as tan(α+β)=1\tan(\alpha + \beta) = 1 or
tan(α+β)=tanα+tanβ1tanαtanβ=p1p+q1q1p1pq1q==qq2+pp2(1p)(1q)pq=q+p(q2+p2)1pq=1, \begin{aligned} \tan(\alpha + \beta) &= \frac{\tan \alpha + \tan \beta}{1 - \tan \alpha \tan \beta} = \frac{\frac{p}{1-p} + \frac{q}{1-q}}{1 - \frac{p}{1-p} \frac{q}{1-q}} = \\ &= \frac{q - q^2 + p - p^2}{(1-p)(1-q) - pq} = \frac{q + p - (q^2 + p^2)}{1 - p - q} = 1, \end{aligned}
so p2+q22p2q+1=0p^2 + q^2 - 2p - 2q + 1 = 0. Now we have that
AC2=(1p)2+(1q)2=22p2q+p2+q2=1=AA12 AC^2 = (1-p)^2 + (1-q)^2 = 2 - 2p - 2q + p^2 + q^2 = 1 = AA_1^2
and we are done.

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.