La dérivée de
est négative sur son domaine de définition.
Sur
, f est décroissante de 0 vers moins l'infini.
Sur chaque intervalle ]k,k+1[, avec 0<k<70, f est décroissante de plus l'infini vers moins l'infini. On en déduit l'existence d'une unique solution
de l'équation f(x)=5/4 sur l'intervalle ]k,k+1[. De plus, l'ensemble des solutions de l'équation
sur ]k,k+1[ est égal à
.
Sur l'intervalle
, f est décroissante de plus l'infini vers 0. On en déduit l'existence d'une unique solution
de l'équation f(x)=5/4 sur l'intervalle
. De plus, l'ensemble des solutions de l'équation
sur
est égal à
.
Je viens donc de démontrer que l'ensemble des solutions de l'équation f(x)=5/4 est la réunion de 70 invervalles disjoints
.
La somme des longueurs de ces intervalles vaut
Les réels a_k sont les solutions de l'équation f(x)=5/4, donc les racines du polynôme
On sait donc, grâce à du cours de Maths Sup que
Et donc, finalement, la somme des longueurs des intervalles
vaut: