Une base de ${\mathbb{R}}_3[x]$ centrée en un point

La famille est bien dans ${\mathbb{R}}_3[x]$. Chaque $(x-a{)}^k$, pour $0\le k\le 3$, est de degré $k\le 3$.

Elle est libre. Supposons ${\lambda }_0+{\lambda }_1(x-a)+{\lambda }_2(x-a{)}^2+{\lambda }_3(x-a{)}^3=0$, égalité de polynômes. En $a$, tous les termes s'annulent sauf le premier : ${\lambda }_0=0$. On dérive et l'on évalue de nouveau en $a$ : ${\lambda }_1=0$. Une deuxième dérivation donne $2{\lambda }_2=0$, une troisième $6{\lambda }_3=0$. La famille est libre.