PCSI1-PCSI2 DNS n˚09 - Pour le mardi 31 janvier 2017 2016-2017
15. Que peut-on dire si l’hypothèse «𝑓(0) = 1» est remplacée par l’hypothèse «𝑓(0) = −1» ?
16. Conclusion ?
Dans les questions 17 à21, on suppose que
𝑓est une solution du problème posé et que 𝑓(0) = 0.
17. En raisonnant par l’absurde et en considérant une suite de même type que celle des questions
12 à16, montrer : ∀𝑥∈ℝ, 𝑓(𝑥)∕=−1et 𝑓(𝑥)∕= 1.
On définit alors la fonction 𝑔par : ∀𝑥∈ℝ,𝑔(𝑥) = argth(𝑓(𝑥)).
18. Montrer : ∀𝑥∈ℝ, 𝑔(2𝑥) = 2𝑔(𝑥).
19. Montrer que 𝑔est dérivable en zéro.
20. Soit 𝑥∈ℝ∗. On définit la suite (𝑣𝑛)𝑛∈ℕpar : ∀𝑛∈ℕ,𝑣𝑛=𝑔(𝑥
2𝑛)
𝑥
2𝑛
.
Montrer que la suite (𝑣𝑛)est convergente et déterminer sa limite.
On pourra remarquer que 𝑔est dérivable en 0.
21. En déduire que 𝑔est linéaire.
22. Déterminer toutes les fonctions solutions du problème posé.
Exercice 2 On définit la fonction 𝑓par : 𝑓(𝑥) = 4 −1
4ln(𝑥).
1. Etudier la fonction 𝑓sur son ensemble de définition.
2. Montrer que l’intervalle [3,4] est stable par 𝑓: on rappelle que cela signifie 𝑓([3,4]) ⊂[3,4], ce
qui peut se prouver par l’implication (𝑥∈[3,4]) ⇒(𝑓(𝑥)∈[3,4]).
3. Montrer que l’équation «𝑓(𝑥) = 𝑥» admet une unique solution ℓsur [3,4].
4. On définit la suite (𝑢𝑛)𝑛∈ℕpar : 𝑢0= 3 et, pour tout 𝑛∈ℕ,𝑢𝑛+1 =𝑓(𝑢𝑛).
(a) Justifier : ∀𝑛∈ℕ,𝑢𝑛∈[3,4].
(b) Ecrire un script en Python qui calcule 𝑢𝑛pour 𝑛∈[[ 0 ; 10 ]].
(c) Montrer : ∀𝑛∈ℕ,∣𝑢𝑛+1 −ℓ∣⩽1
12 ∣𝑢𝑛−ℓ∣.
(d) En déduire : ∀𝑛∈ℕ,∣𝑢𝑛−ℓ∣⩽1
12𝑛. Puis conclure quant à la nature de la suite (𝑢𝑛)𝑛∈ℕ.
(e) A partir de quel rang 𝑛0est-on assuré que 𝑢𝑛est une valeur approchée de ℓà10−14 près ?
5. On définit les suites (𝑣𝑛)𝑛∈ℕet (𝑤𝑛)𝑛∈ℕpar :
∀𝑛∈ℕ,𝑣𝑛=𝑢2𝑛et 𝑤𝑛=𝑢2𝑛+1.
(a) Montrer que ces deux suites sont adjacentes.
(b) La valeur 𝑢𝑛0trouvée à la question (4e) est-elle une valeur approchée de ℓpar défaut ou
par excès ?
–2/2– Lycée Faidherbe, Lille