Ingrandendo i fattori...

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
g(n)
Messaggi: 109
Iscritto il: 14 ott 2007, 19:24
Località: Codroipo, il paese più anagrammato d'Italia

Ingrandendo i fattori...

Messaggio da g(n) » 16 gen 2009, 10:23

Non so se sia già stato postato, comunque lo metto lo stesso. Dati $ a_1,\ldots,a_n $ reali positivi tali che $ a_1\cdot \ldots\cdot a_n=1 $, dimostrare che

$ (1+a_1)\cdot \ldots\cdot (1+a_n)\geq 2^n $

Buon lavoro :D

Avatar utente
Davide90
Messaggi: 200
Iscritto il: 12 mag 2008, 20:05
Località: Padova / Modena
Contatta:

Messaggio da Davide90 » 16 gen 2009, 14:11

La disuguaglianza di Chebycheff è valida anche per varie n-uple di reali? Cioè, è vero che (arrivando per esempio fino alla j-esima n-upla), con qualche condizione sull'ordinamento delle n-uple,
$ $ \displaystile n^{j-1}\cdot \sum_{i=1}^{n} a_i \cdot b_i \cdot c_i \cdots j_i \le \sum_{i=1}^{n} a_i \cdot \sum_{i=1}^{n} b_i \cdot \sum_{i=1}^{n} c_i \cdots \sum_{i=1}^{n} j_i $ :?:
Se è vero, allora è sufficiente considerare le n coppie $ \{ 1;a_i\} $ e la disuguaglianza è verificata. :roll:
"[L'universo] è scritto in lingua matematica, e i caratteri son triangoli, cerchi, ed altre figure geometriche; [...] senza questi è un aggirarsi vanamente per un oscuro laberinto." Galileo Galilei, Il saggiatore, 1623
[tex] e^{i\theta}=\cos \theta +i \sin \theta[/tex]

Avatar utente
Davide90
Messaggi: 200
Iscritto il: 12 mag 2008, 20:05
Località: Padova / Modena
Contatta:

Messaggio da Davide90 » 16 gen 2009, 14:52

Molto probabilmente quella scritta sopra è una scemenza... Dunque provo a scrivere una soluzione corretta :)
$ $ \displaystile (1+a_1)\cdot \ldots\cdot (1+a_n) = 1+\sum_{sym}a_1 +\sum_{sym} a_1a_2+\sum_{sym}a_1a_2a_3+\dots+\prod_{i=1}^na_i $ ma per AM-QM
$ $ \displaystile \geq 1+\binom{n}{1} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{0}}{\binom{n}{1}}} +\binom{n}{2} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{1}}{\binom{n}{2}}} +\binom{n}{3} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{2}}{\binom{n}{3}}}+\dots +\binom{n}{n} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{n}}{\binom{n}{n}}} = 1+\binom{n}{2} +\binom{n}{3} +\dots +\binom{n}{n}= 2^n $
All'ultimo passaggio ho usato la formula per la somma dei coefficienti binomiali)
(che fatica... :shock: ) Bel problema però!! :D
Ultima modifica di Davide90 il 16 gen 2009, 15:45, modificato 2 volte in totale.
"[L'universo] è scritto in lingua matematica, e i caratteri son triangoli, cerchi, ed altre figure geometriche; [...] senza questi è un aggirarsi vanamente per un oscuro laberinto." Galileo Galilei, Il saggiatore, 1623
[tex] e^{i\theta}=\cos \theta +i \sin \theta[/tex]

Avatar utente
SkZ
Messaggi: 3333
Iscritto il: 03 ago 2006, 21:02
Località: Concepcion, Chile
Contatta:

Messaggio da SkZ » 16 gen 2009, 15:10

sbaglio o manca un $ $\sum a_i $?
cmq mi pare cambi nulla
impara il [tex]~\LaTeX[/tex] e mettilo da par[tex]\TeX~[/tex]

Software is like sex: it's better when it's free (Linus T.)
membro: Club Nostalgici
Non essere egoista, dona anche tu! http://fpv.hacknight.org/a8.php

Avatar utente
Davide90
Messaggi: 200
Iscritto il: 12 mag 2008, 20:05
Località: Padova / Modena
Contatta:

Messaggio da Davide90 » 16 gen 2009, 15:35

Si, giusto... :oops: Ora correggo
"[L'universo] è scritto in lingua matematica, e i caratteri son triangoli, cerchi, ed altre figure geometriche; [...] senza questi è un aggirarsi vanamente per un oscuro laberinto." Galileo Galilei, Il saggiatore, 1623
[tex] e^{i\theta}=\cos \theta +i \sin \theta[/tex]

g(n)
Messaggi: 109
Iscritto il: 14 ott 2007, 19:24
Località: Codroipo, il paese più anagrammato d'Italia

Messaggio da g(n) » 16 gen 2009, 17:25

Sì, giusto :D

Volevo proporre una mini generalizzazione:

$ (m+a_1)\cdot \ldots \cdot(m+a_n)\geq (m+1)^n $

ma dovrebbe venire automatica a questo punto.

Jacobi
Messaggi: 227
Iscritto il: 08 mar 2007, 16:29

Messaggio da Jacobi » 16 gen 2009, 18:07

Davide90 ha scritto:Molto probabilmente quella scritta sopra è una scemenza... Dunque provo a scrivere una soluzione corretta :)
$ $ \displaystile (1+a_1)\cdot \ldots\cdot (1+a_n) = 1+\sum_{sym}a_1 +\sum_{sym} a_1a_2+\sum_{sym}a_1a_2a_3+\dots+\prod_{i=1}^na_i $ ma per AM-QM
$ $ \displaystile \geq 1+\binom{n}{1} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{0}}{\binom{n}{1}}} +\binom{n}{2} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{1}}{\binom{n}{2}}} +\binom{n}{3} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{2}}{\binom{n}{3}}}+\dots +\binom{n}{n} \left(\prod_{1=1}^n a_i\right)^{\frac{\binom{n}{n}}{\binom{n}{n}}} = 1+\binom{n}{2} +\binom{n}{3} +\dots +\binom{n}{n}= 2^n $
All'ultimo passaggio ho usato la formula per la somma dei coefficienti binomiali)
(che fatica... :shock: ) Bel problema però!! :D
c'e' un modo mooolto piu semplice (:D) x farlo: per AM-GM e' $ 1+a_i \geq 2\sqrt{ 1 \cdot a_i} \longrightarrow \prod_{i=1}^{n}{(1+a_i)} \geq \prod_{i=1}^{n}{2 \sqrt{a_i}} = 2^n \sqrt{\prod_{i=1}^{n}{a_i}} = 2^n $ (si puo fare lo stesso anke con l'altra)
MIND TORNA CON NOI

g(n)
Messaggi: 109
Iscritto il: 14 ott 2007, 19:24
Località: Codroipo, il paese più anagrammato d'Italia

Messaggio da g(n) » 16 gen 2009, 23:37

Volendo si può svolgere il prodotto, vedere che saltano fuori 2^n addendi, applicare AM-GM e, per simmetria, ogni $ a_i $ comparirà lo stesso numero di volte nella GM, cosicchè GM=1, da cui la tesi.

@Jacobi: :o ottima soluzione, non ci avevo pensato :D

Carlein
Messaggi: 315
Iscritto il: 26 nov 2007, 18:16
Località: Napoli

Messaggio da Carlein » 15 apr 2009, 22:27

Si lo so che rasento la necrofilia di topic anch'io. Niente di profondo e veramente interessante(molto probabilmente alla fin fine è quasi la stessa pappa delle cose che avete detto ma servita in un altro modo), ma così per sfizio m'andava di scrivere, e metto come ho fatto io.
Se uno sviluppa la somma come Davide può accoppiare ad ognuno dei $ 2^n $ addendi il prodotto che dà l'inverso (insomma se uno ha messo $ a_1....a_j $ ora lo accoppia con $ a_{j+1}....a_n $) ora è noto che(ma due conti bastano a mostrarlo) $ x+1/x \geq 2 $,x positivo. Dunque sia S quella somma, abbiamo $ S \geq 2^{n-1}2 $$ =2^n $
:oops:
Lo stolto è colui che dice quello che sa.Il saggio è colui che sa quello che dice.
"And then one day you find,ten years have got behind you,no one told when to run,you missed the starting gun"

Rispondi