Maths Olympiad Prep

Library / /2 of 5

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 kZk \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=sinx0 = \sin x. Thus x/2x / 2 is not a multiple of π2\frac{\pi}{2}, so cos2(x/2)>0\cos^2(x / 2) > 0, and

tan(x/2)>?sin(x)cos2(x/2)tan(x/2)>?cos2(x/2)sin(x)2cos(x/2)sin(x/2)>?2cos2(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,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.