← 2026 Paper 1

UPSC 2026 Maths Optional Paper 1 Q2a — Step-by-Step Solution

20 marks · Section A

Eigenvalues and eigenvectors · Linear Algebra · asked 10× in 14 yrs · Read the full method →

Question

Let T:P2[x]→P2[x]T : P_2[x] \to P_2[x] be a linear transformation defined by

T(a0+a1x+a2x2)=−(a0+2a1+a2)+(2a0+3a1)x−2(a0+a1)x2T(a_0 + a_1 x + a_2 x^2) = -(a_0 + 2a_1 + a_2) + (2a_0 + 3a_1)x - 2(a_0 + a_1)x^2

where P2[x]P_2[x] denotes the set of all polynomials in xx of degree ≤2\leq 2 and a0,a1,a2∈Ra_0, a_1, a_2 \in \mathbb{R}. Find the eigenvalues and corresponding eigenvectors of TT using the matrix representation of TT with respect to the standard basis of P2[x]P_2[x].

Technique

Build [T]B[T]_B column-by-column from the images T(1),T(x),T(x2)T(1), T(x), T(x^2) of the standard basis B={1,x,x2}B=\{1,x,x^2\}; then characteristic polynomial det⁡(A−λI)=0\det(A-\lambda I)=0, eigenvalues, null spaces of A−λIA-\lambda I, and finally translate each coordinate triple back into a polynomial of P2[x]P_2[x], since the eigenvectors of TT live in P2[x]P_2[x], not in R3\mathbb{R}^3.

Solution

Step 1 — Fix the basis and the coordinate convention.

Take the standard (ordered) basis B={1,  x,  x2}B=\{1,\;x,\;x^2\} of P2[x]P_2[x], so dim⁡P2[x]=3\dim P_2[x]=3 and the coordinate vector of p=a0+a1x+a2x2p = a_0+a_1x+a_2x^2 is

[p]B=(a0a1a2).[p]_B = \begin{pmatrix}a_0\\a_1\\a_2\end{pmatrix}.

The matrix A=[T]BA=[T]_B is defined by [T(p)]B=A [p]B[T(p)]_B = A\,[p]_B, i.e. the jj-th column of AA is the coordinate vector of the image of the jj-th basis vector. (Writing the images as rows is the standard slip here; it produces ATA^{\mathsf T}, which happens to have the same eigenvalues but entirely different eigenvectors.)

Step 2 — Compute the images of the basis vectors.

Read off the rule T(a0+a1x+a2x2)=−(a0+2a1+a2)+(2a0+3a1)x−2(a0+a1)x2T(a_0+a_1x+a_2x^2) = -(a_0+2a_1+a_2) + (2a_0+3a_1)x - 2(a_0+a_1)x^2 at each basis vector.

For 11 (i.e. a0=1, a1=0, a2=0a_0=1,\,a_1=0,\,a_2=0):

T(1)=−(1+0+0)+(2+0)x−2(1+0)x2=−1+2x−2x2,[T(1)]B=(−12−2).T(1) = -(1+0+0) + (2+0)x - 2(1+0)x^2 = -1 + 2x - 2x^2,\qquad [T(1)]_B=\begin{pmatrix}-1\\2\\-2\end{pmatrix}.

For xx (i.e. a0=0, a1=1, a2=0a_0=0,\,a_1=1,\,a_2=0):

T(x)=−(0+2+0)+(0+3)x−2(0+1)x2=−2+3x−2x2,[T(x)]B=(−23−2).T(x) = -(0+2+0) + (0+3)x - 2(0+1)x^2 = -2 + 3x - 2x^2,\qquad [T(x)]_B=\begin{pmatrix}-2\\3\\-2\end{pmatrix}.

For x2x^2 (i.e. a0=0, a1=0, a2=1a_0=0,\,a_1=0,\,a_2=1):

T(x2)=−(0+0+1)+0⋅x−2(0+0)x2=−1,[T(x2)]B=(−100).T(x^2) = -(0+0+1) + 0\cdot x - 2(0+0)x^2 = -1,\qquad [T(x^2)]_B=\begin{pmatrix}-1\\0\\0\end{pmatrix}.

Step 3 — Assemble the matrix representation.

Stacking these three coordinate vectors as columns,

  A=[T]B=(−1−2−1230−2−20)  \boxed{\;A=[T]_B=\begin{pmatrix}-1 & -2 & -1\\ 2 & 3 & 0\\ -2 & -2 & 0\end{pmatrix}\;}

Check the construction against the defining rule:

A(a0a1a2)=(−a0−2a1−a22a0+3a1−2a0−2a1),A\begin{pmatrix}a_0\\a_1\\a_2\end{pmatrix}=\begin{pmatrix}-a_0-2a_1-a_2\\ 2a_0+3a_1\\ -2a_0-2a_1\end{pmatrix},

which is exactly (−(a0+2a1+a2),  2a0+3a1,  −2(a0+a1))T\big(-(a_0+2a_1+a_2),\;2a_0+3a_1,\;-2(a_0+a_1)\big)^{\mathsf T}. The representation is correct.

Step 4 — Characteristic polynomial.

det⁡(A−λI)=∣−1−λ−2−123−λ0−2−2−λ∣.\det(A-\lambda I)=\begin{vmatrix}-1-\lambda & -2 & -1\\ 2 & 3-\lambda & 0\\ -2 & -2 & -\lambda\end{vmatrix}.

Expand along the third row (it carries a zero-free but simple pattern):

Summing,

det⁡(A−λI)=−λ3+2λ2−λ+2λ−6+4=−λ3+2λ2+λ−2=−(λ3−2λ2−λ+2).\det(A-\lambda I) = -\lambda^3+2\lambda^2-\lambda+2\lambda-6+4 = -\lambda^3+2\lambda^2+\lambda-2 = -\big(\lambda^3-2\lambda^2-\lambda+2\big).

Factor by grouping:

λ3−2λ2−λ+2=λ2(λ−2)−(λ−2)=(λ−2)(λ2−1)=(λ−2)(λ−1)(λ+1).\lambda^3-2\lambda^2-\lambda+2=\lambda^2(\lambda-2)-(\lambda-2)=(\lambda-2)(\lambda^2-1)=(\lambda-2)(\lambda-1)(\lambda+1).

So the characteristic equation is (λ−2)(λ−1)(λ+1)=0(\lambda-2)(\lambda-1)(\lambda+1)=0 and

λ=1,  −1,  2.\lambda = 1,\;-1,\;2.

Consistency check: tr⁡A=−1+3+0=2=1+(−1)+2\operatorname{tr}A=-1+3+0=2=1+(-1)+2, and det⁡A=−2=(1)(−1)(2)\det A = -2 = (1)(-1)(2). Both agree.

Step 5 — Eigenvector for λ1=1\lambda_1=1.

(A−I)v=0(A-I)v=0 with

A−I=(−2−2−1220−2−2−1).A-I=\begin{pmatrix}-2 & -2 & -1\\ 2 & 2 & 0\\ -2 & -2 & -1\end{pmatrix}.

Row 2 gives 2a0+2a1=0⇒a1=−a02a_0+2a_1=0\Rightarrow a_1=-a_0. Row 1 gives −2a0−2a1−a2=0⇒−2a0+2a0−a2=0⇒a2=0-2a_0-2a_1-a_2=0\Rightarrow -2a_0+2a_0-a_2=0\Rightarrow a_2=0. Row 3 duplicates Row 1. Taking a0=1a_0=1:

v1=(1,−1,0)T⟺p1(x)=1−x.v_1=(1,-1,0)^{\mathsf T}\quad\Longleftrightarrow\quad p_1(x)=1-x.

Direct check in P2[x]P_2[x]: with a0=1,a1=−1,a2=0a_0=1,a_1=-1,a_2=0, T(1−x)=−(1−2+0)+(2−3)x−2(1−1)x2=1−x=1⋅p1T(1-x)=-(1-2+0)+(2-3)x-2(1-1)x^2 = 1-x = 1\cdot p_1. ✔

Step 6 — Eigenvector for λ2=−1\lambda_2=-1.

(A+I)v=0(A+I)v=0 with

A+I=(0−2−1240−2−21).A+I=\begin{pmatrix}0 & -2 & -1\\ 2 & 4 & 0\\ -2 & -2 & 1\end{pmatrix}.

Row 1: −2a1−a2=0⇒a2=−2a1-2a_1-a_2=0\Rightarrow a_2=-2a_1. Row 2: 2a0+4a1=0⇒a0=−2a12a_0+4a_1=0\Rightarrow a_0=-2a_1. Row 3 is then automatically satisfied: −2(−2a1)−2a1+(−2a1)=4a1−2a1−2a1=0-2(-2a_1)-2a_1+(-2a_1)=4a_1-2a_1-2a_1=0. Taking a1=−1a_1=-1 (to clear signs):

v2=(2,−1,2)T⟺p2(x)=2−x+2x2.v_2=(2,-1,2)^{\mathsf T}\quad\Longleftrightarrow\quad p_2(x)=2-x+2x^2.

Direct check: with a0=2,a1=−1,a2=2a_0=2,a_1=-1,a_2=2, T(p2)=−(2−2+2)+(4−3)x−2(2−1)x2=−2+x−2x2=−(2−x+2x2)=(−1) p2T(p_2)=-(2-2+2)+(4-3)x-2(2-1)x^2 = -2+x-2x^2 = -(2-x+2x^2)=(-1)\,p_2. ✔

Step 7 — Eigenvector for λ3=2\lambda_3=2.

(A−2I)v=0(A-2I)v=0 with

A−2I=(−3−2−1210−2−2−2).A-2I=\begin{pmatrix}-3 & -2 & -1\\ 2 & 1 & 0\\ -2 & -2 & -2\end{pmatrix}.

Row 2: 2a0+a1=0⇒a1=−2a02a_0+a_1=0\Rightarrow a_1=-2a_0. Row 3: a0+a1+a2=0⇒a2=−a0−a1=−a0+2a0=a0a_0+a_1+a_2=0\Rightarrow a_2=-a_0-a_1=-a_0+2a_0=a_0. Row 1 checks: −3a0−2(−2a0)−a0=−3a0+4a0−a0=0-3a_0-2(-2a_0)-a_0=-3a_0+4a_0-a_0=0. Taking a0=1a_0=1:

v3=(1,−2,1)T⟺p3(x)=1−2x+x2=(1−x)2.v_3=(1,-2,1)^{\mathsf T}\quad\Longleftrightarrow\quad p_3(x)=1-2x+x^2=(1-x)^2.

Direct check: with a0=1,a1=−2,a2=1a_0=1,a_1=-2,a_2=1, T(p3)=−(1−4+1)+(2−6)x−2(1−2)x2=2−4x+2x2=2 p3T(p_3)=-(1-4+1)+(2-6)x-2(1-2)x^2 = 2-4x+2x^2 = 2\,p_3. ✔

Step 8 — Diagonalisability.

The three eigenvalues 1,−1,21,-1,2 are distinct, so each has algebraic multiplicity 11 and hence geometric multiplicity 11; the three eigenvectors {1−x,  2−x+2x2,  1−2x+x2}\{1-x,\;2-x+2x^2,\;1-2x+x^2\} are linearly independent and form an eigenbasis B′B' of P2[x]P_2[x]. Therefore TT is diagonalisable, with

[T]B′=diag⁡(1,−1,2),P−1AP=diag⁡(1,−1,2),P=(121−1−1−2021).[T]_{B'}=\operatorname{diag}(1,-1,2),\qquad P^{-1}AP = \operatorname{diag}(1,-1,2),\quad P=\begin{pmatrix}1 & 2 & 1\\ -1 & -1 & -2\\ 0 & 2 & 1\end{pmatrix}.

(No multiplicity is repeated, so no defect can arise.)

Answer

  [T]B=(−1−2−1230−2−20);λ=1:p1(x)=1−xλ=−1:p2(x)=2−x+2x2λ=2:p3(x)=1−2x+x2  \boxed{\;[T]_B=\begin{pmatrix}-1 & -2 & -1\\ 2 & 3 & 0\\ -2 & -2 & 0\end{pmatrix};\qquad \begin{aligned} \lambda&=1: & p_1(x)&=1-x\\ \lambda&=-1: & p_2(x)&=2-x+2x^2\\ \lambda&=2: & p_3(x)&=1-2x+x^2 \end{aligned}\;}

(eigenvectors up to nonzero scalar multiples; TT is diagonalisable since the eigenvalues are distinct.)

We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.