Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-339/3/a/solution

For , define . Then lies in the nonnegative orthant and
If is a copositive matrix, this is nonnegative for every , so is a globally nonnegative polynomial. Conversely, every has the form by taking . If is globally nonnegative, then for every such , proving that is a copositive matrix. The map covers the entire nonnegative orthant, which is the key to both directions.

New to topics? Read the docs here!