问答题 已知(Ⅰ)和(Ⅱ)都是四元齐次线性方程组,(Ⅰ)的基础解系是η1,η2,η3,(Ⅱ)的基础解系是ξ1,ξ2,把(Ⅰ),(Ⅱ)两个方程组合并得到齐次方程组(Ⅲ).
(1)证明(Ⅲ)一定有非零解;
(2)如果η1=(1,0,1,0)T,η2=(0,1,1,0)T,η3=(1,0,0,1)T,η3=(1,-2,1,0)T,ξ2=(1,1,2,1)T,求(Ⅲ)的通解.

【正确答案】[证明] (1)所谓齐次方程组[*]的解γ.其实就是(Ⅰ)与(Ⅱ)的公共解.因此γ必可由η1,η2,η3线性表出也可由ξ1,ξ2线性表出.
因为η1,η2,η3,ξ1,ξ2是五个四维向量,必线性相关.故存在不全为零的k1,k2,k3,l1,l2,使
k1η1+k2η2+k3η3+l1ξ1+l2ξ2=0
那么令γ=k1η1+k2η2+k3η3=-(l1ξ1+l2ξ2),则γ≠0(否则,由η1,η2,η3是基础解系是线性无关的,而得k1=k2=k3=0,同理l1=l2=0,与k1,k2,k3,l1,l2不全为零相矛盾)
于是γ是(Ⅰ)和(Ⅱ)的公共解,即(Ⅲ)必有非零解.
[解] (2)设γ=x1η1+x2η2+x3η3=-y1ξ1-y2ξ2,则x1η1+x2η2+x3η3+y1ξ1+y2ξ2=0
对(η12312)作初等行变换,有
[*]
得通解
k(1,-4,-2,-1,2)T,k为任意常数.
那么由y1=-k,y2=2k得(Ⅲ)有通解为
k(ξ1-2ξ2)=k(-1,-4,0,-2)T,k为任意常数.
【答案解析】