Snill ulikhet

Her kan brukere av forum utfordre hverandre med morsomme oppgaver og nøtter man ønsker å dele med andre. Dette er altså ikke et sted for desperate skrik om hjelp, de kan man poste i de andre forumene, men et sted for problemløsing på tvers av trinn og fag.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
stensrud
Descartes
Descartes
Innlegg: 438
Registrert: 08/11-2014 21:13
Sted: Cambridge

La $x,y,z$ and $a,b,c$ være positive reelle tall slik at $a+b+c=1$. Vis at
$$\displaystyle \left(x^2+y^2+z^2\right) \left( \frac{a^3}{x^2+2y^2} + \frac{b^3}{y^2+2z^2} + \frac{c^3}{z^2+2x^2} \right) ~\ge~~ \frac19$$
Gustav
Tyrann
Tyrann
Innlegg: 4555
Registrert: 12/12-2008 12:44

stensrud skrev:La $x,y,z$ and $a,b,c$ være positive reelle tall slik at $a+b+c=1$. Vis at
$$\displaystyle \left(x^2+y^2+z^2\right) \left( \frac{a^3}{x^2+2y^2} + \frac{b^3}{y^2+2z^2} + \frac{c^3}{z^2+2x^2} \right) ~\ge~~ \frac19$$
Legger merke til at $3(x^2+y^2+z^2) =(x^2+2y^2)+(y^2+2z^2)+(z^2+2x^2)$. Cauchy-Schwarz gir da at $3\left(x^2+y^2+z^2\right) \left( \frac{a^3}{x^2+2y^2} + \frac{b^3}{y^2+2z^2} + \frac{c^3}{z^2+2x^2} \right)\geq (a^{\frac32}+b^{\frac32}+c^{\frac32})^2$

Gjenstår å vise at $(a^{\frac32}+b^{\frac32}+c^{\frac32})^2\geq \frac13$ dersom $a+b+c=1$:

La $f(x)=x^{\frac32}$, som er konveks for positive x utfra utregning av den andrederiverte. Jensens ulikhet gir da at

$\frac{f(a)+f(b)+f(c)}{3}\geq f(\frac{a+b+c}{3})$, altså at

$a^{\frac32}+b^{\frac32}+c^{\frac32}\geq \frac{1}{3^{\frac12}}$, som er ekvivalent med det vi skulle vise, så vi er ferdige.
Gjest

hvordan kan dette betegnes som en snill ulikhet. Er jo ikke VGS pensum i det presenterte løsningsforslaget.
Cauchy-Schwarz er ikke akkurat pensum i VGS
hco96
Ramanujan
Ramanujan
Innlegg: 252
Registrert: 13/10-2016 23:00
Sted: Vilhelm Bjerknes Hus, Blindern

Gjest skrev:hvordan kan dette betegnes som en snill ulikhet. Er jo ikke VGS pensum i det presenterte løsningsforslaget.
Cauchy-Schwarz er ikke akkurat pensum i VGS
Ingen som sa at dette var en ulikhet fra VGS pensum.
[tex]\oint_C{f(z)dz} = 0[/tex]
stensrud
Descartes
Descartes
Innlegg: 438
Registrert: 08/11-2014 21:13
Sted: Cambridge

plutarco skrev:Løsning
Jepp, løste den likt selv. Oppgaven er fra Middelhavsolympiaden i år.
Gjest skrev:hvordan kan dette betegnes som en snill ulikhet. Er jo ikke VGS pensum i det presenterte løsningsforslaget.
Cauchy-Schwarz er ikke akkurat pensum i VGS
Det er nok flere vgs-elever enn du tror som kan Cauchy-Schwarz.
mingjun
Cayley
Cayley
Innlegg: 91
Registrert: 18/11-2016 21:13
Sted: Det projektive planet

Innså nettopp at jeg hadde mer eller mindre samme bevis som plutarco, men poster likevel fordi jeg er bitte litt stolt. :D

Anta wlog at $x^2+y^2+z^2=1$, i hvilket tilfelle vi trenger å vise:

\[\sum_{cyc}\left(\dfrac{a^3}{x^2+2y^2}\right)\geq \dfrac{1}{9}.\]

Ved Cauchy-Schwarz:

\[\left(\sum_{cyc}\left(\dfrac{a^3}{x^2+2y^2}\right)\right)\left(\sum_{cyc}\left(x^2+2y^2\right)\right)\geq\left(a^\frac{3}{2}+b^\frac{3}{2}+c^\frac{3}{2}\right)^2.\]

Ved power means:

\[\left(\dfrac{a^\frac{3}{2}+b^\frac{3}{2}+c^\frac{3}{2}}{3}\right)^\frac{2}{3}\geq\dfrac{a+b+c}{3}=\dfrac{1}{3}\]
\[\Rightarrow \left(a^\frac{3}{2}+b^\frac{3}{2}+c^\frac{3}{2}\right)^2 \geq \dfrac{1}{3}.\]

Vår orginale begrensning $x^2+y^2+z^2=1$ gir oss:

\[\sum_{cyc}\left(x^2+2y^2\right)=3.\]

Dersom vi gjør innsettingene får vi den ønskede ulikheten.

Edit: liten skrivefeil
Gustav
Tyrann
Tyrann
Innlegg: 4555
Registrert: 12/12-2008 12:44

Power mean ulikheten er vel bare et spesialtilfelle av Jensen.

Alternativt kunne man brukt Holders ulikhet.
Svar