i)
f est continue sur IR (1)
f est deriable sur IR , et on a pr tt x de IR: f'(x)=1-cosx>0 et f'(0)=0
donc f est strictement croissante (2)
de (1) et (2) on conclut que f est bijective de IR vers f(IR)=IR
f(x)=f[-1](x)
<=> fof(x)=x
<=>(x-sinx)-sin(x-sinx)=x
<=>sinx=sin(sinx-x)
<=>2x=sinx+2kpi
et on a |sinx/2|<1/2 => |x|<1/2
donc S C [-1/2;1/2]
soit x un élément de [-1/2;1/2]
on prend h(x)=2x-sinx, h est continue sur IR
h(-1/2)=-1-sin(-1/2)<0
h(1/2)=1-sin(1/2)>0
selon le TVI , Il existe des éléments de IR tel que h(c)=c
[on doit montrer que h est strictement monotone]
h est dérivable sur IR
h'(x)=2-cosx>0
d'où h est strictement croissante
alors il existe un seul élément c , tels que h(c)=c
si on prend 0 , on va remarquer que l'équation l'admet comme une solution d'ou S={0}