2
$\begingroup$

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$?

$\endgroup$

1 Answer 1

5
$\begingroup$

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.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .