Maths Olympiad Prep

Library / Berkeley Math Circle: Monthly Contest 8 /2 of 5

Berkeley Math Circle: Monthly Contest 8

Algebra Difficulty 4.9 AIME Prove it United States

Problem:
Find all real numbers xx for which tan⁡(x/2)\tan (x / 2) is defined and greater than sin⁡(x)\sin (x).

Solution

Solution:
We claim that the answer is x∈(kπ−π2, kπ)x \in \left(k \pi - \frac{\pi}{2},\ k \pi\right) for k∈Zk \in \mathbb{Z}.

The statement is never true for x/2x / 2 a multiple of π2\frac{\pi}{2} because tan⁡(x/2)\tan (x / 2) is either undefined or equal to 0=sin⁡x0 = \sin x. Thus x/2x / 2 is not a multiple of π2\frac{\pi}{2}, so cos⁡2(x/2)>0\cos^2(x / 2) > 0, and

tan⁡(x/2)>?sin⁡(x)cos⁡2(x/2)tan⁡(x/2)>?cos⁡2(x/2)sin⁡(x)2cos⁡(x/2)sin⁡(x/2)>?2cos⁡2(x/2)sin⁡(x)sin⁡(x)>?(1+cos⁡(x))sin⁡(x)0>?cos⁡(x)sin⁡(x)0>?sin⁡(2x), \begin{aligned} \tan (x / 2) &\stackrel{?}{>} \sin (x) \\ \cos^2(x / 2) \tan (x / 2) &\stackrel{?}{>} \cos^2(x / 2) \sin (x) \\ 2 \cos (x / 2) \sin (x / 2) &\stackrel{?}{>} 2 \cos^2(x / 2) \sin (x) \\ \sin (x) &\stackrel{?}{>} (1 + \cos (x)) \sin (x) \\ 0 &\stackrel{?}{>} \cos (x) \sin (x) \\ 0 &\stackrel{?}{>} \sin (2x), \end{aligned}
as desired.

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.