To apply our general result (12) to prove Ehrenfest's
theorem, we must now compute the commutator using the
specific forms of the operator
, and the operators
and
. We will begin with the position operator
,
Inserting this into (12) completes the proof of the first part of Ehrenfest's Theorem,
The proof of the second part of Ehrenfest's theorem proceeds in the
precisely the same way, but now we must compute the commutator
,
Inserting this into (12) completes the proof of second part of Ehrenfest's Theorem,