Bonjour
Soit (1) f(x)+f(y)²=kf(x+y²) pour tout x,y de IR
Pour x=y=0, f(0)+f(0)² =kf(0) . Alors f(0)=0 ou f(0)=k-1.
Ceci nous invite à discuter les cas k=1 ou k#1
Si k#1 , alors f=0 ou f est la constante k-1, en effet:
Si f(0)=0, alors (1) donne pour x et y=0 : f(x)=kf(x) donc f(x)=0
Si f(0)=k-1, alors f(x)+(k-1)²=kf(x) donc f(x)= k-1.
Si k=1 , alors f(0)=0.
Pour x=0, (1) donne f(y)²=f(y²) pour tout y.
soit x dans IR, y dans IR+ ; posons y=z² .
(f(x)+f(y))²=(f(x)+f(z)²)²=f(x+z²)²=f(x+y)²=f((x+y)²)
=f(x²+y²+2xy)=f(x²+2xy)+f(y)²=f(2xy)+f(x)²+f(y)²
alors 2f(x)f(y)=f(2xy) . Mais f(2y)=f(y+z²)=f(y)+f(z²)=2f(y)
f(0)=f(-y+y)=f(-y+z²)=f(-y)+f(y)=0
Donc f(-y)=-f(y)
Donc f(x)f(y)=f(xy) pour tout x , y dans IR .
De même, on montre que f(x)+f(y)=f(x+y) pour tout x , y dans IR .
le seul morphisme de corps de IR dans IR est l'identité.
En réumé: les solutions sont :
- Si k=1, f=0 ou f=id_IR
- Si k#1, f=0 ou f=k-1
AA++