Dimostrazione disuguaglianza - SNS1991

Messaggioda elios » 16/04/2010, 14:44

Salve a tutti. Ho questo problema:

"Provare che per ogni numero intero \( \displaystyle {n}\ge{2} \), si ha \( \displaystyle {\sqrt[{{n}}]{{{n}!}}}\lt\frac{{{n}+{1}}}{{2}} \)" .

Essendoci una disequazione in \( \displaystyle {n} \) numero intero, ho pensato che si potesse dimostrarla con il principio di induzione. Quindi ipotizzando che sia vera per \( \displaystyle {n} \), provo a dimostrare che sia vera per \( \displaystyle {n}+{1} \).
\( \displaystyle {\sqrt[{{n}+{1}}]{{{n}+{1}}}}!\lt\frac{{{n}+{2}}}{{2}} \)
Il primo membro può essere scritto come \( \displaystyle {\sqrt[{{n}+{1}}]{{{n}!}}}\cdot{\sqrt[{{n}+{1}}]{{{n}+{1}}}} \).
Per ogni \( \displaystyle {n} \) si ha che \( \displaystyle {\sqrt[{{n}+{1}}]{{{n}!}}} \) è minore di \( \displaystyle {\sqrt[{{n}}]{{{n}!}}} \) , che per ipotesi è minore di \( \displaystyle \frac{{{n}+{1}}}{{2}} \). Quindi
\( \displaystyle {\sqrt[{{n}+{1}}]{{{n}!}}}\lt\frac{{{n}+{1}}}{{2}} \).
E' solo che quella parte è moltiplicata per un'altra radice, quindi non so più come andare avanti..

Grazie mille dell'aiuto, sempre prezioso.

[mod="@melia"]Ti ho corretto le radici e ho tolto le tue precisazioni, altrimenti il testo risultava di difficile comprensione, spero di non aver fatto pasticci[/mod]
L'egoista è una persona di cattivo gusto, più interessata a se stessa, che a me. (Ambrose Bierce)
elios
Average Member
Average Member
 
Messaggi: 937
Iscritto il: 05/10/2007, 19:25
Località: Ascoli Piceno

Messaggioda dissonance » 16/04/2010, 16:46

Butto lì un'idea molto generica, senza riflettere: al membro sinistro della disuguaglianza da dimostrare compare una media geometrica:

\( \displaystyle \displaystyle \left( 1 \cdot 2 \cdot 3 \cdot \ldots \cdot n \right)^\frac{1}{n} \)

Hai provato a giocare con le disuguaglianze standard tra medie?
Avatar utente
dissonance
Moderatore
Moderatore
 
Messaggi: 9901
Iscritto il: 24/05/2008, 19:39
Località: Bari

Messaggioda blackbishop13 » 16/04/2010, 17:30

direi che l'idea di dissonance è risolutiva, se sai che

\( \displaystyle {\sqrt[{{n}}]{{{\prod_{{{i}={1}}}^{{{n}}}}{x}_{{i}}}}}\le\frac{{{\sum_{{{i}={1}}}^{{{n}}}}{x}_{{i}}}}{{n}} \)

e questa è proprio la nota disuguaglianza AM-GM (la prima è la media geometrica, la seconda è la media aritmetica)

in due passaggi hai finito.

P.S. bentornata elios, ci mancavano i quesiti SNS!! :D
Nelle scienze si cerca di dire in un modo che sia capito da tutti, qualcosa che nessuno sapeva. Nella poesia, è esattamente l’opposto. P. Dirac

Il più semplice scolaro è oggi familiare con delle verità per cui Archimede avrebbe sacrificato la sua vita. E. Renan
Avatar utente
blackbishop13
Senior Member
Senior Member
 
Messaggi: 1632
Iscritto il: 06/04/2009, 19:10
Località: Biella / Pisa

Messaggioda elios » 16/04/2010, 20:48

Grazie mille della correzione al testo e dei suggerimenti! E grazie del bentornata! :)

Ricapitolando, noto che \( \displaystyle {\sqrt[{{n}}]{{{n}!}}} \) è la media geometrica dei primi \( \displaystyle {n} \) numeri naturali, la quale, per AM-GM, è minore della media aritmetica \( \displaystyle \frac{{{1}+{2}+{3}+\ldots+{n}}}{{n}} \). Ricordando che la somma dei primi \( \displaystyle {n} \) numeri naturali (cioè il denominatore della media aritmetica) è \( \displaystyle {n}\frac{{{n}+{1}}}{{2}} \), allora la media aritmetica è \( \displaystyle {n}\frac{{{n}+{1}}}{{2}}\cdot\frac{{1}}{{n}}=\frac{{{n}+{1}}}{{2}} \), come volevasi dimostrare.

Grazie ancora!
L'egoista è una persona di cattivo gusto, più interessata a se stessa, che a me. (Ambrose Bierce)
elios
Average Member
Average Member
 
Messaggi: 937
Iscritto il: 05/10/2007, 19:25
Località: Ascoli Piceno


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Yahoo [Bot] e 0 ospiti