This problem is one of real algebraic geometry, which can be solved purely algorithmically. In Mathematica, such algorithms are implemented by Reduce and similar commands.
Here is a solution with Mathematica:
Iosif Pinelis
- 127.7k
- 8
- 107
- 229