Egyenlőtlenségek versenyfeladatokban: az analízis segít. Írta: Kőhalmi Krisztina

Átírás

1 Egyenlőtlenségek versenyfeladatokban: az analízis segít Szakdolgozat Írta: Kőhalmi Krisztina Matematika BSc Témavezető: Besenyei Ádám Alkalmazott Analízis és Számításmatematikai Tanszék Eötvös Loránd Tudományegyetem Természettudományi Kar Budapest 04

2 Tartalomjegyzék. KöMaL 0. május 4.. Megoldás differenciálszámítás segítségével Megoldás integrálszámítás alkalmazásával Megoldás a Jensen-egyenlőtlenséggel Diákolimpia Megoldás ügyes helyettesítéssel Megoldás számtani és mértani közepekkel Megoldás többváltozós szélsőérték-kereséssel Diákolimpia Megoldás a Cauchy Schwarz-egyenlőtlenséggel Megoldás súlyozott közepek egyenlőtlenségével Megoldás a Csebisev-egyenlőtlenséggel OKTV 0/ Megoldás valószínűségekkel Megoldás teljes indukcióval Megoldás függvényvizsgálat segítségével Irodalomjegyzék 0

3 Bevezetés A szakdolgozatomban középiskolai diákok számára kiírt versenyfeladatsorok egyenlőtlenségekkel kapcsolatos példáival foglalkozunk, amelyekre többféle megoldást mutatunk, néhány kivételtől eltekintve, főleg az analízis témakörén belül. Példákat veszünk a Középiskolai Matematikai és Fizikai Lapok, a Nemzetközi Matematikai Diákolimpia és az Országos Középiskolai Tanulmányi Verseny feladatai közül. Az alapvető célkitűzés az volt, hogy minél több, érdekesebb és változatosabb megoldást mutassunk be, olyan megoldási lehetőségeket és technikákat, amelyek nemcsak a diákok, de a tanárok számára is kihívást jelentenek. Vannak köztük olyan megoldások is, amelyek magasabb szintet képviselnek, mint amit ezeken a versenyeken megkívánnak, de egy pedagógus számára segítséget adhatnak egy könnyebb, elegánsabb megoldás megtalálásához. A dolgozatban négy feladatot tárgyalunk, mindegyiket külön fejezetben. Az egyes feladatokra három különböző megoldást mutatunk, így a tizenkét megoldással egy változatos képet kaphatunk egyenlőtlenségek megoldási módszereiről. Az első fejezetben egy KöMaL feladattal foglalkozunk, amelyet differenciálszámítás és integrálszámítás segítségével, majd a Jensen-egyenlőtlenségre alapozva oldunk meg. A második feladat a Nemzetközi Matematikai Diákolimpiák egyik feladata, első megoldásában egy ügyes helyettesítéssel, a másodikban számtani és mértani közepekkel, a harmadik megoldásban pedig többváltozós szélsőérték-kereséssel találkozhatunk. A harmadik fejezet szintén egy diákolimpiai feladat megoldásaival foglalkozik, ahol egy Cauchy Schwarz Bunyakovszkij-egyenlőtlenséget, egy súlyozott közepeket és egy Csebisev-egyenlőtlenséget használó feladatmegoldást mutatunk. A negyedik, egyben utolsó feladat a 0/04. évi OKTV döntőjén szerepelt. Elsőként valószínűségekkel, majd teljes indukcióval, és végül függvényvizsgálat segítségével oldjuk meg. A feladatmegoldásokban további érdekes egyenlőtlenségek is előbukkannak, mint például a Milne-egyenlőtlenség a KöMaL feladat második megoldása kapcsán, vagy a rendezési-egyenlőtlenség a Csebisev-egyenlőtlenség bizonyítása során, valamint a Nesbittegyenlőtlenség az egyik olimpiai feladat megoldásában.

4 . fejezet KöMaL 0. május A Középiskolai Matematikai és Fizikai Lapok 0. májusi számában tűzték ki az alábbi feladatot... Feladat. (KöMaL B Legyen p valós szám. Bizonyítsuk be, hogy ekkor tetszőleges x, y, z és v nemnegatív valós számokra (x + y p + (z + v p + (x + z p + (y + v p x p + y p + z p + v p + (x + y + z + v p. (... Megoldás differenciálszámítás segítségével Ebben a megoldásban a következő tételt fogjuk alkalmazni... Tétel. Legyen f : [a, + R folytonos függvény, amely differenciálható (a, + - en, továbbá f(a 0 és f (x 0 minden x (a, + esetén. Ekkor f 0 az [a, + intervallumon. Bizonyítás. A feltételekből következően f monoton növekvő függvény [a, + -en, ezért f(x f(a minden [a, + -beli x-re, vagyis f 0 az [a, + intervallumon. Térjünk most rá az.. Feladat megoldására. Rögzített y, z és v nemnegatív számok esetén értelmezzük az f y,z,v : [0, + R függvényt az alábbi módon: f y,z,v (x = x p + y p + z p + v p + (x + y + z + v p (x + y p (z + v p (x + z p (y + v p. Nyilvánvaló, hogy f folytonos a [0, + intervallumon, hiszen hatványfüggvények összege. Megmutatjuk, hogy f kielégíti az.. Tétel feltételeit. Az első lépésben belátjuk, hogy f y,z,v (0 0, majd második lépésben azt igazoljuk, hogy f y,z,v(x 0 minden pozitív x számra. Ekkor az.. Tétel alapján f y,z,v (x 0 minden nemnegatív x számra, ami éppen a feladat egyenlőtlensége. 4

5 . lépés. Az f y,z,v (0 0 összefüggés azt jelenti, hogy y p + (z + v p + z p + (y + v p y p + z p + v p + (y + z + v p, ami egyszerűsítés után a következő alakot ölti: (z + v p + (y + v p v p + (y + z + v p. (. Rögzített y 0 esetén tekintsük a λ 0 valós számokon értelmezett g y (λ = (y + λ p λ p folytonos függvényt. Megmutatjuk, hogy g y monoton növő, és így z + v v alapján g y (z + v g y (v (ahol valójában ismét az.. Tételt használjuk. Világos módon g y (λ = p((y + λ p λ p, ezért g y(λ 0 minden λ és y nemnegatív számok és p esetén, tehát g y valóban monoton növő függvény.. lépés. Most belátjuk, hogy f y,z,v(x = px p + p(x + y + z + v p p(x + y p p(x + z p 0 minden pozitív x értékre. Mivel a feladat feltevése szerint p, így q := p teljesül. Ekkor némi átrendezés után a bizonyítandó f y,z,v(x 0 összefüggés így alakul: x q + (x + y + z + v q (x + y q + (x + z q. (. Használjuk most az előző lépésben bevezetett g y függvényt p helyett a q kitevővel: g y (λ = (y + λ q λ q. Láthattuk, hogy g y (z + v g y (v, ebbe v helyére x-et helyettesítve kapjuk, hogy (x + y q + (x + z q x q + (x + y + z q. Mivel v 0, így x q + (x + y + z q x q + (x + y + z + v q, ezért az (. egyenlőtlenség már adódik, vagyis f y,z,v(x 0 minden pozitív x számra. Láthatjuk tehát, hogy f y,z,v (0 0 minden nemnegatív x-re és f y,z,v(x 0 minden pozitív x számra, ezért az.. Tétel alapján f y,z,v (x 0 minden nemnegatív x értékre. 5

6 .. Megoldás integrálszámítás alkalmazásával Egy kifejezés nemnegativitásának igazolása úgy is történhet, hogy egy megfelelő intervallumon vett határozott integrálként írjuk fel és az integrandus nemnegativitását látjuk be (hiszen nemnegatív integrálható függvény Riemann-integrálja is nemnegatív. Ezt fogjuk alkalmazni a KöMaL feladat alábbi megoldásában, amelynek során az (. egyenlőtlenséget 0-ra rendezzük, majd a kapott kifejezést határozott integrálként állítjuk elő, az integrandusról pedig a következő lemma segítségével látjuk be, hogy nemnegatív... Lemma. Ha a, b, c, d nemnegatív számok, amelyekre a + c > 0 és b + d > 0, továbbá p valós szám, akkor (a + b + c + d p (a + b(c + d (a + c p ac + (b + d p bd. (.4 Egyenlőség akkor és csak akkor áll fenn, ha p = és ad = bc, valamint ha p > és a = b = 0, vagy c = d = 0. Bizonyítás. Lássuk először a p = esetet! Ekkor a bizonyítandó egyenlőtlenség alakja vagyis (a + b(c + d a + b + c + d ac a + c + (a + b(c + d (a + b + c + d ac a + c bd b + d 0. bd b + d, (.5 Ebből közös nevezőre hozás és kissé hosszadalmas algebrai átalakítások után (megfelelő odafigyeléssel kapjuk, hogy (ad bc (a + b + c + d(a + c(b + d 0. Mivel ekvivalens átalakítások során egy triviálisan igaz állításhoz jutottunk, így az (.5 egyenlőtlenség is érvényes. Az is látható, hogy p = esetén pontosan akkor áll fenn egyenlőség, ha ad = bc. A p > eset bizonyításához írjuk át az (.4 egyenlőtlenség jobb oldalát a következő alakba: (a + c p ac + (b + d p bd = ac a + c (a + cp + bd b + d (b + dp. Ha az alapot növeljük, akkor a p > 0 kitevőjű hatvány is nő, így ac a + c (a + cp + bd ( ac b + d (b + dp a + c + bd (a + b + c + d p, (.6 b + d ahol az (.5 egyenlőtlenség alapján ( ac a + c + bd b + d (a + b + c + d p 6 (a + b(c + d a + b + c + d (a + b + c + dp. (.7

7 Mindezek alapján p > esetén (a + c p ac + (c + d p bd (a + b(c + d(a + b + c + d p. Ez pedig éppen az (.4 egyenlőtlenség. Egyenlőség csak akkor áll fenn, ha az (.6 és az (.7 egyenlőségekben egyenlőség teljesül, vagyis ad = 0 és bc = Megjegyzés. Az (.5 egyenlőtlenséget szokás Milne-egyenlőtlenségnek is nevezni. Valójában úgy is írhatjuk, hogy H(a + b, c + d H(a, c + H(b, d, ahol H két pozitív szám harmonikus közepét jelöli. Térjünk most rá a KöMaL feladat megoldására. A bizonyítandó egyenlőtlenség (x + y p + (z + v p + (x + z p + (y + v p x p + y p + z p + v p + (x + y + z + v p, azaz K : = (x + y + z + v p + x p + y p + z p + v p (x + y p (x + z p (z + v p (y + v p 0. Ha az x = z = 0 és y = v = 0 feltételek közül legalább az egyik teljesül, akkor nyilvánvalóan K = 0. Feltehető tehát, hogy x + z > 0 és y + v > 0. A Newton Leibniz-tétel szerint b p a p = [x p ] b a = b a px p dx. (.8 Ezt használjuk fel a K különbség határozott integrál alakba való átírásához. Tekintsük az F (s = (x + y + zs + vs p függvényt, amelyre [F (s] s=0 = [(x + y + zs + vs p ] s=0 = (x + y + z + v p (x + y p. Ezzel megkaptuk a K kifejezés két tagját. Ehhez hasonlóan írhatjuk fel a többi tagot is. Az (y + vs p segítségével [(y + vs p ] s=0 = (y + v p y p, (x + zs p felhasználásával [(x + zs p ] s=0 = (x + z p x p. A (z + v p tag éppen [(zs + vs p ] s=0, a z p tag a [(zs p ] s=0, v p tag pedig [(vs p ] s=0 értéke. A bizonyítandó egyenlőtlenség két oldalának különbsége tehát átírható a következő alakba: K = [(x + y + zs + vs p (x + zs p (zs + vs p (y + vs p + (zs p + (vs p ] s=0. Most az x és y tagokat hasonlóan használva, mint z-t és v-t, még több tagot küszöbölhetünk ki. A t (xt + yt + zs + vs p függvény segítségével [(xt + yt + zs + vs p ] t=0 = (x + y + zs + vs p (zs + vs p, míg az (x + zs p zs p különbség éppen [(xt + zs p ] t=0, az (y + vs p vs p pedig [(yt + vs p ] t=0 értékével egyenlő. Mindezeket összevonva K = [ [(xt + yt + zs + vs p (xt + zs p (yt + vs p ] t=0]. s=0 7

8 Tovább alakítva az (.8 összefüggés mintájára K = p(p [ p 0 0 ( (x + y (xt + yt + zs + vs p x (xt + zs p y (yt + vs p ] dt = s=0 0 ( (x + y(z + v(xt + yt + zs + vs p xz(xt + zs p yv(yt + vs p dtds. Most a lemmát az a = xt, b = yt, c = zs, d = vs számokra alkalmazva láthatjuk, hogy az integrandus (ts-szerese mindenhol nemnegatív, így maga az integrandus is és az integrál is nemnegatív. Tehát K 0, vagyis az (. egyenlőtlenség igaz..5. Megjegyzés. Vegyük észre, hogy ebben a megoldásban az (. egyenlőtlenséget p esetén is igazoltuk. A bizonyításból és a Milne-egyenlőtlenségben az egyenlőség feltételéből könnyen látható, hogy egyenlőség pontosan akkor teljesül, ha p = és x, y, z, v tetszőleges, vagy ha p tetszőleges és az x, y, v, z, x sorozatban van két egymás utáni 0 tag... Megoldás a Jensen-egyenlőtlenséggel A KöMaL feladat harmadik megoldásában a jól ismert Jensen-egyenlőtlenségre fogunk támaszkodni (lásd az [] könyvet..6. Tétel (Jensen-egyenlőtlenség. Az f : I R függvény akkor és csak akkor konvex az I intervallumon, ha valahányszor a,..., a n I, továbbá p,..., p n nemnegatív súlyok, amelyekre teljesül, hogy p p n =, akkor f(p a p n a n p f(a p n f(a n. Ha f konkáv, akkor fordított irányú egyenlőtlenség áll fenn. Az.. Feladat megoldásában elsőként tekintsük az x = y = z = v = 0 esetet. Ezeket az értékeket behelyettesítve az (. egyenlőtlenségbe, nyilvánvalóan egyenlőséget kapunk. Minden más esetben az egyenlet homogenitása miatt feltehetjük, hogy x + y + z + v =, hiszen λ := x+y +z +v 0 esetén tekintsük az x := x, ỹ := y, z := z, ṽ := v változókat, λ λ λ λ amelyekre már igaz, hogy x+ỹ + z +ṽ = és az egyenlőtlenség alakja változatlan. Legyen f(ω = ω ω p, amely p esetén az ω [0, ] intervallumon nemnegatív, konkáv függvény, ugyanis f (ω = p(p ω p 0. Próbáljuk meg a feladatbeli egyenlőtlenséget az f függvény segítségével felírni. Először is az x+y +z +v = feltevés miatt (x+y +z +v p = x+y +z +v, ezért elég azt igazolnunk, hogy (x + y p + (z + v p + (x + z p + (y + v p x p + y p + z p + v p + (x + y + z + v. 8

9 Rendezzük az egyenlőtlenséget az f függvény mintájára úgy, hogy a p-edik hatványon szereplő tagok negatív előjellel álljanak, míg az első hatványon szereplők pozitívval: x + y + z + v (x + y p (z + v p (x + z p (y + v p x p y p z p v p. Mindkét oldalhoz x + y + z + v-t hozzáadva kapjuk, hogy (x + y + z + v (x + y p (z + v p (x + z p (y + v p ami kis átalakítás után a következő alakot ölti: x p y p z p v p + x + y + z + v, (x + y (x + y p + (z + v (z + v p + (x + z (x + z p + (y + v (y + v p (x x p + (y y p + (z z p + (v v p. Ebben az alakban már az f függvényt több helyen is felismerhetjük, így a bizonyítandó egyenlőtlenség a következőképpen néz ki: f(x + y + f(z + v + f(x + z + f(y + v f(x + f(y + f(z + f(v. (.9 Ha x + y = 0, akkor x = y = 0 és z + v =, illetve ha z + v = 0, akkor z = v = 0 és x + y =, mindkét esetben az egyenlőtlenségbe való behelyettesítéssel azonnal látjuk, hogy egyenlőség áll fenn. Tegyük fel tehát, hogy x + y 0 és z + v 0. Vezessük be az S := f(x + f(y + f(z + f(v jelölést, ekkor f definíciója alapján S = x x p + y y p + z z p + v v p. Az iménti egyenlőség jobb oldalát átalakítva S = x + y (x + y p + (x + y p x p y p + z + v (z + v p + (z + v p z p v p = ( x p ( y p = f(x + y + f(z + v + (x + y ( p + x + y x + y ( z p ( v p + (z + v ( p. z + v z + v Az -es tagokat szétbontva ( x ( x p S = f(x + y + f(z + v + (x + y p x + y y ( y p + x + y x + y + x + y ( z ( z p + (z + v p z + v v ( v p + z + v z + v, z + v ahol a jobb oldal éppen ( x ( y f(x+y+f(z +v+(x+y (f ( ( z ( v p +f +(z +v p f +f. x + y x + y z + v z + v 9

10 Mivel x + y + z + v =, és x, y, z, v nemnegatívok, ezért x + y < és z + v <, így (x + y p < x + y, illetve (z + v p < z + v. Ebből következően ( x ( z ( x (x + y p f + (z + v p f (x + yf x + y z + v x + y ( z + (z + vf. z + v Alkalmazzuk az f függvényre a Jensen-egyenlőtlenséget a p = x + y, p = z + v súlyokkal x és, z [0, ] pontokkal, ekkor x+y z+v ( x ( z (x + yf + (z + vf x + y z + v Hasonlóan (x + y p f ( f x z (x + y + (z + v = f(x + z. x + y z + v ( y ( v ( y ( v + (z + v p f (x + yf + (z + vf, x + y z + v x + y z + v ahol a p = x + y, p = z + v súlyokra és y x+y, v z+v [0, ] pontokra alkalmazott Jensenegyenlőtlenség alapján ( y ( v ( y v (x + yf + (z + vf f (x + y + (z + v = f(y + v. x + y z + v x + y z + v A fentiek alapján láthatjuk, hogy ( x ( z f(x + f(y + f(z + f(v = (x + y p f + (z + v p f + x + y z + v ( y ( v + (x + y p f + (z + v p f + x + y z + v + f(x + y + f(z + v f(x + y + f(z + v + f(x + z + f(y + v. Ezzel beláttuk az (.9 egyenlőtlenséget, amely az eredeti egyenlőtlenség ekvivalens alakja..7. Megjegyzés. Ebben a megoldásban az (. egyenlőtlenséget p esetén igazoltuk. Az előző feladatmegoldásban, az (.5 egyenlőtlenség bizonyításánál szintén használható a Jensen-egyenlőtlenség az alábbi módon. Az egyenlőtlenség átírható c+d a+b + c+d a+b (a + b(c + d a + b + c + d a c a + b a + c a ac a + c + bd b + d + b a + b (x 0, amely konkáv függvény. Ekkor a Jensen- alakba. Legyen f(x := x = +x +x egyenlőtlenséget alkalmazva az x = c és x a = b pontokra d f ( a a + b c a + b a + b b d = f b d + b d (.0 ( c + d a + b a a + b f a és a+b ( c a b súlyokkal, a+b + b a + b f A függvényértékeket behelyettesítve éppen az (.0 egyenlőtlenséget kapjuk, amely ekvivalens az (.5 egyenlőtlenséggel. ( b d. 0

11 . fejezet Diákolimpia 984. A következő feladat az 984. évi Nemzetközi Matematikai Diákolimpián szerepelt... Feladat. Legyenek x, y és z olyan nemnegatív számok, amelyekre x + y + z = teljesül. Bizonyítsuk be, hogy 0 xy + yz + zx xyz 7 7. (... Megoldás ügyes helyettesítéssel A (. egyenlőtlenségláncolat bal oldalának belátásához elég némileg átrendezni az xy + yz + zx xyz kifejezést: xy + yz + zx xyz = xy( z + yz( x + zx. Mivel x, y, z nemnegatívak és x + y + z =, ezért z és x is nemnegatív, így a fenti kifejezés is nemnegatív. A jobb oldali egyenlőtlenség bizonyításához vezessük be a következő jelöléseket: a := x, b := y, c := z. Ekkor x + y + z = miatt a + b + c = 0, továbbá 0 x, y, z alapján a, b, c,. Az xy + yz + zx xyz kifejezés az a, b, c változókkal a következőképpen írhatók fel: xy + yz + zx xyz = ab + bc + ca bc + ac abc ab = 7 = (ab + bc + ca 6abc + 7 (. 7. Az xy + yz + zx xyz kifejezésben a, b, c szerepe szimmetrikus, ezért feltehetjük, hogy a b c. Az a + b + c = 0 feltétel miatt nem lehet mindhárom változó egyszerre negatív, vagy egyszerre pozitív, így két eset fordulhat elő:

12 . a b 0 c,. a 0 b c. A (. egyenlőség jobb oldalán a b + c = a behelyettesítést végrehajtva az ab + ac tagokban, xy + yz + xz xyz = (bc a 6abc Ahhoz, hogy a (. egyenlőtlenség teljesüljön, azt kell megmutatnunk, hogy bc a 6abc 0. (. Az első esetben minden tényező nempozitív, így a (. egyenlőtlenség teljesül. A második esetben bc a 6abc = bc (b + c 6abc = b bc c 6abc = (b c bc( + a. Itt (b c 0, továbbá a, miatt < a, vagyis 0 < (+a, tehát bc(+a szintén nempozitív, vagyis a (. egyenlőtlenség ismét teljesül. Ezáltal a (. egyenlőtlenséget beláttuk... Megoldás számtani és mértani közepekkel Vegyük észre, hogy a (. egyenlőtlenségben szereplő kifejezés az x, y, z változók bizonyos elemi szimmetrikus polinomjait tartalmazza, amelyek a Viète-formulákban is felbukkannak. Tekintsük ezért az f(t := (t x(t y(t z = t t (x + y + z + t(xy + yz + zx xyz harmadfokú függvényt. Mivel x + y + z =, így f(t = t t + t(xy + yz + zx xyz. A t = helyen ( f = 8 + (xy + yz + zx xyz, amit átrendezve és -vel szorozva kapjuk, hogy ( f + 4 = (xy + yz + zx xyz. Ebből következően a (. egyenlőtlenség azt jelenti, hogy ( 0 f ,

13 azaz 8 f ( 6. (.4 Az x, y, z változók sorrendje felcserélhető, ezért feltehetjük, hogy 0 z y x. Mivel x + y + z =, ezért két eset lehetséges: x és y, z, valamint x.. eset. Legyen x és y, z. Ekkor ( ( f = x ( ( y z, ahol mindhárom tényező nemnegatív. A számtani és mértani közepek közötti egyenlőtlenséget felhasználva az számhármasra kapjuk, hogy ( f x, y, z ami x = y z miatt úgy írható fel, hogy ( f ( x y z +, ( x. Mivel x, ezért ( x vagyis ( f 8, (, tehát a (.4 egyenlőtlenség bal oldalát ezzel beláttuk.. eset. Tegyük fel most, hogy x, y és z mindegyike legfeljebb. Ekkor ( ( ( ( f = x y z, ahol mindegyik tényező nemnegatív kifejezés. A számtani és mértani közepek közötti egyenlőtlenséget felhasználva az számhármasra: ( x + y + z = x, y, z ( (x + y + z = Ezzel bebizonyítottuk a (.4 egyenlőtlenség jobb oldalát is. ( = 6 6. A (.4 egyenlőtlenség tehát igaz, ezáltal a (. egyenlőtlenség is teljesül az adott feltételek mellett.

14 .. ábra... Megoldás többváltozós szélsőérték-kereséssel A most következő megoldásban többváltozós függvényként kezeljük a (. egyenlőtlenségben szereplő kifejezést és megkeressük a szélsőértékeit. Bár ez a megoldás nem túl elegáns, azonban célravezető, és segítséget nyújthat a tanároknak az egyenlőség feltételeinek meghatározásában, hogy aztán egy szebb megoldást találjanak. Mivel x + y + z =, ezért z-t kifejezve az x, y változókkal a (. egyenlőtlenségben szereplő kifejezés így írható: xy + y( x y + x( x y xy( x y. Vezessük be az f(x, y = xy + y( x y + x( x y xy( x y (nyilvánvalóan folytonos függvényt. Ekkor a (. egyenlőtlenség azt jelenti, hogy a 0 x + y, és x, y 0 feltételek mellett 0 f(x, y 7. Határozzuk meg az f folytonos függvény szélsőértékeit a 0 x + y, x, y 0 halmazon, amely egy zárt háromszöglap. 7 Weierstrass tétele alapján tudjuk, hogy a maximum és a minimum létezik, ezért elég megtalálnunk a háromszög belsejében a lehetséges lokális szélsőértékeket, továbbá a határon a szélsőértékeket. A háromszöglap határa három szakaszból áll:. x = 0, 0 y ;. y = 0, 0 x ;. x + y =, 0 x, y. Keressük meg tehát a három oldalszakaszon a szélsőértékeket, majd a háromszög belsejében a lehetséges lokális szélsőértékeket.. eset. Ha x = 0 és 0 y, akkor f(0, y = ( y +, amelynek a 0 y 4 intervallumon maximuma az y = helyen, minimuma pedig 0, az y = 0 és y = 4 helyeken.. eset. Ha y = 0 és 0 x, akkor f(x, 0 = ( x +, amelynek a 0 x 4 intervallumon a maximuma az x = helyen, minimuma pedig 0, az x = 0 és x = 4 helyeken. 4

15 x 0 y 0 f(x, y táblázat eset. Amikor x + y = és 0 x, y, akkor y = x, így f(x, y = xy + y ( (x + y + x ( (x + y xy ( (x + y = x( x. Ez pedig azt jelenti, hogy f(x, x = ( + x, amelynek a 0 x intervallumon 4 a maximuma az x = helyen, minimuma pedig 0, az x = 0 és y = helyeken eset. Itt x + y < és 0 x, y <, ekkor az f(x, y függvény parciális deriváltjai D x f(x, y = x y + 4xy + y = ( x y( y, D y f(x, y = y x + 4xy + x = ( y x( x. Lokális szélsőérték ott lehet, ahol mindkét parciális derivált eltűnik. A D x f(x, y deriváltfüggvény akkor 0, ha ( x y = 0, vagyis y = x, vagy ha ( y = 0, azaz y =. Hasonlóan kapjuk a D y f(x, y = 0 egyenletből, hogy ( y x = 0, vagyis x = y, vagy ( x = 0, azaz x =. Az x, y változókra kapott két-két értéket négyféleképp párosíthatjuk, így négy alesetet kapunk.. Ha x = y és y = x, akkor y = ( y = + 4y, vagyis y =. Ekkor x = és a lehetséges lokális szélsőérték f (, = Abban az esetben, mikor x = y és y =, ezt behelyettesítve x = 0, tehát a lehetséges lokális szélsőérték f ( 0, =. 4. Ha x = és y = x = 0, akkor a lehetséges lokális szélsőérték f (, 0 = Végül, mikor x = és y =, f (, =. 4 Láthatjuk, hogy az utolsó három pont a háromszöglap határaira esik, a belsejében csak egy lehetséges lokális szélsőérték van, az (x, y = (, pontban. Így tehát hét különböző (x, y pár marad, három különböző függvényértékkel. A lehetséges szélsőértékeket és helyüket a.. táblázat foglalja össze, ahonnan világosan látható, hogy az f függvény maximuma a háromszöglapon 7, minimuma pedig 0, tehát a (. egyenlőtlenség valóban érvényes. (A 7 táblázat alapján pedig az is nyilvánvalóvá válik, honnan származott az első megoldásban szereplő ügyes helyettesítés ötlete. 5

16 . fejezet Diákolimpia 995. Az 995. évi Nemzetközi Matematikai Diákolimpia. feladata volt az alábbi... Feladat. Legyenek a, b, c olyan pozitív valós számok, amelyekre abc = teljesül. Bizonyítsuk be, hogy a (b + c + b (c + a + c (a + b. (... Megoldás a Cauchy Schwarz-egyenlőtlenséggel Az első megoldásban a következő jól ismert és versenyfeladatokban gyakran alkalmazható egyenlőtlenséget fogjuk használni (lásd az [] könyvet... Tétel (Cauchy Bunyakovszkij Schwarz-egyenlőtlenség. Tetszőleges x,..., x n és y,..., y n valós számokra x y x n y n Bizonyítás. Tetszőleges i, j =,..., n-re az x x n y yn. X i,j = x i y j + x jy i x i x j y i y j kifejezés értéke nemnegatív, mert X i,j = (x i y j x j y i. Ha az X i,j kifejezéseket összeadjuk minden i < j n-re, akkor éppen az ( ( x x n y yn (x y x n y n különbséget kapjuk, amely tehát szintén nemnegatív. Jelölje S a (. egyenlőtlenség bal oldalán szereplő összeget: S := a (b + c + b (c + a + c (a + b. 6

17 A megoldás során a Cauchy Bunyakovszkij Schwarz-egyenlőtlenséget fogjuk alkalmazni a következő számhármasokra: ( (x, x, x = a (b + c, b (c + a, c (a + b ( b + c c + a a + b (y, y, y = bc, ca,. ab Ekkor (x y + x y + x y = = ( b + c a (b + c bc + ( a abc + c + a b (c + a ca + b abc +. c abc, a + b c (a + b ab = A feladat feltevése szerint a, b, c nemnegatív számok, amelyekre abc = teljesül, ezért ( (x y + x y + x y = a + b + = c ( = a + b +. c Hasonlóan látható, hogy (x + x + x (y + y + y = ( ( = a (b + c + b (c + a + b + c c (a + b bc ( = S a + b +. c + c + a ca + a + b = ab Mindez azt jelenti, hogy az (x, x, x és az (y, y, y számhármasokra felírt Cauchy Bunyakovszkij Schwarz-egyenlőtlenség a következő alakot ölti: ( a + b + ( S c a + b +, c ami rendezés után: ( a + b + S. (. c Az,, számhármasra alkalmazva a számtani és mértani közepek közötti egyenlőtlenséget kapjuk, hogy a b c + + a b c a b c = abc =. Ezt a (. egyenlőtlenséggel összevetve rögtön adódik S ( a + b + = + + a b c c 7 abc =,

18 ami éppen az olimpiai feladatbeli egyenlőtlenség. Ismert, hogy a számtani és mértani közepek között akkor és csak akkor áll fenn egyenlőség, ha a számok egyenlőek, így a feladatban S = csak akkor teljesülhet, ha = =, a b c vagyis ha a = b = c. Könnyen látható, hogy ekkor valóban egyenlőség áll fenn... Megoldás súlyozott közepek egyenlőtlenségével Ebben a megoldásban súlyozott közepek közötti egyenlőtlenségeket fogunk használni... Tétel (Súlyozott közepek közti egyenlőtlenségek. Legyenek x,..., x n pozitív számok w rendre w,..., w n pozitív súlyokkal ellátva. Vezesük be a p i = i w +...+w n (i =,..., n jelöléseket. Ekkor az x,..., x n számok súlyozott számtani közepe a súlyozott mértani közepük A s := w x w n x n w w n = p x p n x n, G s := (x w... x wn míg a súlyozott harmonikus közepük n H s := w w n wn w x w +...+wn = x p... x pn x n = (. A s x,..., x n Ekkor a súlyozott számtani, mértani és harmonikus közép között érvényes az A s G s H s egyenlőtlenség. Bizonyítás. A bizonyítás során először belátjuk a számtani és mértani közepek közötti, majd a mértani és harmonikus közepek közötti egyenlőtlenséget, így jutunk el a számtani és harmonikus közepek egyenlőtlenségéhez, amelyet a feladatmegoldás további részében alkalmazni fogunk. Be kell látnunk tehát, hogy p x +... p n x n x p... x pn n. Az egyenlőtlenség mindkét oldalának tízes (vagy bármely -nél nagyobb alapú logaritmusát véve, a logaritmus függvény monoton növekedése alapján elég igazolnunk, hogy n, lg(p x +... p n x n p lg x p n lg x n. (. Mivel a logaritmus függvény konkáv, az x,..., x n pontokra, p,..., p n súlyokkal alkalmazva a Jensen-egyenlőtlenséget, éppen a (. egyenlőtlenséget kapjuk. Az A s egyenlőtlenség felhasználásával H s (x,..., x n = ( ( = G s (x,..., x n, A s x,..., x n G s x,..., x n ebből pedig egyértelműen következik, hogy H s (x,..., x n A s (x,..., x n. G s 8

19 A.. feladatmegoldására rátérve vezessük be a következő jelöléseket: x = a, y = b, z =, ahol a, b, c pozitív, valós számok, így x, y, z is mind pozitív valós, és ezekre is c nyilvánvalóan teljesül, hogy xyz =. Írjuk fel x, y, z segítségével a (. egyenlőtlenség bal oldalán szereplő tagokat: a (b + c = a b + c = x + y z = x xz + xy = x x y + z = x y + z, és hasonlóan = y, = z. A (. egyenlőtlenség bal oldala tehát így b (c+a z+x c (a+b x+y írható: S = a (b + c + b (c + a + c (a + b = x y + z + y z + x + z x + y. A súlyozott számtani és harmonikus közepek közötti egyenlőtlenséget alkalmazva az y z+x, z x+y számokra, rendre az x, y, és z súlyokkal azt kapjuk, hogy x, y+z x x y+z + y y z+x + z z x+y x + y + z amiből egyszerűsítés után rögtön adódik x y+z x x + y + z + y z+x y + z x+y z, S x + y + z. Alkalmazzuk most a számtani és mértani közepek közötti egyenlőtlenséget az x, y, z számokra, amelyekre xyz = is fennáll, így S x + y + z xyz =, ami éppen a (. egyenlőtlenség. A számtani és mértani közép között pontosan akkor áll fenn egyenlőség, ha x = y = z, ezért az S = is. csak ekkor teljesülhet, és valóban teljesül.. Megoldás a Csebisev-egyenlőtlenséggel Ebben a megoldásban az olimpiai feladatbeli egyenlőtlenségnek a következő általánosítását látjuk be: a β (b + c + b β (c + a + c β (a + b, (.4 ahol a, b, c pozitív valós számok, abc = és β. A bizonyítás során a Csebisevegyenlőtlenséget is használjuk majd, amely a tananyagban általában nem szerepel, így a megoldás első részében ezt igazoljuk. A Csebisev-egyenlőtlenség bizonyításához szükségünk van véges sorozatok rendezettségének fogalmára és a rendezési egyenlőtlenségre is, ezért első lépésben ezekkel foglalkozunk (lásd a [] könyvet. 9

20 .4. Definíció. Legyen a,..., a n és b,..., b n két, valós számokból álló véges sorozat. A két sorozat azonosan rendezett, ha minden i-re és j-re a i a j -ből következik, hogy b i b j ; ellentétesen rendezettek, ha minden i-re és j-re a i a j -ből következik, hogy b i b j..5. Tétel (Rendezési tétel. Legyen a, a,..., a n és b, b,..., b n két, valós számokból álló sorozat, továbbá p, p,..., p n a b, b,..., b n sorozat egy permutációja. Ekkor, ha az a,..., a n és a p,..., p n sorozatok azonosan rendezettek, akkor az a p + a p a n p n (.5 kifejezés értéke maximális, illetve ha ellentétesen rendezettek, akkor minimális. Bizonyítás. Maximális és minimális érték is biztosan van, hiszen a (.5 kifejezés csak véges sok, legfeljebb n! különböző értéket vehet fel. Belátjuk, hogy a kifejezés értéke maximális, ha a két sorozat azonosan rendezett. A minimum esete hasonlóan igazolható. Először is tegyük fel, hogy a,..., a n monoton növekedő módon rendezett, ha nem így lenne, akkor az indexek megfelelő átdefiniálásával elérhetjük ezt. Legyen az a, a,..., a n és p, p,..., p n sorozat nem azonosan rendezett. Ekkor van olyan i, j indexpár, amelyre a i a j és p i > p j. Nevezzük az egyszerűség kedvéért az ilyen (p i, p j párokat rossz pároknak. Mivel a két sorozat nem azonosan rendezett, így biztosan van rossz pár, sőt olyan is, amelyre j = i+, hiszen ha bármely (p i, p i+ jó pár, akkor a két sorozat azonosan rendezett lenne. Legyen L := a p + a p a i p i + a i+ p i a n p n, továbbá L az az összeg, amelyben felcseréljük a p i és p i+ tagokat: L := a p + a p a i p i+ + a i+ p i a n p n. A rossz pár sorrendjének felcserélése után L L, hiszen L L = a i p i+ + a i+ p i a i p i a i+ p i+ = (a i a i+ (p i+ p i 0. Ez azt jelenti, hogy a p i, p i+ tagok felcserélésével a (.5 összeget nem csökkentettük. Az is könnyen látható, hogy a felcseréléssel csökkentettük az olyan indexpárok számát, amelyekre a i a j és p i > p j, azaz csökkent a rossz párok száma. Ehhez elég látnunk, hogy a felcserélésekkel nem képezünk újabb rossz párokat, azaz ha volt olyan jó pár, amelyben a felcserélt tagok valamelyike is szerepelt, az továbbra is jó pár maradt. Ez könnyen látható, hiszen a p,..., p k..., p i, p i+,..., p l..., p n sorozatban a p i, p i+ tagok felcserélése után p k továbbra is p i és p i+ előtt szerepel, míg p l ezek után. A rossz párok tagjainak felcserélésével tehát véges sok lépésben eljutunk az azonos rendezésig, eközben a (.5 összeget nem csökkentjük, tehát az azonos rendezés esetén a (.5 összeg legalább akkora, mint bármely más esetben. 0

21 .6. Tétel (Csebisev-egyenlőtlenség. Ha a, a,..., a n és b, b,..., b n a valós számoknak két egyformán rendezett véges sorozata, akkor a b + a b a n b n n a + a a n n b + b b n. (.6 n Ha a sorozatok rendezettsége ellentétes, az egyenlőtlenség fordított irányú. Bizonyítás. Ha az a, a,..., a n és a b, b,..., b n valós számok két egyformán rendezett véges sorozata, akkor a rendezési tétel miatt a b a n b n = a b + a b a n b n + a n b n, a b a n b n a b + a b a n b n + a n b, a b a n b n a b + a b a n b + a n b,... a b a n b n a b n + a b a n b n + a n b n. Az iménti egyenlőtlenségek összegét véve kapjuk, hogy amit n -tel végigosztva adódik tehát n(a b a n b n (a a n (b b n, a b a n b n n a a n n b b n. n Ha a sorozatok ellentétesen rendezettek, az egyenlőtlenség iránya mindenütt fordított, a b a n b n n a a n n b b n. n. Ezek után térjünk rá a (.4 egyenlőtlenség igazolására. Vezessük be az x = a, y = b, z = jelöléseket, ahol x, y, z is mind pozitív valós és teljesül, hogy xyz =. A (.4 c egyenlőtlenség az x, y, z változókra nézve a következő alakot ölti: x β y + z + yβ z + x + zβ x + y. Az egyszerűség kedvéért legyen α := β, ezáltal α, és ekkor a bizonyítandó állítás S α = xα y + z + yα z + x + zα x + y. (.7 Először α = -re igazoljuk az egyenlőtlenséget, majd ezt felhasználva tetszőleges α esetén.

22 . lépés. Legyen ekkor = 0-val bővítve S = S = x y + z + y z + x + x y + z + = x + y + z + x + y + z y + z z + x ( = (x + y + z y z + x + z x + y, z x + y + y + z y + z + z + x z + x + x + y = x + y } {{ } + x + y + z x + y y + z + z + x + x + y. A számtani és harmonikus közepek közötti egyenlőtlenséget alkalmazva az y+z, z+x és x+y számokra adódik, hogy + + y+z z+x x+y Ezt az egyenlőtlenséget felhasználva y + z + z + x + x + y. S (x + y + z (x + y + z = 9 =. Ezzel a (.7 egyenlőtlenséget beláttuk α = esetén. A fent alkalmazott számtani és harmonikus közepek közti egyenlőtlenségben egyenlőség pontosan akkor teljesül, ha y+z = =, azaz x = y = z, vagyis a = b = c. z+x x+y. lépés. Mivel pozitív valós számokkal dolgozunk és a (.7 egyenlőtlenség bal oldala szimmetrikus x, y, z-ben, ezért feltehetjük, hogy x y z. Ebből következik, hogy x α y α z α is teljesül, ahol α tetszőleges, továbbá x y + z y z + x z x + y. y z+x Valóban, mivel x y, ezért z + x y + z és, tehát x+z y+z látható az egyenlőtlenség is. A Csebisev-egyenlőtlenséget az y z+x z x+y x α, y α, z α és x y + z, y z + x, azonosan rendezett számhármasokra alkalmazva kapjuk, hogy x α x + y+z yα y + z+x zα z x+y Ebből egyszerűsítés után xα + y α + z α S α S x α + y α + z α adódik. Láttuk, hogy S, ezért z x + y x + y+z y + z+x x. Hasonlóan y+z z x+y S α x α + y α + z α. (.8.

23 A számtani és mértani közepek közti egyenlőtlenséget alkalmazva az x α, y α, z α számhármasra x α + y α + z α x α y α z α = (xyz α =, ahol felhasználtuk, hogy xyz =. Ennek alapján a (.8 egyenlőtlenséget tovább egyszerűsítve S α adódik és egyenlőség pontosan akkor áll fenn, ha x = y = z, mivel a számtani és mértani közepek csak ebben az esetben egyenlőek. Ez tehát azt jelenti, hogy és egyenlőség akkor áll fenn, ha a = b = c. a β (b + c + b β (c + a + c β (a + b,.7. Megjegyzés. A (.7 egyenlőtlenséget α = esetén szokás Nesbitt-egyenlőtlenségnek nevezni, melyet a rendezési tétel segítségével is könnyen beláthatunk. A szimmetria miatt feltehető, hogy x y z, ekkor. A rendezési tétel alapján y+z z+x x+y valamint x y + z + x y + z + y z + x + y z + x + z x + y z x + y A két egyenlőtlenség összegeként kapjuk, hogy S y y + z + z y + z + z z + x + y y + z + z y + z + x z + x + z z + x + x z + x + x x + y + x x + y, y x + y. y x + y =. A korábbiakban a rendezési egyenlőtlenséget a Csebisev-egyenlőtlenség bizonyítása miatt tárgyaltuk, de valójában ez utóbbi egyenlőtlenségre egy egyszerűbb bizonyítás is adható. Ahhoz, hogy belássuk a (.6 egyenlőtlenséget, rendezzük 0-ra: 0 a b a n b n n Ebből n -el való szorzás után kapjuk, hogy a a n n b b n. n 0 n(a b a n b n (a a n (b b n. (.9 Az egyenlőtlenség jobb oldalát átírhatjuk úgy, hogy na b a (b b n + na b a (b b n na n b n a n (b b n, amely az a i (i =,..., n tényezők kiemelése után a következő alakot ölti: a (b b +b b +...+b b n +...+a n (b n b +b n b +...+b n b n = n a i i= j= n (b i b j.

24 A szummában az indexeket felcserélve ugyanazt az összeget kapjuk, vagyis n a i i= j= n (b i b j = n j= a j n (b j b i. i= Mindezek alapján a (.9 egyenlőtlenség jobb oldala ( n n n a i (b i b j + i= j= j= a j n (b j b i, i= ami ( n a i i= n (b i b j j= n j= a j ( n n (b i b j = (a i a j (b i b j. i= i,j= Mivel a,..., a n és b,..., b n azonosan rendezettek, ezért a i a j és b i b j azonos előjelűek minden i, j =,..., n-re, tehát a páronkénti szorzataik összege nemnegatív, így a (.6 egyenlőtlenséget igazoltuk. 4

25 4. fejezet OKTV 0/04. Az alábbi feladat a 0/04. tanévi Országos Középiskolai Tanulmányi Verseny speciális matematika tantervű gimnáziumok kategóriája döntő fordulójának. feladata volt. 4.. Feladat. A p és q pozitív számokra p + q. Igazoljuk, hogy bármely m, n pozitív egészekre ( p m n + ( q n m. ( Megoldás valószínűségekkel Először egy valószínűségi megoldást adunk, ezzel rámutatva arra, hogy nem minden analízis, ami annak látszik. Tekintsünk egy m sorból és n oszlopból álló táblázatot, amelynek minden mezőjét egymástól függetlenül p valószínűséggel pirosra, q valószínűséggel kékre és p q valószínűséggel zöldre festjük (egy példát láthatunk a 4.. ábrán, ahol m = 4, n =. Annak a valószínűsége, hogy egy adott oszlop teljesen pirosra van színezve, azaz mind az m mezője piros, p m. Ebből kifolyólag annak a valószínűsége, hogy egy adott oszlop nem teljesen piros, p m, és annak a valószínűsége, hogy az n oszlop közül egyik sem teljesen piros, ( p m n. Ezáltal ( p m n annak a valószínűsége, hogy létezik teljesen pirosra festett oszlop a táblázatban. Ehhez hasonló okoskodással kaphatjuk azt is, hogy ( q n m annak a valószínűsége, hogy létezik a táblázatban teljesen kék sor (ezt foglalja p k z p p k p k k p k k 4.. ábra. 5

26 P(adott oszlop teljesen piros p m P(adott sor teljesen kék q n P(adott oszlop nem teljesen piros p m P(adott sor nem teljesen kék q n P(nincs teljesen piros oszlop ( p m n P(nincs teljesen kék sor ( q n m P(létezik teljesen piros oszlop ( p m n P(létezik teljesen kék sor ( q n m 4.. táblázat. össze a 4.. táblázat. Mivel nem létezhet egyszerre teljesen piros oszlop és teljesen kék sor, ezek egymást kizáró események, vagyis valószínűségeik összege legfeljebb lehet, így ( p m n + ( q n m, tehát ( p m n + ( q n m. Ez pedig éppen a feladat állítása. Nem nehéz meggondolni, hogy az említett egymást kizáró események pontosan akkor egymás komplementerei, ha m = n = és p + q =, azaz a táblázat egy sorból, és egy oszlopból áll, és csak pirosra, vagy kékre színezhetjük a mezőt. 4.. Megoldás teljes indukcióval Ha p + q <, akkor növeljük valamelyik tag, például q értékét addig, amíg p + q =. Ekkor q növekedésével párhuzamosan az egyenlőtlenség bal oldala csökken, hiszen ( q n m egyre kisebb lesz. Ennek alapján elég az egyenlőtlenséget a p + q = esetre belátni, hiszen az egyenlőtlenség csökkentett bal oldalának alsó becslése az eredeti bal oldalnak is alsó becslése lesz. Ezek után teljes indukcióval bizonyítunk: először belátjuk m = n = esetén az egyenlőtlenséget, majd megmutatjuk, hogy ha valamely m, n párra igaz az egyenlőtlenség, akkor az m +, n és az m, n + párra is igaz.. lépés. A teljes indukciós bizonyítás első lépéseként tekintsük az m = n = esetet. Ekkor ( p m n + ( q n m = ( p + ( q = p q, és valóban teljesül, hogy p q, hiszen ez átrendezve éppen az p + q feltevés.. lépés. Tegyük fel, hogy az egyenlőtlenség teljesül valamilyen m és n értékpárra (amellett, hogy p + q = : ( p m n + ( q n m. Megmutatjuk, hogy ekkor az egyenlőtlenség az m, n + és m +, n esetekben is fennáll. Mivel m és n szerepe szimmetrikus, így elég az egyik esetet megvizsgálni, hasonlóképp látható be a másik is. 6

27 Az indukciós feltevést a nemnegatív ( p m kifejezéssel szorozva és p m -t hozzáadva kapjuk, hogy ( ( p m n + ( q n m ( p m ( p m. A zárójelek felbontása és az egyenlőtlenség átrendezése után ( p m n+ + ( q n m ( q n m p m + p m, vagyis Ezek alapján az ( p m n+ + ( q n m (( q n p m + p m. ( p m n+ + ( q n+ m egyenlőtlenség teljesül, ha az ( p m n+ + ( q n+ m ( p m n+ + ( q n m (( q n p m + p m egyenlőtlenség is teljesül. Elég tehát belátni, hogy ( q n+ m + (( q n p m ( q n m + p m, azaz ( q n+ m + (( q n ( q m ( q n m + ( q m. (4. Ezt az egyenlőtlenséget egyszerűbb alakban is felírhatjuk a következő jelölések használatával: a := q n+, b := q n, c := q, d := ( q n ( q. Ezeket felhasználva a (4. egyenlőtlenség a m + d m b m + c m alakú, ahol a + d = b + c és a > b c > d. Ez utóbbi összefüggések könnyen láthatóak, hiszen a + d = ( q n+ + ( q n ( q = q n+ + q q n + q n+ = q n q, és b + c = ( q n + ( q = q n + q = q n q. Ezenkívül pedig q < folytán q q n > q n+, tehát a = q n+ > b = q n c = q > d = ( q n ( q. Legyen a + d = b + c = H és a d = x > 0, b c = y > 0. Ekkor a = H + x, d = H x, ezért a m + d m = (H + x m + (H x m = ( (m ( m = H m + 0 ( (m ( m + H m 0 H m x + ( m H m x + H m x +... ( m H m x

28 Ezt egyszerűsítve kapjuk, hogy a m + d m = Hasonlóan adódik, hogy ( H m + b m + c m = (H + y m + (H y m = ( m H m x + ( H m + Mivel a > b c > d, így x = a d > y = b c, ezért a m + d m > b m + c m, ( m H m 4 x ( m H m y + ( m H m 4 y tehát beláttuk a (4. egyenlőtlenséget, amivel az indukciós lépés is készen van. Az is látszik, hogy egyenlőség csakis az indukciós bizonyítás későbbi lépéseiben van, így az OKTV feladatban p, q > 0 esetén csak n = m = és p + q = esetén áll fenn egyenlőség. 4.. Megoldás függvényvizsgálat segítségével A megoldást az előzőhöz hasonlóan azzal kezdjük, hogy q-t addig növeljük, míg p+q = -et kapunk. Ezáltal a (4. egyenlőtlenség bal oldala csökkenni fog. Ha erre a csökkentett értékre is érvényes az alsó becslés, akkor az eredetire is. Legyen G(p := ( p m n + ( ( p n m. Ekkor a feladat ekvivalens azzal, hogy G(p, minden 0 p értékre. Világos, hogy G folytonos a [0, ] intervallumon és G(0 = G( =. Ha be tudjuk bizonyítani, hogy a G függvény monoton nő egy (0, p 0 ] intervallumon, majd monoton csökken egy [p 0, intervallumon, akkor ebből következően G(p minden 0 p esetén. Ez persze azt is jelenti, hogy a G függvénynek maximuma van a p 0 pontban. A monotonitáshoz írjuk fel G deriváltját: G (p = mn ( p m n p m + mn ( ( p n m ( p n = ( ( ( p n m ( n p = mn p m ( p m n. p p m Ahhoz, hogy a monotonitás teljesüljön, szükségünk van arra, hogy G (p 0 legyen a (0, p 0 intervallumon, és G (p 0 legyen a (p 0, intervallumon (valamely p 0 (0, mellett. Legyen ( ( p n m ( n p g(p :=, p p m valamint ( p m n g m,n (p :=. p 8

29 Ekkor g(p = g n,m ( p g m,n(p. Ha belátjuk, hogy a g függvény mindkét tényezője monoton csökkenő függvény, akkor g monoton csökkenő függvény, ami a G és G függvények további tulajdonságairól árulkodik majd. Mivel ( p m n g m,n (p = = ( + p + p p m n, p ezért g m,n pozitív, monoton növő függvény, így g m,n(p monoton csökkenő. Könnyen látható, hogy g m,n (0 = és g n,m ( 0 = g n,m ( = n m, valamint g m,n ( = m n és g n,m ( = g n,m (0 =. A g(p = g n,m ( p g m,n(p egyenlőség miatt, g(0 = n m és g( =, hiszen m, n. Ezek után kimondhatjuk, hogy a m n g(p függvény monoton csökkenő, valamint g(0 nemnegatív, illetve g( nempozitív, következésképpen van (legalább egy, de akár végtelen sok olyan p 0 (0,, hogy g(p 0, ha p (0, p 0, és g(p 0, ha p (p 0,. Ekkor nyilván G 0 is teljesül (0, p 0 -on, és G 0 a (p 0, intervallumon, és ezt akartuk belátni. 9

30 Irodalomjegyzék [] Laczkovich Miklós, T. Sós Vera: Valós Analízis I., TypoTEX Kiadó, Budapest, 0. [] Ábrahám Gábor: Nevezetes egyenlőtlenségek, Mozaik Kiadó, Szeged, 995. [] Reiman István, Dobos Sándor: Nemzetközi Matematikai Diákolimpiák , TypoTEX Kiadó, Budapest, 00. [4] OKTV döntő feladatsor, link: kozoktatas/tanulmanyi_versenyek/oktv/oktv0_04donto/mat_flap_ d_oktv_4.pdf, (utolsó letöltés: [5] KöMaL archívum, link: (utolsó letöltés: