CPGE IBN TIMIYA Année scolaire : 2024-2025
Classe MPSI1 Devoir libre
Une equation fonctionnelle
f ∈ E ⇔ ∀(x, y) ∈ R2 : f (x + y) + f (x − y) = 2f (x)f (y) (1)
On pourra utiliser librement le résultat suivant dont la démonstration n’est pas demandée
Soit a un réel strictement positif fixé et
n p o
Da = a q tq p ∈ Z, q ∈ N
2
tout nombre réel est alors la limite d’une suite d’éléments de Da .
Partie I.
1. Montrer que la fonction cos est dans E.
2. Exprimer pour x et y réels ch(x+y) à l’aide des fonctions ch et sh en x et y. En déduire que la fonction
ch est dans E.
3. Soit f ∈ E et α ∈ R. Montrer que la fonction fα définie par
x 7→ fα (x) = f (αx)
est dans E.
4. On fixe un élément f ∈ E. Montrer que :
a. f (0) ∈ {0, 1}
b. Si f (0) = 0 alors f est la fonction identiquement nulle.
c. Si f (0) = 1 alors f est une fonction paire.
Partie II.
La partie F est constituée par les éléments de E autres que la fonction identiquement nulle et qui s’annulent
au moins une fois. Dans toute cette partie f désigne une fonction de F fixée. On pose
E = {x > 0 tq f (x) = 0}
1. a. Montrer que f (0) = 1 et que f s’annule au moins une fois sur R∗+ .
b. Montrer que E admet une borne inférieure que l’on notera a. Cette notation est valable pour toute
la suite de la partie.
c. Prouver que f (a) = 0. En déduire a > 0.
d. Montrer que pour tous les x ∈ [0, a[, f (x) > 0.
2. On définit un réel ω et une fonction g dans R :
π
ω= g : x 7→ cos(ωx)
2a
a. Soit q un entier naturel, montrer que
a a 2
f ( q ) + 1 = 2 f ( q+1 )
2 2
1
b. En déduire que pour tout entier naturel q :
a a
f( q
) = g( q )
2 2
c. Prouver que f (x) = g(x) pour tout x ∈ Da .
3. Montrer que f = g. En déduire tous les éléments de F.
Partie III.
Dans toute cette partie, f désigne une fonction de E qui ne s’annule pas.
1. On définit par récurrence une suite avec les relations
r
1 1 + un
u0 = √ , ∀n ∈ N : un+1 =
2 2
Montrer que cette suite est croissante, majorée par 1 et préciser sa limite.
2. a. Montrer que f (x) ≥ √1 pour tout x réel.
2
b. Montrer que f (x) ≥ 1 pour tout x réel.
3. Montrer qu’il existe un réel α ≥ 0 tel que
∀x ∈ R : f (x) = ch(αx)
