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.

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

Post Reply
zzzivert
Noether
Noether
Posts: 48
Joined: 27/10-2014 09:26

Mener du maksimum?
Det er klart at xyz>0 og dersom z=1, x=32y får vi xyz=y(32y)0 når y0.

For maksimum:
Av AM-GM har vi
8=(x+2y+3z3)36xyz
0<xyz86
Markus
Fermat
Fermat
Posts: 767
Joined: 20/09-2016 13:48
Location: NTNU

Oppfølger:
La a,b,c,dR slik at a2+b2=c2+d2. Finn maksimumsverdien til 20bc+14bd+20ad14aca2+b2+c2+d2
zzzivert
Noether
Noether
Posts: 48
Joined: 27/10-2014 09:26

Av homogenitet kan vi anta at a2+b2=c2+d2=1.
Vi kan derfor gjøre substitusjonene:
a=sin(x), b=cos(x), c=sin(y), d=cos(y)
Utrykket blir dermed lik:
10cos(x)sin(y)+10sin(x)cos(y)+7cos(x)cos(y)7sin(x)sin(y)
=10sin(x+y)+7cos(x+y)102+72sin2(x+y)+cos2(x+y)=149
Her brukte vi Cauchy-Schwarz' ulikhet.
Mattebruker

Dette problemet har vore presentert tidlegare i dette forumet, og her presenterer zzzivert ei original og meget
elegant løysing.
Markus
Fermat
Fermat
Posts: 767
Joined: 20/09-2016 13:48
Location: NTNU

zzzivert wrote:Av homogenitet kan vi anta at a2+b2=c2+d2=1.
Vi kan derfor gjøre substitusjonene:
a=sin(x), b=cos(x), c=sin(y), d=cos(y)
Utrykket blir dermed lik:
10cos(x)sin(y)+10sin(x)cos(y)+7cos(x)cos(y)7sin(x)sin(y)
=10sin(x+y)+7cos(x+y)102+72sin2(x+y)+cos2(x+y)=149
Her brukte vi Cauchy-Schwarz' ulikhet.
Utrolig elegant løsning! Som mattegjest sier har ulikheten vært presentert før, men i mangel på nye ulikheter gikk jeg for en som hadde vært her tidligere, i håp om at flere ikke hadde sett den tidligere.

Dere må forresten huske på å poste oppfølgere. Den som viser en ulikhet poster en ny ulikhet til nestemann.
Gustav
Tyrann
Tyrann
Posts: 4563
Joined: 12/12-2008 12:44

zzzivert wrote:Mener du maksimum?
Det er klart at xyz>0 og dersom z=1, x=32y får vi xyz=y(32y)0 når y0.

For maksimum:
Av AM-GM har vi
8=(x+2y+3z3)36xyz
0<xyz86
Jepp, beklager feilen!

Oppfølger: For positive reelle a,b,c slik at 1221ab+2bc+8ca, vis at

1a+2b+3c152

Edit: Rettet feil i ulikheten påpekt av zzzivert
zzzivert
Noether
Noether
Posts: 48
Joined: 27/10-2014 09:26

Gustav wrote: Oppfølger: For positive reelle a,b,c slik at 1221ab+2bc+8ca, vis at

1a+2b+3c152
Jeg antar at du mener
1a+2b+3c152
siden a0 er et moteksempel.

Dessuten holder det å se på verdier der
12=21ab+2bc+8ca
da mindre verdier av a,b,c gir høyere verdier av 1a+2b+3c.

Vi starter med substitusjonen
a=13x, b=45y, c=32z

Etter forenklinger lyder oppgaven:
Vis at
6yz+5xz+4xy15xyz
når:
3yz+5xz+7xy=15

Fra AM-GM (vektet) har vi:
1=(3yz+5xz+7xy15)15x12y10z8
og
S=(6yz+5xz+4xy15)15x9y10z11
som gir:
1S2x12y10z8x18y20z22
S2x30y30z30
6yz+5xz+4xy15xyz
zzzivert
Noether
Noether
Posts: 48
Joined: 27/10-2014 09:26

Oppfølger:
La a,b,c>0. Vis at:
ab+c+bc+a+ca+b>2.
Gustav
Tyrann
Tyrann
Posts: 4563
Joined: 12/12-2008 12:44

zzzivert wrote:
Jeg antar at du mener
1a+2b+3c152
siden a0 er et moteksempel.
Selvsagt korrekt observert
Mattebruker

Viser til oppfølgar v/ zzzivert. Ut frå "symmetrien" i uttrykket er det freistande å hevde at V.S. ( LHS ) har sin
minste verdi når a = b = c. Da får vi at

V.S. >= 3/rota av ( 2 ) > 2

Dette er eit kvasibevis. Ventar spent på ei profesjonell løysing.


Mvh mattegjesten
zzzivert
Noether
Noether
Posts: 48
Joined: 27/10-2014 09:26

Observer at dersom a=b=1 og c0 går verdien av utrykket mot 2. Derfor stemmer det ikke at minste verdi er 322>2.

Hint 1:
[+] Skjult tekst
ab+c=aa(b+c)
Hint 2:
[+] Skjult tekst
a(b+c)a+b+c2
Mattebruker

AM-GM gir
rota av (a (b + c ) ) <= ( a + b + c )/2

rota av (b (a + c ) ) <= ( b + a + c )/2

rota av ( ( c (a + b ) ) <= (c + a + b )/2

Vi har da at

rota av (a/( b+c ) ) = a/rota av (a(b+c)) >= 2a/( a + b + c )

rota av (b/(a +c)) = b/(rota av(b(a + c ) ) >= 2b/(a + b + c )

rota av (c/(a + b)) = c/(rota av(c(a+b)) >= 2c/(a + b + c )

Summerer V.S. og H.S. kvar for seg, og får

rota av (a/(b+c) + rota av (b/(a+c)) + rota av (c/( a+b ) ) >= 2(a+ b + c )/(a +b + c ) = 2 ( s. s. v. )
zzzivert
Noether
Noether
Posts: 48
Joined: 27/10-2014 09:26

Det stemmer! Til slutt trengs det et lite argument hvorfor vi ikke kan få likhet.

Oppfølger:
La a,b,c være sidelengder i en trekant.
Vis at
ab+ca+bc+ab+ca+bc3
Mattebruker

Sett S = a + b + c og innfører hjelpefunksjonen

f( x ) = x /(S - 2x ) . Ettersom denne funksjonen er konveks ( f''( x ) > 0 ) , får vi ifølge Jensen at

(f( a ) + f( b ) + f ( c ) )/3 >= f((a+b+c)/3) = S/3/(S - 2*S/3) = S/3/S/3 = 1, som er ekvivalent med at


a/(b+c - a) + b/(a+c - b) + c/(a + b - c) >= 3 ( s. s. v. )
Mattebruker

Gløymde å presisere at S - 2x > 0 når x er element i {a , b , c } ( summen av to sider i ein trekant er alltid større enn lengda av den 3. sida , dvs. a + b > c , a + c > b og b + c > a ).
Post Reply