Bonjour ,
Soit y dans IR . considérons la fonction g définie sur [a,b] par g(x)=e^(- y.x) .f(x) .
g est continue sur [a,b] (à justifier) , g est dérivable sur ]a,b[ (à justifier) et g(a)=g(b)=0. D'après le théorème de Rolle , il existe c dans ]a,b[ tel que g'(c)=0.
Or pour tout x dans ]a,b[ , g'(x)=-y.e^(-y.x).f(x)+e^(-y.x).f'(x)=e^(-y.x).(-y.f(x)+f'(x)) (à justifier). Donc e^(-y.c).(-y.f(c)+f'(c))=0.Et puisque e^(-y.c) est non nul , alors -y.f(c)+f'(c)=0.Soit f'(c)=y.f(c).
En conclusion: il existe c dans ]a,b[ tel que f'(c)=y.f(c) .