线性代数 (a b)平方=a平方 2ab b平方的 充要条件