Maths Olympiad Prep

Library / UkraineMO /32 of 57

UkraineMO

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 ∠BAC≥90∘\angle BAC \ge 90^\circ. Then ∠ACB≤45∘=∠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

∠C1AC≥90∘\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=45∘−∠OCQ=45∘−∠OAQ=45∘−β. \angle PCC_1 = 45^\circ - \angle OCQ = 45^\circ - \angle OAQ = 45^\circ - \beta.
Also ∠PCA=90∘−∠PAC=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=1−pOC = 1-p, OA=1−qOA = 1-q. Since tan⁡α=p1−p\tan \alpha = \frac{p}{1-p} and tan⁡β=q1−q\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⁡β1−tan⁡αtan⁡β=p1−p+q1−q1−p1−pq1−q==q−q2+p−p2(1−p)(1−q)−pq=q+p−(q2+p2)1−p−q=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+q2−2p−2q+1=0p^2 + q^2 - 2p - 2q + 1 = 0. Now we have that
AC2=(1−p)2+(1−q)2=2−2p−2q+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,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.