Ulikhetmaraton

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

Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

Markus skrev: Oppfølger:
La $a_1,a_2,\dots,a_n$ være positive reelle tall slik at $a_1a_2\cdots a_n = 1$. Vis at $$(1+a_1)(1+a_2)\cdots(1+a_n)\geq 2^n$$
Fra AM-GM er $1+a_i\ge 2\sqrt{a_i}$, så $(1+a_1)(1+a_2)\cdots(1+a_n)\geq 2^n\sqrt{a_1a_2...a_n}=2^n$
Markus
Fermat
Fermat
Innlegg: 767
Registrert: 20/09-2016 13:48
Sted: NTNU

Gustav skrev:Fra AM-GM er $1+a_i\ge 2\sqrt{a_i}$, så $(1+a_1)(1+a_2)\cdots(1+a_n)\geq 2^n\sqrt{a_1a_2...a_n}=2^n$
Selvfølgelig helt rett! Oppfølger:
La $a_1,a_2,\dots,a_n$ og $b_1,b_2,\dots,b_n$ være positive heltall slik at $a_1+a_2+\dots+a_n=b_1+b_2+\dots+b_n$. Vis at $$\frac{a_1^2}{a_1+b_1}+\frac{a_2^2}{a_2+b_2} + \dots + \frac{a_n^2}{a_n+b_n} \geq \frac{a_1+a_2+\dots+a_n}{2}$$
Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

Markus skrev: La $a_1,a_2,\dots,a_n$ og $b_1,b_2,\dots,b_n$ være positive heltall slik at $a_1+a_2+\dots+a_n=b_1+b_2+\dots+b_n$. Vis at $$\frac{a_1^2}{a_1+b_1}+\frac{a_2^2}{a_2+b_2} + \dots + \frac{a_n^2}{a_n+b_n} \geq \frac{a_1+a_2+\dots+a_n}{2}$$
La $\varphi(x)=\frac{1}{1+x}$, som er konveks, så $\frac{\sum_i a_i \varphi(\frac{b_i}{a_i})}{\sum_i a_i}\ge \varphi(\frac{\sum_i b_i}{\sum_i a_i})=\frac12$, av Jensen.
Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

Oppfølger (Tidligere IMO shortlist, dermed småvanskelig): La $a,b,c,d$ være reelle tall slik at $a+b+c+d=6$ og $a^2+b^2+c^2+d^2=12$. Vis at $$ 36\le 4(a^3+b^3+c^3+d^3)-(a^4+b^4+c^4+d^4)\le 48$$

Edit: Hint:
[+] Skjult tekst
Vis først at $0\le a,b,c,d\le 3$
zzzivert
Noether
Noether
Innlegg: 48
Registrert: 27/10-2014 09:26

Denne ulikheten er vrien siden vi ikke finner likhet når $a=b=c=d$,
faktisk er det ikke mulig fra betingelsene, derfor kan vi ikke gå rett på
AM-GM, Cauchy-Schwarz osv. Det neste steget er å finne når vi får
minimum og maksimum, og etter litt prøving finner vi (3, 1, 1, 1) og
(0, 2, 2, 2). Så vi ønsker å bruke ulikheter der disse gir likhet for grensene.
Vi kan også merke oss at vi kan legge til $a^2+b^2+c^2+d^2$ og $a+b+c+d$,
så lenge vi også trekker fra 12 og 6. Derfor kan vi lage nye utrykk som kanskje
er enklere å takle.

$4(a^3+b^3+c^3+d^3)-(a^4+b^4+c^4+d^4)$
$=-(a^4+b^4+c^4+d^4)+4(a^3+b^3+c^3+d^3)-4(a^2+b^2+c^2+d^2)+4\cdot 12$
$=-[a^2(a-2)^2+b^2(b-2)^2+c^2(c-2)^2+d^2(d-2)^2]+48$.
Derfor er ulikheten ekvivalent med å vise at
$0\le a^2(a-2)^2+b^2(b-2)^2+c^2(c-2)^2+d^2(d-2)^2\le 12$,
så nedre grense er trivielt sann, da summen av kvadrater er ikkenegativ.

La $w=a-1, x=b-1, y=c-1, z=d-1$. Da har vi
$w+x+y+z=a+b+c+d-4=2$,
$w^2+x^2+y^2+z^2=(a-1)^2+(b-1)^2+(c-1)^2+(d-1)^2=a^2+b^2+c^2+d^2-2(a+b+c+d)+4=4$.
Ulikheten vi skal vise er
$(w+1)^2(w-1)^2+(x+1)^2(x-1)^2+(y+1)^2(y-1)^2+(z+1)^2(z-1)^2\le 12$
$\Leftrightarrow w^4+x^4+y^4+z^4-2(w^2+x^2+y^2+z^2)+4 \le 12$
$\Leftrightarrow w^4+x^4+y^4+z^4\le 16$

Den siste ulikheten er sann siden $w^4+x^4+y^4+z^4\le (w^2+x^2+y^2+z^2)^2=16$.
zzzivert
Noether
Noether
Innlegg: 48
Registrert: 27/10-2014 09:26

Oppfølger:
La $a, b, c, d \in \mathbb{R}$. Vis at
$(a+b+c+d)^2\le 3(a^2+b^2+c^2+d^2)+6ab$.
Gustav
Tyrann
Tyrann
Innlegg: 4563
Registrert: 12/12-2008 12:44

zzzivert skrev:Denne ulikheten er vrien siden vi ikke finner likhet når $a=b=c=d$,
faktisk er det ikke mulig fra betingelsene, derfor kan vi ikke gå rett på
AM-GM, Cauchy-Schwarz osv. Det neste steget er å finne når vi får
minimum og maksimum, og etter litt prøving finner vi (3, 1, 1, 1) og
(0, 2, 2, 2). Så vi ønsker å bruke ulikheter der disse gir likhet for grensene.
Vi kan også merke oss at vi kan legge til $a^2+b^2+c^2+d^2$ og $a+b+c+d$,
så lenge vi også trekker fra 12 og 6. Derfor kan vi lage nye utrykk som kanskje
er enklere å takle.

$4(a^3+b^3+c^3+d^3)-(a^4+b^4+c^4+d^4)$
$=-(a^4+b^4+c^4+d^4)+4(a^3+b^3+c^3+d^3)-4(a^2+b^2+c^2+d^2)+4\cdot 12$
$=-[a^2(a-2)^2+b^2(b-2)^2+c^2(c-2)^2+d^2(d-2)^2]+48$.
Derfor er ulikheten ekvivalent med å vise at
$0\le a^2(a-2)^2+b^2(b-2)^2+c^2(c-2)^2+d^2(d-2)^2\le 12$,
så nedre grense er trivielt sann, da summen av kvadrater er ikkenegativ.

La $w=a-1, x=b-1, y=c-1, z=d-1$. Da har vi
$w+x+y+z=a+b+c+d-4=2$,
$w^2+x^2+y^2+z^2=(a-1)^2+(b-1)^2+(c-1)^2+(d-1)^2=a^2+b^2+c^2+d^2-2(a+b+c+d)+4=4$.
Ulikheten vi skal vise er
$(w+1)^2(w-1)^2+(x+1)^2(x-1)^2+(y+1)^2(y-1)^2+(z+1)^2(z-1)^2\le 12$
$\Leftrightarrow w^4+x^4+y^4+z^4-2(w^2+x^2+y^2+z^2)+4 \le 12$
$\Leftrightarrow w^4+x^4+y^4+z^4\le 16$

Den siste ulikheten er sann siden $w^4+x^4+y^4+z^4\le (w^2+x^2+y^2+z^2)^2=16$.
Imponerende løsning!
mingjun
Cayley
Cayley
Innlegg: 91
Registrert: 18/11-2016 21:13
Sted: Det projektive planet

zzzivert skrev:Oppfølger:
La $a, b, c, d \in \mathbb{R}$. Vis at
$(a+b+c+d)^2\le 3(a^2+b^2+c^2+d^2)+6ab$.
Ulikheten er ekvivalent med $2(ac+ad+bc+bd+cd) \leq 2(a^2+b^2+c^2+d^2)+4ab$. Ettersom $c^2+d^2\geq \frac{\left(|c|+|d|\right)^2}{2}\geq \frac{\left(c+d\right)^2}{2}$ er det tilstrekkelig å vise at $2(ac+ad+bc+bd+cd) \leq 2(a^2+b^2)+4ab+c^2+d^2+\frac{\left(c+d\right)^2}{2}$. Dette følger fra å addere ulikhetene $$ c^2-2cd+d^2\geq 0\Leftrightarrow(c-d)^2\geq 0 ,$$ $$\frac{\left(c+d\right)^2}{2}+2(a^2+b^2)+4ab\geq 2(ac + ad + bc+ bd) \Leftrightarrow 2\left(a+b-\frac{c+d}{2}\right)^2 \geq 0.$$
mingjun
Cayley
Cayley
Innlegg: 91
Registrert: 18/11-2016 21:13
Sted: Det projektive planet

Satser på at denne oppfølgeren fra IMO shortlist ikke har blitt postet før:

For positive reele tall $a,b,c$ som oppfyller $\min\left(ab,bc,ca\right)\geq1$, vis at $$\sqrt[3]{\left(a^2+1\right)\left(b^2+1\right)\left(c^2+1\right)}\leq \left(\dfrac{a+b+c}{3}\right)^2+1.$$

HInt:
[+] Skjult tekst
Det kan være nyttig å betrakte problemet for to variabler, altså $\sqrt{\left(a^2+1\right)\left(b^2+1\right)}\leq \left(\dfrac{a+b}{2}\right)^2+1$ med $ab\geq 1$.
lfe
Cayley
Cayley
Innlegg: 80
Registrert: 30/11-2023 16:16
Sted: Trondheim

Gjenopplivelse:
1) Påstand: Ulikheten holder for alle $a,b,c\geq 1$
Bevis:
La $f(x)=ln(x^2+1)$. Vi har at $f''(x)=\frac{-2x^2+2}{x^4+2x^2+1}$. Dermed ser vi at $f$ er konkav for $x\geq 1$ og at ulikheten følger av Jensens \[ln\left( \sqrt[3]{(a^2+1)(b^2+1)(c^2+1)}\right) =\frac{f(a)+f(b)+f(c)}{3}\leq f\left( \frac{a+b+c}{3}\right) =ln\left( \left( \frac{a+b+c}{3}\right) ^2+1\right) \]

2) Påstand: For $ab\geq 1$ er $(a^2+1)(b^2+1)\leq \left( \left( \frac{a+b}{2}\right) ^2+1\right)$.
Bevis:
Vi har $\left( \left( \frac{a+b}{2}\right) ^2+1\right)-(a^2+1)(b^2+1)=(a-b)^2(a^2+b^2+6ab-8)$. Det holder derfor å vise at $0\leq a^2+b^2+6ab-8$.
Av $ab\geq 1$ følger det at $a^2+b^2+6ab\geq a^2+\frac{1}{a}^2+6\geq 8$, der den siste ulikheten følger av AM-GM. Påstanden er dermed vist.


Dersom $a,b,c\geq 1$, så følger ulikheten i oppgaven av 1). Vi kan dermed uten tap av generalitet anta $a<1$ og $b,c\geq 1$ siden vi ikke kan ha to av $a,b,c$ mindre enn 1. Av påstand 2 har vi $\sqrt[3]{(a^2+1)(b^2+1)(c^2+1)}\leq \sqrt[3]{\left( \left( \frac{a+b}{2}\right) ^2+1\right)(c^2+1)}$. Av kravet i oppgaven må $b\geq \frac{1}{a}$ som impliserer $\frac{a+b}{2}\geq 1$. Av 1) følger $\sqrt[3]{\left( \left( \frac{a+b}{2}\right) ^2+1\right)(c^2+1)}\leq \left( \frac{a+b+c}{3}\right) ^2+1$. Dermed er ulikheten bevist for alle $a,b,c\in \mathbb{R}^{+}$.
Sist redigert av lfe den 19/09-2024 11:33, redigert 1 gang totalt.
lfe
Cayley
Cayley
Innlegg: 80
Registrert: 30/11-2023 16:16
Sted: Trondheim

Ny ulikhet:
La $x,y,z$ være positive reelle tall slik at $xy+yz+zx=3xyz$. Vis at $x^2y+y^2z+z^2x\geq 2(x+y+z)-3$.
Svar