Trigonometry · real student question

Solve 2 sin(y) = sin(x) + sin(x + y) for x and y in [0, 2pi).

Question

Solve

2siny=sinx+sin(x+y)2\sin y=\sin x+\sin(x+y)

for x,y[0,2π)x,y\in[0,2\pi).

Step-by-step solution

  1. Convert the right-hand sum into a product. The identity sinA+sinB=2sinA+B2cosAB2\sin A+\sin B=2\sin\tfrac{A+B}{2}\cos\tfrac{A-B}{2} with A=x+yA=x+y and B=xB=x gives

    sinx+sin(x+y)=2sin ⁣(x+y2)cosy2\sin x+\sin(x+y)=2\sin\!\left(x+\frac y2\right)\cos\frac y2

  2. Rewrite the left-hand side with the double-angle formula.

    2siny=4siny2cosy22\sin y=4\sin\frac y2\cos\frac y2

    Both sides now carry the common factor cosy2\cos\tfrac y2, which is the structural key to the problem.

  3. Factor rather than divide. Moving everything to one side:

    2cosy2[2siny2sin ⁣(x+y2)]=02\cos\frac y2\left[2\sin\frac y2-\sin\!\left(x+\frac y2\right)\right]=0

    Dividing both sides by cosy2\cos\tfrac y2 instead of factoring would silently discard every solution with cosy2=0\cos\tfrac y2=0 — the most common way this problem is answered incompletely.

  4. Branch 1: cosy2=0\cos\tfrac y2=0. On [0,2π)[0,2\pi) this means y2=π2\tfrac y2=\tfrac\pi2, so

    y=πfor every x[0,2π)y=\pi\qquad\text{for every }x\in[0,2\pi)

    Check it directly: 2sinπ=02\sin\pi=0 and sinx+sin(x+π)=sinxsinx=0  \sin x+\sin(x+\pi)=\sin x-\sin x=0\;\checkmark. This is a whole line of solutions, not a single point.

  5. Branch 2: sin ⁣(x+y2)=2siny2\sin\!\left(x+\tfrac y2\right)=2\sin\tfrac y2. A sine is bounded by 11, so this branch requires

    2siny21    siny212    y[0,π3][5π3,2π)\left|2\sin\frac y2\right|\le 1\iff\left|\sin\frac y2\right|\le\frac12\iff y\in\left[0,\frac\pi3\right]\cup\left[\frac{5\pi}{3},2\pi\right)

    and for each admissible yy the matching xx values are

    xarcsin ⁣(2siny2)y2orxπarcsin ⁣(2siny2)y2(mod2π)x\equiv\arcsin\!\left(2\sin\frac y2\right)-\frac y2\quad\text{or}\quad x\equiv\pi-\arcsin\!\left(2\sin\frac y2\right)-\frac y2\pmod{2\pi}

  6. Summarise the full solution set. The solutions are the horizontal line y=πy=\pi together with the two curves of Branch 2. Numerical spot checks confirm both families: at y=πy=\pi with x=0.3,1.234,2.7,5.5x=0.3,\,1.234,\,2.7,\,5.5 the residual is below 4×10164\times 10^{-16}, and Branch 2 at y=0y=0 forces sinx=0\sin x=0, giving x=0x=0 and x=πx=\pi, which satisfy the original equation exactly.

Answer

y=π (any x),orsin ⁣(x+y2)=2siny2 with y[0,π3][5π3,2π)y=\pi\ \text{(any }x\text{)},\quad\text{or}\quad \sin\!\left(x+\tfrac y2\right)=2\sin\tfrac y2\ \text{with}\ y\in\left[0,\tfrac\pi3\right]\cup\left[\tfrac{5\pi}{3},2\pi\right)

Need to solve a different problem like this? Open the solver →