Maths Olympiad Prep

Library / HMMT February /1194 of 1302

HMMT February

Geometry Difficulty 6.0 AIME, harder Prove it United States

Problem:
Let ww, xx, yy, and zz be positive real numbers such that
0≠cos⁡wcos⁡xcos⁡ycos⁡z2π=w+x+y+z3tan⁡w=k(1+sec⁡w)4tan⁡x=k(1+sec⁡x)5tan⁡y=k(1+sec⁡y)6tan⁡z=k(1+sec⁡z) \begin{aligned} 0 & \neq \cos w \cos x \cos y \cos z \\ 2 \pi & = w + x + y + z \\ 3 \tan w & = k(1 + \sec w) \\ 4 \tan x & = k(1 + \sec x) \\ 5 \tan y & = k(1 + \sec y) \\ 6 \tan z & = k(1 + \sec z) \end{aligned}
(Here sec⁡t\sec t denotes 1cos⁡t\frac{1}{\cos t} when cos⁡t≠0\cos t \neq 0.) Find kk.

Solution

Solution:
Answer: 19\sqrt{19}

From the identity tan⁡u2=sin⁡u1+cos⁡u\tan \frac{u}{2} = \frac{\sin u}{1 + \cos u}, the conditions work out to 3tan⁡w2=4tan⁡x2=5tan⁡y2=6tan⁡z2=k3 \tan \frac{w}{2} = 4 \tan \frac{x}{2} = 5 \tan \frac{y}{2} = 6 \tan \frac{z}{2} = k. Let a=tan⁡w2a = \tan \frac{w}{2}, b=tan⁡x2b = \tan \frac{x}{2}, c=tan⁡y2c = \tan \frac{y}{2}, and d=tan⁡z2d = \tan \frac{z}{2}. Using the identity tan⁡(M+N)=tan⁡M+tan⁡N1−tan⁡Mtan⁡N\tan (M + N) = \frac{\tan M + \tan N}{1 - \tan M \tan N}, we obtain
tan⁡(w+x2+y+z2)=tan⁡(w+x2)+tan⁡(y+z2)1−tan⁡(w+x2)tan⁡(y+z2)=a+b1−ab+c+d1−cd1−(a+b1−ab)(c+d1−cd)=a+b+c+d−abc−abd−bcd−acd1+abcd−ab−ac−ad−bc−bd−cd \begin{aligned} \tan \left(\frac{w + x}{2} + \frac{y + z}{2}\right) & = \frac{\tan \left(\frac{w + x}{2}\right) + \tan \left(\frac{y + z}{2}\right)}{1 - \tan \left(\frac{w + x}{2}\right) \tan \left(\frac{y + z}{2}\right)} \\ & = \frac{\frac{a + b}{1 - a b} + \frac{c + d}{1 - c d}}{1 - \left(\frac{a + b}{1 - a b}\right)\left(\frac{c + d}{1 - c d}\right)} \\ & = \frac{a + b + c + d - a b c - a b d - b c d - a c d}{1 + a b c d - a b - a c - a d - b c - b d - c d} \end{aligned}
Because x+y+z+w=2πx + y + z + w = 2\pi, we get that tan⁡(x+y+z+w2)=0\tan \left(\frac{x + y + z + w}{2}\right) = 0 and thus a+b+c+d=abc+abd+bcd+acda + b + c + d = a b c + a b d + b c d + a c d. Substituting a,b,c,da, b, c, d corresponding to the variable kk, we obtain that k3−19k=0k^{3} - 19 k = 0. Therefore, kk can be only 00, 19\sqrt{19}, −19-\sqrt{19}. However, k=0k = 0 is impossible as w,x,y,zw, x, y, z will all be 00. Also, k=−19k = -\sqrt{19} is impossible as w,x,y,zw, x, y, z will exceed π\pi. Therefore, k=19k = \sqrt{19}.

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.