Disuguaglianza Cesenatico 1993
-
- Messaggi: 18
- Iscritto il: 02 apr 2010, 10:50
Disuguaglianza Cesenatico 1993
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
$ \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.
Re: Disuguaglianza Cesenatico 1993
Sei sicuro che il testo sia corretto?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 $
EDIT: eh, direi che è sbagliato il verso della disuguaglianza....
EDIT2: Ok
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$ $.
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$ $.
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.
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.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
-
- Messaggi: 18
- Iscritto il: 02 apr 2010, 10:50
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?
$ 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.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
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?
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
Confucio
Re:
Questa soluzione è errata perché manca un 1 nello sviluppo del polinomio al secondo membro. Non ci sono soluzioni belle che funzionino??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?
Re:
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
sviluppando si ottiene come hai detto te che: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?
$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
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
1Cor 13:2
"[...] e se io non so pentirmi del passato, la libertà è un sogno"
Soren Kierkegaard, Aut-Aut, Ed. Mondadori, pag. 102
-
- Messaggi: 358
- Iscritto il: 31 lug 2010, 10:35
Re:
Hai di nuovo dimenticato un $+1$, ma tutto si risolve notando che $-a^2b^2c^2\leq 0$Mist ha scritto: $ -a^2b^2c^2<1 $