Crayons
Que fais-tu de x|-> x*sin(x) ?
Danette
Vu que tu as une équa diff, ta fonction, nommons-la f, est très contrainte.
Ton exo est assez classique, d'ailleurs. Raisonnons par contraposée.
Si tu as une infinité de zéros distincts (x_n) (crucial), par BW, tu peux en extraire une sous-suite convergente, disons vers x, et la limite sera encore un zéro par continuité de f.
Or, que vaut le taux d'accroissement ? D'une part, ( f(x_n)-f(x) )/(x_n-x) = 0, car le numérateur est nul. D'aute part, ceci tend vers f'(x) lorsque n tend vers +inf, donc f'(x) est nul.
Par Cauchy-Lipschitz (et c'est là que ton équa diff est importante), f est nulle.
La conclusion suit alors. 