This is a problem from the book Linear Algebra by Larry Smith and the author has so far introduced Vector Spaces. This problem shows up in the introductory chapter of Linear Transformations.
Let $T\colon \mathbb{R}^2 \to \mathbb{R}^2$ be linear transformation. Show that there are $a,b\in \mathbb{R}$ such that $T^2+aT+bI=0$.
I think I have worked out the proof but I was looking for a simpler way. Here's how I did it:
I defined $T\colon \mathbb{R}^2 \to \mathbb{R}^2$ by $T(x,y)=(t_1 (x,y) , t_2 (x,y))$ where $t_1$ and $t_2$ are functions from $\mathbb{R}^2$ to $\mathbb{R}$. I showed that $T$ is a linear transformation iff $t_1$ and $t_2$ are linear transformations. Since every linear transformation from $\mathbb{R}^2$ to $\mathbb{R}$ is of the form $ax+by$ for all $(x,y)\in \mathbb{R}^2$, I completed it by comparing the components.
Is there any far far better way of doing this?
Pick any nonzero vector $v$. Then either $Tv$ is linearly independent of $v$, or $Tv=pv$ for some scalar $p$.
If $Tv$ is linearly independent of $v$, then $\{Tv,v\}$ is a basis of $\mathbb R^2$. Therefore $T^2v$ is a linear combination of $Tv$ and $v$ and $T^2v+aTv+bv=0$ for some scalars $a$ and $b$. It follows that both $(T^2+aT+bI)v$ and $(T^2+aT+bI)(Tv)=T(T^2+aT+bI)v$ are zero. That is, $T^2+aT+bI$ maps a basis of $\mathbb R^2$ to zero. Hence $T^2+aT+bI$ must be zero.
If $Tv=pv$, then $(T-pI)v=0$. Let $u$ be any vector that is linearly independent of $v$. Then $\{u,v\}$ form a basis of $\mathbb R^2$. Hence $Tu$ is a linear combination of $u$ and $v$ and $Tu=qu+rv$ for some scalars $q$ and $r$. It follows that both $(T-pI)(T-qI)u=(T-pI)(rv)$ and $(T-pI)(T-qI)v=(T-qI)\left((T-pI)v\right)$ are zero. That is, $(T-pI)(T-qI)$ maps a basis of $\mathbb R^2$ to zero. Hence $(T-pI)(T-qI)$ must be zero. Expand the product, we get $T^2+aT+bI=0$ for some scalars $a$ and $b$.
Edit. If you are comfortable with the concept of minimal polynomial, a better proof is to show that the minimal polynomial of a linear operator $T$ on an $n$-dimensional vector space is at most of degree $n$. See this answer for instance.