I've been trying to work the following problem:
If a system has a time-independent Hamiltonian with spectrum $\{E_n\}$, prove that the probability of measuring the energy $E_k$ is also time-independent.
To approach this, I differentiated the amplitude $\langle E_k\lvert\psi\rangle$ with the intent of showing it was zero, winding up with:
$$\begin{align} i\hbar\frac{d}{dt}\langle E_k\lvert\psi\rangle &= i\hbar\left(\frac{d\langle E_k\rvert}{dt}\lvert\psi\rangle +\langle E_k\rvert\frac{d\lvert\psi\rangle }{dt}\right)\\ &=i\hbar\left(\left[\langle\psi \rvert\frac{d\lvert E_k\rangle}{dt}\right]^* +\langle E_k\rvert\frac{d\lvert\psi\rangle }{dt}\right)\\ &=\left[-i\hbar\langle\psi \rvert\frac{d\lvert E_k\rangle}{dt}\right]^* +i\hbar\langle E_k\rvert\frac{d\lvert\psi\rangle }{dt}\\ &\stackrel{?}{=}-\langle\psi \rvert\hat H \lvert E_k\rangle^* +\langle E_k\rvert\hat H\lvert\psi\rangle\\ &=-\langle E_k\rvert\hat H\lvert\psi\rangle+\langle E_k\rvert\hat H\lvert\psi\rangle = 0\,\, \square \end{align}$$
The last equality follows because $\hat H$ is Hermitian. I have two questions on this somewhat sketchy looking derivation:
I seem not to have used the fact that $\frac{\partial\hat H}{\partial t} = 0$ anywhere in this proof. Have I used it implicitly?
Does the second-to-last equality follow? In particular, can I apply the TDSE to the state $\lvert E_k\rangle$?