Egyenltlensgek Mircea Becheanu, Vasile Berinde Az egyenltlensgekrl szl els fejezetben nhny elvet mutattunk be az egyenltlensgek elmletbl s nhny

bevezet technikt az egyenltlensgek bizonytsra. Ebben a rszben tovbb fogjuk fejleszteni ezeket a technikkat. Elszr az alapvet egyenltlensgek bemutatsval kezdnk, aztn pedig egy feladatokbl s gyakorlatokbl ll rsszel folytatjuk azzal a cllal, hogy bevezessk az olvast a matematika egy csodlatos rszbe. Az sszegyjttt feladatok megoldshoz felhasznlt technikk tbbsge az alapvet klasszikus egyenltlensgek megoldsnl hasznlt eljrsok alkalmazsa s finomtsa. Nha szksges, hogy ezen eljrsokbl tbbet is kombinljunk. 1. Kzepek kztti egyenltlensgek Emlkeznk r, hogy az a1, a2 ,..., an fggvnyeket definiltuk: AM (szmtani kzp): An = megadott pozitv szmok esetn a kvetkez

a1 + a2 + ... + an n n GM (mrtani kzp): Gn = a1a2 ...an

n 1 1 1 + + ... + a1 a2 an
2 2 2 a1 + a2 + ... + an . n

HM (harmonikus kzp): Hn =

QM (ngyzetes kzp): Qn =

Az egyenltlensgeknek szentelt elz fejezetben (Egyenltlensgek, Els szint), mr bebizonytottuk a kvetkez egyenltlensgeket: H 2 G2 A2 Q2 , H3 G3 A3 Q3 . Ennek a rsznek a clja, hogy megmutassuk, hogy a H n Gn An Qn egyenltlensg szintn igaz minden n, n 2 termszetes szmra is. A kezd lps ennek a bebizonytshoz az, hogy bebizonytsuk a kvetkez ttelt, ami egy fontos eredmny: 1.1. Ttel. Minden n 2 s brmely a1, a2 ,..., an pozitv szmok esetn igaz a kvetkez AM-GM egyenltlensg: a1 + a2 + ... + an n a1a2 ...an , n s az egyenltlensg akkor s csakis akkor ll fenn, ha a1 = a2 = ... = an . rdemes megemlteni, hogy ennek az egyenltlensgnek szmos bizonytsa ltezik, amik klnbz tleteken alapulnak. Itt most hrmat fogunk megmutatni kzlk. Els bizonyts (szabvnyos indukcival) Lttuk mr, hogy a ttel igaz n = 2 s n = 3 esetre. Tegyk fel, hogy szintn igaz tetszleges n pozitv szm esetre is, s meg fogjuk mutatni, hogy brmely n + 1 darab a1, a2 ,..., an , an +1 pozitv szmok esetre is igaz.

Mivel AM s GM szimmetrikus kifejezsek a1 , a2 ,...an -re nzve, ezrt feltehetjk hogy

0 < a1 a2 ... an +1 . Hasonlan egyenltlensg igaz lesz:

feltehetjk,

hogy

a1 < an +1 .

Ekkor

kvetkez

a1 + ... + an +1 < an +1 n +1 a + ... + an +1 . Ekkor (a1 An +1 )( An +1 an +1 ) > 0 vagy Hasznljuk a kvetkez jellst: An +1 = 1 n +1 ekvivalens mdon: aa a1 + an +1 An +1 > 1 n +1 . (1) An +1 Tekintsk a kvetkez n szmot: a2 , a3 ,...an , a1 + an +1 An +1 . A szmtani kzepk: a1 < A=
s a geometriai kzepk
G = n a2a3 ...an (a1 + an +1 An +1 ) . Az (1)-es egyenltlensg alapjn azt kapjuk, hogy

a2 + ... + an + (a1 + an +1 An +1 ) = An +1 n

(2)

G > n a2a3 ...an

a1an +1 G n +1 = n n +1 . An +1 An +1

Indukci tjn A > G . Ezrt An > G n . Kombinlva ezt a fenti egyenltlensggel s a (2)-vel n +1 n +1 azt kapjuk, hogy: An +1 > Gn +1 . Ez bizonytja a kvnt eredmnyt. Az nyilvnval a bizonyts alapjn, hogy ha az a1,..., an szmok nem egyenlk, akkor a1 < an +1 s szigoran csak az egyenltlensg ll fenn. Msodik bizonyts (indukcival felfel s lefel). Az els lps az, hogy indukcival bebizonytsuk p -n, ahol p 1, hogy A2p G2p . Valban, ha feltesszk, hogy A2p 1 G2p 1 , akkor azt kapjuk, hogy
a1 + ... + a2p 2
p

a1 + ... + a2p 1 = 2 p 1

a2p 1 +1 + ... + a2p 2 p 1

2 p 1

a1...a2p 1 2p 1 a2p 1 +1...a2p = 2p a1a2 ...a2p .

An +1 Gn +1

Most meg fogjuk mutatni, hogy ha An +1 Gn +1 akkor An Gn . Legyenek a1,..., an szmok pozitv szmok. Alkalmazzuk az a1, a2 ,..., an , An szmokra. Ezrt,
An = a1 + ... + an + An n +1 a + ... + an n +1 n a1...an 1 = Gn An . n +1 n

lltst az

n n Gn , ami bizonytja az lltst. Az ( n + 1) edik hatvnyt vve azt kapjuk, hogy An

Vgezetl elegend megemlteni, hogy a felfel men indukcival azt kapjuk, hogy az llts igaz a 2, 4,8,...,2 p ,... szmokra, s aztn kombinlva ezt a lefel men indukcival azt kapjuk, hogy minden pozitv n szm lefedhet. Harmadik bizonyts (Ehlers). Bebizonytjuk n -en indukci segtsgvel a kvetkez lltst: ha x1, x2 ,..., xn pozitv szmok gy, hogy x x ...x = 1 akkor 1 2 n x1 + x2 + ... + xn n .

n = 2 esetn ez nyilvnval. Tegyk fel, hogy az llts igaz n esetn s legyen x1x2 ...xn xn +1 = 1 , xi > 0 . Van kt olyan szm, mondjuk x1, x2 , hogy x1 1 s x2 1 . Ekkor (x1 -1)(x 2 -1) 0. Knyelmesebb felrni az egyenltlensget a kvetkez formba x1 x 2 +1 x1 +x 2 Tovbb, ( x1 + x2 ) + ( x3 + ... + xn +1 ) 1 + x1x2 + ( x3 + ... + xn +1 ) 1 + n = n + 1. Visszatrve a bizonytshoz, elegend felhasznlni az Ehlers-tulajdonsgot a kvetkez szmokra: a a a a x1 = 1 , 2 ,..., n 1 , n Gn Gn Gn Gn 1.2. Kvetkezmny. Minden n 2 szmra s brmely a1,a2 ,..., an pozitv szmokra igaz a kvetkez GM-HM egyenltlensg: n n a1a2 ...an . 1 1 1 + + ... + a1 a2 an Bizonyts. Felhasznlva az AM-GM egyenltlensget az

1 1 1 , ,..., szmokra azt kapjuk, a1 a2 an

hogy:
1 1 1 + + ... + a1 a2 an 1 1 . n = n a1a2 ...an n a1a2 ...an

1.3. Pldk.

Legyenek az a1, a2 ,..., an szmok pozitv szmok s legyenek a b1, b2 ,..., bn a szmok a permutciik. Ekkor a1 a2 a + + ... + n n . b1 b2 bn a a a Megolds. Az AM-GM egyenltlensget felhasznlva az 1 , 2 ,..., n szmokra azt kapjuk, b1 b2 bn hogy: a1 a2 a a a ...a + + ... + n n n 1 2 n = n. b1 b2 bn b1b2 ...bn Legyenek az a, b szmok pozitv vals szmok s az , szmok pozitv racionlis szmok, gy, hogy + = 1. Ekkor

a + b a b ,
s az egyenltlensg akkor s csakis akkor ll fenn, ha a = b . m n Megolds. Tegyk fel, hogy = , = ahol m, n, p s m + n = p . Felhasznlva az p p AM-GM egyenltlensget a kvetkez m + n szmra: a1 = ... = am = a; bm +1 = ... = bm + n = b , azt kapjuk, hogy: ma + nb m + n m n a b . m+n Ez gyis felrhat, hogy:

m n a+ b = a + b a b . m+n m+n Most mr egyrtelm az AM-GM egyenltlensgnl, hogy az egyenlsghez az a = b llts szksges. Megjegyzs. A fenti eredmnynek a kvetkez lehetsges rtelmezse is lehetsges.: ha , szmok adottak, s az a, b szmok vals vltozk gy, a + b = c konstans, akkor az
a b szorzat akkor ri el a maximlis rtkt, c -t, amikor a = b = c . 1.3.3. Minden n pozitv szm esetn a kvetkez egyenltlensg fennll: 2 n . n < 1+ n ,1 ,..., n , n szmra. Megolds. Felhasznljuk az AM-GM egyenltlensget az n darab 1 Azt kapjuk, hogy n2+2 n 2 2 2 n = 1 + < 1+ . n = n 1 1... n n n n n n A kvetkez pldnak fontos alkalmazsai vannak. 1.3.4. Brmely pozitv egsz n esetre legyen n n +1 1 1 an = 1 + s bn = 1 + . n n Ekkor a kvetkez egyenltlensg igaz lesz: an < an +1 < bn +1 < bn . Megolds. Az a, b pozitv szmokra s a tetszleges n szmra az 1.3.2-es plda alapjn azt kapjuk, hogy 1 a + nb ab n n +1 , n +1

s az egyenltlensg akkor s csakis akkor ll fenn, ha a = b . gy,

a + nb n +1
n +1

ab n .

Behelyettestve az a = 1 s b = 1 +

1 kifejezseket a fenti egyenletbe, azt kapjuk, hogy n n +1 n 1 n + 2 , > 1 + n +1 n

ami azt mutatja, hogy an +1 > an . k +2 k +2 1 , b= = 1+ s n = k + 1 kifejezseket behelyettestve azt kapjuk, hogy Az a = k k +1 k +1 k +2 k + ( k + 2) k +2 Ezrt,
k + 1 k
k +2

k +2

>

1 k +2 1+ k k + 1
k +1

k +1

>

k +2 1 1+ + 1 k k

Mivel

k +2 1 = 1+ , ezrt azt kapjuk, hogy k +1 k +1

k + 1 1 k + 1 1 . 1+ > 1+ k k k k + 1 Ez azt mutatja, hogy bk > bk +1 , amivel vget is rt a bizonyts. 1.4. Ttel. Minden n 2 esetn s brmely a1, a2 ,..., an pozitv szmokra a kvetkez AMQM egyenltlensg igaz:
2 2 a1 + a2 + ... + an a 2 + a2 + ... + an . 1 n n Az egyenlsg akkor s csakis akkor ll fenn, ha a1 = a 2 = ... = a n .

k +1

k +2

Bizonyts. Ngyzetre emelve az egyenltlensget a kvetkez ekvivalens formt kapjuk: 2 ( a1 + a2 + ... + an ) n ( a12 + a22 + ... + an2 ) .

Tbbfle eljrs ltezik ennek a bizonytsra. Az els eljrs a Cauchy-Schwarz egyenltlensget hasznlja fel a (2.2.2)-es formban (Egyenltlensgek, Els szint) formban, ld. Szintn a 2-es rszben az elz fejezetbl: a2 a2 a 2 (a + a2 + ... + an )2 2 2 2 . a1 + a2 + ... + an = 1 + 2 + ... + n 1 1 1 1 n Az egyenltlensg akkor s csakis akkor ll fenn, ha a1 = a2 = ... = an . A msodik eljrs egy kzvetlen bizonyts. Az egyenltlensg bal oldala felrhat gy is:

( a1 + a2 + ... + an )

= ai2 + 2 ai a j .
i =1 i< j

Ekkor az egyenltlensg a kvetkez formba alakul t: 2 2 2 2 ai a j (n 1) a1 + a2 + ... + an .

i< j

(3)

A bal oldali sszeg kapjuk, hogy:

n(n 1) tagot tartalmaz. Minden ( i , j ) prra, ahol 1 i < j n igaz, azt 2

ai a j ai2 + a 2 j

. 2 Mindezen egyenltlensgeket sszeadva azt kapjuk, hogy 1 ai a j ai2 + a 2 j . 2 i< j i< j

A fenti egyenltlensg jobb oldaln minden ai2

a , j i tag egyszer van jelen. gy,
2 j

( n 1) -szer van jelen, mivel minden

n

(a
i< j

2 i

+ a2 = (n 1) ai2 . j
i =1

amivel vget is rt a bizonyts.

2. Cauchy-Schwarz egyenltlensg 2.1. A Cauchy-Schwarz egyenltlensg bizonytsai

Ez az egyenltlensg mr definilva volt a (2.2.2)-ben (Egyenltlensgek, Egyes szint). Minden a1, a2 ,..., an s b1, b2 ,..., bn vals szmok esetn a kvetkez Cauchy-Schwarz egyenltlensg lesz igaz: 2 ( a1b1 + ... + an bn ) a12 + ... + an2 b12 + ... + bn2 .

)(

Az egyenltlensg akkor s csakis akkor ll fenn, ha az a1,..., an s b1,..., bn szmok kztt arnyossg ll fenn, azaz a1 a2 a = = ... = n . b1 b2 bn Ezekben az arnyossgokban ha bi = 0 akkor ai = 0 . A Cauchy-Schwarz egyenltlensgnek sok klnbz bizonytsa van.
Els bizonyts (Msodfok fggvnyek). Tekintsk az f : msodfok fggvnyt, ami a kvetkez mdon van definilva:

f ( x ) = (a1x b1 )2 + (a2 x b2 )2 + ... + (an x bn )2 .

Nyilvnval, hogy f ( x ) 0 minden x esetre s f ( x ) = 0 akkor s csakis akkor, ha ,2,..., n szmra. Felrva az f ( x ) ltezik egy olyan szm, hogy bi = ai , minden i = 1 fggvnyt a msodfok egyenlet kanonikus formjba azt kapjuk: n n n f ( x ) = ai2 x 2 2 ai bi x + bi2 . i =1 i =1 i =1 A diszkriminnsa pedig:
n n n = 4 ai bi 4 ai2 bi2 . i =1 i =1 i =1 2

Mivel

a
i =1

2 i

> 0 ezrt kvetkezik, hogy 0 , s gy kvetkezik a vgeredmny.

Az egyenlsg esete a kvetkezbl jn: Msodik bizonyts (a Lagrange-azonossgon alapul). Az nyilvnval, hogy a jobb s bal oldal klnbsgt kiszmtva a kvetkez egyenltlensget kapjuk:
2 n a b ai bi = ( ai b j a j bi ) i =1 i =1 i< j i =1 (Ezt hvjk a Lagrange-azonossgnak). Ennek az azonossgnak a bizonytsa nagyon egyszer s csupn a az egyenlsg kt oldaln lv tagok nagyon pontos kiszmtst n 2 i n 2 i 2

ignyli. A

a b
i =1 2 i i =1
2

2 i

,2,..., n esetre s szorzat ai2 bi2 alak tagokat tartalmaz minden i = 1

ab

2 i

2 j

formj tagokat minden i j esetre.

n A ai bi ngyzet a kvetkez mdon szmthat ki: i =1

n n a b ai2 bi2 + 2 ai bi a j b j . = i i i =1 i< j i =1 2 2 Minden ai bi tag ktszer tnik fel, klnbz eljellel. Trljk az a i2 bi2 tagokat s a bal 2

oldalon csak olyan tagok maradnak vissza, amik felrhatk a kvetkez formba: (ai bj a j bi )2 .
i< j

2.2. Alkalmazsok 2.2.1. Brmely a1, a2 ,..., an pozitv szmok esetn a kvetkez egyenltlensg igaz lesz:

( a1 + ... + an )
Megolds.
1 a1 ,..., 1 an

1 1 + ... + an a1

Hasznljuk szmokra!

Cauchy-Schwarz

2 n . egyenltlensget

a1 ,..., an ,

Megjegyzs. Ezt az egyenltlensget az AM-HM s AM-GM egyenltlensgbl is megkaphatjuk. 2.2.2. Minden a1, a2 ,..., an vals szmokra igaz a kvetkez egyenltlensg:

( a1 + ... + an )

2 2 . n a1 + ... + an

Ez az eredmny mr az 1.4-es Ttelben is be volt bizonytva. Egy j bizonytst is kaphatunk a Cauchy-Schwarz egyenltlensg a1 ,..., an s 1,...,1 szmokra trtn alkalmazsa esetn.
3. Cskken lncok jrarendezsi-egyenltlensge s Tchebyshev-egyenltlensge 3.1. Cskken lncok jrarendezsi-egyenltlensge

Legyenek az a1 a2 ... an s b1 b2 ... bn szmok vals szmok sorozatai. Ekkor igaz lesz a kvetkez egyenltlensg: (4) a1b1 + a2 b2 + ... + an bn a1bn + a2 bn 1 + ... + an b1 . Valban, ha kivonjuk a jobb oldalt a bal oldalbl, akkor a kvetkez formj ekvivalens egyenltlensget kapjuk: a1( b1 bn ) + a2 ( b2 bn 1 ) + ... + an ( bn b1 ) 0 . Ez megint trhat gy, hogy: (a1 an )( b1 bn ) + (a2 an 1 )( b2 bn 1 ) + ... + (ak ak + i )( bk bk + i ) 0 . ahol k = s 2

1 ha n pros i= 2 ha n pratlan
Az utols egyenltlensg nyilvnval. A (4)-es egyenltlensg tovbb finomthat a kvetkez mdon: ha bi1 , bi2 ,..., bin szmok a
b1, b2 ,..., bn szmok felcserlsei, akkor a kvetkez ketts egyenltlensg igaz lesz:

a b
i =1 i

a1bi1 + a2 bi2 + ... + an bin ai bn +1 i .

i =1

(5)

Ms szavakkal, a

a b
k =1 k

ik

sszeg akkor ri el a maximlis rtkt, ha a b1, b2 ,..., bn szmok

cskken sorrendben vannak, s akkor ri el a minimumt, ha a szmok nvekv sorrendben vannak. Emiatt hvjk az (5)-s egyenltlensget cskken lncok jrarendezsiegyenltlensgnek (vagy rviden RI-nek, az egyenltlensg angol elnevezse, a cskken lncok jrarendezsi inequality kifejezs alapjn). Most megnzzk, hogy hogyan bizonythat be a

a b a b
i =1 i i k =1 k

ik

egyenltlensg.

Az tlet az, hogy megmutassuk, hogy a bi1 ,..., bin permutci, amire

a b
k =1 k

ik

egy maximum,

megegyezik a b1, b2 ,..., bn permutcival. Tegyk fel, hogy i1 1 s legyen i k az az indexels, amire bik = b1 . Tekintsk a bik = b1, bi2 ,..., bik 1 , bik +1 ,..., bin permutcit s szmtsuk ki a klnbsget:

a b
k =1 k

ik

(a1b1 + a2 bi2 + ... + ak bi1 + ... + an bin ) =

= a1(bi1 b1 ) + ak (bik bi1 ) = (a1 ak )(b1 bi1 ) 0 . gy, ha

a b
k =1 k

ik

egy maximum, akkor i1 = 1.

Az eljrs jra hasznlhat, hogy megmutassuk, hogy i 2 = 2,..., i n = n .

3.2. Tchebyshev-egyenltlensge

Az (5) egyenltlensg alkalmazsaknt bebizonythatunk egy nagyon rdekes s hatsos egyenltlensget Tchebyshevnek ksznheten: ha a1 a2 ... an s b1 b2 ... bn akkor (6) ( a1 + a 2 + ... + a n )( b1 + b2 + ... + bn ) n ( b1 + a 2 b2 + ... + a n bn ). Nha ez az egyenltlensg egy olyan formban van megadva, ami szmtani kzepekbl ll s ami mg vonzbb s megfelelbb teszi az egyenltlensget: a1 + ... + a n b1 + ... + b n a b + ... + a n b n 1 1 . n n n A (6)-os bebizonytsra a szmos lehetsges bizonyts egyikt fogjuk megmutatni. A bal oldal n 2 darab szorzat sszege

ai bj =
i =1 j =1

i , j =1

ab
i

ami a kvetkez formj kifejezsek sszegeknt kaphat meg:

a b
k =1 k

ik

Pldul rendezhetjk ket gy, hogy a szmokat ciklikusan b1, b2 ,..., bn b2 , b3 ,..., bn , b1 szmokk, majd b3 , bn ,..., b2 , szmokk rendezzk, s gy tovbb. Ezrt
i , j =1

a b = (a b
i j

1 1

+ a2 b2 + ... + an bn ) + ( a1b2 + a2 b3 + ... + an b1 ) + ...

... + ( a1bn + a2 b1 + ... + an bn 1 ) Minden zrjeles rsz fels korltja az a1b1 + a2 b2 + ... + an bn s sszeadva ket a (6)-ot kapjuk.
3.3. Alkalmazsok 3.3.1. Az AM-QM egyenltlensg (az 1.4-es ttelbl) Tchebyshev-egyenltlensgnek egy specilis esete: 2 2 2 (a1 + a2 + ... + an )2 n (a1 + a2 + ... + an ). Valban, mivel az egyenltlensg szimmetrikus, ezrt feltehetjk, hogy a1 a2 ... an . Vegyk szintn a b1 = a1, b2 = a2 ,..., bn = an szmokat. Nyilvnval, hogy Tchebyshevegyenltlensgt alkalmazva erre esetre a kvnt eredmnyt adjuk. 3.3.2. Brmely a, b, c vals szmok esetn igaz lesz a kvetkez egyenltlensg:

a2 + b2 b2 + c 2 c 2 + a2 + + a+b+c. 2c 2a 2b Megolds.

1 1 1 >0 . c b a Ktszer alkalmazva a cskken lncok jrarendezsi-egyenltlensgt azt kapjuk, hogy:

Tegyk fel, hogy a b c > 0 . Ebbl kvetkezik, hogy
1 1 1 a2 b2 c 2 + b2 + c 2 + + a b c c a b 1 1 1 a2 b2 c 2 + b2 + c 2 + + a b c b c a

a2

s
a2

sszeadva ezeket az egyenltlensgeket megkapjuk a kvnt egyenltlensget.

3.3.3. Brmely hegyesszg ABC hromszgben igaz lesz a kvetkez egyenltlensg: 2(a sin A + b sin B + c sin C ) (a) a(sin B + sin C ) + b(sin C + sin A) + c (sin A + sin B ); (b) 3(a sin A + b sin B + c sin C ) (a + b + c )(sin A + sin B + sin C ) . Bizonyts. Tegyk fel, hogy a b c . Ekkor sin A sin B sin C . Alkalmazzuk egyms utn a cskken lncok jrarendezsi-egyenltlensget az (a, b, c ) s (sin A,sin B,sin C ) szmhrmasokra, az utols szmok sorrendje: (sin A,sin B,sin C ) . sszeadva a kapott egyenltlensgeket az (a)-t kapjuk. Hogy megkapjuk (b)-t, az a sin A + b sin B + c sin C kifejezst hozzadjuk az (a) egyenltlensg mindkt oldalhoz. 3.3.4. Brmely a, b, c pozitv szmok esetn igaz a kvetkez egyenltlensg: a b c 3 + + . b+c c+a a+b 2 Ez mr bizonytva volt az (Egyenltlensgek, Els szint)-ben. Egy j bizonyts is adhat Tchebyshev-egyenletnek felhasznlsval a kvetkez 1 1 1 . rendezett szmhrmasokra: a b c s b+c c +a a+b

Azt kapjuk, hogy: b c 1 1 a 1 3 + + (a + b + c ) + + = b+c c +a a+b b+c c +a a+b a+b+c a+b+c a+b+c a b c = + + =3+ + + . b+c c +a a+b b+c c+a a+b Az eredmny most mr nyilvnval.
3.3.5. Legyenek x1, x2 ,..., xn s , pozitv vals szmok gy, hogy < s x1x2 ...xn = 1 . Ekkor . x1 + x + ... + x x1 + x2 + ... + x n 2 n Bizonyts. Tchebyshev-egyenltlensgt hasznljuk fel. Tegyk fel, hogy tekintsk a kvetkez rendezett rendszert: x1 x ... x , x1 x2 ... x n 2 n
x1 x2 ... xn s

Tchebyshev-egyenlete alapjn azt kapjuk, hogy n x1 + x 2 + ... + x n

( (x

+ x + ... + x 2 n

) )( x

+ x2 + ... + x n .

Az AM-GM egyenltlensg alapjn:

x1 x 2 + ... + x n n n ( x1x2 ...xn ) = n .

Az AM-GM egyenltlensg egy j bizonytsa: x + x2 + ... + xn n ( x x ...x ) 1 , n 1 2 n minden x1, x2 ,..., xn pozitv szm esetre. Hasznljuk a G = n x1x 2 ...x n jellst s tekintsk a kvetkez szmok rendszereit:

x1 xx x x ...x , a2 = 1 22 ,..., an = 1 2 n n = 1 s G G G 1 1 1 b1 = , b2 = ,..., bn = . a1 a2 an Ezeknek a szmoknak a sorrendje ellenttes, gy a (4)-es alapjn azt kapjuk, hogy: a1b1 + a2 b2 + ... + an bn a1bn + a2 b1 + ... + an bn 1 . Behelyettestve az ai , bi kifejezseket azt kapjuk, hogy: a1 =
x1 x1x2 G x1x2 x3 G 2 x1x2 ...xn G n 1 ... + 2 + + + . G G x1 x1x2 x1x2 ...xn 1 G3 Gn Ami azt eredmnyezi, hogy: x x x n 1 + 2 + ... + n , G G G ami pontosan az AM-GM egyenltlensg. n 4. Bernoulli-egyenltlensg 4.1. A Bernoulli-alapegyenltlensg

Rengeteg egyenltlensget ismernk Bernoullinak hla. A Bernoulli-alapegyenltlensg a kvetkez: ha x > -1 egy vals szm, s n egy pozitv egsz szm, akkor (1 + x )n 1 + nx . (7) Ezt n-re alkalmazott indukci segtsgvel bizonythatjuk be. n = 1 esetn egyenlsget kapunk. Tegyk fel, hogy (1 + x )n 1 + nx s szorozzuk meg ezt az 1 + x pozitv szmmal. Azt kapjuk, hogy: (1 + x )n +1 (1 + nx )(1 + x ) = 1 + (n + 1)x + nx 2 1 + (n + 1)x . gy az egyenltlensg igaz minden n esetre.
4.2 Az ltalnos Bernoulli-egyenltlensg

A (7)-egyenltlensget ltalnosthatjuk gy is, hogy tbb klnbz szmra vonatkozzon. Tegyk fel, hogy n 2 s az x1, x 2 ,..., x n szmok nem nulla vals szmok, amik mind ,2,..., n esetre. Ekkor azonos eljelek, s xi -2 , minden i = 1 (8) (1 + x1 )(1 + x2 )...(1 + xn ) > 1 + ( x1 + x2 + ... + x n ). A (8)-as bizonytsra megint indukcit fogunk hasznlni. n = 2 esetn azt kapjuk, hogy:

(1 + x1 )(1 + x2 ) = 1 + ( x1 + x 2 ) + x1 x 2 > 1 + ( x1 + x 2 ) . Ha x1,..., xn szmok mind pozitv szmok, akkor rendes vgigszmolssal, ami a szimmetrikus polinomokat hasznlja fel, azt kapjuk, hogy

(1 + x1 )(1 + x2 ) ... (1 + xn ) = 1 + xi + xi x j + ...

i =1 i< j

i1 <...< ik

xi1 ...xik + ... + x1 x2 ...xn > 1 + xi

i =1

Ezrt mr csak az az eset marad, amikor -2 < xi < 0 . Tegyk fel, hogy az egyenltlensg igaz n szmra s mi n + 1 -re szeretnnk bizonytani. Azt kapjuk, hogy (1 + x1 )...(1 + xn )(1 + xn +1 ) - (1 + x1 + ... + xn + xn +1 ) =
= [(1 + x1 )...(1 + xn ) - (1 + x1 + ... + xn )] + + xn +1 [(1 + x1 )...(1 + xn ) - 1] .

Mivel -2 x k < 0 , ezrt (1 + x1 )...(1 + x n ) < 1 s

kvetkezik,

hogy

-1 1 + xk < 1 .

gy

minden

esetre

xn +1 [(1 + x1 )...(1 + x n ) - 1] > 0 .

4.3 Alkalmazs. Ha a1, a2 ,..., an 1-nl nem nagyobb pozitv szmok, akkor
2 2 2 (a1 + n - 1)(a2 + n - 1)...(an + n - 1) n n -1(a1 + a2 + ... + an )2 . Az egyenltlensg ekvivalens a kvetkezvel
2 2 2 a1 1 1 - 1 a2 - 1 an 1 1 ... + + + 1 (a1 + a2 + ... + an )2 . n n n n A Bernoulli-egyenltlensg alapjn azt kapjuk, hogy 2 2 2 N a1 - 1 a2 - 1 an 1 ai2 1 + 1 + 1 ... + 1 1 + n I =1 n n n s a 2.2.2-es egyenltlensg alapjn kvetkezik a vgeredmny.

5. Ajnlott feladatok

Ebben a rszben ajnlott feladatknt mutatunk meg nhny egyenltlensget. A megoldsukhoz szksges, hogy az olvas megfelel tudssal rendelkezzen az elbbiekben bemutatott alapvet egyenltlensgekrl.
5.1. Egy IMO feladat egy vratlan megoldssal1 Legyen n egy rgztett egsz szm gy, hogy n 2 . (a) Keressk meg a legkisebb konstans C szmot gy, hogy a

n xi x j x + x j C xi 1 i < j n i =1 egyenltlensg igaz legyen minden x1, x2 ,..., xn 0 vals szmra. (b) Hatrozzuk meg, hogy mikor ll fenn az egyenltlensg ezen konstans C esetn.
2 1 2

Els megolds. n = 2 esetn a kvetkez fggvny maximumt kell megkeresnnk,

2. feladat, IMO, 1999, Bukarest

xy ( x 2 + y 2 ) ( x + y )4 ahol x 0, y 0 s x, y nem lehet 0 egyszerre. Mivel az f-t meghatroz trt nullafok homogn, ezrt a kvetkez jellst x y hasznljuk a = , gy, hogy a + b = 1 . gy a kvetkez fggvnyt kapjuk: , b= x+y x+y g (a, b ) = ab(a2 + b2 ) , ahol a + b = 1 . A 2ab = p jellst alkalmazva egy egyismeretlenes msodfok fggvnyt kapunk: 1 1 g (a, b ) = ab(1- 2ab ) = p(1- p ) . 2 8 1 1 1 1 p(1- p ) Az egyenltlensg nyilvnval s a C = maximumot p = esetn kapjuk 2 8 8 2 1 meg, ami azt jelenti, hogy a = b = . 2 Az ltalnos esetben be fogjuk bizonytani, hogy f ( x, y ) =
1 i < j n

xi x j x + x
2 i

2 j

1 n xi 8 i =1 .
n

Hasznljuk a kvetkez jellseket:

x
i =1

= S s y i =

xi . Mint feljebb, tekintnk egy S

segdfggvnyt, f-t, s bebizonytjuk, hogy

f(y1,...,yn )= yi y j yi2 +y 2 j
i<j

1 8

minden y 1,..., y n 0 esetre s y 1 + ... + y n = 1. Mivel az f ( y 1,..., y n ) polinom szimmetrikus, ezrt feltehetjk, hogy y 1 y 2 ... 0 . Az tlet az, hogy megmutassuk, hogy ha y n > 0 akkor, f ( y 1,..., y n -2 , y n -1 + y n , 0) > f ( y 1,..., y n -1, y n ) ami csak gondos vgigszmolst ignyel. Megismtelve a fenti eljrst kvetkezik, hogy a maximumot akkor kapjuk meg, amikor n - 2 vltoz 0, gy a feladat leegyszersdik az n = 2 esetre. Msodik megolds (M. Rdulescunak ksznheten) n = 2 esetn, mint az elz megoldsban, azt kapjuk, hogy 1 xy ( x 2 + y 2 ) ( x + y )4 . 8 Most foglalkozzunk az n > 2 szmokkal. Hasznljuk az M = xi2 jellst. Ekkor x i2 + x 2 j M
i =1 n

s az egyenlsg akkor s csakis akkor ll fenn, ha x k = 0 minden k , k i , j esetre. Megfelelen alkalmazva az AM-GM egyenltlensget azt kapjuk, hogy:

x x (x
i< j i j

2 i

+ x2 xi x j M = j
i< j

1 M 2 xi x j 2 i< j
4

1 n = xi . 8 i =1 Az egyenlsg akkor s csakis akkor ll fenn, ha ltezik olyan ( i , j ) pr, hogy xi = x j

s x k = 0 , k i , j esetre.

1 M + 2 xi x j 2 2

5.2. A Cauchy-Schwarz egyenltlensg egy rdekes alkalmazsa2 Legyen n egy pozitv egsz szm s legyenek az x1 x2 ... xn szmok vals szmok. (a) Bizonytsuk be, hogy

n 2(n 2 - 1) n ( xi - x j )2 ; xi x j 3 i , j =1 i , j =1 (b) Mutassuk meg, hogy az egyenlsg akkor s csakis akkor ll fenn, ha x1, x2 ,..., xn egy szmtani sorozat. Megolds. (a) Mivel az egyenltlensg mindkt oldala vltozatlan marad, ha a vals tengely
mentn eltoljuk, ezrt feltehetjk, hogy Ekkor,
i , j =1 n

x
i =1

=0.
n

x j = 2 ( x j xi ) = 2 (2i n 1)xi .
i< j i =1

A Cauchy-Schwarz egyenltlensg alapjn azt kapjuk, hogy

n n 4n(n + 1)(n 1) n 2 2 2 = 4 (2 1) x x i n x xi . i j i 3 i =1 i =1 i =1 i , j =1 2

Msrszrl

i , j =1

(x

x j ) = n xi2 xi x j + n x 2 = 2n x i2 . j
2 i =1 i =1 j =1 j =1 i =1

Ezrt a megadott egyenltlensg igaz. (b) Ha az egyenlsg fennll, akkor x i = k (2i - n - 1) nhny k-ra, ami azt jelenti, hogy a x1,..., xn szmok egy szmtani sorozatot alkotnak. Vgezetl egyszer megltni, hogy ha a x1,, xn szmok egy szmtani sorozatot alkotnak, akkor az egyenltlensg egy egyenlsgg alakul.
5.3. Minden a1, a2 ,, an > 0 szmra s az S = a1 + a2 + + an jells esetn azt kapjuk, hogy a1 a2 an n + +K+ . S a1 S a2 S an n 1 1. Megolds Lineris vltozcsert alkalmazunk. 2. Megolds Mivel a bal oldal egy szimmetrikus fggvny az a1, a2 ,, an szmokra nzve, ezrt feltehetjk, hogy a1 a2 an , gy, hogy S a1 S a2 K S an s ezrt 1 1 1 K . S a1 S a2 S an Tchebyshev-egyenltlensgnek alapjn azt kapjuk, hogy 1 a1 a2 an 1 1 (a1 + a2 + K + an ) + +K+ + +K+ n (5.1) S an S an S a1 S a2 S a1 S a2 Felhasznlva az egyenltlensget a 2.2.1-bl azt kapjuk, hogy 1 1 1 2 (S a1 + S a2 + K + S an ) + +K+ n S a S a S a 1 2 n ami azt adja, hogy
2

5. feladat, IMO 2003, Toki

1 1 1 n2 + +K+ S a1 S a2 S an (n 1)S Az utols egyenltlensg az (5.1)-el egytt bizonytja a kvnt eredmnyt.

5.4. Ha a1 , a2 ,..., an > 0 s a1 + a2 + ... + an = 1 akkor

a1 a2 an n + +K+ . 2 a1 2 a2 2 an 2n 1 (Balkni Matematikai Olimpia). Megolds. Az 5.3-hoz hasonlan, de a 2S ai = 2 ai szmokat hasznlva az S ai , i = 1,2,K , n szmok helyett.
5.5. Ha a, b, c > 0 , akkor a3 b3 c3 a+b+c + + . 2 2 2 2 2 2 3 a + ab + b b + bc + c c + ca + a Megolds. Hasznljuk a kvetkez jellst! a3 b3 c3 + 2 + 2 , A= 2 2 2 a + ab + b b + bc + c c + ca + a 2 b3 c3 a3 + + . A= 2 a + ab + b 2 b 2 + bc + c 2 c 2 + ca + a 2 Mivel a3 b3 =ab a 2 + ab + b 2 A+B ezrt kvetkezik, hogy A = B . Felhasznlva a tnyt, hogy A = s alkalmazva a 2 kvetkez alak egyenltlensgeket a2 + ab + b2 3(a2 ab + b2 ) ,

,ami ekvivalens az (a b )2 0 egyenltlensggel, megkapjuk a kvnt egyenltlensget.

5.6. Ha n 3 s a1, a2 ,K , an > 0 , akkor
2 2 2 a1 a2 an 1 + +K+ (a1 + a2 + K + an ) . a1 + a2 a2 + a3 an + a1 2 Megolds. Hasznljuk az 2 2 2 a1 a2 an , A= + +K+ a1 + a2 a2 + a3 an + a1 jellst s 2 2 2 a3 a2 a1 B= + +K+ a1 + a2 a2 + a3 an + a1 s az elz feladathoz hasonlan mutassuk meg, hogy A = B . Aztn hasznljuk ugyanazt az tletet a kvetkez egyenltlensggel egytt: 2 2(ai2 + a 2 j ) ( ai + a j ) , i = 1,2,K , n .

Egy msik megoldst is kaphatunk a Cauchy-Schwarz egyenltlensg felhasznlsval, amit a kvetkez alakban alkalmazunk (2. ktet, Egyenltlensgek cm fejezet)
ai2 i =1 bi
n

2 i

Valban, ciklikusan sszegezve azt kapjuk, hogy

2 a1 a +a 1 2

( ai )2 2 ai

1 ai . 2

5.7. Ha n 3 s a1, a2 ,, an > 0 , akkor

3 3 3 a1 a2 an 1 2 2 2 + +K+ (a1 + a2 + K + an ). a1 + a2 a2 + a3 an + a1 2

Felhasznlva a Cauchy-Schwarz egyenltlensg fentebb emltett alakjt, azt kapjuk, hogy ( an +1 = a1 )

a
1

n ai3 a4 = 2 i + ai +1 1 ai + ai ai +1

( ai 2 )

ai 2 + ai ai +1

gy a kvetkezt kell bebizonytanunk:

a
1

ai ai +1,
1

ami pontosan a Cauchy-Schwarz egyenltlensg:

a1a2 + a2 a3 + ... + an a1 a12 + a2 2 + ... + an 2 a2 2 + a32 + ... + a12 .

5.8. Ha a, b, c > 0 s a 2 + b 2 + c 2 = 1 akkor

a b c 3 3 . + + 2 2 2 1 a 1 b 1 c 2 Megolds. Az nyilvnval, hogy a, b, c (0,1) . Mindenek eltt elszr be kell bizonytanunk 2 . Ez brmely x > 0 esetre, hogy igaz a kvetkez egyenltlensg: x (1 x 2 ) 3 3 nyilvnvalv vlik, ha trjuk a kvetkez ekvivalens alakba: ( x 3 1)2 ( x 3 + 2) 0 . Az 1 egyenlsg akkor s csakis akkor ll fenn, ha x = . x (0,1) esetn az elz 3 x 3 2 2 egyenltlensg ekvivalens a kvetkezvel x . Most vegyk az 2 1 x 2 x = a , x = b , x = b eseteket sorra az elz egyenltlensgben s sszegezzk ezt a hrom egyenltlensget, hogy megkapjuk az egyenltlensget a feladatunkban.

5.9. Legyenek a, b, A, B szmok pozitv szmok gy, hogy a < A s b < B . Minden olyan a1, a2 ,K , an , b1, b2 ,K , bn szmra, ahol ai [a, A], bi [b, B ], i = 1,2,K , n , igaz lesz a kvetkez egyenltlensg:
2 2 2 2 2 2 (a1 + a2 + K + an )(b1 + b2 + K + bn ) 1 AB + 2 (a1b1 + a2 b2 + K + an bn ) 4 ab (Ez az egyenltlensg G. Polynak s G. Szegnek ksznhet.) Megolds. Az ai [a, A] , bi [b, B ] alapjn azt kapjuk, hogy b bi B , i = 1,2,K, n A ai a

ab . AB

ami azt adja, hogy

bi b B bi 0, i = 1,2,K, n . ai A a ai Ez az utols egyenltlensg ekvivalens a kvetkezvel: bB 2 B b bi2 + ai + ai bi , i = 1,2,K, n . aA a A sszeadva ezt az n darab egyenltlensget, azt kapjuk, hogy n bB n 2 B b n bi2 + + ai bi . ai aA i =1 a A i =1 i =1 De n bB n 2 n 2 bB n 2 2 b a b 2 + i i ai i aA i =1 i =1 aA i =1 i =1 s innen bB n 2 n 2 B b n 2 + ai bi , bi ai aA i =1 i =1 a A i =1 ami a kvnt egyenlsget adja meg.

,2,K, n szmok ( i1, i 2 ,K, i n ) permutcijra s brmely a1, a2 ,K , an pozitv 5.10. Az 1 szmokra igaz a kvetkez egyenltlensg: a a a 1 1 1 1 + 1 1 + 2 K 1 + n a1 + a2 + K an + . ai1 ai2 ain a1 a2 an (Dan Seclman feladata, Gazeta Matematic, Bukarest) 1 Megolds. Felhasznlva az ai + 2, i = 1,2,K, n egyenltlensgeket arra a ai
kvetkeztetsre jutunk, hogy a bal oldal legalbb 2n . Hogy bebizonytsuk a feladatban szerepl egyenltlensget, elegend megmutatni, hogy a bal oldal legfeljebb 2n . Ehhez alkalmazzuk elszr az AM GM egyenltlensget, hogy megkapjuk a kvetkezt: a a a 1 + 1 1 + 2 K 1 + n (1 + S )n , ai1 ai2 ain a a 1 a ahol S = 1 + 2 + K + n . Most a cskken lncok jrarendezsi-egyenltlensgt n ain ai1 ai2 felhasznlva arra a kvetkeztetsre jutunk, hogy S az i1 = 1, i 2 = 2,K, i n = n permutci esetn ri el a maximumt, ami 1-gyel egyenl. A bizonyts gy mr teljes.
5.11. Ha a, b, c egy hromszg hrom oldala, akkor a2 (b + c a ) + b2 (c + a b ) + c 2 (a + b c ) 3abc . (2. Feladat, IMO, 1964, Magyarorszg ajnlsra) 1. Megolds A kvetkez jellst alkalmazva

b + c a = x > 0, c + a b = y > 0, a + b c = z > 0

azt kapjuk, hogy

a=

y+z z+x x+ y , b= , c= , 2 2 2

s a bizonytand egyenltlensg a kvetkezv alakul

2[( x + y ) 2 z + ( y + z ) 2 x + ( z + x) 2 y ] 3( x + y )( y + z )( z + x).
ami ekvivalens mdon gy is felrhat, hogy

6 xyz ( y 2 + z 2 ) x + ( z 2 + x 2 ) y + ( x 2 + y 2 ) z.
Ez az utols egyenltlensg nyilvnvalv vlik, ha felhasznljuk a kvetkez AM-GM egyenltlensgeket

y 2 + z 2 2 yz, z 2 + x 2 2 zx, x 2 + y 2 2 xy. Az egyenlsg akkor ll fenn, ha x = y = z , azaz a = b = c .

2. Megolds Mivel a, b, c a hromszg oldalai, ezrt tudjuk, hogy b + c a > 0, c + a b > 0, a + b c > 0 amik a kvetkez nyilvnval egyenltlensgekkel egytt (a b )2 0, (b c )2 0, (c a )2 0 azt adjk, hogy (b c )2 (b + c a) + (c a)2 (c + a b ) + (a b )2 (a + b c ) 0 ami ekvivalens a kvetkezvel 6abc 2a2 (b + c a ) 2b2 (c + a b) 2c 2 (a + b c ) 0 ami trendezve: a2 (b + c a ) + b2 (c + a b ) + c 2 (a + b c ) 3abc .