QM-AM

Polinomi, disuguaglianze, numeri complessi, ...
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

QM-AM

Messaggio da jordan »

"Dati $ a_1,a_2,..a_n $ reali positivi allora $ \displaystyle \frac{a_1+a_2+...+a_n}{n} \le \sqrt{\frac{a_1^2+a_2^2+...+a_n^2}{n}} $, con uguaglianza se e solo se $ a_i=a_{i+1}, 1 \le i \le n-1 $".

Conosciuta no?
Proporrei che ogni risposta corrisponda a una dimostrazione possibilmente diversa.. Arriveremo a dieci? :lol:
The only goal of science is the honor of the human spirit.
Il_Russo
Messaggi: 347
Iscritto il: 16 gen 2007, 16:04
Località: Pisa

Messaggio da Il_Russo »

Iniziamo con i classici

Cauchy-Schwarz su $ (a_1, \ldots, a_n) $ e $ \{1\}^n $, cioè n-upla di tutti 1.

Infatti:
$ \displaystyle (1\cdot a_1 + \ldots + 1\cdot a_n)^2 \leq (\overbrace{1+\ldots+1}^n)(a_1^2+\ldots+a_n^2) $

per Cauchy-Schwartz, da cui, dividendo per $ n^2 $

$ \displaystyle \frac{(a_1 + \ldots + a_n)^2}{n^2} \leq \frac{(a_1^2+\ldots+a_n^2)}{n} $

ed estraendo la radice

$ \displaystyle \frac{a_1 + \ldots + a_n}{n} \leq \sqrt{\frac{a_1^2+\ldots+a_n^2}{n}} $
Ultima modifica di Il_Russo il 02 dic 2008, 15:35, modificato 1 volta in totale.
Presidente della commissione EATO per le IGO
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan »

E la prima va al nostro russo (che torna fra noi! :D :D )
The only goal of science is the honor of the human spirit.
Avatar utente
mod_2
Messaggi: 726
Iscritto il: 18 ago 2007, 20:26
Località: In fondo a destra

Messaggio da mod_2 »

Va bene se dico media p-esima?
Appassionatamente BTA 197!
Avatar utente
Anér
Messaggi: 722
Iscritto il: 03 giu 2008, 21:16
Località: Sabaudia

Messaggio da Anér »

Elevo alla seconda e uso Chebycheff con $ \frac{a_1}{n},\frac{a_2}{n} $...
Sono il cuoco della nazionale!
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan »

yaaaa,
la seconda va a mod, e la terza a Aner :P :P
The only goal of science is the honor of the human spirit.
pasqui90
Messaggi: 11
Iscritto il: 11 lug 2008, 19:39

Messaggio da pasqui90 »

Jensen sulla funzione $ f(x)=x^2 $ che a quanto pare è convessa... e successiva estrazione di radice quadrata... :)
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan »

e pasqui90 con Karamata va la quarta!
Adesso il gioco inizia a diventare divertente :P
The only goal of science is the honor of the human spirit.
Avatar utente
Anér
Messaggi: 722
Iscritto il: 03 giu 2008, 21:16
Località: Sabaudia

Messaggio da Anér »

Prendo i due vettori $ \left(\frac{a_1}{n}; \cdots ; \frac{a_n}{n}\right) $ e $ (1;\cdots ;1) $, e ne faccio il prodotto scalare e il prodotto delle norme. Poiché il prodotto scalare è il prodotto delle norme per il coseno dell'angolo compreso tra i vettori, e poiché tale coseno è minore o uguale a uno, con il prodotto scalare ottengo qualcosa di più piccolo.
Sono il cuoco della nazionale!
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan »

Anér ha scritto:[...] Poiché il prodotto scalare è il prodotto delle norme per il coseno dell'angolo compreso tra i vettori[...]
Quasi quasi chauchy, comunque diamola buona, siamo a 5 di nuovo con Aner :D
The only goal of science is the honor of the human spirit.
Avatar utente
Anér
Messaggi: 722
Iscritto il: 03 giu 2008, 21:16
Località: Sabaudia

Messaggio da Anér »

jordan ha scritto:Quasi quasi chauchy, comunque diamola buona, siamo a 5 di nuovo con Aner :D
In effetti possiamo aggiungere tutte le dimostraizioni di Cauchy, dunque anche l'induzione su n e il famoso polinomio somma di quadrati.
Ultima modifica di Anér il 02 dic 2008, 18:21, modificato 1 volta in totale.
Sono il cuoco della nazionale!
Avatar utente
Nonno Bassotto
Site Admin
Messaggi: 970
Iscritto il: 14 mag 2006, 17:51
Località: Paris
Contatta:

Messaggio da Nonno Bassotto »

Questo topic potrebbe diventare utile per i nuovi, però bisognerebbe modificare i messaggi che avete postato per aggiungere i dettagli di ogni dimostrazione (magari richiamando anche le disuguaglianze note che citate). Se ne avete voglia... :wink:
The best argument against democracy is a five-minute conversation with the average voter. - Winston Churchill
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan »

Nonno Bassotto ha scritto:Questo topic potrebbe diventare utile per i nuovi, però bisognerebbe modificare i messaggi che avete postato per aggiungere i dettagli di ogni dimostrazione
Grazie :D
Ci penso io... a condizione che si arrivi a dieci :twisted:
The only goal of science is the honor of the human spirit.
Jacobi
Messaggi: 227
Iscritto il: 08 mar 2007, 16:29

Messaggio da Jacobi »

per omogeneita possiamo porre wlog $ \sum_{i=1}^{n}{a_i}=1 $ e quindi la disuguaglianza diventa : $ \sum_{i=1}^{n}{a_i^2}\geq \frac{1}{n} $.Ora cominciamo con l'artiglieria pesante :D : poniamo $ f(a_1, ..., a_n) = \sum_{i=1}^{n}{a_i^2} - \frac{1}{n} $ e $ g(a_1, ..., a_n) = \sum_{i=1}^{n}{a_i} - 1 $, allora per lagrange deve essere: $ {\nabla f} = \lambda \nabla g $ , da cui: $ 2a_i = \lambda $, quindi sommando tt le disuguaglianze e ricordando ke $ \sum_{i=1}^{n}{a_i}=1 $ abbiamo: $ \lambda = \frac{2}{n} $, da cui $ a_i = \frac{1}{n} $. poiche le derivate parziali seconde di f sn tt uguali a 2 ke e positivo tale punto e un minimo da cui la tesi 8)
MIND TORNA CON NOI
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Messaggio da jordan »

ok a jacobi (che non si è dimenticato le condizioni del secondo ordine :D ), siamo a sei adesso..
The only goal of science is the honor of the human spirit.
Rispondi