Disuguaglianza Cesenatico 1993

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Carlitosming
Messaggi: 18
Iscritto il: 02 apr 2010, 10:50

Disuguaglianza Cesenatico 1993

Messaggio da Carlitosming »

Dimostra che per tre numeri a,b,c reali positivi minori di 1


$ \left a^{2}+b^{2} +c^{2}\right \left\leq \left a^{2}b+b^{2}c +c^{2}a+1 \right $
Modificato
Ultima modifica di Carlitosming il 05 apr 2010, 09:33, modificato 1 volta in totale.
Avatar utente
Francutio
Messaggi: 1104
Iscritto il: 17 feb 2008, 08:05
Località: Torino

Re: Disuguaglianza Cesenatico 1993

Messaggio da Francutio »

Carlitosming ha scritto:Dimostra che per tre numeri a,b,c reali positivi minori di 1


$ \left a^{2}+b^{2} +c^{2}\right \left\geq \left a^{2}b+b^{2}c +c^{2}a+1 \right $
Sei sicuro che il testo sia corretto?

EDIT: eh, direi che è sbagliato il verso della disuguaglianza....
EDIT2: Ok :D
ngshya
Messaggi: 231
Iscritto il: 26 gen 2010, 19:08
Contatta:

Messaggio da ngshya »

Supponiamo che $ $0<a\le b\le c <1$ $, allora $ $a^2c\le c^2a$ $.

Vogliamo ora dimostrare che $ $a^2+b^2+c^2 \le a^2b+b^2c+a^2c+1 \le a^2b+b^2c+c^2a+1$ $.

La seconda disuguaglianza è vera, per la prima:
$ $a^2-a^2c+b^2-b^2c+c^2-1-a^2b=(1-c)(a^2+b^2-c-1)-a^2b \le 0$ $
che è certamente vera perché $ $1-c >0$ $ e $ $a^2+b^2-c-1<0$ $.
Il_Russo
Messaggi: 347
Iscritto il: 16 gen 2007, 16:04
Località: Pisa

Messaggio da Il_Russo »

ngshya ha scritto:Supponiamo che $ $0<a\le b\le c <1$ $, ...
Non puoi. La diseguaglianza e' ciclica e non simmetrica. Ma si aggiusta facilmente dicendo solamente che a deve essere la piu' piccola delle variabili (puoi usando la ciclicita').
Presidente della commissione EATO per le IGO
Avatar utente
julio14
Messaggi: 1208
Iscritto il: 11 dic 2006, 18:52
Località: Berlino

Messaggio da julio14 »

Per chi ci piace la brute force, si può anche riscrivere $ $a^2(1-b)+b^2(1-c)+c^2(1-a)\leq1 $, a questo punto il LHS può essere visto come parabola convessa in $ $a $ che quindi si maggiorizza agli estremi, poi idem in $ $b $ e si chiude. C'è di buono che le parabole sono sempre convesse, così i conti sono veramente pochi, e non c'è bisogno di farsi venire idee.
ngshya
Messaggi: 231
Iscritto il: 26 gen 2010, 19:08
Contatta:

Messaggio da ngshya »

Il_Russo ha scritto:
ngshya ha scritto:Supponiamo che $ $0<a\le b\le c <1$ $, ...
Non puoi. La diseguaglianza e' ciclica e non simmetrica. Ma si aggiusta facilmente dicendo solamente che a deve essere la piu' piccola delle variabili (puoi usando la ciclicita').
Azz... Grazie! :D
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Messaggio da <enigma> »

Domanda stupida: sarebbe lecito (ma soprattutto utile) porre $ a= \frac 1 x $, $ b= \frac 1 y $, $ c= \frac 1 z $ e svolgere i calcoli riducendo a denominatore comune le frazioni per lavorare con numeri il cui quadrato sia maggiore del numero stesso?
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
dario2994
Messaggi: 1428
Iscritto il: 10 dic 2008, 21:30

Messaggio da dario2994 »

Lecito si, utile non mi pare ;)
...tristezza ed ottimismo... ed ironia...
Io ti racconto lo squallore di una vita vissuta a ore di gente che non sa più far l'amore...
"Allora impara a fare meno il ruffiano. Io non lo faccio mai e guarda come sono ganzo" Tibor Gallai
Carlitosming
Messaggi: 18
Iscritto il: 02 apr 2010, 10:50

Messaggio da Carlitosming »

Si riesce a dimostrarla senza ricorrere alla geometria analitica?
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Messaggio da <enigma> »

Altra domanda: sarebbe utile porre $ b=ra $, $ c=sa $, in modo da avere
$ a^2+r^2 a^2 +s^2 a^2 \le a^3 r+a^3 r^2 s+s^2 a^3 +1 $
ovvero, dividendo tutto per $ a^2 $,
$ 1+r^2 +s^2 \le a r+a r^2 s+s^2 a+ \frac 1 {a^2 } $
quindi
$ r^2 +s^2 +1 \le a(r+r^2 s+s^2 )+ \frac 1 {a^2 } $
$ (1-a)r^2 +(1-a)s^2 +1 \le a r^2 s+ \frac 1 {a^2 } $
per $ r, s \in R^+ $ e $ 0<a<1 $, in modo da usare solo elementari manipolazioni algebriche? Oppure c'è una via più breve alternativa a quella di julio14?
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Avatar utente
Reginald
Messaggi: 137
Iscritto il: 24 gen 2009, 15:52
Località: Trento

Messaggio da Reginald »

EDIT
Si fa \mathbb{R} e per magia $ \mathbb{R} $=)..
Ecco la mia sol:
$ 0 \le (1-a^2)(1-b^2)(1-c^2) $ per ipotesi, sviluppo e viene $ a^2+b^2+c^2 \le a^2c^2+a^2b^2+b^2c^2-a^2b^2c^2 $.
Ma $ a^2c^2\le a^2c $ perchè sono comprsi tra 0 e 1, e cicliche, inoltre ovviamente $ -a^2b^2c^2<1 $..
Quando c'è uguaglianza?
Ci sono due errori che si possono fare lungo la via verso la verità...non andare fino in fondo, e non iniziare.
Confucio
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Messaggio da <enigma> »

Wow, a questa soluzione non avevo pensato... la trovo bella.

Grazie per il suggerimento su $ \mathbb R $!
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Avatar utente
balossino
Messaggi: 103
Iscritto il: 20 mag 2011, 19:38

Re:

Messaggio da balossino »

Reginald ha scritto:EDIT
Si fa \mathbb{R} e per magia $ \mathbb{R} $=)..
Ecco la mia sol:
$ 0 \le (1-a^2)(1-b^2)(1-c^2) $ per ipotesi, sviluppo e viene $ a^2+b^2+c^2 \le a^2c^2+a^2b^2+b^2c^2-a^2b^2c^2 $.
Ma $ a^2c^2\le a^2c $ perchè sono comprsi tra 0 e 1, e cicliche, inoltre ovviamente $ -a^2b^2c^2<1 $..
Quando c'è uguaglianza?
Questa soluzione è errata perché manca un 1 nello sviluppo del polinomio al secondo membro. Non ci sono soluzioni belle che funzionino?? :?
Mist
Messaggi: 542
Iscritto il: 01 gen 2011, 23:52
Località: Provincia di Milano

Re:

Messaggio da Mist »

Carlitosming ha scritto:Dimostra che per tre numeri a,b,c reali positivi minori di 1


$ a^{2}+b^{2} +c^{2} \leq a^{2}b+b^{2}c +c^{2}a+1 $
Modificato
Reginald ha scritto:EDIT
Si fa \mathbb{R} e per magia $ \mathbb{R} $=)..
Ecco la mia sol:
$ 0 \le (1-a^2)(1-b^2)(1-c^2) $ per ipotesi, sviluppo e viene $ a^2+b^2+c^2 \le a^2c^2+a^2b^2+b^2c^2-a^2b^2c^2 $.
Ma $ a^2c^2\le a^2c $ perchè sono comprsi tra 0 e 1, e cicliche, inoltre ovviamente $ -a^2b^2c^2<1 $..
Quando c'è uguaglianza?
sviluppando si ottiene come hai detto te che:

$a^2+b^2+c^2 \le a^2c^2+a^2b^2+b^2c^2-a^2b^2c^2+1$ e ricalcando appieno reginald:
Ma $ a^2c^2\le a^2c $ perchè sono comprsi tra 0 e 1, e cicliche, inoltre ovviamente $ -a^2b^2c^2<1 $..
Mah, non mi sembra sbagliato ora che lo scrivo, perchè tu hai:
$(ab)^2 \le a^2b$
$(bc)^2 \le b^2c$
$(ca)^2 \le c^2a$
$-a^2b^2c^2<1$
E sommando tutte queste ottieni che
$a^2+b^2+c^2\leq a^2c^2+a^2b^2+b^2c^2-a^2b^2c^2 < a^2b+b^2c+c^2a+1$ e quindi $a^2c^2+a^2b^2+b^2c^2-a^2b^2c^2 < a^2b+b^2c+c^2a+1$
E in effetti a me non sembra esserci il caso di uguaglianza, forse c'è un errore nel testo, anche perchè qui: http://www.wolframalpha.com/input/?i=so ... -1%29%3C0] dice che non ci sono casi di uguaglianza :roll:

P.S.: comunque tutto il merito va ovviamente a reginald, io non ho fatto altro che sviluppare un poco il suo ragionamento in modo più... esplicito
"Se [...] non avessi amore, non sarei nulla."
1Cor 13:2

"[...] e se io non so pentirmi del passato, la libertà è un sogno"
Soren Kierkegaard, Aut-Aut, Ed. Mondadori, pag. 102
paga92aren
Messaggi: 358
Iscritto il: 31 lug 2010, 10:35

Re:

Messaggio da paga92aren »

Mist ha scritto: $ -a^2b^2c^2<1 $
Hai di nuovo dimenticato un $+1$, ma tutto si risolve notando che $-a^2b^2c^2\leq 0$
Rispondi