证明对于非简并情况，厄密算符属于不同本征值的本征函数相互正交。