AlgebraDifficulty 5.1Prove itFinal Round of National Olympiad · Estonia
Find all pairs of real numbers (x,y) that satisfy {x+sinx=y,y+siny=x.
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.
By adding the equations and simplifying we get sinx=−siny. Thus y=−x+2kπ or y=π+x+2kπ=x+(2k+1)π. In the second case we get that ∣y−x∣=∣(2k+1)π∣≥π, but from the first equality ∣y−x∣=∣sinx∣≤1<π, a contradiction. Therefore y=−x+2kπ, where k is an integer. By plugging this into the first equation we get 2x+sinx=2kπ after simplifying. We see that this is satisfied in case of any integer k by the value x=kπ; then also y=−kπ+2kπ=kπ. As f(x)=2x+sinx is an increasing function, there cannot be any other solutions to 2x+sinx=2kπ.
Solution 2
Function f(z)=z+sinz is strictly increasing, because its derivative f′(z)=1+cosz is positive everywhere, except for some isolated points. Therefore if x<y in case of some solution (x,y) to the system of equations, then y=x+sinx<y+siny=x, a contradiction. Analogously y<x gives a contradiction. In conclusion x=y is the only option. By substituting it in we get sinx=siny=0, from where x=y=kπ for any integer k. All pairs (kπ,kπ) indeed satisfy the given system of equations.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.