花了一下午终于把实对称矩阵的几个定理的证明都搞定了,定理很简单,证明起来却十分之费事,用的都是十分基础而经典的证明手段,