Aide pour les futurs mathématiciens
 
AccueilAccueil  PortailPortail  RechercherRechercher  S'enregistrerS'enregistrer  Connexion  

Partagez
 

 Une suite. 2^n > a_0.

Aller en bas 
AuteurMessage
mathman
Modérateur


Masculin Nombre de messages : 967
Age : 30
Date d'inscription : 31/10/2005

Une suite. 2^n > a_0. Empty
MessageSujet: Une suite. 2^n > a_0.   Une suite. 2^n > a_0. EmptySam 26 Aoû 2006, 10:05

Soit a_0 € N*.
La suite (a_n) est définie par :
a_{i+1} = a_i/2 si a_i est pair;
a_{i+1} = 3a_i - 1 si a_i est impair. (pour i = 0, 1, 2, ...)

Montrer que si n €N* est tel que a_n = a_0, alors 2^n > a_0.
Revenir en haut Aller en bas
pco
Expert sup


Masculin Nombre de messages : 678
Date d'inscription : 06/06/2006

Une suite. 2^n > a_0. Empty
MessageSujet: Re: Une suite. 2^n > a_0.   Une suite. 2^n > a_0. EmptySam 26 Aoû 2006, 14:16

Hello Mathman,

Dans la chaîne conduisant de a_0 à a_(n-1), on considère que l'on rencontre p nombres pairs et i nombres impairs (avec n = p+i). Comme chaque nombre impair est nécessairement suivi d'un nombre pair (x impair ==> 3x-1 pair), on a bien sûr p>=i

Si on appelle f(x)=x/2, g(x) = (3x-1)/2 et h(x) = 3x/2, on voit que f, g et h sont monotones croissantes et que h o f = f o h > f o g > g o f.
Donc h^[i] o f^[p-i] (a_0) >= a_n >= g^[i] o f^[p-i] (a_0) = 3^i/2^p a_0 - (3/2)^u + 1
Donc 3^i/2^p >= a_n > 3^i/2^p a_0 - (3/2)^i (avec première inégalité stricte si i>0)

Si a_n = a_0 pour n > 0, on a donc nécessairement i > 0 et 3^i/2^p a_0 > a_0 > 3^i/2^p a_0 - (3/2)^i
==> 3^i > 2^p et a_0 < (3/2)^i / (3^i/2^p - 1)

Or, 3^i > 2^p
==> 3^i > 2^p + (3/4)^i (puisque (3/4)^i < 1)
==> (3/2)^i < 3^i 2^i - 2^n
==> (3/2)^i < (3^i/2^p - 1)2^n
==> (3/2)^i / (3^i/2^p - 1) < 2^n
==> a_0 < 2^n

CQFD

--
Patrick
Revenir en haut Aller en bas
 
Une suite. 2^n > a_0.
Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» un exo en suite
» Enigme suite (la suite !!!)
» suite némurique (urgent )
» suite - algorithme
» Les Jacobins. (complet)

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
Forum des amateurs de maths :: Olympiades :: Divers-
Sauter vers: