展开 证明厄米算符的本征函数相互正交