a_iは固有値なのでAΨ_i=a_iΨ_iですね