Let g(x)=2f(x)+f(−x), and h(x)=2f(x)−f(−x).
Then f(x)=g(x)+h(x), g(x) is an even function, h(x) is an odd function, and g(x+2π)=g(x), h(x+2π)=h(x) for any x∈R.
Define
f1(x)=2g(x)+g(x+π),
f2(x)={2cosxg(x)−g(x+π),0,x=kπ+2π,x=kπ+2π,
f3(x)={2sinxh(x)−h(x+π),0,x=kπ,x=kπ,
f4(x)={2sin2xh(x)+h(x+π),0,x=2kπ,x=2kπ,
where k is an arbitrary integer. It is easy to check that fi(x) (i=1,2,3,4) satisfy (1).
Next we prove that f1(x)+f2(x)cosx=g(x) for any x∈R. When x=kπ+2π, it is obviously true. When x=kπ+2π, we have
f1(x)+f2(x)cosx=f1(x)=2g(x)+g(x+π),
and
g(x+π)=g(kπ+23π)=g(kπ+23π−2(k+1)π)=g(−kπ−2π)=g(kπ+2π)=g(x).
The proof is complete.
Further we prove that f3(x)sinx+f4(x)sin2x=h(x) for any x∈R. When x=2kπ, it is obviously true. When x=kπ, we have
h(x)=h(kπ)=h(kπ−2kπ)=h(−kπ)=−h(kπ).
That means h(x)=h(kπ)=0. In this case,
f3(x)sinx+f4(x)sin2x=0.
Therefore h(x)=f3(x)sinx+f4(x)sin2x.
When x=kπ+2π, we have
h(x+π)=h(kπ+23π)=h(kπ+23π−2(k+1)π)=h(−kπ−2π)=−h(kπ+2π)=−h(x).
So
f3(x)sinx=2h(x)−h(x+π)=h(x).
Furthermore, f4(x)sin2x=0. Therefore
h(x)=f3(x)sinx+f4(x)sin2x.
This completes the proof.
In conclusion, fi(x) (i=1,2,3,4) satisfy (2).