答案: k1=2 时对任意 k2 有唯一解;k1=2,k2=1 时无解;k1=2,k2=1 时有无穷多解,通解为 (−8,3,0,2)T+c(0,−2,1,0)T,c∈R。
用消元分析参数条件。保持第一式不变,先作“第二式减第一式、第三式减三倍第一式、第四式减第一式”,得到后三式
⎩⎨⎧2x2+4x3−2x4=2,−4x2−(k1+6)x3+6x4=0,−6x2−12x3+9x4=k2−1.
将其中第一式的两倍加到第二式、三倍加到第三式,原方程组等价于
⎩⎨⎧x1+x2+2x3+3x4=1,2x2+4x3−2x4=2,(2−k1)x3+2x4=4,3x4=k2+5.
唯一解的情形。 若 k1=2,由最后一式先唯一确定 x4,第三式再唯一确定 x3,第二式、第一式依次唯一确定 x2,x1。故无论 k2 为何,均有唯一解。
无解的情形。 若 k1=2,第三式成为 2x4=4,即 x4=2。这与最后一式相容当且仅当 k2+5=6,即 k2=1。所以 k1=2 且 k2=1 时无解。
无穷多解及通解。 当 k1=2,k2=1 时,第三、四式都给出 x4=2,x3 为自由变量。令 x3=c∈R,则第二式给出
x2+2c−2=1,x2=3−2c.
代入第一式,得
x1=1−(3−2c)−2c−6=−8.
因此通解为
x1x2x3x4=−8302+c0−210,c∈R.
这三类条件互不重叠,且覆盖了全部参数取值。