Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ib/paper-3/7b/solution

For the quantum harmonic oscillator, split the two expectation values into their variances and squared means:
The last two terms are nonnegative, so
Apply the arithmetic-geometric mean inequality to the two remaining nonnegative terms, then the Heisenberg uncertainty principle:
The argument applies to any normalized state with finite oscillator energy; the stated stationary state is a particular case. Equality requires zero position and momentum means, minimum quantum uncertainty, and balanced kinetic and potential contributions, as in the oscillator ground state.

New to topics? Read the docs here!