若β1β2线性相关 ,可以推出a1/b1 = a2/b2 = a3/b3 = a4/b4 =λ a1/b1 = a2/b2 = a3/b3 可以推出α1α2线性相关 与题目矛盾 故β1β2线性无关
必然线性无关