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. Válasszuk ki az összes körlemez közül a legkisebb sugarút, legyen ez . Megmutatjuk, hogy ebbe a körlemezbe halmazonként legfeljebb 5‐5 körlemez metszhet bele. Legyen középpontja , sugara , és tegyük fel, hogy ebbe két legalább ekkora sugarú, diszjunkt körlemez: és belemetsz. Legyen ezek középpontja és , sugaraik és . Az, hogy és diszjunkt, ekvivalens azzal, hogy . Az pedig, hogy belemetszenek -ba, azt jelenti, hogy és . Mindezekből következik, hogy és , vagyis az háromszögben a leghosszabb oldal . A háromszög legnagyobb szöge a leghosszabb oldallal szemben fekszik, tehát az szög nagyobb, mint . Ha lenne 6 diszjunkt körlemez, amely belemetsz -ba, akkor ezek közül valamelyik kettő középpontja -nál nem nagyobb szögben látszana -ból, ami ellentmondás. A kiválasztandó 333 körlemez egyike lesz. A többi körlemez kiválasztásához hagyjuk el azt a halmazt, amely tartalmazza -t, a többi halmazból pedig azokat a körlemezeket, amelyek belemetszenek -ba. Így 332 halmazunk marad, mindegyikben legalább 1990 körlemez. Ezt az eljárást 332-szer elvégezve még mindig marad egy halmaz legalább körlemezzel, ezek bármelyikét kiválaszthatjuk.
Sánta Zsuzsa (Fazekas Mihály Főv. Gyak. Gimn., III. o. t.) |
|