
Lycée Mohammed VI
CPGE Kénitra
Devoir Surveillé
N◦4
Pr. Idrissi Abdelatif
MPSI 1
La qualité de la rédaction et de la présentation, la clarté et la précision des
raisonnements constitueront des éléments importants pour l’appréciation des copies.
Il convient en particulier de rappeler avec précision les références des questions
abordées.
⋆⋆⋆⋆⋆
Problème 1
L’objectif du problème est d’étudier l’ensemble noté Edes fonctions continues de Rdans Rsolutions d’une certaine
équation fonctionnelle. Soit f∈ C0(R,R)quelconque,
f∈ E ⇔ ∀(x, y)∈R2:f(x+y) + f(x−y)=2f(x)f(y)
On pourra utiliser librement le résultat suivant dont la démonstration n’est pas demandée.
Soit aun réel strictement positif fixé et
Da=nap
2qtq p∈Z, q ∈No
tout nombre réel est alors la limite d’une suite d’éléments de Da.
On appelle fonction cosinus hyperbolique la partie paire de la fonction exponentielle définie par :
∀x∈R,cosh(x) = ex+e−x
2
On appelle fonction sinus hyperbolique la partie impaire de la fonction exponentielle définie par :
∀x∈R,sinh(x) = ex−e−x
2
Partie I
1. Montrer que la fonction cos est dans E.
2. a. Montrer que cosh est paire et que sinh est impaire.
b. Soient x, y ∈R. Exprimer cosh(x+y)à l’aide des fonctions cosh et sinh en xet y.
c. En déduire que la fonction cosh est dans E.
3. Soit f∈ E et α∈R.
Montrer que la fonction fαdéfinie par : x7→ 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 fest la fonction identiquement nulle.
c. Si f(0) = 1 alors fest une fonction paire.
Partie II
La partie Fest constituée par les éléments de Eautres que la fonction identiquement nulle et qui s’annulent au moins
une fois. Dans toute cette partie fdésigne une fonction de Ffixée. On pose
E={x > 0tq f(x)=0}
1. a. Montrer que f(0) = 1 et que fs’annule au moins une fois sur R∗
+.
b. Montrer que Eadmet 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 gdans Rpar : ω=π
2aet g:x7→ cos(ωx).
1