Maths Olympiad Prep

Library / /375 of 520

Geometry Difficulty 6.9 National olympiad Prove it

In a scalene triangle ABCABC, let the interior angles be denoted as α,β,γ\alpha, \beta, \gamma as usual. Furthermore, let the intersection of the angle bisector of α\alpha and BCBC be denoted as DD, and the intersection of the angle bisector of β\beta and ACAC be denoted as EE.
Now, a rhombus is inscribed in the quadrilateral ABDEABDE such that all vertices of the rhombus lie on different sides of the quadrilateral. In this rhombus, let the non-obtuse interior angles be denoted as φ\varphi. Prove that φmax(α,β)\varphi \leq \max (\alpha, \beta) holds.

Solution

The corners of the rhombus are named K(KAE),LK(K \in A E), L (LAB),M(MBD)(L \in A B), M(M \in B D), and N(NDE)N(N \in D E). Let d(X,YZ)d(X, Y Z) denote the distance of a point XX from a line YZY Z. Since DD and EE lie on the respective angle bisectors, we have d(D,AB)=d(D,AC)d(D, A B)=d(D, A C), d(E,AB)=d(E,BC)d(E, A B)=d(E, B C), and d(D,BC)=d(E,AC)=0d(D, B C)=d(E, A C)=0, from which d(D,AC)+d(D,BC)=d(D,AB)d(D, A C)+d(D, B C)=d(D, A B) and d(E,AC)+d(E,BC)=d(E,AB)d(E, A C)+d(E, B C)=d(E, A B) follow.
Since NN lies on the segment DED E and because in the equation d(X,AC)+d(X,BC)=d(X,AB)d(X, A C)+d(X, B C)=d(X, A B), if XX moves along the segment DED E, all terms change only linearly, it follows from the two upper relations also for NN:
!
from the two upper relations also for NN:
d(N,AC)+d(N,BC)=d(N,AB)(1)d(N, A C)+d(N, B C)=d(N, A B)(1).
With the notations of the figure, we have d(N,AC)=ssinμd(N, A C)=s \cdot \sin \mu and d(N,BC)=ssinvd(N, B C)=s \cdot \sin v. Since the rhombus KLMNK L M N lies entirely in one of the half-planes with respect to ABA B, we obtain from its parallelogram property
d(N,AB)=d(N,AB)+d(L,AB)=d(K,AB)+d(M,AB)=s(sinδ+sinε)d(N, A B)=d(N, A B)+d(L, A B)=d(K, A B)+d(M, A B)=s(\sin \delta+\sin \varepsilon).
With (1), it follows that sinμ+sinv=sinδ+sinε\sin \mu+\sin v=\sin \delta+\sin \varepsilon (2).
From the assumption φ>max(α,β)\varphi>\max (\alpha, \beta), we would directly get μ=αφ+δ<δ\mu=\alpha-\varphi+\delta<\delta and analogously v<εv<\varepsilon because μ+φ=CKL=α+δ\mu+\varphi=\angle C K L=\alpha+\delta. Since KLMNK L \| M N, we have β=δ+v\beta=\delta+v, so δ<β<90\delta<\beta<90^{\circ}. Similarly, it follows that ε<90\varepsilon<90^{\circ}. Thus, we get sinμ<sinδ\sin \mu<\sin \delta and sinv<sinε\sin v<\sin \varepsilon, in contradiction to (2). Therefore, φmax(α,β)\varphi \leq \max (\alpha, \beta).

Hint: A pure angle chase does not lead to the goal. The position of the rhombus is not uniquely determined, contrary to the opinion of some participants. Equality holds only for α=β\alpha=\beta.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.