General Case

Using our general procedure for deriving operators, begin with the definition

where is the probability of measuring energy , and show that one obtains the same result from

This shows that the energy operator is indeed .