Not correct. For all x2 from 0.9025214010 and larger, there are two real-valued x1 which satisfy the condition. There are an infinite number of real-valued solutions, not only 3 solutions.
For some real-valued x1, there are 3 real-valued x2 that are solutions, such as x1 = -10 for which there are solutions at x2 = 110, 111, 112. For some real-valued x1, there are 2 real-valued x2 that are solutions. For some real-valued x1, there is only a single real-valued solution.
For any given x1, the solution set for x2 is
2/pi * RootOf(-pi * x1^2 - pi*cos(Z) + pi * x1 - pi + 2*Z, Z)
where RootOf(f(z),z) stands for the set of values, z, such that f(z) = 0 -- the roots of the values. RootOf() is a routine in the Symbolic Toolbox.
Best Answer