Beklager feilenMattegjest skrev:Meiner innsendar at nemnar i "mellomleddet" skal vere tredjerota av (2 ) ?
Ulikhetmaraton
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
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$.Gustav skrev:Oppfølger:
Vis at $\frac{a+b+c}{3}\ge \frac{\sqrt[3]{(a+b)(b+c)(c+a)}}{2}\ge \sqrt[3]{abc}$
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$.
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. )
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. )
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.
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.
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 )
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]Mattegjest skrev: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 )
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?Kay skrev:Oppfølger: Vis at [tex]\sum_{i=1}^{2^n} \frac{1}{i} \geq 1 + \frac{n}{2}[/tex]
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}$$
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. )
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. )
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
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$$Mattegjest skrev: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
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)$.
"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].
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].
[tex]\oint_C{f(z)dz} = 0[/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.hco96 skrev: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].
Har du en oppfølger?
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$.
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$.
[tex]\oint_C{f(z)dz} = 0[/tex]
Dette er vel en standardoppgave i elementær funksjonalanalyse. Vi har athco96 skrev: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$.
$||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: