Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 339 / 3 / a / Solution

For $z\in {\mathbb{R}}^n$, define $x_i=z_i^2$. Then $x$ lies in the nonnegative orthant andIf $A$ is a copositive matrix, this is nonnegative for every $z$, so $p$ is a globally nonnegative polynomial. Conversely, every $x\ge 0$ has the form $x_i=z_i^2$ by taking $z_i=\sqrt{x_i}$. If $p$ is globally nonnegative, then $x^{T}Ax=p(z)\ge 0$ for every such $x$, proving that $A$ is a copositive matrix. The map $z\mapsto (z_i^2{)}_i$ covers the entire nonnegative orthant, which is the key to both directions.