Maths Olympiad Prep

Library / /104 of 158

Algebra Difficulty 6.3 National Olympiad Prove it Estonia

a) Prove that for every real number xx the arithmetic mean of 1+sinx\sqrt{1 + \sin x} and 1sinx\sqrt{1 - \sin x} is equal to one of the following: sinx2\sin \frac{x}{2}, cosx2\cos \frac{x}{2}, sinx2-\sin \frac{x}{2}, cosx2-\cos \frac{x}{2}.

b) Can one leave out one of the four numbers listed in part a) in such a way that the claim still holds?

Solutions — 2

Solution 1

a) Denote the arithmetic mean given in the problem by A(x)A(x). As
1+sinx=sin2x2+cos2x2+2sinx2cosx2=(sinx2+cosx2)2, 1 + \sin x = \sin^2 \frac{x}{2} + \cos^2 \frac{x}{2} + 2 \sin \frac{x}{2} \cos \frac{x}{2} = \left( \sin \frac{x}{2} + \cos \frac{x}{2} \right)^2,

1sinx=sin2x2+cos2x22sinx2cosx2=(sinx2cosx2)2, 1 - \sin x = \sin^2 \frac{x}{2} + \cos^2 \frac{x}{2} - 2 \sin \frac{x}{2} \cos \frac{x}{2} = \left( \sin \frac{x}{2} - \cos \frac{x}{2} \right)^2,
we get
A(x)=1+sinx+1sinx2=sinx2+cosx2+sinx2cosx22. A(x) = \frac{\sqrt{1 + \sin x} + \sqrt{1 - \sin x}}{2} = \frac{|\sin \frac{x}{2} + \cos \frac{x}{2}| + |\sin \frac{x}{2} - \cos \frac{x}{2}|}{2}.
Depending on the signs of the numbers sinx2+cosx2\sin \frac{x}{2} + \cos \frac{x}{2} and sinx2cosx2\sin \frac{x}{2} - \cos \frac{x}{2}, one of the trigonometric functions in the numerator cancels out and the other one is doubled, with either a positive or a negative sign. Therefore, A(x)A(x) is equal to one of the numbers sinx2\sin \frac{x}{2}, cosx2\cos \frac{x}{2}, sinx2-\sin \frac{x}{2}, cosx2-\cos \frac{x}{2}.

b) Clearly A(x)=1A(x) = 1, whenever xx is one of the numbers 0,π,2π,3π0, \pi, 2\pi, 3\pi. Nevertheless, each of these four values makes a unique expression among sinx2,cosx2,sinx2,cosx2\sin \frac{x}{2}, \cos \frac{x}{2}, -\sin \frac{x}{2}, -\cos \frac{x}{2} evaluate to 1. Therefore, none of these four can be left out.

Solution 2

Part a) can also be proven as follows. Let A(x)A(x) be the same as in the first solution. Then
(1+sinx+1sinx2)2=2+21sin2x4=1+cosx2, \left( \frac{\sqrt{1 + \sin x} + \sqrt{1 - \sin x}}{2} \right)^2 = \frac{2 + 2\sqrt{1 - \sin^2 x}}{4} = \frac{1 + |\cos x|}{2},
so that A(x)=1+cosx2A(x) = \sqrt{\frac{1+|\cos x|}{2}}. Therefore, if cosx0\cos x \ge 0, then A(x)=1+cosx2=±cosx2A(x) = \sqrt{\frac{1+\cos x}{2}} = \pm \cos \frac{x}{2}; if cosx<0\cos x < 0, then A(x)=1cosx2=±sinx2A(x) = \sqrt{\frac{1-\cos x}{2}} = \pm \sin \frac{x}{2}.

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.