答案:(1)∣ A ∣ = ( n + 1 ) a n |A|=(n+1)a^n ∣ A ∣ = ( n + 1 ) a n ;(2)a ≠ 0 a\ne0 a = 0 时有唯一解,x 1 = n ( n + 1 ) a x_1=\dfrac{n}{(n+1)a} x 1 = ( n + 1 ) a n ;(3)n ≥ 2 n\ge2 n ≥ 2 时,a = 0 a=0 a = 0 有无穷多解,通解为 x = t e 1 + e 2 x=t e_1+e_2 x = t e 1 + e 2 (t ∈ R t\in\mathbb R t ∈ R );若 n = 1 n=1 n = 1 ,则 a = 0 a=0 a = 0 时无解。
解题思路
矩阵只有主对角线和相邻两条对角线非零,属于三对角矩阵。沿最后一行展开行列式,可以得到关于矩阵阶数的二阶递推,再用归纳法证明闭式。唯一解由行列式非零判定,求 x 1 x_1 x 1 时用克拉默法则,只需计算一个很简单的替换列行列式。行列式为零时不能马上断言无穷多解,应将相应参数代回原方程组检查相容性。
详细步骤
(1)证明行列式公式
记同一结构的 k k k 阶行列式为 D k D_k D k ,约定 D 0 = 1 D_0=1 D 0 = 1 ,且 D 1 = 2 a D_1=2a D 1 = 2 a 。对 k ≥ 2 k\ge2 k ≥ 2 ,最后一行只有倒数第二个元素 a 2 a^2 a 2 和最后一个元素 2 a 2a 2 a 非零。最后一个元素的代数余子式为 D k − 1 D_{k-1} D k − 1 ;倒数第二个元素的余子式符号为 ( − 1 ) k + k − 1 = − 1 (-1)^{k+k-1}=-1 ( − 1 ) k + k − 1 = − 1 。
删去第 k k k 行与第 k − 1 k-1 k − 1 列后,所得小行列式的最后一列只有最后一项为 1 1 1 ,再沿该列展开,剩下 D k − 2 D_{k-2} D k − 2 ,这次符号为正。因此
D k = 2 a D k − 1 − a 2 D k − 2 . D_k=2aD_{k-1}-a^2D_{k-2}.
D k = 2 a D k − 1 − a 2 D k − 2 .
直接计算 D 1 = 2 a D_1=2a D 1 = 2 a 、D 2 = 4 a 2 − a 2 = 3 a 2 D_2=4a^2-a^2=3a^2 D 2 = 4 a 2 − a 2 = 3 a 2 ,两阶均符合公式 D k = ( k + 1 ) a k D_k=(k+1)a^k D k = ( k + 1 ) a k 。对 k ≥ 3 k\ge3 k ≥ 3 ,若对相邻两阶成立,则
D k = 2 a ⋅ k a k − 1 − a 2 ⋅ ( k − 1 ) a k − 2 = [ 2 k − ( k − 1 ) ] a k = ( k + 1 ) a k . \begin{aligned}
D_k
&=2a\cdot k a^{k-1}-a^2\cdot(k-1)a^{k-2}\\
&=[2k-(k-1)]a^k=(k+1)a^k.
\end{aligned}
D k = 2 a ⋅ k a k − 1 − a 2 ⋅ ( k − 1 ) a k − 2 = [ 2 k − ( k − 1 )] a k = ( k + 1 ) a k .
上述递推与归纳过程没有除以 a a a ,所以也包含零参数的情形。由归纳得到 ∣ A ∣ = D n = ( n + 1 ) a n |A|=D_n=(n+1)a^n ∣ A ∣ = D n = ( n + 1 ) a n ,该式对 a = 0 a=0 a = 0 同样成立。
(2)唯一解条件及 x 1 x_1 x 1
因为 n ≥ 1 n\ge1 n ≥ 1 且 n + 1 ≠ 0 n+1\ne0 n + 1 = 0 ,D n ≠ 0 D_n\ne0 D n = 0 当且仅当 a ≠ 0 a\ne0 a = 0 。此时克拉默法则适用。将 A A A 的第一列换成 b = ( 1 , 0 , … , 0 ) T b=(1,0,\ldots,0)^{\mathsf T} b = ( 1 , 0 , … , 0 ) T ,记所得矩阵为 A 1 A_1 A 1 ;沿其第一列展开,系数为 1 1 1 ,符号为正,余下矩阵是同结构的 ( n − 1 ) (n-1) ( n − 1 ) 阶矩阵,故
∣ A 1 ∣ = D n − 1 = n a n − 1 , x 1 = ∣ A 1 ∣ ∣ A ∣ = n ( n + 1 ) a . |A_1|=D_{n-1}=n a^{n-1},\qquad
x_1=\frac{|A_1|}{|A|}=\frac{n}{(n+1)a}.
∣ A 1 ∣ = D n − 1 = n a n − 1 , x 1 = ∣ A ∣ ∣ A 1 ∣ = ( n + 1 ) a n .
对 n = 1 n=1 n = 1 ,利用 D 0 = 1 D_0=1 D 0 = 1 仍得到 x 1 = 1 / ( 2 a ) x_1=1/(2a) x 1 = 1/ ( 2 a ) ,与单个方程直接求解一致。
(3)无穷多解条件及通解
只剩 a = 0 a=0 a = 0 需要检查。若 n ≥ 2 n\ge2 n ≥ 2 ,矩阵此时仅在上邻对角线上有元素 1 1 1 ,方程依次为
x 2 = 1 , x 3 = 0 , … , x n = 0 , 0 = 0. x_2=1,\quad x_3=0,\quad\ldots,\quad x_n=0,\quad0=0.
x 2 = 1 , x 3 = 0 , … , x n = 0 , 0 = 0.
x 1 x_1 x 1 未受任何方程约束,因此为自由变量。令 x 1 = t x_1=t x 1 = t ,得到
x = ( t 1 0 ⋮ 0 ) = t e 1 + e 2 , t ∈ R , x=\begin{pmatrix}t\\1\\0\\\vdots\\0\end{pmatrix}=t e_1+e_2,\qquad t\in\mathbb R,
x = t 1 0 ⋮ 0 = t e 1 + e 2 , t ∈ R ,
其中 e i e_i e i 为第 i i i 个标准基向量。此时 r ( A ) = r ( A , b ) = n − 1 < n r(A)=r(A,b)=n-1<n r ( A ) = r ( A , b ) = n − 1 < n ,确有无穷多解。若把题目的 n n n 元方程组也允许取 n = 1 n=1 n = 1 ,a = 0 a=0 a = 0 时方程为 0 x 1 = 1 0x_1=1 0 x 1 = 1 ,无解;故无穷多解的结论需要 n ≥ 2 n\ge2 n ≥ 2 ,不能默默遗漏这个边界。
易错点
三对角行列式递推的第二项带负号,其系数是 a 2 ⋅ 1 a^2\cdot1 a 2 ⋅ 1 。∣ A ∣ = 0 |A|=0 ∣ A ∣ = 0 只表示没有唯一解,必须代回检查,特别是 n = 1 n=1 n = 1 与 n ≥ 2 n\ge2 n ≥ 2 的相容性不同。