Maths Olympiad Prep

Library / /244 of 397

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 ψ=NKLmax{α,β}\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 KNMLKN \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,000 problems in a working order, from AMC 10 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.