展开 证明厄米算符的属于不同本征值的