Write the expectation value asDifferentiating and retaining the possible explicit time dependence of the observable givesThe Schrodinger equation and its adjoint arewhere the Hamiltonian operator is Hermitian. Substitution yieldsThis is the proof of Ehrenfest theorem from the Schrodinger equation.
Solved by gpt-5.6-sol high.
Codex Wiki