| 
 | |||||||||||||||||||||||||||||||||||||||||||||

| Analyse de la suite 
 qui converge vers ½ pour n infini Étude formelle pas à pas
  avec au préalable une vision expérimentale (algorithme et programmation). | 
| 
 | ||
| Étude expérimentale de  la suite  | 
 n est un entier strictement positif | |
|  Programme
  Maple 
 | Algorithme (commentaires) Se mettre en situation de départ. Mettre u à 0 et fixer n à 1000. Lancer une boucle de calcul avec k allant de 1 à
  n. Calculer le nouveau terme de la suite (sin(k/n²) et l'ajouter à la valeur de la suite u déjà
  calculée. Fin de la boucle (od  = do à l'envers). Évaluez la valeur finale de u et l'afficher (effet du point virgule). La valeur affichée est proche de 0,5 = 1/2 | |
| Convergence
  de cette suite | 
 | |
Voir Programmation

Guide de la démonstration formelle

| 
 | ||
| Prenons
  la suite plus simple  | 
 | |
| Mise en
  facteur | 
 | |
| 
 | ||
| Limite de
  cette suite | 
 | |
| 
 | |||
| Pré-requis: fonctions qui ne prennent de des valeurs
  positives sur  On étudie
  la dérivée | 
 
 Or cosinus(x) est compris entre -1 et +1 => f' est strictement
  croissante pour x positif. => x est plus grand que sin(x). | 
 | |
| Fonction
  ayant la précédente pour dérivée | 
 
 => g est strictement croissante pour x positif. | 
 | |
| Nouvelle
  fonction ayant la précédente pour dérivée | 
 
 => h est strictement croissante pour x positif. | 
 | |
| Conséquence
  pour sin(x). Notez qu'ici, x = n, un entier à partir de 1. | 
 Ex: sin(1) = 0,841… > 0,833... sin(1,57) = 1… > 0,924... | 
 | |
| Bilan | 
 |  | |
| 
 | ||
| Nous
  allons montrer que => Pour tout
  entier non nul. | 
 | |
| Nous avons
  vu que  | 
 | |
| Et pour
  tout k de 1 à n et x = k/n² | 
 | |
| En
  sommant pour les différentes valeurs de k | 
 | |
| Notons la
  somme
  des cubes. | 
 | |
| Ce qui
  donne | 
 | |
| Autre
  partie de l'inégalité avec x
  positif | 
 
 | |
| Et pour
  tout k de 1 à n et x = k/n² | 
 | |
| En
  sommant pour les différentes valeurs de k | 
 | |
| Bilan
  avec les deux inégalités | 
 | |
| Notre
  suite est encadrée par deux suites qui tendent vers la limite de Vn quand n tend vers l'infini | 
 | |

| Suite | |
| Voir | 
 | 
| Aussi | |
| DicoNombre | 
 | 
| Cette page | http://villemin.gerard.free.fr/aMaths/Analyse/Limite/Sinkn2.htm
   | 
