假设α1+α2、α1-α2 线性相关
则存在不为0的常数b
使得α1+α2 = b(α1-α2)
所以α1+α2 = bα1 - bα2
因为α1,α2线性无关
所以α1,α2 的系数分别对应相等
b = 1,-b = 1
所以b不存在,也就是原假设不成立
所以α1+α2、α1-α2也是线性无关的
假设α1+α2、α1-α2 线性相关
则存在不为0的常数b
使得α1+α2 = b(α1-α2)
所以α1+α2 = bα1 - bα2
因为α1,α2线性无关
所以α1,α2 的系数分别对应相等
b = 1,-b = 1
所以b不存在,也就是原假设不成立
所以α1+α2、α1-α2也是线性无关的