Enigmes

Forum dédié aux énigmes et à toutes formes de jeux de logique.

Déconnexion

Tu n'es pas identifié sur Prise2tete : s'identifier.

accueil Accueil forum Forum
[+]

 #1 - 27-05-2011 12:58:21

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

rncadrement de la factorielle

Je commence par vous rappeller une inégalité utile [latex]\sqrt{ab}\leq \frac{a+b}{2}[/latex].

Vous pouvez la démontrer ou trouver la preuve dans une de mes précédente énigme.

En utilisant cette inégalité et en associant entre eux des termes du produit qu'est [latex]n![/latex] de


façon astucieuse dans le but d'obtenir [latex](n!)^2[/latex], démontrer que

Pour tout [latex]n \geq1[/latex],  [latex]n^{\frac{n}{2}}\leq n!\leq \left(\frac{n+1}{2}\right)^n[/latex].


Bon courage.



Annonces sponsorisées :

Un mathématicien complet est topologiquement fermé!
  • |
  • Répondre

#0 Pub

 #2 - 27-05-2011 14:09:15

MthS-MlndN
Hors d'u-Sage
Enigmes résolues : 49
Messages : 12,414E+3
Lieu: Rouen

ebcadrement de la factorielle

D'office, ça pue l'astuce gaussienne...



Partie de droite

Gauss enfant, d'après la légende, avait calculé la somme des entiers de 1 à 100 en remarquant :
[TeX]1+100=2+99=3+98= \dots = 101[/TeX]
d'où une somme valant [latex]50 \times 101 = 5050[/latex].

Pareil ici, du moins pour n pair :
[TeX]n! = (1 \times n) \times (2 \times (n-1)) \times \dots \times \left( \frac n2 \times \frac{n+1}2 \right)[/TeX]
D'après la fameuse inégalité utile, chacun de ces [latex]\frac{n}{2}[/latex] sous-produits est inférieur à [latex]\left( \frac{n+1}2 \right)^2[/latex], d'où :
[TeX]n! \le \left( \frac{n+1}2 \right)^n[/TeX]
Avec n impair, le principe est le même, on laisse juste de côté le terme central de la factorielle, qui est [latex]\frac{n+1}2[/latex], et hop.



Partie de gauche

Je pars de la même décomposition par paires d'entiers (pour n pair), et constate que la fonction f définie par [latex]f(x)=x(n+1-x)[/latex] a pour dérivée [latex]f'(x)=n+1-2x[/latex], et donc est strictement croissante pour [latex]x \le \frac{n+1}2[/latex].

Par conséquent, chaque terme du produit, de la forme f(x) pour x entier entre 1 et [latex]\frac n2[/latex], est supérieur à [latex]f(1) = n[/latex]. Il y a [latex]\frac{n}{2}[/latex] termes, donc :
[TeX]n! \ge n^{\frac n2}[/TeX]
Si n est impair, cette technique permet d'obtenir, en formant [latex]\frac{n-1}2[/latex] paires et en laissant l'élément central tout seul :
[TeX]n! \ge n^{\frac {n-1}2} \times \frac{n+1}{2}[/TeX]
Il suffit alors de montrer [latex]\frac{n+1}{2} \ge \sqrt{n}[/latex] soit [latex](n+1)^2 \ge 4 n[/latex] soit [latex](n-1)^2 \ge 0[/latex].


Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298

 #3 - 27-05-2011 14:26:01

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Encadrement de laa factorielle

Gauss quand tu nous tiens ...


Un mathématicien complet est topologiquement fermé!

 #4 - 27-05-2011 14:26:33

MthS-MlndN
Hors d'u-Sage
Enigmes résolues : 49
Messages : 12,414E+3
Lieu: Rouen

Encadrement d ela factorielle

Un peu tôt pour lâcher ce genre d'indices, non ? smile


Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298

 #5 - 27-05-2011 14:53:20

Milou_le_viking
Professionnel de Prise2Tete
Enigmes résolues : 30
Messages : 434

enxadrement de la factorielle

(n+1)/2 est la moyenne des nombres de 1 à n.
Or (m-a).(m+a)= m²-a² <= m² avec m comme moyenne.
Et on a aussi:
(m-a).(m+a).(m-b).(m+c).(m-d).(m+d). ... < m^(6+...)
avec m comme moyenne de facteur de gauche.

D'où la seconde inégalité est vérifiée.

Je cherche la suite...

Pour tout n>=1

Si je ne me troupe pas, la factorielle n'est définie que pour des nombres naturels. Donc c'est un pléonasme. ^^

 #6 - 27-05-2011 15:58:04

irmo322
Professionnel de Prise2Tete
Enigmes résolues : 36
Messages : 203

Encadrement dde la factorielle

[TeX]n!=\prod_{k=1}^{k=n} k
n!=\bigg(\prod_{k=1}^{k=n} \sqrt{k}\bigg)^2
n!=\prod_{k=1}^{k=n} \sqrt{k}\cdot \sqrt{n+1-k}
n!\leq \prod_{k=1}^{k=n} \frac{k+(n+1-k)}{2}
n!\leq\big(\frac{n+1}{2}\big)^n
[/TeX]
Pour la deuxième inégalité, on remarque que: [latex]\forall a, b \in [1, +\infty[, a\cdot b \geq a+b-1[/latex].
Et on recommence:
[TeX]n!=\prod_{k=1}^{k=n} k
n!=\sqrt{\prod_{k=1}^{k=n} k^2}
n!=\sqrt{\prod_{k=1}^{k=n} k\cdot (n+1-k)}
n!\geq \sqrt{\prod_{k=1}^{k=n} k+(n+1-k)-1}
n!\geq \sqrt{n^n}

n!\geq n^{\frac{n}{2}}[/TeX]

 #7 - 27-05-2011 16:12:22

Kikuchi
Passionné de Prise2Tete
Enigmes résolues : 46
Messages : 91

Encadremment de la factorielle

Tout ce que j'ai retenu d'une de tes précédentes énigmes, c'est que quand tu nous souhaites bon courage, je peux m'attendre à y laisser des neurones. lol


There's no scientific consensus that life is important

 #8 - 27-05-2011 17:37:51

gwen27
Elite de Prise2Tete
Enigmes résolues : 49
Messages : 5,648E+3

Encadrement de la factoriell

Pour un nombre pair
rac n!n! = rac (1*n)^2  rac(2*(n-2)¨^2 .... rac(n/2 (n/2 +1))^2
n! < (n+1 /2)^2 (n+1 /2)^2 .....n/2 fois
n! < (n+1)/2 ^n
pour un nombre impair
rac n!n! = rac (1*n)^2  rac(2*(n-2)¨^2 .... rac(n/2 +1)^2 pour un nombre pair
idem donc : n! < (n+1)/2 ^n

Pour la première partie, j'hésite à partir de n^n/2) =rac n^n... à voir.

 #9 - 29-05-2011 10:44:44

nodgim
Elite de Prise2Tete
Enigmes résolues : 0
Messages : 3137

Encadremnt de la factorielle

Cet encadrement n'est pas très très fin.....

 #10 - 30-05-2011 13:15:34

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

encafrement de la factorielle

Je ne crois pas avoir fait de pléonasme...
Quant à la finesse des inégalités, elle n'est pas si mal compte tenu des méthodes employées...

Bravo à tous.


Un mathématicien complet est topologiquement fermé!

 #11 - 30-05-2011 13:21:31

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Encadrment de la factorielle

J'oublie la réponse, et bien il suffit de lire la preuve d'irmo.


Un mathématicien complet est topologiquement fermé!
 

Réponse rapide

Rédige ton message
| | | | Upload | Aide
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool:
Sécurité

Répondez à la devinette suivante : 

Le père de toto a trois fils : Riri, Fifi et ?

Sujets similaires

Mots clés des moteurs de recherche

Mot clé (occurences)
Encadrement de gauss de la factorielle (18) — Encadrement factorielle (10) — Somme des n facorielles (7) — Encadrement de la factorielle (6) — Encadrement de n factorielle (5) — Encadrement de factorielle n (5) — Encadrement factorielle n (4) — Les inegalites de factorielle (3) — Encadrer factoriel (2) — Somme de factorielles (2) — Calcul factoriel (2) — Somme facctoriel (2) — Encadrer n factorielle (2) — Encadrement de gauss de factorielle (2) — Inegalite avec factorielle (2) — Encadrement somme de factoriel (2) — Encadrement de gauss de la factorielle demonstration (1) — Encadrement de factorielle n gauss (1) — Encadrement factoriell n (1) — L encadrement de n de gauss (1) — Encradrement avec des factorielle (1) — La factorielle (1) — Factorielle en sage (1) — Enigme plusieurs triangle factoriel (1) — Calcul factoriel 100 gauss (1) — En encadrement de e factorielle de n (1) — N factorielle gauss (1) — Inegalite sur n factoriel (1) — Encadrement de gauss de la factoruelle (1) — (1) — Encadrement de gauss de factorielle n (1) — Encadrer une factorielle (1) — La factorielle a gauche (1) — Encadrement de gauss de la factorielle correction (1) — Inegalites de factorielles (1) — Factoriel n est il inferieur a ?2/2^n/2 (1) — Encadrements du factoriel (1) — Somme factorielle encadrement gendarme (1) — Encadrement de e^x factorielle (1) — Un=somme k factorielle encadrement (1) — Encadrement avec des factoriels (1) — Somme inverse factorielle encadrement (1) — Calcul de gausse factoriel (1) — Factorielle gauche (1) — Encadrement factorielles (1) — Factorielle de 100 gauss (1) — Inegalite entre factorielle et somme de factorielle (1) — Factorielle n gauss (1) — Encadrement de la somme de rac(1) +... rac(n) (1) — Encadrer x factorielle (1) — Les inegalite sur la somme de factoriel (1) — Somme de la factorielle (1) — Encadrement de e factorielle (1) — Gauss factoriel (1) — Encadrement gauss factorielle (1) — Encadrement de n factoriel (1) — Inegalite avec factorielle n (1) — Formule factorielle de gauss (1) — Demontrons n/ (rac(n2 + n) < un < n/ rac(n2+1) (1) — Encadrement de n! (1) — Encadrement (1) — Encadrement facoriel (1) — Encadrement de n factoriel formule (1) — Solution encadrement de gauss de la factorielle (1) — Inegalite factorielle n+1 (1) — Iegalite n factoriel (1) — Inegalite somme factorielle (1) — Encadrement de e factorielle k (1) — Somme factorielle encadrement (1) — Factorielle n encadrement (1) — Somme d une suite factorielle encadrement (1) — Factorielle n encadrement 2/rac(5) (1) — Encadrement de factoriel(n) (1) — Inegalites factoriel (1) — L encadrement de n factoriel (1) —

Pied de page des forums

P2T basé sur PunBB
Screenshots par Robothumb

© Copyright 2002–2005 Rickard Andersson

Prise2Tete Forum Statistiques Liste des membres Hall of Fame Contact
© Prise2tete - Site d'énigmes et de réflexion.
Un jeu où seules la réflexion, la logique et la déduction permettent de trouver la solution.

Flux RSS de Prise2Tete Forum Jeux & Prise2Tete Test & Prise2Tete Partenariat et Publicité sur Prise2Tete