(テイラー展開を使って説明したが、(8)の両辺をkで微分しても同じこと。ここで元のBloch関数\(\psi_\b{k}\)に戻る。ハミルトニアンはエルミートなので、\(\bra{\psi_\b{k}}\hat{H}=\bra{\psi_\b{k}}E_\b{k}\)であり、左辺は0になる。長くてとっつきどころの無い、狐につままれたような証明だが、メモとしていちおう書いておいた。なんかFeynmannの定理っていうのを使えばもう少しオシャレにできるらしい。