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. Az osztály minden tanulója szakköri tag, hisz mindegyikük még közös szakkörbe is jár valaki mással. (Persze feltesszük, hogy az osztályba legalább ketten járnak.) Ugyanezért ha valaki csak egy szakkörbe jár, akkor ennek a bizonyos szakkörnek mindenki tagja és ez még több is, mint a bizonyítandó állítás. Ezért a továbbiakban a feladat második feltételét módosítva föltesszük, hogy minden gyerek pontosan két szakkörnek a tagja. Tekintsünk most valakit az osztályból, és legyen és az a két szakkör, ahová ő jár. Az első feltétel szerint ekkor mindenki tagja , és közül valamelyiknek ‐ esetleg mindkettőnek. A két szakkör egyikébe ezért az osztálynak legalább a fele jár, azonban ez még kevés. Ha most -ben vagy -ben mindenki ott van, akkor megint csak készen vagyunk, így föltehető, hogy van olyan gyerek, aki nem jár -be (de ekkor muszáj -be járnia egy előbbi megállapításunk alapján), és olyan is, aki -be jár, de -be nem. Jelölje az egyik szakkört, ahová a feltétel szerint és is jár és . Állítjuk, hogy -nek -gyel és -vel együtt éppen azok a tagjai, akik és közül pontosan az egyik szakkörbe járnak. Valóban, ha valaki -nek is és -nek is tagja, akkor -ben már nem lehet ott, hisz ez már kettőnél több szakkör volna. Ha pedig valaki például -be jár, de -be nem ‐ mint ‐, akkor az -be és -be járó -vel közös szakköre csak az lehet. Számoljuk meg ezután a tagokat -ben, -ben és -ben. A fentiek szerint mindenkire éppen kétszer kerül sor: és közös tagjaira -ben, illetve -ben, a többiekre -ben és -ben ‐ mint például ─, illetve -ben és -ben ‐ mint például . A három szakkör létszámának az összege ezért az osztály létszámának a kétszerese, így valóban van köztük olyan, ahová az osztálynak legalább a kétharmad része jár.
|