Kombinatorika és a Binomiális tétel

1. Definíciók és Alapfogalmak

A kombinatorika a véges halmazok elemeinek sorbarendezésével, kiválasztásával és csoportosításával foglalkozik. Az emelt szintű érettségi elvárja az alábbi képletek ismeretét és alkalmazását:

Permutáció (Sorbarendezés): $n$ darab különböző elem összes lehetséges sorrendjeinek száma.
Ismétlés nélküli: $P_n = n! = n \cdot (n-1) \cdot \dots \cdot 1$
Ismétléses: Ha az $n$ elem között $k_1, k_2, \dots$ darab egyforma van, akkor a sorrendek száma: $P_n^{(k_1, k_2, \dots)} = \frac{n!}{k_1! \cdot k_2! \cdot \dots}$
Variáció (Kiválasztás és sorbarendezés): $n$ különböző elemből $k$ darab kiválasztása, ahol a kiválasztott elemek sorrendje is számít.
Ismétlés nélküli: $V_n^k = \frac{n!}{(n-k)!} = n \cdot (n-1) \cdot \dots \cdot (n-k+1)$
Ismétléses: $V_n^{k, ism} = n^k$
Kombináció (Kiválasztás sorrend nélkül): $n$ különböző elemből $k$ darab kiválasztása, ahol a sorrend nem számít (részhalmazok száma).
Ismétlés nélküli: $C_n^k = \binom{n}{k} = \frac{n!}{k!(n-k)!}$

2. Tétel: A Binomiális tétel és Pascal-azonosság

A Binomiális tétel: Tetszőleges $a, b$ valós számok és $n$ pozitív egész szám esetén érvényes az alábbi összefüggés:

(a+b)^n = \binom{n}{0}a^n b^0 + \binom{n}{1}a^{n-1}b^1 + \dots + \binom{n}{n}a^0 b^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k

A tételben szereplő $\binom{n}{k}$ számokat binomiális együtthatóknak nevezzük. Ezek a számok adják ki a Pascal-háromszöget, amelynek alaptulajdonsága, hogy bármelyik elem a felette lévő két elem összege.

1

2

1

3

1

4

6

4

1

1. ábra: A Pascal-háromszög első 5 sora. Jól látható a Pascal-azonosság: 3 + 3 = 6.

A Pascal-azonosság (Tétel): Bármely $1 \le k \le n$ egész számok esetén:

\binom{n}{k-1} + \binom{n}{k} = \binom{n+1}{k}

Kombinatorikus bizonyítás:

Bizonyítsuk az állítást egy történet segítségével! Képzeljük el, hogy van egy osztályunk $(n+1)$ diákkal, és közülük ki akarunk választani egy $k$ fős bizottságot. Ennek a lehetséges kiválasztásoknak a száma pontosan a jobb oldalon álló kifejezés: $\binom{n+1}{k}$.

Most számoljuk ki ugyanezt egy másik módszerrel! Válasszunk ki egy konkrét diákot, nevezzük Pistikének. A lehetséges bizottságokat két diszjunkt (egymást kizáró) csoportra oszthatjuk:

Pistike benne van a bizottságban: Ekkor Pistikén kívül a maradék $n$ diákból kell még kiválasztanunk $(k-1)$ főt. Ennek lehetőségeinek száma: $\binom{n}{k-1}$.
Pistike nincs benne a bizottságban: Ekkor a maradék $n$ diákból kell kiválasztanunk a teljes bizottságot, azaz $k$ főt. Ennek lehetőségeinek száma: $\binom{n}{k}$.

Mivel ez a két eset lefedi az összes lehetőséget és nincs metszetük, az összes kiválasztások száma e kettő összege. Így a bal oldal egyenlő a jobb oldallal. $\blacksquare$

3. Alkalmazás és Történet

Történet: Bár a háromszöget Európában a 17. századi francia matematikusról, Blaise Pascalról nevezték el (aki a valószínűségszámítás megalapozására használta), az elrendezés és annak tulajdonságai sokkal ősibbek. Kínában Yang Hui háromszögének hívják a 13. század óta, de az indiai matematikus Pingala már i. e. 200 körül felismerte az összefüggéseit a szanszkrit versek szótagszámának elemzésekor.

Alkalmazás (Genetika és Valószínűségszámítás): A binomiális együtthatók alapvetőek a binomiális eloszlásban. Például a biológiában, ha egy szülőpár mindkét tagja hordozója egy recesszív génnek (pl. kék szem, 25% esély), a binomiális tétel segítségével pontosan kiszámítható a valószínűsége annak, hogy 4 gyermekükből pontosan 2 kék szemű lesz: $P(X=2) = \binom{4}{2} \cdot 0.25^2 \cdot 0.75^2$.

4. Példafeladat: Binomiális kifejtés

Típusfeladat (Az általános tag keresése)

12 pont

Határozzuk meg a következő kifejezés binomiális tétel szerinti kifejtésének $x$-től független (konstans) tagját!

\left( 2x^2 - \frac{1}{x} \right)^9

A binomiális tétel szerint a kifejtés általános ($k$-adik) tagjának képlete a következő (ahol $k$ felveszi az értékeket $0$-tól $9$-ig):

T_{k} = \binom{n}{k} \cdot a^{n-k} \cdot b^k

Esetünkben: $n = 9$, $a = 2x^2$, és $b = -\frac{1}{x} = -x^{-1}$. Behelyettesítve az általános tag képletébe:

T_{k} = \binom{9}{k} \cdot (2x^2)^{9-k} \cdot (-x^{-1})^k

Bontsuk szét a kifejezést együtthatókra és $x$ hatványaira a hatványozás azonosságai segítségével:

T_{k} = \binom{9}{k} \cdot 2^{9-k} \cdot (x^2)^{9-k} \cdot (-1)^k \cdot x^{-k}

T_{k} = \binom{9}{k} \cdot 2^{9-k} \cdot (-1)^k \cdot x^{18-2k} \cdot x^{-k}

T_{k} = \binom{9}{k} \cdot 2^{9-k} \cdot (-1)^k \cdot x^{18-3k}

A feladat azt kéri, hogy a tag $x$-től független legyen, ami azt jelenti, hogy $x$ kitevőjének nullának kell lennie (hiszen $x^0 = 1$):

$$18 - 3k = 0$$ $$3k = 18$$ $$k = 6$$

Ezt a $k$ értéket visszahelyettesítve kiszámíthatjuk a konstans tag konkrét értékét:

T_{6} = \binom{9}{6} \cdot 2^{9-6} \cdot (-1)^6 \cdot x^0

T_{6} = \frac{9 \cdot 8 \cdot 7}{3 \cdot 2 \cdot 1} \cdot 2^3 \cdot 1

T_{6} = 84 \cdot 8 = 672

Válasz: A binomiális kifejtés $x$-től független tagja a 672.