Ex1: Montrer par récurrence que, pour tout n `in ` `NN` *,
`sum_(k=1)^nk(k+1)=(n(n+1)(n+2))/3`
Ex2: Soit (un) la suite définie par u0=0 et, pour tout n `>=`1: `u_(n+1)=1/(1+1/u_n)`
Après avoir calculé les trois premiers termes, établir une conjecture sur l'expression de un en fonction de n et la démontrer par récurrence
Ex3: Soit (un) la suite définie par: `{(u_0=1),(u_(n+1)=u_n^2+3):}` pour tout n `>=` 1
Montrer par récurrence que, pour tout n de `NN` on a un`>=` 2n
Pour montrer qu'une suite (un) est.... |
...une suite arithmétique de raison r |
...une suite géométrique de raison q |
On prouve que... |
un+1-un=r | un+1=qun |
On écrit un en fonction de n: |
un=up+(n-p)r si p=0, un=u0+nr |
un=up(q)n-p si p=0, un=u0qn |
On détermine la somme S de termes consécutifs d'une suite: |
S=(nbre de termes)x`((1er terme)+(dernier terme))/2` |
S=(1er terme)x`(1-q^(nbre de termes))/(1-q)` |
(ascenseur en bas de page...)
Application: suites arithmético-géométriques forme un+1=aun+b
Pour prouver que la suite (un) est majorée ou minorée par M, on peut:
Ex4: On considère la suite (un)définie par:
u0=0 et pour tout n`in NN` , un+1=`sqrt(3un+4)`
Montrer par récurrence que 0`<=` Un`<=` 4
On peut:
Exemple: on reprend la suite (un) de l'exercice 4
on pose `f(x)=sqrt(3x+4)` sur [0; +`oo` [
la fonction f est croissante sur [0; +`oo` [ comme composée de fonctions croissantes et on note Pn: "un`lt=` un+1"
Par récurrence | ||
(1) Etude du signe de un+1-un | (2) En utilisant les inégalités | (3) En utilisant le sens de variation d'une fonction |
un+1-un=`sqrt(3un+4)-u_n` un+1-un=`(3u_n+4-u_(n)^2)/(sqrt(3u_n+4)+u_n)` Comme `sqrt(3u_n+4)+u_ngt0 ` Or` 3x+4-x^2` est positif entre -1 et 4 et on a vu à l'exercice 4 que `0lt=u_nlt=4` donc `3u_n+4-u_(n)^2gt=0`
Par suite (un) est croissante |
Initialisation:On a u0=0 et u1=2. au rang n=0 on a u0`lt=` u1, donc la propriété est vraie au rang n=0 | |
Hérédité: Supposons que pour un n fixé on ait un`lt=` un+1 et démontrons que un+1`lt=` un+2 | ||
Comme un`lt=` un+1, alors:
|
Comme un`lt=` un+1, alors: f(un)`lt=` f(un+1) donc un+1`lt=` un+2 Conclusion: |
On applique la définition des suites adjacentes et on prouve que:
Ex5: On considère les suites (un) et (vn) définies par `u_n=sum_(k=1)^(k=n)1/k^2` et ` v_n=u_n+1/n`
Montrer que ces deux suites sont adjacentes
Pour prouver qu'une suite (un) est convergente, on peut:
De plus: si la suite (un) est du type un+1= f(un) et si (un) converge vers l et si f est continue en l, alors l vérifie f(l)=l