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

Partagez
 

 suite!!

Aller en bas 
AuteurMessage
eto
Maître
eto

Masculin Nombre de messages : 198
Date d'inscription : 03/05/2006

suite!! Empty
MessageSujet: suite!!   suite!! EmptySam 24 Juin 2006, 00:36

salut suite!! 50bfbd3badf270ef5b41e0a51892589a etsuite!! B79a8e461e9bf30fc1f40a2464480100
monter quesuite!! 1d64570f52e33b088292f9da9e0fc271
Revenir en haut Aller en bas
mathman
Modérateur


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

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptySam 24 Juin 2006, 09:23

Ceci n'est vrai que pour n >= 4. Wink
Revenir en haut Aller en bas
eto
Maître
eto

Masculin Nombre de messages : 198
Date d'inscription : 03/05/2006

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptySam 24 Juin 2006, 09:59

je l ai pas encore resolu
je n ai fait q1 (copier coller) Razz
Revenir en haut Aller en bas
abdelbaki.attioui
Administrateur
abdelbaki.attioui

Masculin Nombre de messages : 2558
Localisation : maroc
Date d'inscription : 27/11/2005

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptySam 24 Juin 2006, 10:08

(x_4)²>5

_________________
وقل ربي زد ني علما
Revenir en haut Aller en bas
http://mathsmaroc.jeun.fr/
eto
Maître
eto

Masculin Nombre de messages : 198
Date d'inscription : 03/05/2006

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptySam 24 Juin 2006, 10:11

et x_2?
Revenir en haut Aller en bas
Weierstrass
Expert sup
Weierstrass

Masculin Nombre de messages : 2079
Age : 30
Localisation : Maroc
Date d'inscription : 03/02/2006

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptyDim 25 Juin 2006, 13:10

pour tout n ?
Revenir en haut Aller en bas
Weierstrass
Expert sup
Weierstrass

Masculin Nombre de messages : 2079
Age : 30
Localisation : Maroc
Date d'inscription : 03/02/2006

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptyDim 25 Juin 2006, 13:27

je pense qu'il ya une erreur n'est ce pas?
Revenir en haut Aller en bas
pco
Expert sup


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

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptyJeu 06 Juil 2006, 19:40

Bonsoir à tous.
J'ai longtemps cherché sans trouver. C'est ma soeur (prof de maths) qui propose cette solution:

Soit g(x) = x + 1/x; g(x) est décroissante sur ]0,1]
On va montrer par récurrence que
pour tout n > 3 : n^(1/2) + n^(-3/2) < x_n < (n+1)^(1/2)

Initialisation :
Pour n=4, on a :
n^(1/2) + n^(-3/2) = 2,125
(n+1)^(1/2) = 2,236
x_4 = 13/6 = 2,166
et la propriété est vérifiée.

Hérédité :
Supposons donc n > 3 et
n^(1/2) + n^(-3/2) < x_n < (n+1)^(1/2)
Alors
n^(-1/2) + n^(-5/2) < x_n/n < (n+1)^(1/2) /n
Comme (n+1)^(1/2) n^(-1/2) < 1, on est dans la zone où g(x) est décroissante et on a donc :
g((n+1)^(1/2)/n) < g(x_n/n) < g(n^(-1/2) + n^(-5/2) )
Et donc :
g((n+1)^(1/2)/n) < x_(n+1) < g(n^(-1/2) + n^(-5/2) )

g((n+1)^(1/2) /n) = (n+1)^(1/2)/n + n/(n+1)^(1/2)
= (n+1)^(1/2) + n^(-1)(n+1)^(-1/2)
Et comme n^(-1) > (n+1)^(-1) :
g((n+1)^(1/2) /n) > (n+1)^(1/2) + (n+1)^(-3/2)
et donc :
x_(n+1) > (n+1)^(1/2) + (n+1)^(-3/2)
et la première partie de l'hérédité est vérifiée.

Il reste à montrer :
g(n^(-1/2) + n^(-5/2) ) < (n+2)^(1/2)
Soit :
n^(-1/2) + n^(-5/2) + 1/(n^(-1/2) + n^(-5/2)) < (n+2)^(1/2)
((n^2+1)^2 + n^5)/(n^(5/2)(n^2+1)) < (n+2)^(1/2)
((n^2+1)^2 + n^5)^2/(n^5(n^2+1)^2) < (n+2)
((n^2+1)^2 + n^5)^2 < (n+2)n^5(n^2+1)^2
(n^2+1)^4 + n^10 + 2n^5(n^2+1)^2 < (n+2)(n^9 + 2n^7 + n^5)
(n^2+1)^4 + n^10 + 2n^5(n^2+1)^2 < n^10 + 2n^8 + n^6 + 2n^9 + 4n^7 + 2n^5
(n^2+1)^4 < 2n^8 + n^6
0 < n^8 - 3n^6 - 6n^4 - 4n^2 - 1

Si on écrit
f(x) = x^4 - 3x^3 - 6x^2 - 4x - 1
f'(x) = 4x^3 - 9x^2 - 12x - 4
f''(x) = 12x^2 - 18x - 12 = 12(x-2)(x+1/2)
Pour x > 2 f''(x)>0 et f'(x) est croissante
Comme f'(4) = 60 > 0, on sait donc que f'(x) > 0 pour x > 4
Pour x > 4, f(x) est donc croissante.
Comme f(5) = 79 > 0 et que f(x) croît pour x > 4, on a
f(x) > 0 pour x > 5
Donc f(x^2) > 0 pour x > 3
Donc n^8 - 3n^6 - 6n^4 - 4n^2 - 1 > 0 pour n > 3
Ouf ..... !
Ceci clôt l'hérédité

Donc
pour tout n > 3 : n^(1/2) + n^(-3/2) < x_n < (n+1)^(1/2)
Soit :
pour tout n > 3 : n^(1/2) < x_n < (n+1)^(1/2)
Soit :
pour tout n > 3 : n < x_n^2 < n+1
Et donc :
pour tout n > 3 : [x_n^2] = n

CQFD

--
Patrick
Revenir en haut Aller en bas
mathman
Modérateur


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

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptyVen 07 Juil 2006, 12:22

Voici la preuve que je connais pour ce problème :

On pose f(x) = x/n + n/x.
Comme f(a) - f(b) = ((a-b)(ab-n²))/(abn), f est décroissante sur ]0, n].

On commence par prouver que : n^(1/2) <= x_n <= n/((n-1)^(1/2)), pour n >= 3.
Initialisation : 3^(1/2) <= x_3 = 2 <= 3/(2^(1/2)), c'est bon.
Hérédité : On suppose que n^(1/2) <= x_n <= n/((n-1)^(1/2)) pour n >= 3, et on a : x_{n+1} = f(x_n) <= f(n^(1/2)) = (n+1)/(n^(1/2)),
et : x_{n+1} = f(x_n) >= f(n/((n-1)^(1/2))) = n/((n-1)^(1/2)) > (n+1)^(1/2), c'est bon.

Maintenant on doit prouver que x_n < (n+1)^(1/2) pour n >= 4.
On a : x_{n+1} = f(x_n) >= f(n/((n-1)^(1/2))) = n/((n-1)^(1/2)) avec n >= 3, d'où : x_n >= (n-1)/((n-2)^(1/2)), avec n >= 4,
et donc : x_{n+1} = f(x_n) < f((n-1)/((n-2)^(1/2))) = ((n-1)² + n²(n-2))/((n-1)n(n-2)^(1/2)) < (n+2)^(1/2), avec n >= 4.

On a donc [x_n^2] = n, avec n >= 5, et on vérifie manuellement que [x_4^2] = 4.
Revenir en haut Aller en bas
pco
Expert sup


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

suite!! Empty
MessageSujet: Re: suite!!   suite!! EmptyVen 07 Juil 2006, 13:37

Bonjour,

Pas mal, mais du même ordre de complexité que celle que j'ai donnée.
En particulier, prouver que ((n-1)² + n²(n-2))/((n-1)n(n-2)^(1/2)) < (n+2)^(1/2), avec n >= 4 nécessite un peu de développement et l'étude d'une cubique.

Par ailleurs, cette inégalité est vraie pour n=3 et la récurrence précédente est vraie aussi pour n=2 car 2^(1/2) <= x_2 = 2 <= 2/(1^(1/2)).
On peut donc commencer un cran plus tôt, ce qui évite d'avoir à vérifier manuellement le cas x_4.

Bravo quand même.
--
Patrick
Revenir en haut Aller en bas
Contenu sponsorisé




suite!! Empty
MessageSujet: Re: suite!!   suite!! Empty

Revenir en haut Aller en bas
 
suite!!
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: