Cím: Bizonyos típusú szélsőértékfeladatokról (1. közlemény)
Szerző(k):  Turán Pál 
Füzet: 1958/március, 65 - 69. oldal  PDF  |  MathML 
Témakör(ök): Szakmai cikkek

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Bizonyos típusú szélsőértékfeladatokról I.*

 

Egy korábbi előadásban* mondanivalómat azon közhiedelem eloszlatására szántam, hogy a matematikai problémák vagy mind meg vannak oldva, vagy csak nagyon távoli és mesterkélt kérdések várnak még megoldásra. Ezen előadásban arra szeretnék egy példa kapcsán rámutatni, hogy a matematikai magvú problémák a hétköznapi életben is szinte az utcán hevernek és mint lesz egy ilyen matematikai problémává.
Egy társaság ül a kávéházban egy asztal körül, mindenki dohányzik és egyetlen hamutálca van. Rögtön felvetődő kérdés, hova tegyük ,,a lehető legméltányosabban'' a hamutartót. A matematikus rögtön érzi, hogy a dolog lényegében matematikai probléma, csak ki kell hámozni a matematikai lényeget. De mi az, hogy a ,,lehető legméltányosabban''? Hogy mindegyiknek a lehető legkevesebbet kelljen nyújtózkodnia? Ehhez mindenesetre tudni kell az egyes emberek távolságát a hamutálcától. De a hamutálca kiterjedt; mely pontjának távolsága számít? Az ember távolsága melyik pontjától számít? Itt jön a feladat matematikaivá alakításának első lépése; a hamutálcát és az embereket pontoknak tekintjük. A hamutálcát reprezentáló pont az asztalon van; de hol vegyük fel az embereket reprezentáló pontokat? A matematikai feladattá-alakítás második lépéseként vegyük fel a személyeket reprezentáló pontokat az asztal határgörbéjén. Ezáltal legalább az egyes embereknek a hamutálcától való távolságai meghatározott értelemmel bírnak és így a ,,legméltányosabb'' elhelyezés diszkutálása egyáltalán megkezdődhetik. A matematikus azonban tapasztalatból tudja, hogy egy kérdés vizsgálatát célszerű egy lehetőleg egyszerű eseten kezdeni. Egy ilyen volna jelen esetben az, amikor a társaság csak két tagból áll, kezdjük azzal.
Ez esetben a megoldás igen egyszerűnek látszik; a két embert jelölő két pont felezőpontjába kell a hamutálcát helyezni. Ezen megoldás ellen két kifogás emelhető. Az egyik az, hogy nem biztos, hogy a hamutálcát így elhelyezve, az az asztalra esik. Nem igaz ugyanis az, hogy egy görbe két pontját összekötő szakasz felezőpontja a görbe belsejébe esik; ilyen görbére az 1. ábrán látható példa.
 
 
1. ábra
 

Még csak az sem mondható, hogy ilyen alakban nem raknak asztalokat. Tehát egy további egyszerűsítő feltevéssel élünk az asztal alakjára vonatkozólag és az asztalt köralakúnak tételezzük fel; ekkor az első kifogás elesik. A második a ,,méltányosság'' kérdése. A két ember egyikének karja lehet lényegesen hosszabb, mint a másiké; ez esetben a rövidebb karú bizonyos joggal gondolhatja, hogy az a méltányos, ha a hamutálcát hozzá annyiszor közelebb rakják, ahányszor az ő karja rövidebb a másikénál. Ha a két ember közül az egyik lényegesen idősebb, mint a másik, méltányosnak tekintheti, hogy a kort valamilyen kulcs szerint tekintetbe vegyék. Már ezen példák is mutatják, hogy a ,,legméltányosabb'' elhelyezésnél rendkívül sok szempontot kellene figyelembe venni; amit tehetünk, az csak az, hogy e sok szempont közül a leglényegesebbeket vesszük tekintetbe, melyek mellett a megfelelő matematikai feladatokat jelenlegi tudásunk alapján meg tudjuk oldani. A matematikai nehézségek már az n=3 esetben jelentkeznek, mely eset tárgyalására most rátérünk és amelynél tovább nem is megyünk.
Az előbbiek szerint úgy látszik, hogy ez esetben a feladatnak a következő két matematikai formája lehet:
a) Ha a karhosszaktól eltekintünk, akkor a feladat: keresni az embereket jelző P1, P2, P3 pontoktól egyenlő messze fekvő P pontot.
b) Ha a karhosszakat is tekintetbe vesszük és ezek hosszai p1<p2<p3, akkor a feladat: keresni egy olyan Ppontot, amelyre
1p1PP1¯=1p2PP2¯=1p3PP3¯.
Azonban könnyű látni, hogy ezek különös konklúzióhoz vezethetnek. Az a) esetben legyen P1P2P3 tompaszögű. Ekkor a szóbanforgó P pont nyilván a körülírt kör középpontja, ill. az asztalé. Ha azonban az asztal sugara nagy, akkor a hamutálca mindegyiktől igen messze esne, azaz ez esetben a legméltányosabb elhelyezés mindhárom dohányzó számára igen kényelmetlen megoldás egyben. Mivel a b) forma az a)-t tartalmazza p1=p2=p3 esetére, tehát b)-re ugyanez áll. Mi lehet tehát az a) és b) követelmények helyett annak matematikai megfogalmazása, hogy a hamutálca mindenki számára a ,,lehető legkényelmesebben'' legyen elhelyezve? Próbáljuk meg azt követelni, hogy a dohányosok egyikének se kelljen. ,,túl'' messzire nyúlnia. Ez az első méltányossági definíciót alapul véve azt követeli, hogy a PP1¯,PP2¯,PP3¯ szakaszok maximuma minimális legyen, azaz P-t úgy kell választani, hogy*
maxPP1¯,PP2¯,PP3¯(1)
minimális legyen, vagy keresendő
minPmaxPP1¯,PP2¯,PP3¯(2)
Hasonlóképp a második méltányossági definíciót alapul véve az optimális P-t a
max(1p1PP1¯,1p2PP2¯,1p3PP3¯)(3)
minimumát szolgáltató P pont által próbáljuk megadni, vagyis keresni a
minPmax(1p1PP1¯,1p2PP2¯,1p3PP3¯)(4)
értékét. Mivel (3)‐(4) nyilván magában foglalja (1)‐(2)-t, elég ezzel foglalkozni. A (3) minimumát adó pontot, ha van ilyen, minimizálónak fogjuk nevezni.
A feladat tárgyalása tisztán elemi geometriai úton is lehetséges volna, ad hoc e feladatra csinált gondolatmenettel. Ehelyett egy más utat fogunk követni, mely a hasonló feladatok egész körére alkalmazható. Ehhez első lépésként azt állítjuk, hogy a (3)-at minimizáló P pont, ha létezik, nem lehet a P1P2P3 háromszögön kívül. Ha ugyanis P ezen a háromszögön kívül van, akkor tekintsük a háromszög egy olyan oldalát, amely P-t elválasztja a P1P2P3 háromszögtől; legyen ez pl. P1P2. Ekkor P-t a P-ből P1P2-re bocsátott merőlegesen a háromszöghöz közelítve P-nek P1-től, P2-től és P3-tól való távolságai mind csökkennek, azaz a (3) érték csökken. Tehát ha a minimizáló P pont létezik, csak P1P2P3 belsejében vagy kerületén lehet.
Azt állítjuk továbbá, hogy ahhoz, hogy a P1P2P3 belsejében levő P pont a kívánt minimumot adja, szükséges, hogy fennálljon
1p1PP1¯=1p2PP2¯=1p3PP3¯.(5)
Legyen ugyanis P olyan pont, amelyre (5) nem áll fenn; ekkor a csúcsok jelölését alkalmasan választva vagy
1p1PP1¯1p2PP2¯<1p3PP3¯.(6)
vagy
1p1PP1¯<1p2PP2¯=1p3PP3¯.(7)
áll fenn. A (6) esetben P-t közelítsük P3-hoz ,,egy kissé'', P'-be; ezáltal 1p3PP3¯ fogyott ,,egy kicsit''. Az 1p1PP1¯ és 1p2PP2¯ értékek esetleg nőttek ,,egy kicsit'', de, ha P-t ,,elég kevéssel'' változtattuk meg, akkor még mindig kisebbek az 1p1P'P1¯ és 1p2P'P2¯ távolságok, mint 1p3P'P3¯, ez pedig határozottan kisebb, mint 1p3PP3¯. A (6) esetben tehát
max(1p1PP1¯,1p2PP2¯,1p3PP3¯)=1p3PP3¯>1p3P'P3¯==max(1p1P'P1¯,1p2P'P2¯,1p3P'P3¯)



és így P nem lehet a kívánt minimumot adó pont. A (7) eset kényesebb, mert ott P-t úgy kell elmozdítani, hogy PP2¯ és PP3¯ mindkettője fogyjon; ez azonban elérhető, ha pl. P-t a P-ből P2P3-ra bocsátott merőleges mentén mozgatjuk el ,,egy kicsit'' és ugyanúgy járunk el, mint előbb. Ezáltal (5) be van bizonyítva.
Nézzük hasonlóképp, mi a szükséges feltétele annak, hogy a minimum egy kerületi P-re éressék el. Ha egy kerületi P pontra
1p1PP1¯1p2PP2¯<1p3PP3¯.
akkor P-t ismét a P3 felé közelítve ,,egy kissé'', adódik, mint előbb, hogy P nem lehet minimizáló pont. Hasonlóképp látható be, hogy ha
1p1PP1¯<1p2PP2¯=1p3PP3¯.
és P a kerületen van, de nincs a P2P3 szakaszon, akkor P nem lehet minimizáló pont. Ahhoz tehát, hogy a P minimizáló pont a kerületen legyen, szükséges, hogy P a P2P3 szakaszon legyen és
1p1PP1¯1p2PP2¯=1p3PP3¯.(8)
legyen.
Adott pl, p2 és p3 mellett nevezzük a P1P2P3 háromszöget ,,jó''-nak, ha kerületén nincs (8) tulajdonságú pont, különben ,,rossz''-nak. P1P2P3 tehát akkor és csak akkor ,,jó'', ha a
1p1P1P'3¯=1p2P'3P2¯,1p2P2P'1¯=1p3P'1P3¯,1p3P3P'2¯=1p1P'2P1¯(9)


relációkkal P1P2-n, ill. P2P3-on, ill. P3P1-en egyértelműleg meghatározott P'3, P'1 és P'2 pontokra
(1p1P1P'3¯=)1p2P'3P2¯<1p3P3P'3¯,(1p2P2P'1¯=)1p3P'1P3¯<1p1P1P'1¯,(1p3P3P'2¯=)1p1P'2P1¯<1p2P2P'2¯.(10)


Előbbiek szerint tehát ,,jó'' P1P2P3 esetén (8) elesik, azaz ez esetben ahhoz, hogy P minimizáló pont legyen, (5) fennállása szükséges.
 
 
2. ábra
 

Legyen P1P2P3 most ,,rossz''. Ez esetben azt állítjuk, hogy a belsejében (5) nem teljesülhet, amiből következni fog, hogy ez esetben ahhoz, hogy P minimizáló pont legyen, szükséges, hogy P a kerületen legyen és (8) fennálljon. Ugyanis, ha pl.
1p1P1P'3¯=1p2P'3P2¯>1p3P3P'3¯,
akkor a P1P2P3 minden belső Q pontjára vagy
QP1¯>P'3P1¯,
vagy
QP2¯>P'3P2¯,
vagy ezek mindkettője áll. Azaz minden belső Q pontra
max(1p1P1P'3¯,1p2P'3P2¯,1p3P'2P3¯)=1p1P1P'3¯=1p2P'3P2¯<<max(1p1QP1¯,1p2QP2¯)max(1p1QP1¯,1p2QP2¯,1p3QP3¯)(11)


és így belső pont nem lehet minimizáló. Ebből az állítás következik.
Feladatunk teljes megoldásától azonban még távol vagyunk.
* Középiskolai délutánon tartott előadás, Budapesten a Bolyai János Matematikai Társulatban, 1957: okt. 12-én.

*Turán Pál: Az egész számok bizonyos számsorozatairól, e Lapok 8. köt. (1954) 33-41. old.65

*Szokás véges sok a1,a2,...,an szám közt az előforduló legnagyobb, illetőleg legkisebb értéket a

max(a1,a2,...,an),illetőlegmin(a1,a2,...,an),
jellel jelölni. Hasonlóan jelölhető végtelen sok szám közül a legkisebb, ha van ilyen (az 1,12,32,13,53,...,1n,2n-1n,... számok közt pl. sem legnagyobb, sem legkisebb nem szerepel). Ha ez a végtelen sok érték egy változó mennyiséghez, pl. egy pont lehetséges helyzeteihez van egyértelműen hozzárendelve, vagyis minden P ponthoz tartozik egy f(P) számérték (pl. a max(PP1¯, PP2¯, PP3¯) szám), akkor a ,,max'', vagy ,,min'' jel után f(P)-t írjuk és a jel alá a változó mennyiség jelét, mint (2)-ben is tettük. Ha ez a változó csak bizonyos korlátok közt változhat, ezt is feltüntethetjük. Pl. egy adott O középpontú, r sugarú kör belsejében felvett minimum így jelölhető;
minf(P)OP<r