Pot-pourri groupe B : Équations fonctionnelles

15 Mars 2025

Exercice 1 :
Trouver toutes les fonctions f : R → R telles que

f (x) · f (y) = f (x − y)

pour tous x, y ∈ R.

Solution :
Analyse : On suppose disposer d’une fonction solution f . En testant avec y = 0, on a :
∀x ∈ R, f (x) · f (0) = f (x).
Il y a alors deux possibilités : soit f est la fonction nulle, soit il existe un réel x0 tel que f (x0 ) ̸= 0,
f (x0 )
auquel cas f (0) = = 1.
f (x0 )

On suppose maintenant que f n’est pas la fonction nulle :

Soit x ∈ R. En évaluant avec (x, 0) et (0, x), on trouve que f (x) = f (−x).
Ceci étant vrai quel que soit x, la fonction f est paire.
a  a
Soit a ∈ R. On a par parité : f =f − .
2  2
a a a a
Donc (en évaluant successivement en ,− puis en , ):
 a  a   a   a2 2  a   a2 2
f (a) = f − − =f ·f − =f ·f = f (0) = 1.
2 2 2 2 2 2
Ainsi, si f n’est pas identiquement nulle, on a f : x 7→ 1.

Synthèse : La fonction nulle x 7→ 0 et la fonction constante x 7→ 1 sont bien solutions, car l’on a
respectivement 02 = 0 et 12 = 1.
Il s’agit par conséquent bien des deux seules solutions.

1
Exercice 2 :
Trouver toutes les fonctions f : N → N telles que

f (f (n)) = n + 1

pour tout n ∈ N.

Solution :
On compose par f à gauche : f (f (f (n))) = f (n + 1) = f (n) + 1.

Avec c = f (0) ∈ N, on montre facilement par récurrence que ∀n ∈ N, f (n) = n + c.

Alors soit n ∈ N, f (f (n)) = f (n + c) = n + 2c = n + 1. On trouve 2c = 1.
C’est absurde car on sait que c ∈ N.
Il n’y a donc pas de solutions.

2
Exercice 3 :
Trouver les f : R → R telles que pour tous réels x, y on ait

f (f (x)f (y)) = f (x)y

Solution :
Analyse : La fonction nulle est solution. Si f est non-identiquement nulle, il existe a tel que f (a) ̸= 0.
Montrons l’injectivité de f .
Soit b, c ∈ R. On suppose que f (b) = f (c).

On substitue x par a et y par b et c : f (a)b = f (f (a)f (b)) = f (f (a)f (c)) = f (a)c.

Or f (a) ̸= 0, donc b = c.

Avec y = 1, ∀x, f (f (x)f (1)) = f (x), par injectivité : ∀x, f (x)f (1) = x.
Prendre x = 1 donne f (1) = ±1.

Synthèse :
On vérifie les trois solutions candidates : x 7→ x, x 7→ −x, et x 7→ 0.
Elles conviennent toutes donc ce sont les seules solutions.

3
Exercice 4 :
Déterminer toutes les fonctions f : R → R telles que ∀x, y ∈ R:

f (f (x) + y) + yf (x) = xy + f (x) + f (f (y))

Solution :
Analyse : Avec x = y = 0, on a que f (0) = 0.
Montrons que si f est solution alors f est injective.
Premièrement, si f (r) = 0, on prenant x = y = r :

f (f (r) + r) + rf (r) = 0 = r2 + f (r) + f (0) = r2

D’où l’unique racine de f est 0.

Soient a, b ∈ R tels que f (a) = f (b), alors, avec x = a, y = b :

f (f (a) + b) + bf (a) = ab + f (a) + f (f (a))

avec x = y = b,
f (f (a) + b) + bf (a) = b2 + f (a) + f (f (a))
Alors ab = b2 , donc soit a = b ̸= 0, soit b = 0.
Or, si b = 0, f (a) = 0 puis a = 0. D’où a = b aussi.

Mais alors, avec x = 0, on obtient ∀y ∈ R, f (y) = f (f (y)), puis par injectivité ∀y ∈ R, f (y) = y.

Synthèse : f = Id vérifie bien l’équation, car pour tous x, y ∈ R on a bien

f (f (x) + y) + yf (x) = x + y + xy = xy + f (x) + f (f (y)).

4
Exercice 5 :
Trouver toutes les fonctions f : R → R vérifiant

f (xy)(x + f (y)) = x2 f (y) + y 2 f (x)

pour tous x, y ∈ R.

Solution :
Analyse : On évalue en x = y = 0 : il vient f (0)2 = 0.
Comme x et y jouent un rôle symétrique dans le membre de droite, on a
∀x, y ∈ R, f (xy)(f (x) + y) = f (xy)(x + f (y)).
On en déduit : ∀x, y ∈ R, f (xy) ̸= 0 =⇒ f (x) + y = x + f (y).

On s’intéresse alors aux antécédents de 0 par la fonction f .

Soit a ∈ R∗ . Si f (a) = 0, substituer a à y donne :
∀x ∈ R, f (ax)x = a2 f (x) (∗)

On évalue en x = 1 : f (a) = 0 = a2 f (1).

Or a2 ̸= 0, donc f (1) = 0. Puis avec a = 1 dans l’égalité (∗), on a
∀x ∈ R, f (x)x = f (x). Si f (x) ̸= 0, on obtient x = 1, or on a vu que f (1) = 0, donc f est
identiquement nulle.

Ainsi, l’ensemble des antécédents de 0 par f , f −1 ({0}) est soit égal à R, (cas précédent), soit réduit
à {0}.

Si f est non identiquement nulle on a donc ∀x, y ∈ R∗ , f (x) + y = f (y) + x.

En posant c = f (1) − 1, on a dès lors ∀x ̸= 0, f (x) = x + c, et de plus f (0) = 0.

Soit x, y ∈ R∗ :
f (xy)(x + f (y)) = (xy + c)(x + y + c) = x2 y + xy 2 + c(xy + x + y) + c2
et f (xy)(x + f (y)) = x2 y + xy 2 + c(x2 + y 2 ) = x2 f (y) + y 2 f (x).

Il faut donc que : c2 + (xy + x + y − x2 − y 2 )c = 0.

On prend x = y = 2. Alors, xy + x + y − x − y = 4 + 2 + 2 − 4 − 4 = 0.
Donc on obtient c2 = 0 puis c = 0.
Les seules solutions possibles sont la fonction nulle et l’identité .

Synthèse :
Si f est la fonction nulle, on a bien ∀x, y, f (xy)(x + f (y)) = 0 = x2 f (y) + y 2 f (x).
Si f = Id, alors f (xy)(x + f (y) = x2 y + xy 2 = x2 f (y) + y 2 f (x).
Conclusion : les deux solutions sont la fonction nulle et l’identité.

5
Exercice 6 : Équation de Cauchy ⋆ (cours)

• Trouver toutes les fonctions f : Q → Q telles que

f (x + y) = f (x) + f (y)

pour tous x, y ∈ R.
• Trouver toutes les fonctions croissantes f : R → R telles que

f (x + y) = f (x) + f (y)

pour tous x, y ∈ R.
Faire de même en supposant que f est continue au lieu de croissante.

Solution :
Analyse : On considère une solution f : Q → Q.
On commence par chercher les valeurs prises par f sur N.
x = y = 0 donne 2f (0) = f (0), donc f (0) = 0.
On pose a = f (1) ∈ Q, alors y = 1 donne ∀x ∈ Q, f (x + 1) = f (x) + a.

Montrons désormais par récurrence que ∀n ∈ N, f (n) = an.

Initialisation : C’est vrai pour 0, car f (0) = a · 0.
Hérédité : Soit n ∈ N. On suppose que f (n) = an. Alors f (n + 1) = an + a = a(n + 1).
Conclusion : Par récurrence, on a donc bien ∀n ∈ N, f (n) = an.

En prenant y = −x, on a ∀x ∈ Q, f (x) + f (−x) = f (0) = 0, donc f est impaire.

D’où, pour tout n ∈ Z, f (n) = an.

Soit q ∈ Q. Montrons par récurrence que ∀n ∈ Z, f (nq) = nf (q).

C’est vrai pour 0 et 1. Soit n ∈ N. On suppose que f (nq) = nf (q). Alors :

f ((n + 1)q) = f (nq + q) = f (nq) + f (q) = nf (q) + f (q) = (n + 1)f (q)

On utilise le fait que f est impaire pour généraliser à n ∈ Z, ce qui conclut.

On va désormais pouvoir conclure.

p
On considère un rationnel sous la forme q = où p ∈ Z et r ∈ N∗ .
r

On a donc f (rq) = f (p) = ap d’une part, et f (rq) = rf (q) d’autre part.

p
On divise par r ̸= 0, il vient : f (q) = a · = a · q.
r
Ceci est vrai pour tout q ∈ Q, d’où l’on a nécessairement f : x 7→ ax, pour un certain a ∈ Q

Vérification : Soit a ∈ Q. Si f : x 7→ ax, alors premièrement, on a bien ∀x ∈ Q, f : (x) ∈ Q, car le

produit de deux nombres rationnels est rationnel.
De plus, pour x, y ∈ Q, on a bien f (x + y) = a(x + y) = ax + ay = f (x) + f (y).

6
Pour passer de l’équation avec f : Q 7→ Q, à f : R → R, on va utiliser le fait que Q est dense dans R.

Intuitivement, cela signifie que pour tout nombre réel x, il existe une suite (qn )n∈N ∈ QN (c’est-à-dire
une suite à valeurs rationnelles) telle que (qn )n∈N converge vers x.
De manière équivalente, la densité de Q signifie que tout intervalle ouvert de R contient au moins un
nombre rationnel. C’est-à-dire que pour tous a, b ∈ R, avec a < b, ]a, b[ ∩ Q ̸= ∅

Définition :
On dit qu’une suite (un ) à valeurs dans une partie A de R converge vers un réel b lorsque pour tout
ε > 0, il existe N ∈ N tel que pour tout n ≥ N, un ∈]b − ε, b + ε[ ou (de manière équivalente) que
|b − un | < ε.
Dans ce cas, b est la limite de la suite (un ). Et l’on peut noter lim un = b.
n→+∞
Intuitivement, dire que (un ) converge vers b revient à dire que plus n est grand, plus la suite se
rapproche du réel b.
1
Exemple : La suite de terme général un = converge vers 0.
n+1

De plus lorsqu’une suite converge, elle ne peut avoir qu’une seule limite.
Attention, en règle générale, une suite ne converge pas forcément, et n’a pas forcément de limite.

Revenons à l’équation fonctionnelle.

Comme dans la question précédente, on montre facilement qu’en notant a = f (1) ∈ R (attention, a
n’est plus forcément rationnel), alors ∀q ∈ Q, f (q) = aq.

• On suppose dans un premier temps que f est croissante. (donc a ≥ 0). On veut montrer que
dans ce cas f (x) = ax pour un réel x irrationnel.
Par l’absurde, on suppose f (x) < ax, alors, si a ̸= 0, comme il existe
 q  un nombre rationnel
q
q ∈ ]f (x), ax[, on obtient que le nombre rationnel < x, mais f = q > f (x), ce qui
a a
contredit que f est croissante.
Si a = 0 en prend un rationnel r < x quelconque, et f (r) = ax = 0 > f (x).
q
De même, si f (x) > ax et a ̸= 0, en prenant q ∈]ax, f (x)[ rationnel, f = q < f (x) mais
a
q
> x, ce qui est absurde.
a
Et si a = 0, pour r > x rationnel, f (r) = 0 < f (x).

Conclusion : si f est croissante, on a bien f : x 7→ ax pour un certain réel a ≥ 0. Réciproquement,

cette fonction est bien solution.
Idem si l’on avait supposé f décroissante, on aurait le même résultat mais avec un réel a ≤ 0.
• Si l’on suppose désormais que f est continue.
Définition :
On considère une partie D non-vide de R, et un réel b ∈ D. Une fonction f : D → R est
dite continue en b si pour toute suite (un ) à valeur dans D qui converge vers b, la suite f (un )
converge vers f (b).
La fonction est dite continue si elle est continue en b pour tout b ∈ D.

7
 Soit x ∈ R irrationnel, on veut montrer que f (x) = ax. On considère une suite (qn ) ∈ QN
qui converge vers x (qui existe par densité de Q. Alors la suite de terme général f (qn ) = aqn
converge vers ax. Par continuité de f en x, on sait que (f (qn )) converge vers f (x).
Enfin par unicité de la limite, on déduit que f (x) = ax.
Réciproquement, toutes les fonctions de la forme f : x 7→ ax pour a ∈ R sont bien continues et
vérifient : ∀x, y ∈ R, f (x + y) = f (x) + f (y).

Remarque :
On a vu que pour une fonction f définie sur R, lorsque l’on connaı̂t les valeurs qu’elle prend sur une
partie D dense de R (en l’occurrence Q), alors on peut facilement trouver les valeurs des autres réels
sous certaines hypothèses (continuité, monotonie...)
Attention en revanche, ce n’est pas nécessairement le cas sans ces hypothèses.
En l’occurrence, il existe des fonctions solutions de l’équation de Cauchy sur R mais qui ne sont pas
de la forme x 7→ ax.
Celles-ci sont en revanche très dures à construire et presque impossible à expliciter, car (on peut
montrer) qu’elles sont nécessairement discontinues en tout point x ∈ R, et même non-bornées au
voisinage de tout point x ∈ R.

8
Exercice 7 : Équation de Jensen
Trouver toutes les fonctions f : Q → Q telles que
 
x+y f (x) + f (y)
f =
2 2

pour tous x, y ∈ R.
Déterminer ensuite les solutions à cette équation avec f : R → R croissante, puis continue.

Solution :
Analyse : On va en fait simplement se ramener à l’équation de Cauchy et utiliser l’exercice précédent
pour conclure.
Soit a, b ∈ R. En regarde respectivement avec x = a, y = b et x = a + b, y = 0 :
 
f (a) + f (b) a+b f (a + b) + f (0)
=f =
2 2 2

D’où, f (a + b) = f (a) + f (b) − f (0).

On note c = f (0). On pose g : x 7→ f (x) − c.
On trouve que ∀a, b ∈ R (ou bien ∀a, b ∈ Q),

g(a + b) = f (a + b) − c = f (a) + f (b) − 2c = g(a) + g(b)

Ainsi, la fonction g est solution de l’équation de Cauchy.

Conclusion :
Si l’on cherche les solutions f : Q → Q, alors toutes les solutions sont de la forme f : x 7→ ax + c, avec
a, c ∈ Q, et réciproquement toutes ces fonctions sont bien solutions (et à valeurs rationnelles).

Si l’on suppose f : R → R, avec f croissante, f est nécessairement de la forme f : x 7→ ax + c, où

a, c ∈ R et a ≥ 0.
Réciproquement, ces fonctions conviennent (et sont croissantes).

Enfin si f est continue, on a de même f : x 7→ ax + c, a, c ∈ R.

Ces fonctions sont toutes solutions et l’on peut montrer facilement qu’elles sont également continues.

9
Exercice 8 :
Trouver toutes les fonctions continues f : R → R vérifiant

f (f (x) + y) = x + f (y)

pour tout x, y ∈ R.

Solution :
Analyse : Supposons que f (0) ̸= 0. En remplaçant x par 0, on trouve f (y + f (0)) = f (y) donc f est
f (0)-périodique.
Or une fonction continue sur un intervalle fermé [a, b] est bornée.
f est donc bornée sur [0, f (0)] (ou [f (0), 0] selon le signe de f (0)).
Comme f est périodique de période f (0), f est bornée sur R.
Ceci est absurde car, en remplaçant y par 0, on a f (f (x)) = x + f (0) et le membre de droite n’est pas
borné.

Donc f (0) = 0. On en déduit que f (f (x)) = x. D’où f est bijective.

En substituant x par f (z), on a donc f (z + y) = f (f (f (z)) + y) = f (z) + f (y).

Par conséquent, f est solution de l’équation de Cauchy, et puisque f est continue, f (x) = a · x
pour un certain a ∈ R par théorie.
Comme f (f (x)) = x, il faut que a ∈ {±1}.
Synthèse : Réciproquement, x 7→ x et x 7→ −x sont bien solutions.

10
Exercice 9 : IMOSL 2013 N1
Trouver toutes les fonctions f : N∗ → N∗ vérifiant :

m2 + f (n) | mf (m) + n

pour tout couple d’entiers naturels (m, n).

Solution :
Analyse : On note c = f (1). En posant m = 1 et n = p − c pour p ∈ P>c (un nombre premier
strictement plus grand que c), on obtient 1 + f (p − c) | f (1) + p − c = p.
Puisque 1 + f (p − c) > 1, cela implique que 1 + f (p − c) est l’unique autre diviseur de p : p lui-même.

Posons maintenant m = p − c et fixons n. On a (p − c)2 + f (n) | (p − c)(p − 1) + n.

Or, pour p suffisamment grand, on a
1
((p − c)(p − 1) + n) < (p − c)2 + f (n)
2
et donc (p − c)2 + f (n) = (p − c)(p − 1) + n.
Cette égalité tenant pour une infinité de p, on a égalité entre les polynômes : c + 1 = 2c et n + c =
f (n) + c2 soit c = 1 et f (n) = n.

Synthèse : Réciproquement, f (n) = n est bien solution. En bref, n 7→ n est l’unique solution.

11
Exercice 10 :
Trouver toutes les fonctions f : R → R telles que pour tous de réels x, y on ait :

f (xy − 1) + f (x)f (y) = 2xy − 1

Solution :
Analyse : Supposons que f soit une solution de l’équation. On pose x = 0 ce qui donne

f (−1) + f (x)f (0) = −1

Si f (0) ̸= 0, on peut diviser et donc f est constante. C’est absurde car aucune fonction constante
n’est solution. Donc f (0) = 0 ce qui donne f (−1) = −1
1
Pour x ̸= 0 on pose y = ce qui donne
x
   
1 1 1
f (0) + f (x)f = 2x · − 1 ⇐⇒ f (x)f =1
x x x

En particulier avec x = 1, on obtient f (1)2 = 1 .

L’idée maintenant est de forcer une factorisation, pour cela, on voudrait que xy − 1 = y ⇐⇒ y =
1
. Pour x ̸= 1, on a donc
x−1
 
1 2x x+1
f (1 + f (x)) = −1=
x−1 x−1 x−1
Pour utiliser l’égalité précédente, on multiplie par f (x − 1) ce qui donne
x+1
f (x) + 1 = f (x − 1)
x−1
On pose maintenant y = 1 ce qui donne

f (x − 1) + f (x)f (1) = 2x − 1
On réinjecte l’expression de f (x − 1) obtenue.
x−1
(f (x) + 1) + f (x)f (1) = 2x − 1
1+x
Cela donne donc pour x ̸= 1.

(2x − 1 + 2x2 − x) − (x − 1) x+1

f (x) = ·
x+1 x − 1 + f (1)(x + 1)
2x2
⇐⇒ f (x) =
x − 1 + f (1)(x + 1)
On rappelle que f (1)2 = 1.
Si f (1) = −1 on a f (x) = −x2 pour tout x ̸= 1.
Si f (1) = +1 on a f (x) = x pour tout x ̸= 1.

Synthèse : Si f : x 7→ x on a

f (xy − 1) + f (x)f (y) = xy − 1 + xy = 2xy − 1

2
Si f : x 7→ −x , on a
f (xy − 1) + f (x)f (y) = −(x2 y 2 − 2xy + 1) − x2 y 2 = −2xy − 1
Donc les seules solutions sont, x 7→ x ainsi que x 7→ −x2 .

12
Exercice 11 :
Déterminer toutes les fonctions f : N → N telles que f (0) = 0 et

f (x2 − y 2 ) = f (x)f (y)

pour tous les couples d’entiers positifs (x, y) tels que x > y.

Solution :
Analyse : Soit f une éventuelle solution. On pose y = 0 et on trouve pour x ≥ 1 que f (x2 ) = 0.
Ensuite on pose x ≥ 1 et y = x − 1 : on trouve f (2x − 1) = f (x)f (x − 1).

Comme f (1) = 0, par récurrence forte on a que f (2k + 1) = 0 pour tout entier k.
En effet, on a déjà f (1) = f (12 ) = 0.
Soit maintenant k un entier positif impair vérifiant k ≥ 1. On suppose que f (2x + 1) = 0 pour tout
entier x strictement inférieur à k.
On a f (2k + 1) = f (k)f (k + 1). Or 0 ≤ k < k + 1 < 2k + 1 donc comme soit k + 1 soit k est impair
et strictement inférieur à 2k + 1, on en déduit que f (2k + 1) = 0, ce qui conclut l’hérédité.

Ensuite on pose x ≥ 2 et y = x − 2, il vient que f (4x − 4) = f (x)f (x − 2). Là encore, par récurrence
forte f (4k) = 0.
En effet, f (0) = 0 ce qui donne l’initialisation. Soit k ≥ 1 tel que f (4l) = 0 pour tout entier l vérifiant
0 ≤ l < k. On a que f (4k) = f (4(k + 1) − 1) = f (k + 1)f (k − 1).
Si k est pair, k + 1 est impair donc f (k + 1) = 0 donc f (4k) = 0 ce qui conclut.
Sinon k + 1 et k − 1 sont deux nombres pairs distants de 2, donc un des deux est divisibles par 4, et
strictement inférieur à 4k, donc f (k + 1) = 0 ou f (k − 1) = 0 ce qui conclut.

Enfin, il reste le cas de entiers congrus à 2 modulo 4. Mais nous savons qu’une différence de deux
carrés n’est jamais congrue à 2 modulo 4 (car les carrés valent 0 ou 1 modulo 4), donc le membre de
gauche est toujours nul.
Il vient donc que pour tout x > y on a
0 = f (x)f (y)
Ainsi il serait absurde que deux entiers aient des images non nulles.
Nous en déduisons que f est est nulle partout, sauf éventuellement en un entier x0 = 4l + 2 pour
laquelle elle vaut un entier positif k.

Synthèse : soit f une telle fonction.

Notons d’abord que comme une différence de deux carrés n’est jamais congrue à 2 modulo 4, x2 − y 2
ne peut jamais valoir x0 , donc f (x2 − y 2 ) = 0 si x > y sont deux entiers positifs.
De plus, comme x > y, on ne peut avoir à la fois x = x0 et y = x0 , donc forcément soit f (x) = 0 soit
f (y) = 0.
On a alors bien f (x2 − y 2 ) = 0 = f (x)f (y) donc f est bien solution.

13
Exercice 12 :
Trouver toutes les fonctions f : R → R telles que

f (x2 − f (y)2 ) = xf (x) − y 2

pour tous x, y ∈ R.

Solution :
Analyse : Soit f une solution. Avec x = 0, on obtient : ∀y ∈ R : f (−f (y)2 ) = −y 2 (∗)
2 2 2 2 2 4
Soit t∈ R : par (∗) avec
 y = −f (t) , on a : f (−f (−f (t) ) ) = −(−f (t) ) = −f (t) ,
Or f − f (−f (t)2 )2 = f (−(−t2 )2 ) = f (−t4 ).
Finalement :
∀t ∈ R : −f (t)4 = f (−t4 ) (1)

Alors f (0)4 = −f (0), donc f (0) ∈ {−1, 0}

◦ Si f (0) = −1, on a, avec y = 0 : ∀x ∈ R, f (x2 − 1) = xf (x)
Alors, x = 0 donne f (−1) = 0, mais x = −1 donne f (0) = −f (−1) c’est-à-dire f (−1) = 1. Absurde.
Donc f (0) = 0.
y = 0 donne alors :
∀x ∈ R, f (x2 ) = xf (x) (2)

Montrons que f (y) = 0 =⇒ y = 0 (i).

Soit (x, y0 ) ∈ R2 tel que f (y0 ) = 0. xf (x) − y02 = f (x2 − f (y0 )2 ) = f (x2 ) = xf (x), donc y02 = 0, puis
y0 = 0.

Soit x ∈ R∗ : xf (x) = f (x) = f ((−x)2 ) = −xf (−x) donc f (x) = −f (−x), d’où f est impaire.
Alors (1) devient
∀t ∈ R : f (t)4 = f (t4 )

Soit t ∈ R∗ avec (2) : f (t4 ) = f ((t2 )2 ) = t2 f (t2 ) = t2 · (tf (t)) = t3 · f (t) = f (t)4
√
3
Or d’après (i), comme t ̸= 0, f (t) ̸= 0, donc f (t)3 = t3 , d’où f (t) = t3 = t.
L’unique solution éventuelle est donc la fonction identité.

Vérification : Si f = IdR : Soit (x, y) ∈ R2 , on a bien : f (x2 − f (y)2 ) = x2 − y 2 = xf (x) − y 2 .

L’unique solution est IdR .

14
Exercice 13 :
Déterminer toutes les fonctions f : R → R telles que

f (x2 ) − f (y 2 ) ≤ (f (x) + y)(x − f (y))

pour tous x, y ∈ R.

Solution :
Analyse : Soit P (x, y) la proposition:

f (x2 ) − f (y 2 ) ≤ (f (x) + y)(x − f (y))

P (x, x) : 0 ≤ (x + f (x))(x − f (x)) ⇐⇒ x2 ≥ f (x)2 =⇒ |f (x)| ≤ |x|

En particulier, f (0) = 0, donc:
(
P (x, 0) : f (x2 ) ≤ xf (x)
P (0, y) : f (y 2 ) ≥ yf (y)

Donc f (x2 ) = xf (x), on peut alors réécrire:

P (x, y) : f (x2 ) − f (y 2 ) ≤ (f (x) + y)(x − f (y)) ⇐⇒ xf (x) − yf (y) ≤ xf (x) − yf (y) + xy − f (x)f (y)

⇐⇒ xy ≥ f (x)f (y)
Si il existe x > 0 et y < 0 tels que f (x) et f (y) sont de même signe, alors l’inégalité n’est pas respectée.
Donc f garde le même signe sur R+ et sur R− (et ces signes sont opposés). Or si f est solution, alors
−f aussi (car P (x, y) devient P (y, x)), on peut donc supposer f (x) ≥ 0 pour x ≥ 0 et f (x) ≤ 0 pour
x ≤ 0 spdg. On a alors, pour x positif:

P (x, −x) : −x2 ≥ f (x)f (−x) ⇐⇒ x2 ≤ f (x) · (−f (−x))

Or d’après ce qu’on a vu au départ f (x) ≤ x et −f (−x) ≤ x, donc on a égalité et f (x) = x et

f (−x) = −x pour tout x. Finalement les seules solutions possibles sont donc x 7→ x et x 7→ −x.

Synthèse : Si f : x 7→ x :

f (x2 − y 2 ) = x2 − y 2 = (x − y)(x + y) = (f (x) + y)(x − f (y))

pour tous x, y ∈ R. En particulier, l’inégalité est vérifiée.

De même, si f : x 7→ −x :

f (x2 − y 2 ) = y 2 − x2 = (−x + y)(x + y) = (f (x) + y)(x − f (y))

pour tous x, y ∈ R. L’inégalité est encore vérifiée.

15