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. Azt fogjuk megmutatni, hogy (1)-nek mindkét oldalán -tól függetlenül különböző elem -edosztályú (ismétlés nélküli) kombinációinak száma áll. Pontosabban azt, hogy ha e kombinációk halmazát két megadandó, különböző szempont szerint osztályozzuk közös kombinációt nem tartalmazó részhalmazokba, akkor a két összeg tagjai rendre az egy‐egy részhalmazba jutott kombinációk számai és az összegezés mindkét oldalon sorra veszi az illető szempont szerinti összes részhalmazt. Elemekként az első természetes számra gondolunk, ezzel mindjárt könnyen sorszámokat is rendelhetünk hozzájuk, legegyszerűbben úgy, hogy mindegyik számunk sorszáma önmaga legyen. a) Először (1) jobb oldalára bizonyítjuk állításunkat. Minden egyes tag két tényezője maga is bizonyos kombinációk száma, és észrevesszük, hogy bennük a ,,felső'' számok ‐ azaz a választható számok számai ‐ összegül -et adnak, az ,,alsó'' számok pedig ‐ vagyis a kiválasztott számok számai ‐ összegül -et. Továbbá az összegezési betűtől csak az alsó számok függnek. Ezt használjuk fel az osztályozásban: az első szám elemű kombinációit aszerint rendezzük részhalmazokba, hogy hányat tartalmaznak az első szám közül. Ugyanis az ilyen számok számát jelölve -vel, egyrészt erre különböző lehetőségünk van, másrészt ekkora hátralevő számot csak a -nál nagyobb számok közül választhatjuk, az ilyenek száma, ‐ ami mindenesetre ‐, a kiválasztási lehetőségek száma ezek szerint pedig a jobb oldal általános tagja azt adja meg, hogy az indexű részhalmaz hány összekapcsolást tartalmaz, ha az elemű kiválasztások mindegyikét összekapcsoljuk az elemű kiválasztások mindegyikével egy‐egy elemű kombinációvá. értéke minden kombinációra egyértelműen meghatározza, hogy azt melyik részhalmazban vesszük számba, tehát amíg végigfut az előírt 0, 1, , értékeken, addig minden egyes kombinációnkat számba vesszük egy és csak egy részhalmazban. ‐ Ezzel állításunkat a jobb oldalra bebizonyítottuk. Megjegyezzük még: előfordul, hogy az összeg egy vagy több tagja 0-val egyenlő, ilyen mindjárt , amikor is , és ezért ; szóban: az első számból miatt nem lehet képezni elemű kombinációt (ismétlés nélkül). Ha viszont ,,kicsi'', akkor előfordulhat, hogy , ekkor a második tényező 0, pl. és mellett nem lehet elemű kombinációt képezni anélkül, hogy legalább egyet ne használjunk fel az első szám közül. Az -nek ilyen ,,meddő'' értékei természetesen nem érintik a bizonyított állítás érvényességét.
b) Az (1) bal oldala tagjainak két‐két tényezője ugyancsak kombinációk száma, bennük a felső számok összege , az alsóké , és az összegezési betűtől itt csak a felső számok függnek, vagyis a választható számok számai. Az, hogy a talált is, is 1‐1 hiányt mutat a jobb oldali megfelelő , illetőleg együttes elemszámmal szemben, azt az ötletet adja, hogy itt tagról tagra egy‐egy szám elő van írva a kombinációba, ezért lehet együttvéve csak szám közül választani és együttvéve csak számot választani. A részhalmazokba osztályozáshoz ismét használható az szám: az szorzat a fentihez hasonló meggondolással az olyan elemű kombinációk száma az első természetes szám közül, amelyekben a -edik helyen az szám áll; ugyanis az ilyenekben az első helyre csak az első szám közül választhatunk, a további helyekre pedig ‐ más szóval a kombináció ,,végén'' álló számú helyre ‐ csak az -nél nagyobb számok közül, amelyeknek száma . (Ezzel biztosítjuk a három részből összekapcsolt egymásutánban a növekvő sorrendet.) A föltevés szerint alapján az elemű kombinációkban van sorszámú elem; továbbá minden kombinációról a -edik eleme egyértelműen eldönti, hogy melyik részhalmazban vesszük számba a kombinációt. ‐ Ezzel a bevezetőül kimondott állításunkat a bal oldalra is bebizonyítottuk, s evvel a feladatot megoldottuk. Az összegezés a bal oldalon is tartalmaz 0 értékű tagokat, éspedig egyrészt az értékekre, másrészt azokra, amelyekre , ilyenek akkor vannak (legalább 1), ha .
Balogh Zoltán (Debrecen, Fazekas M. Gimn., IV. o. t.) |
Megjegyzés. Az (1) jobb oldalán álló összeg értelmezésében nélkülözhetjük azt a nagysági, sorrendi rendezést, ami természetes számok közt eleve fennáll. Beszélhetünk ehelyett pl. különböző tárgyról, amelyek közül darab piros színű, a többi kék, hiszen a választás minden tagban a pirosak, ill kékek közül történik. A bal oldali összeg értelmezése esetében viszont minden tagban másik‐másik az a szám, amely az adottakat kettéosztja a kombináció elülső és hátsó részkomponensében választható számok céljára.
|