试证:当P是复数域时,对称矩阵[1 0] 0 1 与[1 0] 0 -1是合同的;