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階方陣，且滿足A3-A=0。證明：(1)A的特征值只能是0或1。(2)A可對角化當且僅當A2=A。四、考慮R3中的線性變換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→R2為f(z)=(Re(z),Im(z))=(x,y)。證明f是C上的一個線性映射。八、求二次型f(x?,x?,x?)=x?2+2x?2+3x?2-4x?x?-6x?x?+2x?x?的正負慣性指數，并用配方法將其化為標準形。九、給定空間曲線C：x=t,y=t2,z=t3(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α=λα。則A3α=A2(Aα)=A2(λα)=λA2α=λ2Aα=λ3α。又A3-A=0，所以A3α-Aα=0，即(λ3-λ)α=0。因為α是特征向量，α≠0，所以λ3-λ=0，即λ(λ2-1)=0，λ(λ-1)(λ+1)=0。因此，λ∈{0,1}。(2)充分性：若A2=A，則(A-I)2=A2-2A+I=A-2A+I=-I。(A-I)2=0，即(A-I)?=0(對所有n≥1)。因此，A-I是冪零矩陣。由矩陣理論知，若A-I是冪零矩陣，則A相似于對角矩陣，其對角線上只有0。又因為A2=A，所以A的特征值只能是0或1。即A相似于對角矩陣，其對角線元素為0或1。所以A可對角化。必要性：若A可對角化，則存在可逆矩陣P，使得P?1AP=D，其中D是對角矩陣。設D=diag(λ?,λ?,...,λ?)。則A2=PDP?1PDP?1=PD2P?1=Pdiag(λ?2,λ?2,...,λ?2)P?1=diag(λ?2,λ?2,...,λ?2)。A=PDP?1=Pdiag(λ?,λ?,...,λ?)P?1=diag(λ?,λ?,...,λ?)。A2=diag(λ?2,λ?2,...,λ?2)=diag(λ?,λ?,...,λ?)=A。由(1)知A的特征值為0或1。所以A2=A當且僅當D2=D，即λ?2=λ?對所有i成立。λ?∈{0,1}。因此，A2=A。四、(1)設(x,y,z)∈R3，則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∈R3|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(R3)-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)}=R3，其維數為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?1。令C=BA?1。則AC=A(BA?1)=(AB)A?1=BA?1=C。所以C=BA?1存在。唯一性：假設C?,C?均滿足AC?=BA和AC?=BA。則A(C?-C?)=BA?1-BA?1=0。因為A可逆，所以C?-C?=A?1(0)=0。即C?=C?。所以C=BA?1是唯一的。七、證明：對任意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?2+2x?2+3x?2-4x?x?-6x?x?+2x?x?=(x?2-4x?x?+4x?2)-2x?2+(2x?2+4x?x?+3x?2-4x?2)=(x?-2x?)2-2x?2+(2x?+x?)2-x?2=(x?-2x?)2+(2x?+x?)2-(x?2+2x?2)=(x?-2x?)2+(2x?+x?)2-[x?2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+x?2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+4x?2+4x?x?+x?2-4x?2-2x?2-x?2=x?2-4x?x?+2x?2+4x?x?-2x?2+x?2-x?2=x?2-4x?x?+2x?2-2x?2+4x?x?-4x?x?+x?2-x?2=x?2-4x?x?+4x?2-2x?2+4x?x?-4x?x?+3x?2-x?2=x?2-4x?x?+4x?2+2x?2-2x?2+4x?x?-4x?x?+3x?2-x?2=x?2-4x?x?+4x?2+0x?2+0x?x?+2x?2-2x?2+0x?2+3x?2-x?2=x?2-4x?x?+4x?2+0x?2+0x?x?+0x?2-0x?2+0x?x?+2x?2-x?2=(x?-2x?)2+(2x?+x?)2-[x?2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+4x?2+4x?x?+x?2-4x?2-2x?2-x?2=x?2-4x?x?+2x?2+4x?x?-2x?2+x?2-x?2=x?2-4x?x?+4x?2-4x?2+4x?x?-4x?x?+3x?2-x?2=x?2-4x?x?+4x?2+2x?2-2x?2+4x?x?-4x?x?+3x?2-x?2=x?2-4x?x?+4x?2+0x?2+0x?x?+0x?2-0x?2+0x?x?+2x?2-x?2=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+2x?2-2x?2+4x?x?+x?2-4x?2-2x?2-x?2=x?2-4x?x?+4x?2-4x?2+4x?x?-4x?x?+3x?2-x?2=x?2-4x?x?+2x?2-2x?2+4x?x?-4x?x?+3x?2-x?2=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+0x?2+0x?x?+2x?2-2x?2+0x?x?+3x?2-x?2=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+0x?2+0x?x?+2x?2-2x?2+0x?x?+3x?2-x?2=x?2-4x?x?+4x?2+0x?2+0x?x?+0x?2-0x?2+0x?x?+2x?2-x?2=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+2x?2-2x?2+4x?x?+x?2-4x?2-2x?2-x?2=x?2-4x?x?+2x?2+4x?x?-2x?2+x?2-x?2=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=(x?-2x?)2+(2x?+x?)2-[(x?+0x?)2+(x?+0x?)2+02]=x?2-4x?x?+4x?2+0x?2+0x?x?+2x?2-2x?2+0x?x?+3x?2-x?2=x?2-4x?x?+4x?2+0x?2+0x?x?+0x?2-0x?2+0