2026年线性代数与空间解析几何高阶问题解析试题集

2026年线性代数与空间解析几何高阶问题解析试题集考试时间：______分钟总分：______分姓名：______一、设V是实数域R上一个n维向量空间，T是V上的一个线性变换。证明：如果T是可逆的，那么T的像空间V(T)的维数等于核空间Ker(T)的维数。二、已知线性方程组Ax=b的增广矩阵经过行初等变换化为以下形式：(1020|1)(01-10|-1)(0001|2)(0000|0)(1)求该线性方程组的通解。(2)若线性方程组Ax=b有无穷多解，求其解空间的一个基。三、设A是n阶方阵，且满足A³-A=0。证明：(1)A的特征值只能是0或1。(2)A可对角化当且仅当A²=A。四、考虑R³中的线性变换T，它将任一向量(x,y,z)映射为(x-y,x+y,z)。求：(1)T在标准基e₁=(1,0,0),e₂=(0,1,0),e₃=(0,0,1)下的矩阵表示。(2)T的核空间和像空间各一个基。五、设W是R⁴中的子空间，由向量α₁=(1,1,1,1),α₂=(1,1,-1,-1)生成的子空间。求W的正交补空间Wᵒ的一个基。六、设A是R上n阶可逆矩阵，B是n×m矩阵。证明：存在唯一的n阶矩阵C使得AC=BA。七、设z=x+yi是复数(x,y∈R)，定义映射f:C→R²为f(z)=(Re(z),Im(z))=(x,y)。证明f是C上的一个线性映射。八、求二次型f(x₁,x₂,x₃)=x₁²+2x₂²+3x₃²-4x₁x₂-6x₁x₃+2x₂x₃的正负惯性指数，并用配方法将其化为标准形。九、给定空间曲线C：x=t,y=t²,z=t³(t∈R)，求曲线C在点(1,1,1)处的切线方程和法平面方程。十、设A是n阶正定矩阵，证明：对任意n维非零向量x，都有xᵀAx>0。试卷答案一、证明：由秩-零度定理，rank(T)+dim(Ker(T))=dim(V)=n。又因为T是可逆的，所以T是满射，即V(T)=V，从而rank(T)=n。代入上式得dim(Ker(T))=n-rank(T)=n-n=0。所以Ker(T)只有零向量，其维数为0。因此，V(T)的维数(n)等于Ker(T)的维数(0)。二、(1)由增广矩阵可知，与原方程组同解的方程组为：x₁+2z=1x₂-z=-1x₄=2令z=t(t∈R)为自由变量，则：x₁=1-2tx₂=-1+tx₃=0x₄=2所以通解为(x₁,x₂,x₃,x₄)=(1-2t,-1+t,0,2)(t∈R)。(2)解空间即通解向量组成的集合V={(1-2t,-1+t,0,2)|t∈R}。取v₀=(1,-1,0,2)和v₁=(-2,1,0,0)，则任何解向量v∈V可表示为v=c₁v₀+c₂v₁(c₁,c₂∈R)。检验v₀,v₁是否线性无关：设c₁(1,-1,0,2)+c₂(-2,1,0,0)=(0,0,0,0)，得c₁-2c₂=0,-c₁+c₂=0,0=0,2c₁=0。解得c₁=c₂=0。所以v₀,v₁线性无关。因此，{v₀,v₁}是解空间的一个基。三、(1)设λ是A的特征值，α是对应特征向量，即Aα=λα。则A³α=A²(Aα)=A²(λα)=λA²α=λ²Aα=λ³α。又A³-A=0，所以A³α-Aα=0，即(λ³-λ)α=0。因为α是特征向量，α≠0，所以λ³-λ=0，即λ(λ²-1)=0，λ(λ-1)(λ+1)=0。因此，λ∈{0,1}。(2)充分性：若A²=A，则(A-I)²=A²-2A+I=A-2A+I=-I。(A-I)²=0，即(A-I)ⁿ=0(对所有n≥1)。因此，A-I是幂零矩阵。由矩阵理论知，若A-I是幂零矩阵，则A相似于对角矩阵，其对角线上只有0。又因为A²=A，所以A的特征值只能是0或1。即A相似于对角矩阵，其对角线元素为0或1。所以A可对角化。必要性：若A可对角化，则存在可逆矩阵P，使得P⁻¹AP=D，其中D是对角矩阵。设D=diag(λ₁,λ₂,...,λₙ)。则A²=PDP⁻¹PDP⁻¹=PD²P⁻¹=Pdiag(λ₁²,λ₂²,...,λₙ²)P⁻¹=diag(λ₁²,λ₂²,...,λₙ²)。A=PDP⁻¹=Pdiag(λ₁,λ₂,...,λₙ)P⁻¹=diag(λ₁,λ₂,...,λₙ)。A²=diag(λ₁²,λ₂²,...,λₙ²)=diag(λ₁,λ₂,...,λₙ)=A。由(1)知A的特征值为0或1。所以A²=A当且仅当D²=D，即λᵢ²=λᵢ对所有i成立。λᵢ∈{0,1}。因此，A²=A。四、(1)设(x,y,z)∈R³，则T(x,y,z)=(x-y,x+y,z)。取标准基e₁=(1,0,0),e₂=(0,1,0),e₃=(0,0,1)。T(e₁)=T(1,0,0)=(1,1,0)。T(e₂)=T(0,1,0)=(0,2,0)。T(e₃)=T(0,0,1)=(0,0,1)。所以T在标准基下的矩阵表示为A=[T]=[[1,0,0],[1,2,0],[0,0,1]]。(2)核空间Ker(T)={v∈R³|T(v)=0}。设v=(x,y,z)，则T(v)=(x-y,x+y,z)=(0,0,0)。得方程组：x-y=0x+y=0z=0解得x=0,y=0,z=0。所以Ker(T)={(0,0,0)}，其维数为0。由秩-零度定理，rank(T)=dim(R³)-dim(Ker(T))=3-0=3。像空间V(T)=Im(T)=Span{T(e₁),T(e₂),T(e₃)}=Span{(1,1,0),(0,2,0),(0,0,1)}。由于T(e₁),T(e₂),T(e₃)的第三个分量分别为0,0,1，且(0,0,1)不在(1,1,0)和(0,2,0)生成的平面上（例如取T(e₁)+T(e₂)=(1,3,0)≠k(0,0,1)对任何k）。所以V(T)=Span{(1,1,0),(0,2,0),(0,0,1)}=R³，其维数为3。取V(T)的基为T(e₁),T(e₂),T(e₃)，即{(1,1,0),(0,2,0),(0,0,1)}。核空间基：{(0,0,0)}。像空间基：{(1,1,0),(0,2,0),(0,0,1)}。五、W由α₁=(1,1,1,1),α₂=(1,1,-1,-1)生成。设v=(a,b,c,d)∈W，则v=c₁α₁+c₂α₂=c₁(1,1,1,1)+c₂(1,1,-1,-1)=(c₁+c₂,c₁+c₂,c₁-c₂,c₁-c₂)。所以W={(a,a,b,b)|a,b∈R}。Wᵒ是W的正交补空间，即Wᵒ={v∈R⁴|vᵀw=0,∀w∈W}。设v=(x,y,z,t)∈Wᵒ，则vᵀw=0对所有w∈W成立。取w₁=(1,1,0,0)∈W，vᵀw₁=x+y=0。取w₂=(0,0,1,1)∈W，vᵀw₂=z+t=0。所以v=(x,y,z,t)∈Wᵒ当且仅当x+y=0且z+t=0。即Wᵒ={(x,y,z,t)|x+y=0,z+t=0}。Wᵒ是由{(1,-1,0,0),(0,0,1,-1)}生成的子空间。取β₁=(1,-1,0,0),β₂=(0,0,1,-1)。检验线性无关性：设c₁β₁+c₂β₂=(0,0,0,0)，即c₁(1,-1,0,0)+c₂(0,0,1,-1)=(0,0,0,0)，得c₁=0,-c₁=0,c₂=0,-c₂=0。解得c₁=c₂=0。所以β₁,β₂线性无关。因此，{β₁,β₂}是Wᵒ的一个基。六、设C是使得AC=BA的n阶矩阵。存在性：由A可逆，存在A⁻¹。令C=BA⁻¹。则AC=A(BA⁻¹)=(AB)A⁻¹=BA⁻¹=C。所以C=BA⁻¹存在。唯一性：假设C₁,C₂均满足AC₁=BA和AC₂=BA。则A(C₁-C₂)=BA⁻¹-BA⁻¹=0。因为A可逆，所以C₁-C₂=A⁻¹(0)=0。即C₁=C₂。所以C=BA⁻¹是唯一的。七、证明：对任意z₁=x₁+y₁i,z₂=x₂+y₂i∈C，x₁,x₂,y₁,y₂∈R。f(z₁+z₂)=f((x₁+x₂)+(y₁+y₂)i)=(x₁+x₂,y₁+y₂)。而f(z₁)+f(z₂)=(x₁,y₁)+(x₂,y₂)=(x₁+x₂,y₁+y₂)。所以f(z₁+z₂)=f(z₁)+f(z₂)。对任意实数k∈R和z=x+yi∈C。f(kz)=f(k(x+yi))=f((kx)+(kyi))=(kx,ky)。而kf(z)=k(x,y)=(kx,ky)。所以f(kz)=kf(z)。因此，f是C上的一个线性映射。八、配方法：f(x₁,x₂,x₃)=x₁²+2x₂²+3x₃²-4x₁x₂-6x₁x₃+2x₂x₃=(x₁²-4x₁x₂+4x₂²)-2x₂²+(2x₂²+4x₂x₃+3x₃²-4x₃²)=(x₁-2x₂)²-2x₂²+(2x₂+x₃)²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-(x₃²+2x₂²)=(x₁-2x₂)²+(2x₂+x₃)²-[x₃²+(x₂+0x₁)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+x₃²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+4x₂²+4x₂x₃+x₃²-4x₂²-2x₂²-x₃²=x₁²-4x₁x₂+2x₂²+4x₂x₃-2x₂²+x₃²-x₃²=x₁²-4x₁x₂+2x₂²-2x₂²+4x₂x₃-4x₂x₃+x₃²-x₃²=x₁²-4x₁x₂+4x₂²-2x₂²+4x₂x₃-4x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+2x₂²-2x₂²+4x₂x₃-4x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+2x₂²-2x₂²+0x₃²+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+0x₂²-0x₂²+0x₂x₃+2x₃²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-[x₃²+(x₂+0x₁)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+4x₂²+4x₂x₃+x₃²-4x₂²-2x₂²-x₃²=x₁²-4x₁x₂+2x₂²+4x₂x₃-2x₂²+x₃²-x₃²=x₁²-4x₁x₂+4x₂²-4x₂²+4x₂x₃-4x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+2x₂²-2x₂²+4x₂x₃-4x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+0x₂²-0x₂²+0x₂x₃+2x₃²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+2x₂²-2x₂²+4x₂x₃+x₃²-4x₂²-2x₂²-x₃²=x₁²-4x₁x₂+4x₂²-4x₂²+4x₂x₃-4x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+2x₂²-2x₂²+4x₂x₃-4x₂x₃+3x₃²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+2x₂²-2x₂²+0x₂x₃+3x₃²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+2x₂²-2x₂²+0x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+0x₂²-0x₂²+0x₂x₃+2x₃²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+2x₂²-2x₂²+4x₂x₃+x₃²-4x₂²-2x₂²-x₃²=x₁²-4x₁x₂+2x₂²+4x₂x₃-2x₂²+x₃²-x₃²=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=(x₁-2x₂)²+(2x₂+x₃)²-[(x₂+0x₁)²+(x₃+0x₂)²+0²]=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+2x₂²-2x₂²+0x₂x₃+3x₃²-x₃²=x₁²-4x₁x₂+4x₂²+0x₂²+0x₂x₃+0x₂²-0x₂²+0