Minimum

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.

Re: Minimum

Innlegg mingjun » 07/02-2018 19:01

stensrud skrev:4) For $x,y\ge 0$, vis at
\[2^x+2^y>xy\]


EDIT:Slettet feilaktig bevis.
Sist endret av mingjun den 07/02-2018 20:01, endret 1 gang
mingjun offline
Cayley
Cayley
Innlegg: 91
Registrert: 18/11-2016 21:13
Bosted: Det projektive planet

Re: Minimum

Innlegg stensrud » 07/02-2018 19:07

Gustav skrev:
stensrud skrev:
Markus skrev:$(2) \enspace$ La $a,b,c,d \in \mathbb{R}^+$. Vis at $$a^5+b^5+c^5+d^5 \geq abcd(a+b+c+d)$$

Den andre følger direkte av Muirheads ulikhet siden $(5,0,0,0)\succ (2,1,1,1)$; alternativt kan man bruke AM-GM.


Muirhead krever vel symmetriske summer, mens i ulikheten er summene syklisk, eller er det noe jeg har misforstått?

Hvorfor er de ikke symmetriske?
stensrud offline
Descartes
Descartes
Innlegg: 438
Registrert: 08/11-2014 21:13
Bosted: Cambridge

Re: Minimum

Innlegg Gustav » 07/02-2018 20:32

Joda, min feil :oops: Tenkte bare litt for kjapt at en symmetrisk sum over alle permutasjonene av potenser burde bestå av 4! ledd, men det blir jo riktig her likevel.

Edit:


\[a^4b+b^4c+c^4d+d^4a\geq abcd(a+b+c+d).\]



Denne fungerer vel ikke med Muirhead, eller gjør den det på noe vis? Jeg tenker at summene her ikke er symmetriske...
Gustav offline
Tyrann
Tyrann
Brukerens avatar
Innlegg: 4296
Registrert: 12/12-2008 12:44

Re: Minimum

Innlegg stensrud » 07/02-2018 21:35

Gustav skrev:
stensrud skrev:
1) Let $n$ be positive integer and let $a-1,a_2,\dotsc,a_n$ be real numbers satisfying $0\leq a_i\leq 1$ for $i=1,2,\dotsc,n$. Prove the inequality
\[ (1-a_1^n)(1-a_2^n)\dotsb(1-a_n^n)\leq (1-a_1a_2\dotsb a_n)^n. \]



Definér $f(x)=\ln (1-x^n)$ som er konkav for $x\in (0,1)$. AM-GM+Jensen gir da at

$\ln(1-a_1a_2...a_n)\geq \ln (1-(\frac1n(a_1+a_2+...+a_n))^n) \geq \frac1n (\ln(1-a_1^n)+\ln(1-a_2^n)+...+\ln(1-a_n^n))$, som er ekvivalent med ulikheten.

Flott! Alternativt kan man bruke Jensen direkte:

(Anta $a_i\neq 0,1$). Vi innfører funksjonen $f(x)=\log(1-e^x)$ som er konkav over $\mathbb{R}^-$. Ifølge Jensens ulikhet er da
\[ \sum f(n\log a_i^n)\leq n \cdot f\left(\sum \log a_i^n\right), \]som var ulikheten vi skulle vise.
stensrud offline
Descartes
Descartes
Innlegg: 438
Registrert: 08/11-2014 21:13
Bosted: Cambridge

Re: Minimum

Innlegg Gustav » 08/02-2018 09:18

stensrud skrev:
4) For $x,y\ge 0$, vis at
\[2^x+2^y>xy\]


Ulikheten er riktig hvis enten $x=0$ eller $y=0$ så anta videre at $x,y>0$.

La $f(x)=x+1-2\lg_2 x$ for $x>0$, som har globalt minimum i $x=\frac{2}{\log 2}$, og siden $f(\frac{2}{\log 2})>0$ er $f(x)>0$ for alle $x>0$. Dermed er

$f(x)+f(y)>0$ for alle $x,y>0$, som er ekvivalent med at $2\cdot 2^{\frac{x+y}{2}}>xy$.

AM-GM gir til slutt at $2^x+2^y\ge 2 \cdot 2^{\frac{x+y}{2}}>xy$.
Gustav offline
Tyrann
Tyrann
Brukerens avatar
Innlegg: 4296
Registrert: 12/12-2008 12:44

Re: Minimum

Innlegg Mattegjest » 08/02-2018 13:13

Stensrud presenterer ei elegant løysing på ulikskapen

(1 - a[tex]_1[/tex][tex]^n[/tex]) * .......* (1 - a[tex]_n[/tex])[tex]^n[/tex]) <= (1 - a[tex]_1[/tex]*.......*a[tex]_n[/tex])[tex]^n[/tex]

ved å bruke Jensens ulikheit.

Innfører hjelpefunksjonen f(x) = 1 - e^x og definerer x[tex]_i[/tex] = log(a[tex]_i[/tex][tex]^n)[/tex]

Da blir x-middel = ( log(a[tex]_1[/tex])[tex]^n[/tex]+...........+log(a[tex]_n[/tex])[tex]^n[/tex])/n

Eg meiner såleis at eine n-faktoren i utleiinga di er feilplassert.
Mattegjest offline

Re: Minimum

Innlegg Gustav » 09/02-2018 07:18

Som Mattegjest påpeker så skal det vel være slik:

stensrud skrev:(Anta $a_i\neq 0,1$). Vi innfører funksjonen $f(x)=\log(1-e^x)$ som er konkav over $\mathbb{R}^-$. Ifølge Jensens ulikhet er da
\[ \sum f(\log a_i^n)\leq n \cdot f\left(\frac{\sum \log a_i^n}{n}\right), \]som var ulikheten vi skulle vise.
Gustav offline
Tyrann
Tyrann
Brukerens avatar
Innlegg: 4296
Registrert: 12/12-2008 12:44

Forrige

Hvem er i forumet

Brukere som leser i dette forumet: Ingen registrerte brukere og 9 gjester