Donc:
Donc
Il est clair que
est de degré
et que son coefficient dominant vaut, pour
:
On supposera désormais que , le cas étant évident
Posons maintenant le changement de variable
. On obtient, pour tout polynôme unitaire de degré
:
NB: le changement de variable
étant bijectif, de classe
, cette égalité assure l'intégrabilité de
sur
.
On utilise maintenant la parité pour se placer dans le cadre des séries de Fourier. On a:
Les polynômes
sont chacun de degré
. On en déduit que
est une base de
. Donc, si
est de degré
, il existe une famille
telle que:
Si on suppose de plus que
est unitaire, en écrivant l'égalité des termes de degré
, on obtient
La borne inférieure demandée vaut donc
En notant
la fonction
et en utilisant la norme du cours sur l'espace
, on a donc: