Siano a,b,c,d reali positivi tc $ a+b+c+d=4 $
Dimostrare che:
$ a^2bc+b^2cd+c^2da+d^2ab\le 4 $
Disuguaglianza
Medie + Chebychev
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
Si anche a me è venuta con Chebycheff e medie. Allora..
Riscrivo la tesi come :
$ S=\displaystyle\frac{a^2bc+ b^2cd+c^2da+d^2ab}{4}\le 1 $
$ S=\displaystyle\frac{a^2bc+ b^2cd+c^2da+d^2ab}{4}\bigg(\frac{d+a+b+c}{4}\bigg) $$ \displaystyle\le \frac{a^2bcd+ab^2cd+abc^2d+abcd^2}{4}=Q $
Sfruttando $ a+b+c+d=4 $ si ha per AM-GM che $ abcd\le 1 $
Quindi: $ Q\le \displaystyle \frac{a+b+c+d}{4}=1 $.
E ora cerco di capire come si fanno le parentesi tonde più grandi
EDIT:capito 
Riscrivo la tesi come :
$ S=\displaystyle\frac{a^2bc+ b^2cd+c^2da+d^2ab}{4}\le 1 $
$ S=\displaystyle\frac{a^2bc+ b^2cd+c^2da+d^2ab}{4}\bigg(\frac{d+a+b+c}{4}\bigg) $$ \displaystyle\le \frac{a^2bcd+ab^2cd+abc^2d+abcd^2}{4}=Q $
Sfruttando $ a+b+c+d=4 $ si ha per AM-GM che $ abcd\le 1 $
Quindi: $ Q\le \displaystyle \frac{a+b+c+d}{4}=1 $.
E ora cerco di capire come si fanno le parentesi tonde più grandi
EDIT:capito Naturalmente si poteva anche fare con:edriv ha scritto:Disuguaglianze + altre disuguaglianze.
Induzione + pigeonhole!
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
Attenta: questa disuguaglianza non è sempre vera!EUCLA ha scritto:$ S=\displaystyle\frac{a^2bc+ b^2cd+c^2da+d^2ab}{4}\bigg(\frac{d+a+b+c}{4}\bigg) $$ \displaystyle\le \frac{a^2bcd+ab^2cd+abc^2d+abcd^2}{4}=Q $
Un controesempio semplice è $ \displaystyle \left(3,\frac12,\frac1{32},\frac{15}{32} \right) $
[quote="julio14"]Ci sono casi in cui "si deduce" si può sostituire con "è un'induzione che saprebbe fare anche un macaco", ma per come hai impostato i conti non mi sembra la tua situazione...[/quote][quote="Tibor Gallai"]Ah, un ultimo consiglio che risolve qualsiasi dubbio: ragiona. Le cose non funzionano perché lo dico io o Cauchy o Dio, ma perché hanno senso.[/quote]To understand recursion, you fist need to understand recursion.
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
[tex]i \in \| al \| \, \pi \, \zeta(1)[/tex]
Allora rieccomi 
$ S=a^2bc+b^2cd+c^2da+d^2ab\le 4 $
Per risolvere il problema dell'ordinamento ho fatto così (controllando poi su mathlinks
dovrebbe essere una cosa giusta..ma ditemi se sbaglio..
):
considero $ \sigma(a\ b\ c\ d) \rightarrow (a\ b\ c\ d) | a\ge b\ge c\ge d $
$ S \le a^2bc+b^2ad+c^2ad+d^2bc= (ac+bd)(ab+dc)=Q $ per riarrangiamento
Ora, per AM-GM $ (ac+bd)(ab+dc) \le \displaystyle\bigg(\frac{ac+bd+ab+dc}{2}\bigg)^2 $
$ ac+bd+ab+dc=(a+d)(b+c)\le \displaystyle \bigg(\frac{a+b+c+d}{2}\bigg)^2 $
Quindi $ Q \le \displaystyle \bigg[\frac{(\frac{a+b+c+d}{2})^2}{2}\bigg]^2=4 $
$ S=a^2bc+b^2cd+c^2da+d^2ab\le 4 $
Per risolvere il problema dell'ordinamento ho fatto così (controllando poi su mathlinks
dovrebbe essere una cosa giusta..ma ditemi se sbaglio..
):considero $ \sigma(a\ b\ c\ d) \rightarrow (a\ b\ c\ d) | a\ge b\ge c\ge d $
$ S \le a^2bc+b^2ad+c^2ad+d^2bc= (ac+bd)(ab+dc)=Q $ per riarrangiamento
Ora, per AM-GM $ (ac+bd)(ab+dc) \le \displaystyle\bigg(\frac{ac+bd+ab+dc}{2}\bigg)^2 $
$ ac+bd+ab+dc=(a+d)(b+c)\le \displaystyle \bigg(\frac{a+b+c+d}{2}\bigg)^2 $
Quindi $ Q \le \displaystyle \bigg[\frac{(\frac{a+b+c+d}{2})^2}{2}\bigg]^2=4 $