bonjour tout simplement
P(x;y) : f(x+y) =< f(x) + f(y)
P(x;-x) : f(0) =< f(x) + f(-x) ==> f(x) >= f(0) - f(-x) (d ça on a x=0 => f(0)>=0 et f(0)=<0 ==> f(0)=0)
d'une autre part f(-x) =< -x ==> x =< -f(-x)
donc f(x)>= x ==> 0 =< f(x)-x =< 0 ==> f(x)=x c'est la seule qui est dérivable en 0 !!!
car il y'a des autre comme:
f(x) = a ; x>= a avec a >= 0
f(x) = x ; 0 < x <a
f(x) = x/2 ; x=< 0
autre soit n€N*
f(x) =-x/n ; x>=0
f(x) = nx ; x < 0
etc
-----------------------