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. A három dobott szám összege csak akkor osztható -mal, ha a számok -mal osztva ugyanazt a maradékot adják, vagy ha -mal osztva páronként különböző maradékot adnak. Jelölje , , az ikozaéderen szereplő , , ill. alakú számok számát. Arra, hogy mindhárom dobott szám alakú legyen lehetőség van. Ugyanígy , ill. lehetőség van arra, hogy a három dobott szám mindegyike , ill. alakú legyen. A három szám sorrendben adhat különböző maradékot, és ha a maradékok sorrendjét rögzítjük, a három számot -féleképpen választhatjuk ki. Összesen olyan eset van tehát, amikor a három dobott szám összege osztható -mal. Az összes lehetséges dobások száma pedig . A bizonyítandó állítás azt jelenti, hogy | | Ha az , és mennyiségeket rendre ill. -rel jelöljük, akkor , , , és a fenti egyenlőtlenség az alábbi alakot ölti: Elegendő tehát belátnunk, hogy ez az egyenlőtlenség a , , , feltételek mellett teljesül. A továbbiakban már ,,elfeledkezhetünk'' arról, mit jelent , , . (1) szimmetrikus -ben, -ban és -ben, így feltehetjük, hogy . , ami a feltétel mellett ekvivalens azzal, hogy . Az (1) egyenlőtlenség ekvivalens tehát azzal, hogy a | | (2) | egyenlőtlenség minden nem negatív , , -re fennáll. Feltevésünk szerint és , így . Következésképp ha nem negatív. Végül | | A két utolsó egyenlőtlenségből (2) következik, és ezt kellett bizonyítani. Alberti Gábor (Budapest, Árpád Gimn., III. o. t.) dolgozata alapján
Megjegyzés. A most bizonyított állítás átfogalmazható a következőképpen. Egy urnában van papírdarab, mindegyikre egy-egy egész szám van írva. Háromszor húzunk az urnából, a papíron álló számot feljegyezzük, majd a papírt visszadobjuk. Ekkor legalább a valószínűsége annak, hogy a három feljegyzett szám összege osztható -mal. A bizonyításban azonban nem használtuk ki, hogy , vagyis hogy az ikozaédernek lapja van. A közben bevezetett , , annak a valószínűsége, hogy a dobott (húzott) szám , , ill. alakú. A bizonyításból az is kiadódik, hogy az valószínűség pontosan akkor érhető el, ha a , , számok közül az egyik , a másik kettő pedig . (S. L.) |