展开 证明属于厄米算符的不同本征值的本征函数彼此正交