MHS: E = (1)/(2)m\dotx^2 + (1)/(2)kx^2 です。が時間で導関数を求めることで定数であることを示してください。