Une application entre deux ensembles est injective si deux éléments distincts de n'ont jamais la même image par . Le vecteur nul de a pour image par , le vecteur nul de . Puisque est injective, aucun vecteur non nul de ne peut avoir pour image 0. Donc Ker.
Montrons maintenant la réciproque. Supposons Ker. Soient et deux éléments de tels que . Puisque est linéaire, . Donc Ker, donc , donc .
Pour tout , L'image par du polynôme constant est le réel . Donc est surjective. L'espace de départ est de dimension , l'image est de dimension . D'après le théorème du rang, le noyau est de dimension .
Pour démontrer que la somme est directe, il faut montrer en plus que . Soient trois réels tels que :
Pour démontrer la linéarité, il suffit d'appliquer les résultats généraux sur la dérivation : si et sont dérivables et si et sont deux réels, alors est dérivable et .
Pour montrer que est injective, il suffit de montrer que son noyau ne contient que l'application nulle. En reprenant les expressions de la question précédente, si s'écrit :