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. Február 28-án és március 1-jén kétnapos versenyre került sor a nyári Sigtuna-i (Svédország) XXXII: Nemzetközi Matematikai Diákolimpiára történő felkészülés következő állomásaként. A korábbi versenyek eredményei alapján 58 diák vett részt az olimpiai rendszerben ‐ mindkét napon 3‐3 feladat ‐ lezajlott versenyen, amelynek zökkenőmentes lebonyolítására az Állami Biztosító és az Intellrobot szíves támogatásával került sor.
A verseny feladatai a következők voltak:
1. Legyen egy páros oldalú konvex sokszög olyan belső pontja, amelyik nincs rajta a sokszög egyik átlóján sem. Legyen azoknak a háromszögeknek a halmaza, amelyek csúcsai a sokszög csúcsai közül valók és tartalmazzák a pontot. Bizonyítsuk be, hogy -nak páros sok eleme van. (7 pont)
2. Van három urnánk, mindegyikükben néhány golyó. Ha az A urnában legalább annyi golyó van, mint a urnában, akkor a urna tartalmát megduplázhatjuk az -ból kivett golyókkal, és ez a lépés bármely két urna között elvégezhető. Bizonyítsuk be, hogy ilyen lépések alkalmas sorozatával a három urna valamelyike kiüríthető. (7 pont)
3. Mennyi + + + + + minimuma, ha és olyan valós számok, amelyekre ? (7pont)
4. Milyen nemnegatív egész számra lehet az számokat két közös elem nélküli halmazba osztani úgy, hogy mindkét halmazban egyenlő legyen a számok összege? (7 pont)
5. Az háromszög , illetve oldalán úgy vesszük föl a illetve pontokat, hogy az és háromszögek beírt körei egyenlő sugarúak. Ha ez a sugár , az illetve az beírt körének sugara pedig , illetve akkor bizonyítsuk be, hogy
(7 pont)
6. Bizonyítsuk be, hogy ha pozitív egész, akkor létezik három különböző egész, melyek mindegyike nagyobb mint és kisebb mint úgy, hogy egyikük osztója a másik kettő szorzatának. (7pont)
A verseny első hat helyezettje:
Boncz András IV. o. t. (Zrínyi Gimn., Zalaegerszeg) 34 pont, Harcos Gergely IV. o. t. (Apáczai Gimn., Budapest) 33 pont, Turányi Zoltán IV. o. t. (Berzsenyi Gimn., Budapest) 29 pont, Ujváry-Menyhárt Zoltán III. o. t. (Fazekas Gimn., Budapest) 28 pont, Pór Attila III. o. t. (Fazekas Gimn., Budapest) 28 pont, Maróti Miklós IV. o. t. (Radnóti Gimn., Szeged) 27 pont.
Az eddigi eredmények alapján 20-fős keret készül tovább a nyári olimpiára, a verseny első négy helyezettje pedig a négytagú magyar csapatot alkotta a II. magyar-izraeli matematikaversenyen, amelyre március 21. és 28. között került sor, ezúttal Budapesten. (Erről őszi számaink valamelyikében részletes beszámolót közlünk.) Köszönetet mondunk Benczúr Péter, Drasny Gábor, Hausel Tamás, Keleti Tamás, Kecskés Kornél, Sustik Mátyás volt olimpikon matematikus egyetemi hallgatóknak a verseny lebonyolításában és a dolgozatok gyors értékelésében nyújtott segítségükért. Az alábbiakban a verseny nehezebbnek bizonyult 2., 3. és 6. feladatainak megoldását közöljük.
2. feladat I. megoldás. Hívjunk egy urnát párosnak, illetve páratlannak attól függően, hogy a benne lévő golyók száma páros vagy páratlan. Először megmutatjuk, hogy minden eset visszavezethető arra, amikor az urnák közül kettő páros, egy pedig páratlan. Ha az urnákban összesen páratlan sok golyó van, akkor vagy máris a fenti helyzetben vagyunk, vagy pedig mindhárom urna páratlan. Ekkor két tetszőlegesen kiszemelt urna között egy lépést elvégezve a páros‐páros‐páratlan esethez jutunk. Ha a golyók összege az urnákban páros, akkor vagy mindhárom urna páros, vagy pontosan kettő páratlan. Utóbbi esetben a két páratlan urna között egy lépést elvégezve mindhárom urna páros lesz. Ragasszuk most össze minden egyes urnában kettesével a golyókat; minden egyes további lépés ezután nyilván úgy is elvégezhető, hogy a golyókat párosával mozgatjuk. A ,,golyók'' száma tehát a felére csökken, ezzel előbb-utóbb eljutunk a páratlan összeghez, így valóban elegendő a páros‐páros‐páratlan esettel foglalkozni. Jelölje tehát az egyes urnák tartalmát , és , ahol és páros, pedig páratlan, és az is nyilván föltehető, hogy . Megmutatjuk, hogy ebből véges sok lépés után eljuthatunk az állapotba, ahol tehát két urna továbbra is páros, a páratlan urnában pedig nőtt a golyók száma ‐ és természetesen továbbra is páratlan maradt. Innen a feladat állítása már következik, hiszen a páratlan urna tartalma nem lehet akármilyen nagy, ezért előbb-utóbb egyenlő kell legyen a két páros urna tartalma, és így a következő lépésben egyikük kiüríthető. A fenti állításhoz bebizonyítjuk, hogy egy páros és egy páratlan urna között megfelelő számú lépést elvégezve a páros urna tartalma megfelezhető. Legyen ugyanis a kezdeti állapot ‐ ahol tehát páratlan ‐ a lépések sorozata pedig | |
Mivel állandó és az ilyen rendezett párok száma véges, előbb-utóbb olyan állapothoz jutunk, amelyik már korábban is előfordult. Gondoljuk meg azonban, hogy ha és közül pontosan az egyik páros ‐ mondjuk ‐, akkor csak az állapotból kaphattuk az állapotot, hiszen a páratlan értéket nem kaphattuk duplázással. Ez azt jelenti, hogy egy páros‐páratlan állapot elődje egyértelmű. Ha pedig egy állapot valamikor megismétlődik, akkor mivel egyenlő állapotok elődei is azok, az elsőnek ismétlődő állapot csak az lehetett. Az állapotok sorozata tehát ,,tiszta szakaszos'' . Nézzük most a két urnát a kezdeti állapot első ismétlődése előtt. Az előbbiek szerint ha például páros, akkor egyértelmű elődje valóban megfeleztük a páros urna tartalmát. Ha még azt is biztosítjuk, hogy is páros legyen, akkor a kezdetben páratlan urna a páros megfelezése után is páratlan marad. Tekintsük e célból a fentiekben említett páros‐páros‐páratlan állapotot, ahol tehát < a két páros urna tartalma. Köztük egyetlen lépést végrehajtva a állapothoz jutunk. Ha ezután felezzük meg az első urna tartalmát a páratlan urna segítségével, akkor éppen az igért állapotot kapjuk, és innen, mint láttuk, a bizonyítandó állítás következik.
Maróti Miklós dolgozata alapján
Megjegyzés. A bizonyításban kulcsszerepet játszott az alábbi, más feladatok megoldása során is jól használható észrevétel. Ha egy véges halmaz, pedig az -nek egy kölcsönösen egyértelmű leképezése önmagára ‐ tehát -nek létezik inverze ‐, akkor tetszőleges -ből kiindulva az összefüggéssel kapott sorozat ,,tiszta szakaszos''.
II. megoldás. Jelölje az , , urnákban a golyók kezdeti mennyiségét , és , ahol < < < nyilván föltehető. Megadunk egy eljárást, melynek eredményeként az urnák tartalmának a minimuma ‐ ez most ‐ csökken. Ez nyilván elegendő, hisz az eljárás véges sokszori alkalmazásával valamelyik urna kiürül. Osszuk el -t ‐ a középső urna tartalmát ‐ maradékosan -val, legyen , ahol Megmutatjuk, hogyan vehető ki a urnából darab golyó. Írjuk fel a -t a kettes számrendszerben, majd tegyünk az urnába rendre , , ,, , darab golyót úgy, hogy ha szerepel a kettes számrendszer-beli alakjában, akkor a -ből, ha pedig nem, akkor a -ből rakunk át az -ba darab golyót. Mivel , így a -beli golyók erre elegendők, hiszen utoljára a urnából veszünk ki golyót. Az eljárás végén a urnában darab golyó marad, és így miatt a minimum valóban csökken. Ezzel a bizonyítást befejeztük.
Faragó Gergely és Csörnyei Marianna ötlete nyomán Keleti Tamás ELTE, TTK
3. feladat. A feladatra algebrai és geometriai jellegű megoldások születtek. Lássunk először egy algebrait. Mivel kifejezésünk ilyen formában nehezen kezelhető, próbálkozzunk meg új változók bevezetésével: legyen (ilyen , , , nyilván létezik). Ezzel a helyettesítéssel kifejezésünk a következő alakot ölti:
| |
Vizsgáljuk meg, mit kapunk a feltételből:
| |
A befejezés ezután kézenfekvő; mivel | |
Kifejezésünk így mindenesetre legalább . Megmutatjuk, hogy ezt az értéket el is érheti: a | | egyenletrendszer bármely megoldására (ilyen nyilván létezik) kifejezésünk értéke, a feltétel teljesülése mellett, lesz. A keresett minimum értéke tehát
── Ezután az ,,algebrai'' bizonyítás után talán egy kicsit meglepő, hogy feladatunk lényegében ‐ a háromszög geometriájából jól ismert ‐ egyenlőtlenség igazolása volt, ahol , és egy területű háromszög oldalai. Tekintsük ehhez a síkon az , , pontokat. Ekkor az háromszög oldalainak négyzetösszege a következő lesz: | | míg a háromszög területére az ismert összefüggés szerint: , ami a feltétel szerint . Az (1) egyenlőtlenségbe ezeket beírva kapjuk, hogy és az egyenlőség pontosan akkor teljesül, ha az háromszög szabályos és területe
Hausel Tamás, ELTE, TTK
6. feladat
Megoldás. Adott esetén jelölje azt a legnagyobb egész számot, amelyre Erre a -ra nyilván , továbbá Legyen
Az , , értékek ilyen kiválasztásával nyilván továbbá , miatt , hiszen Így elegendő az
és az
egyenlőtlenségeket igazolnunk. A (4) egyenlőtlenség a kiválasztásából adódó egyenlőtlenség nyilvánvaló következménye. Az (5) egyenlőtlenséghez pedig elegendő a rendezés után adódó
egyenlőtlenséget igazolnunk. Ez nyilván teljesül, ha vagy , hiszen ekkor és (6) bal oldala negatív. Legyen és tegyük fel, hogy (6) mégsem igaz, vagyis Ez azt jelenti, hogy ahonnan | | ellentétben a kiválasztásával.
Drasny Gábor, ELTE, TTK |