On a trivialement $T(f)(x)=\int_0^x yf(y)dy +x\int_x^1 f(y)dy$.
Si $T(f)=0$, alors la fonction $x\mapsto \int_0^x yf(y)dy +x\int_x^1 f(y)dy$ est identiquement nulle.
Cette dernière fonction est $C^1$, et comme elle nulle, sa dérivée est nulle, ce qui s'écrit $\forall x, \int_x^1 f(y) dy=0$.
Avec le même argument, en dérivant $x\mapsto \int_x^1 f(y) dy$ on tombe sur $\forall x, f(x)=0$ d'où l'injectivité ![[[sticker:p/1kkl]]](https://image.jeuxvideo.com/stickers/p/st/1kkl)
Message édité le 23 janvier 2017 à 14:19:01 par spf1