Today my students ask me following problem,


Define polynomial $P$ with real coefficients 
$$P_{j}=\sum_{i_{1},\cdots,i_{s}}a^{(j)}_{i_{1}\cdots i_{s}}X^{i_{1}}_{1}\cdots X^{i_{s}}_{s},(1\le j\le s)$$
where $s$ be give positive integer.

and Assmue that $a^{(1)}_{1,0,0,\cdots,0}a^{(2)}_{0,1,0,\cdots,0}\cdots a^{(s)}_{0,0,\cdots,1}$ is negatives,and such
$$2\min\{|a^{(1)}_{1,0,\cdots,0}|,|a^{(2)}_{0,1,\cdots,0}|,\cdots,|a^{(s)}_{0,0,\cdots,1}|\}>\sum_{1\le j\le s,i_{1},i_{2},\cdots,i_{s}}|a^{(j)}_{i_{1},\cdots,i_{s}}|$$

show that: this System of polynomial equations
$$P_{j}(X_{1},X_{2},\cdots,X_{s})=0,(1\le j\le s)$$
has solution $(X_{1},X_{2},\cdots,X_{S})\in R^{s}$

I know this reslut: http://mathoverflow.net/questions/20946/criteria-to-determine-whether-a-real-coefficient-polynomial-has-real-root

But for system of real coefficients have real roots,I can't find it any paper,maybe this reslut is old? Thank you for you help