Inégalité pas trop complexe ...
Olympiades mathématiques, énigmes et défis
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 00:34
Salut,
D'après des dires, certains sont en manque d'olympiades. :we: ...
Pour

, montrer que pour toute famille
_{1\le i \le n}})
de

nombres réels strictements positifs, on a :
(\frac{1}{a_1}+...+\frac{1}{a_n}) \ge n^2})
Bonne chance.
Thomas G :zen:
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 13 Juil 2006, 00:52
moyen arithmetique

moyen geometrique
on a pour
_{1\le k\le n})
et (>0)
^n\ge\bigprod_{k=1}^na<br />b_k=B_b)
donc

donc
^n(\frac{\frac{1}{a_1}+...\frac{1}{a_n}}{n})^n\ge 1)
donc
(\frac{1}{a_1}+...\frac{1}{a_n}) \ge n^2)
-
Mikou
- Membre Rationnel
- Messages: 910
- Enregistré le: 06 Nov 2005, 13:17
-
par Mikou » 13 Juil 2006, 10:17
L'inégalité de cauchy schwarz donne pour tout

reels
:
 \times ( {B_1}^2 + ... +{B_n}^2) \geq (A_1 B_1 + ... A_n B_n )^2)
En prenant

et

On retrouve donc
(\frac{1}{a_1} + .. + \frac{1}{a_n} ) \geq ( sqrt{a_1} \times \frac{1}{\sqrt{a_1}} .... )^2)
soit finalement
(\frac{1}{a_1} + .. + \frac{1}{a_n} ) \geq n^2)
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 13 Juil 2006, 12:37
si
_{1\le i\le n})
croissante et
_{1\le i\le n})
décroissantes alors:
(b_1+...+b_n)\ge n\bigsum_{i=1}^na_ib_i)
on suppose que
_{1\le i\le n})
est croissante
et on pose

qui est décroissante
donc
(b_1+...+b_n)\ge n\bigsum_{i=1}^na_ib_i=n\bigsum_{i=1}^n1=n^2)
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 12:46
salut aviateurpilot et Mikou,
Aviateurpilot,
Je ne suis pas bien réveillé : d'où vient la première inégalité. :dodo:
Sinon, j'ai posté ma solution pour le polynôme, si tu veux y faire un tour...
Je poserai 2 ou 3 exos sympas par semaine.
Au fait, t'es sûr que t'es en terminale !!
Je te donnerai un niveau math sup. :we:
Thomas G :zen:
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 13 Juil 2006, 12:56
nekros a écrit:Au fait, t'es sûr que t'es en terminale !!
Je te donnerai un niveau math sup.
je te jure
je suis encore en terminal
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 12:57
Et pour l'inégalité ??
Thomas G :zen:
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 13:08
Franchement je vois pas :cry:
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 13 Juil 2006, 13:10
je l'ai vu dans le cour
\ge)
...des moyens...
je l'ai vu l'année derniere
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 13:16
ok merci ! :++:
Thomas G :zen:
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 13 Juil 2006, 13:18
tu ne connais pas ça?
tu es en quel niveau ?
moi j'ai vu ça en 2eme année du lycée
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 13:40
Le niveau en France au lycée est plus bas que celui du Maroc.
Je l'ai démontré par récurrence.
Sinon l'année prochaine je serais en licence de mathématiques.
Thomas G :zen:
-
Chimomo
- Membre Relatif
- Messages: 275
- Enregistré le: 17 Juin 2006, 09:23
-
par Chimomo » 13 Juil 2006, 14:47
L'inégalité arithmético-géométrique peut se démontrer en deux lignes (une démo assez sympa).
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 16:03
Je suis preneur ! :id:
Thomas G :zen:
-
Chimomo
- Membre Relatif
- Messages: 275
- Enregistré le: 17 Juin 2006, 09:23
-
par Chimomo » 13 Juil 2006, 17:09
La fonction ln est conave (évident). Donc
 <= \displaystyle\sum_{k=1}^{n}\frac{ln(x_{k})}{n}=ln((\prod_{k=1}^{n}x_{k})^{1/n}))
On passe à l'exponentielle et c'est fini
-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 18:17
Ok merci.
ln est concave car sa dérivée seconde est négative. (juste pour ceux qui ne le savaient pas)
Thomas G :zen:
-
Bouchra
- Membre Relatif
- Messages: 113
- Enregistré le: 13 Juil 2006, 15:38
-
par Bouchra » 13 Juil 2006, 22:27
Bonsoir,
Une autre méthode :

-
nekros
- Membre Irrationnel
- Messages: 1507
- Enregistré le: 30 Oct 2005, 18:57
-
par nekros » 13 Juil 2006, 22:38
Merci Bouchra pour cette belle démonstration.
Thomas G :zen:
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 9 invités