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. Mivel egy sakkparti két résztvevője ponton osztozkodik, a lejátszott mérkőzések száma egyenlő a résztvevők pontszámának összegével. Ha játékos jött el az edzésre, akkor a pontok összege és így a mérkőzések száma: Ha az -edik játékos darab partit játszott, akkor nyilván hiszen az összegzés során minden egyes partit mindkét részvevője szerint számoltunk. Ha a számok minimuma , akkor a összeget alulról becsülhetjük: Egybevetve -et és -at valóban van tehát olyan játékos, aki legfeljebb darab mérkőzést játszott. Az állítás második részét a játékosok számára vonatkozó teljes indukcióval igazoljuk, miközben a értékét természetesen rögzítjük. Ha , akkor az állítás semmitmondó, hiszen minden egyes játékos külön-külön szobába kerülhet. Legyen most és tegyük föl, hogy az állítás igaz minden olyan edzés résztvevőire, ahol legfeljebb játékos vett részt. A feladat első része szerint van olyan játékos, aki legfeljebb partit játszott. Ha -t elhagyjuk és töröljük a mérkőzéseit is, akkor a megmaradó játékosok pontjainak a száma nem nő, így az indukciós feltevés szerint ők elhelyezhetők legfeljebb teremben a feladat követelményei szerint. Mivel pedig legfeljebb meccset játszott, ezért legfeljebb ennyi teremben ülhet olyan játékos, aki -val játszott az edzés során. A termek száma viszont több ennél, így a között van olyan terem ‐ esetleg üres ‐ ahol nincs olyan játékos, aki -val játszott volna. Küldjük -t ide, ezzel a kívánt elrendezést darab játékossal is megvalósítottuk. Megjegyzés. A feladat állítása éles abban az értelemben, hogy a feltételek teljesülése esetén -nél kevesebb terem már nem feltétlenül elegendő. Ha ugyanis résztvevője volt az edzésnek, mindenki játszott mindenkivel, és minden egyes parti döntetlenül végződött, akkor a feltételek nyilván teljesülnek és egyetlen terembe sem kerülhet egynél több résztvevő. |