Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-339/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 339 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
For in the nonnegative orthant, the positive semidefinite matrix satisfies . The nonnegative matrix satisfiessince every summand is nonnegative. Adding these inequalities provesConsequently is a copositive matrix. The symmetry of follows from that of and ; entrywise nonnegativity alone need not imply positive semidefiniteness.
This gives the inclusion of the positive-semidefinite-plus-nonnegative cone in the copositive cone. It is only a sufficient construction; the argument does not claim that every copositive matrix has this decomposition in arbitrary dimension.
New to topics? Read the docs here!