Maths Olympiad Prep

Library / /17 of 32

, 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<φ<900 < \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(sin2φ+cos2φ)=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 sin2φ=sin2α\sin 2\varphi = \sin 2\alpha. As 0<α,β<900 < \alpha, \beta < 90^\circ, this implies 2φ=2α2\varphi = 2\alpha or 2φ=1802α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 CC' be a point on the circumcircle of ABCABC such that one acute angle of triangle ABCABC' is φ\varphi (Fig. 8). Let aa' and bb' be the lengths of the legs of triangle ABCABC' and hh' be the height of the triangle ABCABC' corresponding to its hypothenuse. Then (a2+b2)sinφcosφ=c2sinφcosφ=(csinφ)(ccosφ)=ab=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=hh = h'. This condition holds if and only if ABCABCABC \sim ABC' or ABCBACABC \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.