f est continue sur [0,1], car 1/(1+x) définie sur [0,1] et x/2 l´est aussi. Ainsi, f´ est dérivable sur ]0, 1[.
Cette dérivée est de la forme, en mettant tout au même dénominateur :
f´(x) = -2 + [(1+x)²]/(2[(1+x)²]).
Or 2[(1+x)²] est positif sur [0,1], donc f´ est du signe du numérateur.
-2 + [(1+x)²] > 0 <=> [(1+x)²] > 2
<=> 1+x>racine(2) soit x> racine(2) - 1
(OU 1+x<-racine(2) soit x<-racine(2) - x qui n´appartient pas à [0,1] donc ignoré.)
Par conséquent, f´>O sur ]racine(2)-1, 1]
Et f´<0 sur [0, racine(2)-1[ en suivant le même raisonnement.
Finalement, f est strictement croissant sur ]racine(2)-1, 1[ ou f strictement décroissant sur ]0, racine(2)-1[
Or f(0)=0 donc f<0 sur ]0, racine(2)-1[
Et f(1)=0 donc f>0 sur ]racine(2)-1, 1[
f est donc négative(non strictement) sur [0, 1].