Diseguaglianza (Titolo poco originale e nemmeno bello)

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Vinci
Messaggi: 149
Iscritto il: 30 gen 2015, 18:38

Diseguaglianza (Titolo poco originale e nemmeno bello)

Messaggio da Vinci » 09 set 2017, 18:20

Siano $a_1,a_2,\dots,a_k$ $k$ interi $distinti$. Dimostrare che $$(a_1-a_2)^2+(a_2-a_3)^2+\cdots+(a_{k-1}-a_k)^2+(a_k-a_1)^2\ge \frac{4(k-1)^2}{k}$$

Luca Nalon
Messaggi: 20
Iscritto il: 03 lug 2015, 16:15

Re: Diseguaglianza (Titolo poco originale e nemmeno bello)

Messaggio da Luca Nalon » 10 set 2017, 01:18

Il caso [math] è banalmente vero, consideriamo d'ora in poi [math].

La funzione è simmetrica per traslazioni, inoltre possiamo supporre che la distanza tra termine minimo e massimo sia minima (ovvero $ k-1 $). Possiamo pertanto assumere [math]. Immaginiamo ora di disporre [math] sui vertici di un [math]-agono regolare.

Immaginando di percorrere in senso orario il [math]-agono partendo da $ 1 $, si dovrà prima "salire" fino a $ k $ e poi da qui "scendere" per tornare a $ 1 $ chiudendo il poligono. Per la disuguaglianza triangolare si ha [math]. Tale valore dovrà essere distribuito in $ k $ parti
(tutti i [math] al variare di $ i $).

Per minimizzare $ \displaystyle \sum_{i=1}^{k} (a_{i}-a_{i+1})^2 $ gli [math] dovranno essere il più equamente distribuiti possibile (per il caso di uguaglianza di AM-GM se vogliamo), ovvero [math] tenendo conto che sono $ k $ e devono sommare a $ 2k-2 $.

Una tale configurazione esiste per ogni [math], infatti per $ k $ pari sarà del tipo $ (1,2,4,...,k-2,k,k-1,k-3,...,5,3) $ mentre per $ k $ dispari $ (1,3,5,...,k-2,k,k-1,k-3,...,4,2) $ e in tal caso $ \displaystyle \sum_{i=1}^{k} (a_{i}-a_{i+1})^2 = 4k-6 $.

Ma $ \displaystyle4k-6\ge\frac{4(k-1)^2}{k} $ quando $ \displaystyle2\ge\frac{4}{k} $ ovvero per $ k\ge2 $.

Vinci
Messaggi: 149
Iscritto il: 30 gen 2015, 18:38

Re: Diseguaglianza (Titolo poco originale e nemmeno bello)

Messaggio da Vinci » 10 set 2017, 13:20

Mi sembra giusta, solo non ho capito il fatto del $k$-agono regolare (inoltre la dimostrazione funziona anche senza quella parte)

Luca Nalon
Messaggi: 20
Iscritto il: 03 lug 2015, 16:15

Re: Diseguaglianza (Titolo poco originale e nemmeno bello)

Messaggio da Luca Nalon » 10 set 2017, 13:50

giusto per rendere più chiaro quel passaggio che senza visualizzarlo mi sembrava difficile da cogliere

Vinci
Messaggi: 149
Iscritto il: 30 gen 2015, 18:38

Re: Diseguaglianza (Titolo poco originale e nemmeno bello)

Messaggio da Vinci » 10 set 2017, 14:44

Capito ;)
Si può fare anche così, chiamata $S:=\sum_{i=1}^{k}|a_i-a_{i+1}|$ (con $a_{k+1}=a_1$), una volta essersi resi conto che $S\ge 2k-2$ come hai fatto tu, la tesi viene applicando Cauchy-Schwarz alle $k$-uple $\{1,1,\dots,1\}$ e $\{|a_1-a_2|,\dots,|a_k-a_1|\}$

Rispondi

Chi c’è in linea

Visitano il forum: Nessuno e 6 ospiti