ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Exercices de synthèse

Exercice 20

Démonstration

On note EE l'ensemble des suites réelles (un)(u_{n}) vérifiant : ∀n∈ℕ,un+2=5un+1−6un\forall n \in \mathbb{N}, \qquad u_{n+2}=5u_{n+1}-6u_{n}

1. Démontrer que EE est un sous-espace vectoriel de 𝒮(ℝ)\mathcal{S}(\mathbb{R}).

2. Vérifier que les suites a=(2n)n∈ℕa=\big(2^{n}\big)_{n \in \mathbb{N}} et b=(3n)n∈ℕb=\big(3^{n}\big)_{n \in \mathbb{N}} appartiennent à EE.

3. Démontrer que la famille (a ;b)(a\,;b) est libre.

4. Soit u∈Eu \in E. Démontrer qu'il existe un unique couple (λ ;μ)(\lambda\,;\mu) de réels tel que u0=λ+μu_{0}=\lambda+\mu et u1=2λ+3μu_{1}=2\lambda+3\mu, puis que u=λa+μbu=\lambda a+\mu b.

5. Conclure : (a ;b)(a\,;b) est une base de EE. Déterminer la suite de EE vérifiant u0=1u_{0}=1 et u1=0u_{1}=0.

Corrigé

1. L'ensemble EE est une partie de 𝒮(ℝ)\mathcal{S}(\mathbb{R}), et la suite nulle vérifie la relation. Soient uu, v∈Ev \in E et λ∈ℝ\lambda \in \mathbb{R}. Pour tout n∈ℕn \in \mathbb{N} : (λu+v)n+2=λun+2+vn+2=λ(5un+1−6un)+(5vn+1−6vn)=5(λu+v)n+1−6(λu+v)n(\lambda u+v)_{n+2}=\lambda u_{n+2}+v_{n+2}=\lambda\big(5u_{n+1}-6u_{n}\big)+\big(5v_{n+1}-6v_{n}\big)=5(\lambda u+v)_{n+1}-6(\lambda u+v)_{n}

E est un sous-espace vectoriel de 𝒮(ℝ).\boxed{E \text{ est un sous-espace vectoriel de } \mathcal{S}(\mathbb{R}).}

2. Pour tout n∈ℕn \in \mathbb{N} : 5×2n+1−6×2n=(10−6)×2n=4×2n=2n+25 \times 2^{n+1}-6 \times 2^{n}=(10-6) \times 2^{n}=4 \times 2^{n}=2^{n+2}

5×3n+1−6×3n=(15−6)×3n=9×3n=3n+25 \times 3^{n+1}-6 \times 3^{n}=(15-6) \times 3^{n}=9 \times 3^{n}=3^{n+2}
a∈Eetb∈E\boxed{a \in E \qquad\text{et}\qquad b \in E}

3. Soient λ\lambda et μ\mu tels que λa+μb=0\lambda a+\mu b=0, c'est-à-dire λ2n+μ3n=0\lambda 2^{n}+\mu 3^{n}=0 pour tout nn. En prenant n=0n=0 puis n=1n=1 : λ+μ=0et2λ+3μ=0\lambda+\mu=0 \qquad\text{et}\qquad 2\lambda+3\mu=0 En reportant λ=−μ\lambda=-\mu dans la seconde, il vient μ=0\mu=0, puis λ=0\lambda=0. La famille (a ;b) est libre.\boxed{\text{La famille } (a\,;b) \text{ est libre.}}

4. Le système λ+μ=u0\lambda+\mu=u_{0}, 2λ+3μ=u12\lambda+3\mu=u_{1} se résout en soustrayant deux fois la première ligne à la seconde : μ=u1−2u0etλ=3u0−u1\boxed{\mu=u_{1}-2u_{0} \qquad\text{et}\qquad \lambda=3u_{0}-u_{1}} et cette solution est unique. Posons alors v=λa+μbv=\lambda a+\mu b, qui appartient à EE d'après la question 1. Par construction v0=u0v_{0}=u_{0} et v1=u1v_{1}=u_{1}.

Montrons par récurrence double que un=vnu_{n}=v_{n} pour tout nn. C'est vrai aux rangs 00 et 11. Si c'est vrai aux rangs nn et n+1n+1, alors : un+2=5un+1−6un=5vn+1−6vn=vn+2u_{n+2}=5u_{n+1}-6u_{n}=5v_{n+1}-6v_{n}=v_{n+2} les deux suites vérifiant la même relation de récurrence. u=λa+μb : la famille (a ;b) est geˊneˊratrice de E.\boxed{u=\lambda a+\mu b \text{ : la famille } (a\,;b) \text{ est génératrice de } E.}

5. Libre d'après la question 3 et génératrice d'après la question 4 : (a ;b) est une base de E.\boxed{(a\,;b) \text{ est une base de } E.} Pour u0=1u_{0}=1 et u1=0u_{1}=0, la question 4 donne λ=3\lambda=3 et μ=−2\mu=-2 : ∀n∈ℕ,un=3×2n−2×3n\boxed{\forall n \in \mathbb{N}, \qquad u_{n}=3 \times 2^{n}-2 \times 3^{n}} Vérification : u0=3−2=1u_{0}=3-2=1 et u1=6−6=0u_{1}=6-6=0 ✓

Dans l'édifice

Thèmes

espaces vectoriels, sous-espaces vectoriels, familles libres, bases, espaces de suites

Notions

espace vectoriel, sous-espace vectoriel, famille libre, base (algèbre linéaire)

Ouvrir dans l'atlas interactif →