Maths Olympiad Prep

Library / Estonija /17 of 32

Estonija, 2010

Geometry Difficulty 5.6 AIME, harder Prove it Estonia

Let aa and bb be the lengths of the legs of a given right triangle. Prove that angle φ\varphi, where 0<φ<90∘0 < \varphi < 90^\circ, is an acute angle of this triangle if and only if (acos⁡φ+bsin⁡φ)(asin⁡φ+bcos⁡φ)=2ab(a \cos \varphi + b \sin \varphi)(a \sin \varphi + b \cos \varphi) = 2ab. (Seniors.)

Solutions — 2

Solution 1

The equality given in the problem is equivalent to
(a2+b2)sin⁡φcos⁡φ+ab(sin⁡2φ+cos⁡2φ)=2ab (a^2 + b^2) \sin \varphi \cos \varphi + ab(\sin^2 \varphi + \cos^2 \varphi) = 2ab
and hence also to
(a2+b2)sin⁡φcos⁡φ=ab.(1) (a^2 + b^2) \sin \varphi \cos \varphi = ab. \qquad (1)

Let α\alpha and β\beta be the angles opposite to legs with length aa and bb, respectively. Then sin⁡α=a/a2+b2\sin \alpha = a/\sqrt{a^2 + b^2}, sin⁡β=cos⁡α=b/a2+b2\sin \beta = \cos \alpha = b/\sqrt{a^2 + b^2}, implying
(a2+b2)sin⁡αcos⁡α=ab. (a^2 + b^2) \sin \alpha \cos \alpha = ab.

Comparing this to (1) shows the equivalence of the equality of the problem and the equality sin⁡φcos⁡φ=sin⁡αcos⁡α\sin \varphi \cos \varphi = \sin \alpha \cos \alpha, i.e., equality sin⁡2φ=sin⁡2α\sin 2\varphi = \sin 2\alpha. As 0<α,β<90∘0 < \alpha, \beta < 90^\circ, this implies 2φ=2α2\varphi = 2\alpha or 2φ=180∘−2α2\varphi = 180^\circ - 2\alpha, whence φ=α\varphi = \alpha or φ=90∘−α=β\varphi = 90^\circ - \alpha = \beta. Hence, φ\varphi satisfies the equality if and only if it equals one of the acute angles of the right triangle.

Solution 2

Let ABCABC be the given triangle with right angle at vertex CC. Let cc be the length of its hypothenuse and hh be the height corresponding to the hypothenuse. Let C′C' be a point on the circumcircle of ABCABC such that one acute angle of triangle ABC′ABC' is φ\varphi (Fig. 8). Let a′a' and b′b' be the lengths of the legs of triangle ABC′ABC' and h′h' be the height of the triangle ABC′ABC' corresponding to its hypothenuse. Then (a2+b2)sin⁡φcos⁡φ=c2sin⁡φcos⁡φ=(csin⁡φ)(ccos⁡φ)=a′b′=ch′(a^2 + b^2) \sin \varphi \cos \varphi = c^2 \sin \varphi \cos \varphi = (c \sin \varphi)(c \cos \varphi) = a'b' = ch'. Since the equality in the problem is equivalent to the equality (1) from the Solution 1, it is also equivalent to ch′=abch' = ab. But ab=chab = ch, hence it is also equivalent to h=h′h = h'. This condition holds if and only if ABC∼ABC′ABC \sim ABC' or ABC∼BAC′ABC \sim BAC', i.e., φ\varphi equals one of the acute angles of triangle ABCABC.

Fig. 8
Figure 1

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.