展开 证明厄密算符的本征值为实数