If I have $n$ variables $x\_1, \cdots, x\_n$, and a set $S$ of inequalities of the form $p(x\_1, \cdots, x\_n) > 0$ where $p$ is a homogenous real polynomial, is it true that I need $|S| \geq n$ to prove that $x\_i > 0$ for each $i$?



Homogenous polynomial inequalities to prove positivity?
No. Take $n=3$ with the equations $x^2+y^2+z^2 < 2(xy+xz+yz)$ and $x+y+z > 0$.


The first inequality is a double cone tangent to all three coordinate planes; one component lies in the positive orthant and the other in the negative orthant.


The second inequality is a half space which makes sure we are in the first component.


