Je m'aperçois que si on est un peu futé, on remarque que
est une fonction paire (et
-périodique). Ce qui veut dire que
.
Par définition de la dérivation au sens des distributions, on a, pour toute fonction test
de classe
à surpport compact, qui est l'intervalle
,
, cad :
Donc, en divisant par 2 des deux côtés et en développant l'intégrale de droite, c'est encore égal à :
-
Or
car
est une fonction à support compact, donc
s'annule en particulier aux bords (en 0 et en
). De plus, sur
, la fonction sinus est positive, donc, l'égalité précédente est égale à :
-
(si on effectue 1 IPP et si on utilise encore le fait que
est à support compact).
Donc au final, on obtient :
On a donc montrer que la dérivée au sens des distributions de la fonction
est la fonction
, pour tout x de
.(par identification des intégrandes)