Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /224 of 359

Taiwan IMO Selection Camp

Geometry Difficulty 6.2 National Olympiad Prove it Taiwan

In triangle ABCABC, let points DD and EE be the intersection points of the angle bisectors of angle AA and angle BB with the opposite sides, respectively. A rhombus is inscribed in the quadrilateral AEDBAEDB, with the vertices of the rhombus lying on different sides of AEDBAEDB. Let ϕ\phi be the non-obtuse interior angle of this rhombus. Prove that ϕ≤max⁡{∠BAC,∠ABC}\phi \le \max\{\angle BAC, \angle ABC\}.

Solution

Let points K,L,M,NK, L, M, N be the vertices of the rhombus lying on sides AE,ED,DB,BAAE, ED, DB, BA respectively. Define d(X,YZ)d(X, YZ) to denote the distance from point XX to line YZYZ. Since DD and EE are the intersection points of the angle bisectors with the opposite sides, we have d(D,AB)=d(D,AC)d(D, AB) = d(D, AC), d(E,AB)=d(E,BC)d(E, AB) = d(E, BC), and d(D,BC)=d(E,AC)=0d(D, BC) = d(E, AC) = 0, from which we obtain
d(D,AC)+d(D,BC)=d(D,AB), d(D, AC) + d(D, BC) = d(D, AB),
d(E,AC)+d(E,BC)=d(E,AB). d(E, AC) + d(E, BC) = d(E, AB).
Since LL lies on segment DEDE, and the equation d(X,AC)+d(X,BC)=d(X,AB)d(X, AC) + d(X, BC) = d(X, AB) is linear in the variable XX, from the above two equations we obtain
d(L,AC)+d(L,BC)=d(L,AB).(2) d(L, AC) + d(L, BC) = d(L, AB). \qquad (2)
Label each of the angles as shown in the figure, and let a=KLa = KL. Then we have d(L,AC)=asin⁡μd(L, AC) = a \sin \mu and d(L,BC)=asin⁡νd(L, BC) = a \sin \nu. Since the parallelogram KLMNKLMN lies on one side of line ABAB, it follows that
d(L,AB)=d(L,AC)+d(N,BC)=d(K,AB)+d(M,AB)=a(sin⁡δ+sin⁡ε). \begin{aligned} d(L, AB) &= d(L, AC) + d(N, BC) = d(K, AB) + d(M, AB) \\ &= a(\sin \delta + \sin \varepsilon). \end{aligned}
Thus, by equation (1), we obtain
sin⁡μ+sin⁡ν=sin⁡δ+sin⁡ε.(3) \sin \mu + \sin \nu = \sin \delta + \sin \varepsilon. \qquad (3)
If one of the angles α\alpha and β\beta is not acute, then the inequality to be proved already holds. Hence we may assume α,β<π/2\alpha, \beta < \pi/2.
It suffices to prove that ψ=∠NKL≤max⁡{α,β}\psi = \angle NKL \le \max\{\alpha, \beta\}.

Figure 1

We proceed by contradiction, assuming that ψ>max⁡{α,β}\psi > \max\{\alpha, \beta\} holds. Since μ+ψ=∠CKN=α+δ\mu + \psi = \angle CKN = \alpha + \delta, from the assumption we obtain μ=(α−ψ)+δ<δ\mu = (\alpha - \psi) + \delta < \delta. Similarly, one can show that ν<ε\nu < \varepsilon. Next, since KN∥MLKN \parallel ML, we know that β=δ+ν\beta = \delta + \nu, so we have δ<β<π/2\delta < \beta < \pi/2. Similarly, ε<π/2\varepsilon < \pi/2. Finally, from μ<δ<π/2\mu < \delta < \pi/2 and ν<ε<π/2\nu < \varepsilon < \pi/2, we know that
sin⁡μ<sin⁡δandsin⁡ν<sin⁡ε. \sin \mu < \sin \delta \quad \text{and} \quad \sin \nu < \sin \varepsilon.
These two inequalities clearly contradict (2), a contradiction. This completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.