Maths Olympiad Prep

Library / Estonian Math Competitions /99 of 148

Estonian Math Competitions

Algebra Difficulty 6.3 National Olympiad Prove it Estonia

a) Prove that for every real number xx the arithmetic mean of 1+sin⁡x\sqrt{1 + \sin x} and 1−sin⁡x\sqrt{1 - \sin x} is equal to one of the following: sin⁡x2\sin \frac{x}{2}, cos⁡x2\cos \frac{x}{2}, −sin⁡x2-\sin \frac{x}{2}, −cos⁡x2-\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+sin⁡x=sin⁡2x2+cos⁡2x2+2sin⁡x2cos⁡x2=(sin⁡x2+cos⁡x2)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,

1−sin⁡x=sin⁡2x2+cos⁡2x2−2sin⁡x2cos⁡x2=(sin⁡x2−cos⁡x2)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+sin⁡x+1−sin⁡x2=∣sin⁡x2+cos⁡x2∣+∣sin⁡x2−cos⁡x2∣2. 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 sin⁡x2+cos⁡x2\sin \frac{x}{2} + \cos \frac{x}{2} and sin⁡x2−cos⁡x2\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 sin⁡x2\sin \frac{x}{2}, cos⁡x2\cos \frac{x}{2}, −sin⁡x2-\sin \frac{x}{2}, −cos⁡x2-\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 sin⁡x2,cos⁡x2,−sin⁡x2,−cos⁡x2\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+sin⁡x+1−sin⁡x2)2=2+21−sin⁡2x4=1+∣cos⁡x∣2, \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+∣cos⁡x∣2A(x) = \sqrt{\frac{1+|\cos x|}{2}}. Therefore, if cos⁡x≥0\cos x \ge 0, then A(x)=1+cos⁡x2=±cos⁡x2A(x) = \sqrt{\frac{1+\cos x}{2}} = \pm \cos \frac{x}{2}; if cos⁡x<0\cos x < 0, then A(x)=1−cos⁡x2=±sin⁡x2A(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,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.