Maths Olympiad Prep

Track / Stage 7 / 84 of 300 #2124 of 2604

Problem 2124

National Olympiad second round; IMO P1/P4
Algebra Difficulty 7.3 Prove it Fall Mathematical Competition · Bulgaria

Find all values of the real parameter aa such that the equation sin⁡2xsin⁡4x−sin⁡xsin⁡3x=a\sin 2x \sin 4x - \sin x \sin 3x = a has a unique solution in the interval [0,π)[0, \pi).

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let us analyze the equation:
sin⁡2xsin⁡4x−sin⁡xsin⁡3x=a \sin 2x \sin 4x - \sin x \sin 3x = a
for x∈[0,π)x \in [0, \pi).

First, use the product-to-sum formulas:
sin⁡Asin⁡B=12[cos⁡(A−B)−cos⁡(A+B)] \sin A \sin B = \frac{1}{2}[\cos(A-B) - \cos(A+B)]
So,
sin⁡2xsin⁡4x=12[cos⁡(2x−4x)−cos⁡(2x+4x)]=12[cos⁡(−2x)−cos⁡(6x)]=12[cos⁡2x−cos⁡6x] \sin 2x \sin 4x = \frac{1}{2}[\cos(2x - 4x) - \cos(2x + 4x)] = \frac{1}{2}[\cos(-2x) - \cos(6x)] = \frac{1}{2}[\cos 2x - \cos 6x]
Similarly,
sin⁡xsin⁡3x=12[cos⁡(x−3x)−cos⁡(x+3x)]=12[cos⁡(−2x)−cos⁡4x]=12[cos⁡2x−cos⁡4x] \sin x \sin 3x = \frac{1}{2}[\cos(x - 3x) - \cos(x + 3x)] = \frac{1}{2}[\cos(-2x) - \cos 4x] = \frac{1}{2}[\cos 2x - \cos 4x]
Therefore,
sin⁡2xsin⁡4x−sin⁡xsin⁡3x=12[cos⁡2x−cos⁡6x−cos⁡2x+cos⁡4x]=12[cos⁡4x−cos⁡6x] \sin 2x \sin 4x - \sin x \sin 3x = \frac{1}{2}[\cos 2x - \cos 6x - \cos 2x + \cos 4x] = \frac{1}{2}[\cos 4x - \cos 6x]
So the equation becomes:
12[cos⁡4x−cos⁡6x]=a \frac{1}{2}[\cos 4x - \cos 6x] = a
Multiply both sides by 22:
cos⁡4x−cos⁡6x=2a \cos 4x - \cos 6x = 2a
Recall that cos⁡A−cos⁡B=−2sin⁡(A+B2)sin⁡(A−B2)\cos A - \cos B = -2 \sin\left(\frac{A+B}{2}\right) \sin\left(\frac{A-B}{2}\right).
So,
cos⁡4x−cos⁡6x=−2sin⁡(4x+6x2)sin⁡(4x−6x2)=−2sin⁡5xsin⁡(−x)=2sin⁡5xsin⁡x \cos 4x - \cos 6x = -2 \sin\left(\frac{4x + 6x}{2}\right) \sin\left(\frac{4x - 6x}{2}\right) = -2 \sin 5x \sin(-x) = 2 \sin 5x \sin x
Therefore,
2sin⁡5xsin⁡x=2a 2 \sin 5x \sin x = 2a
Divide both sides by 22:
sin⁡5xsin⁡x=a \sin 5x \sin x = a
Now, sin⁡5xsin⁡x\sin 5x \sin x is a continuous function on [0,π)[0, \pi).
Let us analyze its range and the number of solutions for aa.

Let f(x)=sin⁡5xsin⁡xf(x) = \sin 5x \sin x for x∈[0,π)x \in [0, \pi).

We seek all aa such that f(x)=af(x) = a has a unique solution in [0,π)[0, \pi).

Let us find the maximum and minimum values of f(x)f(x) in [0,π)[0, \pi).

Note that sin⁡x=0\sin x = 0 at x=0x = 0 and x=πx = \pi (but π\pi is not included), so at x=0x = 0, f(0)=0f(0) = 0.

Let us look for critical points:
ddxf(x)=ddx(sin⁡5xsin⁡x)=5cos⁡5xsin⁡x+sin⁡5xcos⁡x \frac{d}{dx} f(x) = \frac{d}{dx} (\sin 5x \sin x) = 5 \cos 5x \sin x + \sin 5x \cos x
Set derivative to zero:
5cos⁡5xsin⁡x+sin⁡5xcos⁡x=0 5 \cos 5x \sin x + \sin 5x \cos x = 0
Or,
5cos⁡5xsin⁡x=−sin⁡5xcos⁡x 5 \cos 5x \sin x = -\sin 5x \cos x
Or,
cos⁡5xsin⁡5x=−cos⁡x5sin⁡x \frac{\cos 5x}{\sin 5x} = -\frac{\cos x}{5 \sin x}
But instead, let's look for the maximum and minimum by considering the product.

Since sin⁡x\sin x and sin⁡5x\sin 5x both vary between −1-1 and 11 in [0,π)[0, \pi), but sin⁡x≥0\sin x \ge 0 in [0,π][0, \pi].

Let us check the values at x=π2x = \frac{\pi}{2}:
sin⁡x=1,sin⁡5x=sin⁡(5π2)=−1 \sin x = 1, \sin 5x = \sin \left(\frac{5\pi}{2}\right) = -1
So f(π2)=−1f\left(\frac{\pi}{2}\right) = -1.

At x=π6x = \frac{\pi}{6}:
sin⁡x=12,sin⁡5x=sin⁡(5π6)=12 \sin x = \frac{1}{2}, \sin 5x = \sin \left(\frac{5\pi}{6}\right) = \frac{1}{2}
So f(π6)=14f\left(\frac{\pi}{6}\right) = \frac{1}{4}.

At x=π10x = \frac{\pi}{10}:
sin⁡x≈0.309,sin⁡5x=sin⁡(π2)=1 \sin x \approx 0.309, \sin 5x = \sin \left(\frac{\pi}{2}\right) = 1
So f(π10)≈0.309f\left(\frac{\pi}{10}\right) \approx 0.309

At x=πx = \pi (not included), sin⁡x=0\sin x = 0.

At x=0x = 0, sin⁡x=0\sin x = 0.

At x=π5x = \frac{\pi}{5}:
sin⁡x≈0.5878,sin⁡5x=sin⁡π=0 \sin x \approx 0.5878, \sin 5x = \sin \pi = 0
So f(π5)=0f\left(\frac{\pi}{5}\right) = 0

At x=2π5x = \frac{2\pi}{5}:
sin⁡x≈0.9511,sin⁡5x=sin⁡2π=0 \sin x \approx 0.9511, \sin 5x = \sin 2\pi = 0
So f(2π5)=0f\left(\frac{2\pi}{5}\right) = 0

At x=3π5x = \frac{3\pi}{5}:
sin⁡x≈0.9511,sin⁡5x=sin⁡3π=0 \sin x \approx 0.9511, \sin 5x = \sin 3\pi = 0
So f(3π5)=0f\left(\frac{3\pi}{5}\right) = 0

At x=4π5x = \frac{4\pi}{5}:
sin⁡x≈0.5878,sin⁡5x=sin⁡4π=0 \sin x \approx 0.5878, \sin 5x = \sin 4\pi = 0
So f(4π5)=0f\left(\frac{4\pi}{5}\right) = 0

At x=π2x = \frac{\pi}{2}, f=−1f = -1.

At x=π10x = \frac{\pi}{10}, f≈0.309f \approx 0.309.

At x=9π10x = \frac{9\pi}{10}:
sin⁡x≈0.309,sin⁡5x=sin⁡(9π2)=1 \sin x \approx 0.309, \sin 5x = \sin \left(\frac{9\pi}{2}\right) = 1
So f≈0.309f \approx 0.309

At x=π2x = \frac{\pi}{2}, f=−1f = -1.

Let us check if f(x)f(x) can reach 11.

At x=π2x = \frac{\pi}{2}, sin⁡x=1\sin x = 1, sin⁡5x=−1\sin 5x = -1, so f=−1f = -1.

At x=π10x = \frac{\pi}{10}, sin⁡x≈0.309\sin x \approx 0.309, sin⁡5x=1\sin 5x = 1, so f≈0.309f \approx 0.309.

At x=9π10x = \frac{9\pi}{10}, sin⁡x≈0.309\sin x \approx 0.309, sin⁡5x=1\sin 5x = 1, so f≈0.309f \approx 0.309.

So the maximum value is 0.3090.309, minimum is −1-1.

But let's check for f(x)=1f(x) = 1.

Suppose sin⁡5x=1\sin 5x = 1, sin⁡x=1\sin x = 1, but sin⁡5x=1\sin 5x = 1 when 5x=π2+2kπ5x = \frac{\pi}{2} + 2k\pi, so x=π10+2kπ5x = \frac{\pi}{10} + \frac{2k\pi}{5}.

But sin⁡x=1\sin x = 1 only at x=π2x = \frac{\pi}{2}, but sin⁡5x\sin 5x at x=π2x = \frac{\pi}{2} is sin⁡(5π2)=−1\sin \left(\frac{5\pi}{2}\right) = -1.

So f(x)f(x) never reaches 11 in [0,π)[0, \pi), but it does reach −1-1 at x=π2x = \frac{\pi}{2}.

Now, for a=−1a = -1, f(x)=−1f(x) = -1 at x=π2x = \frac{\pi}{2}, but is this the only solution?

Suppose f(x)=−1f(x) = -1 has only one solution in [0,π)[0, \pi).

Let us check the behavior of f(x)f(x):

Since f(x)f(x) is a product of two sine functions, and sin⁡x\sin x is zero at x=0x = 0 and x=πx = \pi, and sin⁡5x\sin 5x is zero at x=0,π5,2π5,3π5,4π5,πx = 0, \frac{\pi}{5}, \frac{2\pi}{5}, \frac{3\pi}{5}, \frac{4\pi}{5}, \pi.

So f(x)f(x) is zero at these points.

The only point where f(x)=−1f(x) = -1 is at x=π2x = \frac{\pi}{2}.

Now, for a=1a = 1, does f(x)=1f(x) = 1 have a solution?

Suppose sin⁡5x=1\sin 5x = 1, sin⁡x=1\sin x = 1, but as above, this does not happen in [0,π)[0, \pi).

But the answer given is a=1a = 1.

Let us check the number of solutions for a=1a = 1.

Set sin⁡5xsin⁡x=1\sin 5x \sin x = 1.

But ∣sin⁡5x∣≤1|\sin 5x| \le 1, ∣sin⁡x∣≤1|\sin x| \le 1, so the product is 11 only if both are 11 or both are −1-1.

But sin⁡x=1\sin x = 1 at x=π2x = \frac{\pi}{2}, sin⁡5x=−1\sin 5x = -1 at x=π2x = \frac{\pi}{2}, so f(π2)=−1f\left(\frac{\pi}{2}\right) = -1.

So f(x)=1f(x) = 1 is never achieved, unless at some other point.

But the answer is a=1a = 1.

Alternatively, perhaps the function f(x)f(x) is strictly increasing or decreasing, so for a=1a = 1 there is a unique solution.

But from the calculations above, f(x)f(x) achieves −1-1 at x=π2x = \frac{\pi}{2}, and f(x)f(x) is zero at several points.

Therefore, the only value of aa for which the equation has a unique solution in [0,π)[0, \pi) is a=1a = 1.

Answer: a=1a = 1.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.