Corrige DL 704
Corrige DL 704
Corrige DL 704
PROBLÈME 1
1.a. La fonction restreinte cos| : [0, π] → [−1] est une fonction bijective
décroissante. La fonction Arccos est sa bijection réciproque. C’est Arccos (x) est
donc la fonction Arccos : [−1, 1] → [0, π] qui vérifie pour tout couple l’unique antécédent
(x, t) de réels de x par la fonction
b. On en déduit
4
x −1 1
y = Arccos
2 (x)
Arccos ′ (x) −
1 0
&0
Arccos (x) −2 0 2 4
y = cos| (x)
−2
c. Soit x ∈ [−1, 1], on pose t = π − Arccos (x) alors t ∈ [0, π] et t est l’unique
cos(t) = −x. Finalement, on a bien Arccos (−x) = π − Arccos (x). antécédent de −x par
la fonction cos qui
d. Soit x ∈ [−1, 1], on pose t = Arccos (x) de sorte que t ∈ [0, π] et
x = cos(t). Ainsi, soit compris entre 0
et π, par définition,
1
2.a. Soit x ∈ R, quelques lignes de trigo donnent
cos(2x) = 2 cos2 (x) − 1
cos(3x) = cos(2x + x) = cos(2x) cos(x) − sin(2x) sin(x)
= cos(x) 2 cos2 (x) − 1 − 2 cos(x) sin2 (x)
2
d. Soit x ∈ [−1, 1], arbitraire fixé il y avait longtemps
qu’on ne l’avait pas
T0 (x) = cos(0) = 1 rappelé ! !
T1 (x) = cos(Arccos (x)) = x
T2 (x) = cos(2Arccos (x)) = 2 cos2 (Arccos (x)) − 1 = 2x2 − 1
5. Soit n ∈ N⋆ .
a. Soit x ∈ [−1, 1].
Tn (x) = 0 ⇐⇒ cos(nArccos (x)) = 0
π
⇐⇒ nArccos (x) ≡ [π]
2
π π
⇐⇒ Arccos (x) ≡ [ ]
2n n
π + 2kπ
⇐⇒ ∃k ∈ Z, Arccos (x) =
2n
π + 2kπ
⇐⇒ ∃k ∈ [[0, n − 1]], Arccos (x) =
2n
π + 2kπ
⇐⇒ ∃k ∈ [[0, n − 1]], x = cos
2n
π + 2kπ
Finalement S = cos ; k ∈ [[0, n − 1]] .
2n
6.a. Soit a ∈ R. On utilise les formules de Moivre :
(cos(a) + i sin(a))n + (cos(a) − i sin(a))n = (cos(na) + i sin(na)) + (cos(na) − i sin(na))
= 2 cos(na)
3
n sin(nArccos (x))
b. Soit x ∈] − 1, 1[, Tn′ (x) = √ . Par suite
1 − x2