Posté par
lafol lafol 
Tu peux commencer par observer que f(y)= f(0+y) = f(0) + f(y), donc f(0)=0,
puis 0= f(0) = f(x + (-x)) = f(x) + f(-x), donc pour tout x réel, f(-x) = - f(x).
f sera donc impaire, et il suffit de la déterminer sur

.
Après, pour tout n entier naturel, f(n)= f(1+1+...+1) = f(1)+f(1)+...+f(1) = nf(1),
et f(1) = f(1/n + 1/n + ... + 1/n) = n f(1/n), donc f(1/n) = f(1)/n.
par suite, en écrivant r=p/q = 1/q + 1/q + ...+ 1/q, tu as pour tout r rationnel, f(r) = r f(1),
et si tu veux passer des rationnels aux réels, j'ai bien peur, comme Cauchy, que tu aies besoin d'une hypothèse de continuité sur f.