厄密算符的平均值定理I：体系任何状态ψ下，其厄密算符的本征值必为实数。