线性代数的证明题:a+b模的平方+a-b模的平方=2(a模的平方+b模的平方),a、b均为向量.