Prove $\operatorname{Rank} (T) +\operatorname{Nullity} (T) = \dim V$

Take $w\in T(V)$. Then $w=T(\alpha_1v_1+\alpha_2v_2+\dots +\alpha_nv_n)$, since $T$ is linear this is equal to:

$\alpha_1T(v_1)+\alpha_2 T(v_2)+\dots +\alpha_nT(v_n)=\underbrace{0+0+\dots +0}_m + \alpha_{m+1}T(v_1)+\alpha_{m+2} T(v_2)+\dots+ \alpha_nT(v_n)=\alpha_{m+1}T(v_1)+\alpha_{m+2} T(v_2)+\dots+ \alpha_nT(v_n)$.

So $\{T(v_{m+1}),T(v_{m+2}),\dots, T(v_n)\}$ generates $T(V)$.

Now, suppose $\alpha_{m+1}T(v_{m+1})+\alpha_{m+2} T(v_{m+2})+\dots +\alpha_nT(v_n)=0$.

Notice $\alpha_{m+1}T(v_{m+1})+\alpha_{m+2} T(v_{m+2})+\dots +\alpha_nT(v_n)=T(\alpha_{m+1}v_{m+1}+\alpha_{m+2}v_{m+2}+\dots +\alpha_nv_n)\implies \alpha_{m+1}v_{m+1}+\alpha_{m+2}v_{m+2}+\dots +\alpha_nv_n\in \ker(T)$. Therefore $-(\alpha_{m+1} v_{m+1} + \alpha_{m+2} v_{m+2} + \dots +\alpha_nv_n)\in \ker(T)$. So we can write it as $\alpha_1v_1+\alpha_2v_2+\dots +\alpha_mv_m$.

Which leads us to $\alpha_1v_1+\alpha_2v_2+\dots+ \alpha_nv_n=0$, since $\{v_1, v_2,\dots, v_n\}$ is basis for $V$ we conclude $\alpha_i=0$ for all $ 1\leq i \leq n$. in particular $\alpha_{m+1},\alpha_{m+2},\dots, \alpha_n=0$. So $\{ T(v_1), T(v_2),\dots, T(v_n)\}$ is linearly independent


Well, you are indeed almost done: a basis is a linear independent generating set, so as your classmate mentioned, you only need to check these two properties for $v_{m+1},\ldots,v_n$.

For linear independence assume $$0 = \sum_{i=m+1}^n T(v_i)\lambda_i = T(\sum_{i=m+1}^n v_i\lambda_i)$$ and see what this would mean for the $v_{m+1},\ldots,v_n$.

For generation, given a typical element $T(v)$ of $\operatorname{range}(T)$, express $v$ with the basis of $V$ and observe what happens to the $v_1,\ldots,v_m$ when $T$ is applied.