Soit $P_1=X^2+2$, $P_2=X^2+2X-1$ et $P_3=X^2+2X$. Montrer que la famille $(P_1,P_2,P_3)$ est une base de $\mathbb{R}_2[X]$.

On considère la famille $\mathcal{F}=(e_1,e_2,e_3)$ de $\mathbb{R}^3$ où $e_1=(1,1,0)$, $e_2=(1,1,1)$ et $e_3=(0,1,1)$. Montrer que $\mathcal{F}$ est une base de $\mathbb{R}^3$.

Soit $n \in \mathbb{N}^*$. Pour $k \in \;[\!\!\![\; 0,n \;]\!\!\!]\;$, on pose $P_k=X^k(X-1)^{n-k}$.
Montrer que la famille $(P_0,...,P_n)$ est une base de $\mathbb{R}_n[X]$.

Soit $n \in \mathbb{N}^*$, $E$ une espace vectoriel de dimension $n$ et $(e_1,...,e_n)$, $(\varepsilon_1,...,\varepsilon_n)$ des bases d'un espace vectoriel $E$. Montrer qu'il existe $i \in \;[\!\!\![\; 1,n \;]\!\!\!]\;$ tel que $(e_1,...,e_{n-1},\varepsilon_i)$ est une base de $E$.