Per aspiranti suicidi, posto questa splendida disuguaglianza che (come del resto tutti gli altri 19 stagisti del winter) non ho assolutamente saputo risolvere in gara (e della quale al momento non conosco che pochi stralci della soluzione).
Siano a,b,c i lati di un triangolo.
Dimostrare:
$ \displaystyle\frac{\sqrt{b+c-a}}{\sqrt{b}+\sqrt{c}-\sqrt{a}}+\frac{\sqrt{c+a-b}}{\sqrt{c}+\sqrt{a}-\sqrt{b}}+\frac{\sqrt{a+b-c}}{\sqrt{a}+\sqrt{b}-\sqrt{c}}\leq 3 $
Bonne chance...
WC 07 TST A3
WC 07 TST A3
"Sei la Barbara della situazione!" (Tap)
Re: WC 07 TST A3
Visto che nessuno posta niente eccovi la mia soluzione, non troppo standard ma veloce:
Applico la disugliaglianza di jensen sulla funzione a tre variabili $ \displaystyle f(a,b,c)=\frac{\sqrt{b+c-a}}{\sqrt{b}+\sqrt{c}-\sqrt{a}} $, nell'ipotesi che sia concava:
$ \displaystyle\frac{1}{3}(f(a,b,c)+f(b,c,a)+f(c,a,b))\leq f(\frac{a+b+c}{3}\frac{a+b+c}{3}\frac{a+b+c}{3}) $
Noto che la disuguaglianza appena scritta è equivalente a
$ \displaystyle\frac{\sqrt{b+c-a}}{\sqrt{b}+\sqrt{c}-\sqrt{a}}+\frac{\sqrt{c+a-b}}{\sqrt{c}+\sqrt{a}-\sqrt{b}}+\frac{\sqrt{a+b-c}}{\sqrt{a}+\sqrt{b}-\sqrt{c}}\leq 3 $
Quindi rimane da dimostrare che $ \displaystyle\frac{\partial f(a,b,c)}{\partial a} $ e $ \displaystyle\frac{\partial f(a,b,c)}{\partial b} $ sono decrescenti nelle variabili a e b (non tratto il caso c perché f è simmetrica per b e c).
E qua ci voleva qualche conto, non li posto, comunque si utilizza l'ipotesi che a b e c sono lati di un triangolo e torna.
Applico la disugliaglianza di jensen sulla funzione a tre variabili $ \displaystyle f(a,b,c)=\frac{\sqrt{b+c-a}}{\sqrt{b}+\sqrt{c}-\sqrt{a}} $, nell'ipotesi che sia concava:
$ \displaystyle\frac{1}{3}(f(a,b,c)+f(b,c,a)+f(c,a,b))\leq f(\frac{a+b+c}{3}\frac{a+b+c}{3}\frac{a+b+c}{3}) $
Noto che la disuguaglianza appena scritta è equivalente a
$ \displaystyle\frac{\sqrt{b+c-a}}{\sqrt{b}+\sqrt{c}-\sqrt{a}}+\frac{\sqrt{c+a-b}}{\sqrt{c}+\sqrt{a}-\sqrt{b}}+\frac{\sqrt{a+b-c}}{\sqrt{a}+\sqrt{b}-\sqrt{c}}\leq 3 $
Quindi rimane da dimostrare che $ \displaystyle\frac{\partial f(a,b,c)}{\partial a} $ e $ \displaystyle\frac{\partial f(a,b,c)}{\partial b} $ sono decrescenti nelle variabili a e b (non tratto il caso c perché f è simmetrica per b e c).
E qua ci voleva qualche conto, non li posto, comunque si utilizza l'ipotesi che a b e c sono lati di un triangolo e torna.
Allora, visto che per una volta la so fare anch'io, chiacchiero un po'.
Tutti avrete provato a sostituire a=x+y, b=y+z, c=z+x (che mi pare si chiamino sostituzioni di Ravi). E vi sarete accorti che veniva fuori una cosa di questo tipo
$ \displaystyle\sum_{\textrm{cyc}}\frac{\sqrt{2z}}{\sqrt{\textrm{schifo}}} $
Bene ... ma sarete tutti d'accordo che lo schifo è meglio averlo a numeratore, di solito (e anche qui ... si prova un po' e si vede che questa strada non è proficua). Quindi, osserviamo che, fondamentalmente, la nostra sostituzione si poteva dire come: diamo un nome ai tre numeratori. Visto che invece quel che sembra meglio è dare un nome ai denominatori, facciamolo.
$ x=\sqrt{b}+\sqrt{c}-\sqrt{a} $ e cicliche
Ora, si ha che $ \sqrt{b}+\sqrt{c}-\sqrt{a}\geq\sqrt{b+c}-\sqrt{a}>0 $. Quindi $ x,y,z>0 $.
Ora basta ricavare i numeratori e ottenere
$ \displaystyle\sum_{\textrm{cyc}}\frac{\sqrt{x^2+xy+xz-yz}}{x}\stackrel{?}{\leq}3\sqrt{2} $
Da qui dovreste saper andare avanti da soli...
E' così folle come tentativo?
Tutti avrete provato a sostituire a=x+y, b=y+z, c=z+x (che mi pare si chiamino sostituzioni di Ravi). E vi sarete accorti che veniva fuori una cosa di questo tipo
$ \displaystyle\sum_{\textrm{cyc}}\frac{\sqrt{2z}}{\sqrt{\textrm{schifo}}} $
Bene ... ma sarete tutti d'accordo che lo schifo è meglio averlo a numeratore, di solito (e anche qui ... si prova un po' e si vede che questa strada non è proficua). Quindi, osserviamo che, fondamentalmente, la nostra sostituzione si poteva dire come: diamo un nome ai tre numeratori. Visto che invece quel che sembra meglio è dare un nome ai denominatori, facciamolo.
$ x=\sqrt{b}+\sqrt{c}-\sqrt{a} $ e cicliche
Ora, si ha che $ \sqrt{b}+\sqrt{c}-\sqrt{a}\geq\sqrt{b+c}-\sqrt{a}>0 $. Quindi $ x,y,z>0 $.
Ora basta ricavare i numeratori e ottenere
$ \displaystyle\sum_{\textrm{cyc}}\frac{\sqrt{x^2+xy+xz-yz}}{x}\stackrel{?}{\leq}3\sqrt{2} $
Da qui dovreste saper andare avanti da soli...
E' così folle come tentativo?