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