Ulikhetmaraton

[Gustav]

Meiner innsendar at nemnar i "mellomleddet" skal vere tredjerota av (2 ) ?

Beklager feilen

[Markus]

Oppfølger:

Vis at $\frac{a+b+c}{3}\ge \frac{\sqrt[3]{(a+b)(b+c)(c+a)}}{2}\ge \sqrt[3]{abc}$

Regner med $a,b,c \in \mathbb{R}_{\geq 0}$ her, siden $a,b,c \in \mathbb{R}$ kan gi komplekse tall i henholdsvis andre og tredje ledd. Den første ulikheten følger av AM-GM: $$\frac{(a+b)+(b+c)+(c+a)}{3} \geq \sqrt[3]{(a+b)(b+c)(c+a)} \\ \therefore \frac{a+b+c}{3} \geq \frac{\sqrt[3]{(a+b)(b+c)(c+a)}}{2}$$ For den andre ulikheten, observer at $(a+b)(b+c)(c+a) = a^2 b + a^2 c + a b^2 + 2 a b c + a c^2 + b^2 c + b c^2$.
AM-GM gir $$\frac{a^2b+a^2c+ab^2+abc+abc+ac^2+b^2c+bc^2}{8} \geq \sqrt[8]{(abc)^8} = abc \\ \therefore \frac{(a+b)(b+c)(a+c)}{8} \geq abc$$ Ved å nå ta tredjeroten av ulikheten oppnås den ønskede ulikheten.

Oppfølger:
La $P(x)$ være et polynom med positive koeffisienter. Vis at hvis ulikheten $$P \left (\frac1x \right) \geq \frac{1}{P(x)}$$ holder for $x=1$, holder den for alle $x>0$.

[Mattebruker]

Gitt polynomfunksjonen

P( x ) = a[tex]_n[/tex] * x[tex]^n[/tex] + ..................+ a[tex]_1[/tex]*x + a[tex]_0[/tex]

der alle koeffisientane (a-ane ) > 0.

Får oppgitt at ulikskapen gjeld for x = 1 ( som er ekvivalent med at P( 1 ) >= 1).

Anta først at x > 1.

Då er a[tex]_i[/tex]*x[tex]^i[/tex] > a[tex]_i[/tex] for alle 1<= i <= n. Det betyr at

P( x ) > a[tex]_n[/tex] + a[tex]_{n - 1}[/tex]+ ..................... + a[tex]_1[/tex] +a[tex]_0[/tex] > = 1

Anta så at 0 < x < 1 som er ekvivalent med at 1/x > 1. Dette medfører at

P(1/x) > a[tex]_n[/tex] + a[tex]_{n-1}[/tex] + .................+ a[tex]_1[/tex] + a[tex]_0[/tex] >= 1

Konklusjon : P( x ) * P(1/x) >= 1 som er ekvivalent med at P(1/x) >= 1/P( x ) for alle x > 0 ( s.s.v. )

[Mattebruker]

Er nettopp komen tilbake frå ein lengre fottur. Undervegs kom eg til å tenkje på den løysinga eg presenterte før eg drog.
Første delen er heilt patent. Siste delen derimot "heng ikkje på greip". Difor vil eg gjerne få rette opp det mistaket
eg har gjort.

Definerer desse talfølgjene:

p[tex]_i[/tex] = rota av(a[tex]_i[/tex] *x[tex]^i[/tex]) , 0 <= i <= n

q[tex]_i[/tex] = rota av (a[tex]_i[/tex]/x[tex]^i[/tex] ) , 0 <= i <= n

Cauchy gir :

f( x ) * f( 1/x ) = (sum(p[tex]_i[/tex][tex]^2[/tex]) *sum(q[tex]_i[/tex][tex]^2[/tex]) >= (sum(p[tex]_i[/tex] * q[tex]_i[/tex] ) = (a[tex]_0[/tex] + a[tex]_1[/tex] + ..... + a[tex]_n[/tex])[tex]^2[/tex] = 1 * 1 = 1

Dermed har vi vist at f(1/x) * f ( x ) >= 1 for alle x > 0 (s.s.v. )

Håper at denne løysinga held mål.

[Markus]

Ser bra ut det der!
Har du en oppfølger?

[Mattebruker]

Ein "snill" oppfølgar:

La A , B og C vere vinklane i ein vilkårleg trekant.

Vis at sin( A ) + sin( B ) + sin( C ) <= 3/2 * rota av ( 3 )

[Kay]

Ein "snill" oppfølgar:

La A , B og C vere vinklane i ein vilkårleg trekant.

Vis at sin( A ) + sin( B ) + sin( C ) <= 3/2 * rota av ( 3 )

Betrakt [tex]f(x) = \sin (x), \ x \in [0,\pi][/tex], [tex]f[/tex] er konkavt på dette intervallet og da følger det fra Jensen at [tex]\frac{\sin(A)+\sin(B)+\sin(C)}{3}\leq \sin\frac{A+B+C}{3}=\sin(60)=\frac{\sqrt{3}}{2}[/tex]


Oppfølger: Vis at [tex]\sum_{i=1}^{2^n} \frac{1}{i} \geq 1 + \frac{n}{2}[/tex]

[Markus]

Oppfølger: Vis at [tex]\sum_{i=1}^{2^n} \frac{1}{i} \geq 1 + \frac{n}{2}[/tex]

Er ikke dette en del av Oresmes bevis på at den harmoniske rekken divergerer?
Observer at $$n=2: \qquad 1+\frac12 + \frac13 + \frac14 \geq 1 + \frac12 + \frac14 + \frac14 = 1 + \frac12 + \frac12 = 2 = 1 + \frac{n}{2} \\ n=3: \qquad 1+ \frac12 + \frac13+ \frac14 + \frac15 + \frac16 + \frac17 + \frac18 \geq 1 + \frac12 + \frac14 + \frac14 + \frac18 + \frac18 + \frac18 + \frac18 = 1 + 3\cdot \frac12 = 1 + \frac{n}{2} \\ \text{osv.}$$
Siden vi summer opp til $2^n$ vil det alltid antall ledd være en potens av $2$. Derfor vil mønsteret over holde $\forall n \in \mathbb{N}$

Mer rigorøst kan man vel gjøre det ved induksjon. Grunntilfellet $n=1$ er $1+\frac12 \geq 1 + \frac12$, som stemmer. Antar at det stemmer for $n=k$, og ønsker å vise at det da også stemmer for $n=k+1$. Av induksjonshypotesen har vi at $$\sum_{i=1}^{2^k} \left[\frac1i\right] + \left(\frac{1}{2^k+1} + \dots + \frac{1}{2^{k+1}} \right) \geq 1 + \frac{k}{2} + \left(\frac{1}{2^k+1} + \dots + \frac{1}{2^{k+1}} \right) \leq 1 + \frac{k+1}{2} \implies \sum_{i=1}^{2^{k+1}} \frac1i \geq 1 + \frac{k+1}{2}$$ Der den siste ulikheten er sann fordi $$\frac{1}{2^k+1} + \dots + \frac{1}{2^{k+1}} \leq 1 + \frac{k+1}{2}$$ er ekvivalent med ulikheten $$\frac{1}{2^k+1} + \dots + \frac{1}{2^{k+1}} \geq \frac12$$ som er sann fordi $$\frac{1}{2^k+1} + \dots + \frac{1}{2^{k+1}} \geq \underbrace{\frac{1}{2^{k+1}} + \frac{1}{2^{k+1}} + \dots + \frac{1}{2^{k+1}}}_{{2^k} \text{ ganger}} = \frac{2^k}{2^{k+1}} = \frac12$$ Som fullfører beviset.

Oppfølger
La $a,b,c,d \in \mathbb{R}^+$. Vis at $$\frac1a + \frac1b + \frac4c + \frac{16}{d} \geq \frac{64}{a+b+c+d}$$

[Mattebruker]

V.S. kan skrivast

1/a + 1/b + 2/c + 2/c + 4/d + 4/d + 4/d + 4/d

AM-HM gir : V.S./8 >= 8/(a + b + c + d ) som er ekvivalent med at

V.S. >= 64/(a + b + c + d ) ( s.s.v. )

[Mattebruker]

Oppfølgar:

La a , b , c og d vere element i R[tex]_+[/tex]

Sett S = (a + b + c)/d + (a + b + d)/c + (a + c + d )/b + (b + c + d )/a

Vis at S >= 12

[Markus]

Oppfølgar:

La a , b , c og d vere element i R[tex]_+[/tex]

Sett S = (a + b + c)/d + (a + b + d)/c + (a + c + d )/b + (b + c + d )/a

Vis at S >= 12

AM-GM på alle leddene gir $$S = \frac{a}{d} + \frac{b}{d}+\frac{c}{d}+\frac{a}{c}+\frac{b}{c}+\frac{d}{c}+\frac{a}{b}+\frac{c}{b}+\frac{d}{b}+\frac{b}{a}+\frac{c}{a}+\frac{d}{a} \geq 12\sqrt[12]{\frac{a^3b^3c^3d^3}{d^3c^3b^3a^3}} = 12$$

Oppfølger
Anta at $f: \mathbb{R} \to \mathbb{R}$ er en deriverbar funksjon for alle $x$, slik at $f'(x) \leq m \enspace \forall x$, og $f(10)=2$. Finn maksimumverdien til $f(15)$.

[hco96]

"Anta at $f: \mathbb{R} \to \mathbb{R}$ er en deriverbar funksjon for alle $x$, slik at $f'(x) \leq m \enspace \forall x$, og $f(10)=2$. Finn maksimumverdien til $f(15)$."

Middelverdi setningen gir oss [tex]f´(c) = \frac{f(15) - f(10)}{5}[/tex] for en [tex]c \in [10,15][/tex], dvs [tex]f´(c) = \frac{f(15)- 2}{5}[/tex].
[tex]f´(c) \leq m[/tex] dermed er [tex]\frac{f(15)}{5} - \frac{2}{5} \leq m[/tex] så [tex]f(15) \leq 5m +2[/tex].

[Markus]

Middelverdi setningen gir oss [tex]f´(c) = \frac{f(15) - f(10)}{5}[/tex] for en [tex]c \in [10,15][/tex], dvs [tex]f´(c) = \frac{f(15)- 2}{5}[/tex].
[tex]f´(c) \leq m[/tex] dermed er [tex]\frac{f(15)}{5} - \frac{2}{5} \leq m[/tex] så [tex]f(15) \leq 5m +2[/tex].

Jepp, bra! Kanskje ikke den tyngste ulikhetoppgaven, men tenkte det var fint å bryte opp litt i all AM-GM-, Cauchy-Schwarz- og Jensen-ulikhetene med en liten kalkulus-ulikhet.

Har du en oppfølger?

[hco96]

Oppfølger:
Anta at $(U, \lVert \cdot \rVert_U), (V, \lVert \cdot \rVert_V)$ og $(W, \lVert \cdot \rVert_W)$ er tre normerte vektor rom over $\mathbf{R}$.
La $A : U \to V$ og $B : V \to W$ være begrensede lineær operatorer.
Vis at $C = B \circ A$ er en begrenset lineær operator og at $\lVert C \rVert \leq \lVert A \rVert \lVert B \rVert$.

[Gustav]

Oppfølger:
Anta at $(U, \lVert \cdot \rVert_U), (V, \lVert \cdot \rVert_V)$ og $(W, \lVert \cdot \rVert_W)$ er tre normerte vektor rom over $\mathbf{R}$.
La $A : U \to V$ og $B : V \to W$ være begrensede lineær operatorer.
Vis at $C = B \circ A$ er en begrenset lineær operator og at $\lVert C \rVert \leq \lVert A \rVert \lVert B \rVert$.

Dette er vel en standardoppgave i elementær funksjonalanalyse. Vi har at

$||Cx||=||B(Ax)||\le ||B||_{op}\cdot ||Ax||\le ||B||_{op}||A||_{op}||x||$, så $C$ er begrenset. Dermed er også

$||C||_{op}=\sup (||Cx||: x\in U, ||x||=1)\le \sup (||B||_{op}||A||_{op}||x||: x\in U, ||x||=1)=||B||_{op}||A||_{op}$.

Oppfølger:

For alle positive $x,y,z$ slik at $xyz=1$, vis at $\sum_{cyc}\frac{1}{(x+1)^2+y^2+1}\le \frac12$

Hint:

[+] Skjult tekst

AM-GM, samt et smart variabelskifte