Je ne trouves pas cet exo immédiat. Je te propose une solution.
Tu me diras ce que tu en penses(trop compliquée ou pas)
Soit f une solution définie sur un intervalle non vide J .
Si f est nulle sur J , alors elle est constante sur J.
Si il existe b dans J tel que f(b) non nul , alors f est non nulle sur J.
Supposons qu'il existe
dans J , supérieur à b tel que
Soit K l'ensemble des x supérieurs à b tels que
K non vide est minoré par b , donc possède une borne inférieure m supérieure ou égale à b.
Par continuité de f ,
et donc m>b
Mais alors il existe c dans
tel que
Comme f(b) est non nul , f '(c) est non nul et donc f(c)=0 ce qui est absurde puisque b<c<m
CQFD pour f non nulle sur J
La démonstration est analogue si
Donc par hypothèse , f ' est nulle sur J et donc f est constante sur J .
Réciproquement toute fonction constante est solution sur J
Il résulte de cette étude que les solutions maximales sont les fonctions constantes définies sur