Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-339/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 339 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
For , define . Then lies in the nonnegative orthant andIf 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!