利用正交矩阵的特征值的模为1,
正定矩阵的特征值为大于0的实数
得到B的特征值都是1
正定矩阵可对角化,有B只能与E相似
所以B＝E
T是恒等变换
命题成立