Binomiális tétel
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/49/%28x%2By%293.svg/220px-%28x%2By%293.svg.png)
A binomiális tétel egy matematikai (algebrai) tétel, mely a következő képletben foglalható össze:
részletesebben (szummajel használata nélkül):
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d3/Binomio_al_cubo.svg/220px-Binomio_al_cubo.svg.png)
ahol n természetes szám (n∈ℕ), a, b pedig valós vagy komplex számok, vagy általánosabban, egy kommutatív félgyűrű elemei; továbbá a képletben szereplő ún. binomiális együtthatók a következőképp számolhatóak ki:
- ;
pedig az n szám faktoriálisát jelenti.
Szavakban megfogalmazva a binomiális tétel egy kéttagú összeg tagonkénti hatványra emelésének módja: egy kéttagú összeget úgy is n-edik hatványra emelhetünk, hogy összeadjuk a két tag összes olyan hatványának szorzatát, mely hatványok kitevői összege a kéttagú összeg kitevője (azaz n), megszorozva a Pascal-háromszög n-edik sorának annyiadik elemével, ahányadaik hatványon az első tag áll a szorzatokban (a Pascal-háromszögben a sorok és a sorok elemeinek számozását is a 0-tól kezdve). A binomiális tétel nem elsősorban egy számoláskönnyítő eljárás (amennyiben konkrét/ismert számokra alkalmazzuk, vannak gyorsabb módszerek az összeg hatványainak kiszámolására [1]), inkább elméleti jelentősége van, alapvető összefüggést mond el a polinomok viselkedéséről (ez azonban nem zárja ki teljesen, hogy a gyakorlatban alkalmazható legyen, sőt, éppen alapvetősége miatt minden területen előbukkanhat, ahol előfordulnak a polinomok - azaz a legváltozatosabb helyeken).
Példák
[szerkesztés]Története
[szerkesztés]A formulát, a Pascal-háromszöggel együtt gyakran Blaise Pascalnak tulajdonítják, aki a XVII. században leírta ezeket, de már a kínai Yang Hui (XIII. század), sőt a XI. századi perzsiai muzulmán Omar Khajjám, sőt a Kr. e. 3. századi indiai Pingala is utal rájuk. Az arab matematikusok (Al-Karadzsi, ~953-~1029) már meglehetős biztonsággal alkalmazták kisebb n-ekre,[2] Kínában és Indiában az 1100-as években (vagy előbb) fedezhették fel.
A formulát általánosabb alakjában Isaac Newton 1665-ben leírta és bizonyította is.
Bizonyítások
[szerkesztés]Kombinatorikus jellegű bizonyítás
[szerkesztés]Tudvalevőleg
A (félgyűrűkben mindenképp érvényes) disztributivitás („minden tagot minden taggal”) törvénye alapján x1x2…xn alakú szorzatokat kapunk, ahol x1, x2,…, xn ∈{a,b}. Ezeket kell összegezni. Egy ilyen tag úgy is adódhat, hogy kiválasztjuk az első zárójelben lévő a vagy b tag közül az egyiket (tetszőlegeset), aztán a másodikból is az a-t vagy b-t (tetszőlegesen), és így tovább. Tehát így valóban a tagok akbn-k alakúak lesznek (a kitevők összege ugyanis n-et kell, hogy adjon, hiszen összesen n darab a-t vagy b-t választunk ki a zárójelekből és szorzunk össze), ahol 0≤k≤n. Például ha mind az n db. zárójelből az a-t választjuk ki, úgy adódik az anb0 = an tag. A kérdés, rögzített k-ra hány darab darab akbn-k létezik (több is létezhet, például már n=2 esetén is, a kommutativitás miatt, kétféle a1b1 = ab alakú tag áll elő aszerint, hogy az első zárójelből a-t és a másodikból b-t, illetve aszerint, hogy az első zárójelből b-t és a másodikból a-t választjuk).
Elegendő csak az a-k kitevője szerint vizsgálódni, hiszen ha a kitevője a rögzített k, akkor b kitevője már egyértelműen n-k. Annyiféle akbn-k alakú tag lehet tehát, ahányféleképp n db. a szorzót választhatunk az n darab (a+b) zárójelből (a többi szorzó automatikusan b), tehát ahányféleképp az n db. a szorzó közül kiválaszthatunk k db. a szorzót, vagyis ahányféleképp egy n elemű halmazból (az a szorzók halmazából) kiválasztható k db. elem (k darab a szorzó); s ez a szám egy n elemű halmaz k elemű részhalmazainak a számát megadó binomiális együttható, .
Tehát két tag összegének n-edik hatványa valóban n összegű kitevőjű a- és b alapú hatványok szorzatainak („tagok”) összege, és az egyes tagok együtthatója valóban a képletben szereplő binomiális együttható ■.
Indukciós bizonyítás
[szerkesztés]Teljes indukciót használunk, a „Pascal-képletet” is alkalmazva (). Ha n = 0, akkor
- és = 1·1·1 = 1
valóban igaz, mert bármely valós szám, illetve kommutatív félgyűrűelem nulladik hatványa definíció szerint 1. A példák alatt láthatóan teljesül a tétel egyéb kis n-ekre is.
Indukciós feltevésként legyen igaz a tétel valamely -ra. Akkor -re a következőképp látható be:
-
- az indukciós feltevés alapján;
- , elvégezve a kijelölt beszorzásokat a-val, illetve b-vel;
- , az első részösszegből különválasztva a k=0, a másodikból pedig a j=m indexű, összesen két darab tagot; tehát:
- ; a k futóindex helyébe is j-t írhatunk, figyelembe véve, hogy j 0-tól m-1-ig fut, míg k 1-től m-ig, tehát k=j+1, és így helyettesítve a, b hatványkitevői is a megfelelőképp kell hogy módosuljanak, kapjuk:
- ; azaz:
- ; azaz:
- ; azaz:
- ; alkalmazva a binomiális együtthatókra vonatkozó (szintén indukcióval bizonyítható) Pascal-képletet, és figyelembe véve, hogy és minden m-re:
- ; most j helyébe k=j+1-et írva, s figyelembe véve, hogy j=k-1, j 0-tól m-1-ig fut, és a többi ilyesmit:
- ; azaz
- ; és így
- ; és mivel m+1=n, így
- ;
és épp ez kellett ■.
Egyszerű következmények és alkalmazások
[szerkesztés]Az n-edrendű binomiális együtthatók összege és váltakozó előjelű összege
[szerkesztés]Klasszikus diszkrét matematikai (algebra-kombinatorika) következménye a tételnek az a két azonosság, mely a Pascal-háromszög n-edik sorában álló elemek összegéről, illetve váltakozó előjellel vett összegéről szól:
Ha tekintjük az , illetve helyettesítést, akkor kapjuk, hogy
Ha tekintjük az , illetve helyettesítést, akkor kapjuk, hogy
vagyis a binomiális együtthatók váltakozó előjelű összege 0.
Hatványfüggvény deriváltja
[szerkesztés]Klasszikus analitikus alkalmazása a tételnek az x↦c·xn valós vagy komplex hatványfüggvények deriváltját megadó egyszerű képlet, eszerint:
Általánosítások
[szerkesztés]A polinomiális tétel
[szerkesztés]A polinomiális vagy multinomiális tétel képlettel:
Bizonyítás: ha elvégezzük az hatványozását, csupa n-edfokú tagokat fogunk kapni. Az n db zárójeles tényező összeszorzásakor meg fogjuk kapni az összes lehetséges n elemű ismétléses variációt. (Pl. 5 tag esetén néhány: . Mindegyiket csak egyszer kapjuk meg. Viszont mivel a szorzás kommutatív, ezért az előbbi példa esetében is látható, hogy mindkét tag ugyanazokat és ugyanannyi db tagot tartalmaz, csak más sorrendben. A végeredményben ezek tehát összevonhatók és valamilyen együtthatót kapnak - attól függően, hogy hány ilyen adott összetételű tagot vontunk össze. Így ahhoz, hogy egy valamilyen adott tag együtthatóját meg tudjuk mondani, ki kell számítani, hogy hány variáció tartalmaz pontosan db -et, db -t, ... , db -t.
Így tulajdonképpen az a kérdés, hogy az n db zárójeles tényezőből hányféleképp választható ki - egy adott formáció esetén - db , db , ... , db , ahol , hiszen az n db zárójelből pontosan n db kiválasztást kell tenni. Ez a kiválasztás így írható fel: Ha tehát kiválasztjuk, hogy mely és hány db tagból hányféle variáció lehetséges, akkor egy ilyen összetételű tagnak lesz az együtthatója. Ha pedig az egész kifejezés összes tagjára, és azok együtthatóira vagyunk kíváncsiak, akkor ezt „el kell játszani” minden tag esetén, hisz minden tag összetétele más és más. Ezért ezeket összegezni kell: , ami épp a kezdeti felírás jobb oldala; ezzel beláttuk a képlet igaz voltát. Nézzünk néhány példát: esetén mennyi lesz az együtthatója? A képlet alapján: , ami ilyen egyszerű esetben minden tag minden taggal való összeszorzásából, vagy a binomiális tételből (ami a polinomiális tétel speciális esete) vagy a Pascal háromszögből szintén meghatározható. De mi a helyzet, ha mondjuk esetén az tag együtthatóját keressük? A válasz a képlet alapján: , ami meglepőnek látszik, de a tétel alapján ez a megoldás.
Newton általánosított binomiális tétele
[szerkesztés]Isaac Newton első jelentős matematikai felfedezése volt a binomiális tétel általánosítása racionális kitevőkre. Képlete azonban komplex kitevőkre is érvényes:
ahol r tetszőleges komplex szám, az általánosított binomiális együtthatók kiszámítása pedig a következő:
;[3] vagy pedig
;
ahol az ún. Pochhammer-szimbólum.
A binomiális tétel a kultúrában
[szerkesztés]- Sir Arthur Conan Doyle Sherlock Holmes-történeteiben az elvetemült Moriarty professzor a szerzője az A Treatise on the Binomial Theorem (Értekezés a binomiális tételről) c. munkának.
- Legalább három különböző Monty Python-műben (Coal Mine, Happy Valley, Az élet értelme) említik a tételt.
- Mihail Bulgakov A Mester és Margarita c. regényében a Fokics nevű büfés azt állítja a sátáni Woland professzornak, hogy a saját halálát senki sem képes előre látni, Woland és szolgái ezt megcáfolják azzal a tényleg beteljesülő jóslattal, miszerint májrákban fog meghalni egy klinikán; bizonyítékként pedig „Newton binomiális tételére” hivatkoznak. A tételre hivatkozás valószínű motivációja, hogy a binomiális tétel alapvető szerepet játszik a klasszikus genetikában, felbukkan pl. a Hardy–Weinberg-törvényben, amely Weinberg révén 1908 óta ismert volt (szerepéről az 1916-ban orvosi diplomát kapó Bulgakov is tudhatott). A valószínűségszámítás és az emberi öröklődés kapcsolatáról Korovjov más hasonló megjegyzéseket is tesz a regényben („egy pakli kártya”).
- Fernando Pessoa (1888–1935) portugál költő egy egész, bár rövid költeményt (A Newton féle binomiális – O binomio de Newton) szentelt a tételnek,[4] mi szerint: A Newton-féle binomiális ugyanolyan szép, mint a Milói Vénusz. Legfeljebb kevesen vesznek róla tudomást.
Jegyzetek
[szerkesztés]- ↑ Például a Gyors bináris alapú hatványozás, ami körülbelül 2log(n) szorzást igényel. A két szám, a és b összeadása utáni hatványozásból a binomiális tétel „jobb” oldala alapján n+1 hatványozást igényel, ami nagyságrendileg jóval több, mint 2log(n), és akkor a binomiális együtthatók kiszámításáról és az ezekkel való szorzásról még szó sem esett. A két eljárás számításigény-viszonyának pontos felbecslése nehéz, függ az alkalmazott módszerektől is (például gyors szorzáskor az a és b összegét át kell írni kettes számrendszerre, de ez is csak kb. log2(a+b) db. maradékos osztást követel; a binomiális együtthatók számításigénye függhet attól, hogy rekurzív módon vagy faktoriálisokká kifejtve számolunk-e, de nagyon durva közelítéssel is, a binomiális tétellel való számolás nagy kitevők esetén jóval számításigényesebb.
- ↑ Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji életrajza a Szent András-Egyetem honlapján (MacTutor Archive).
- ↑ A k = 0, esetben a képlet „tényezők nélküli szorzat”, így szükségképp 1, a k = 1 esetben pedig r.
- ↑ A Newton-féle Archiválva 2010. március 14-i dátummal a Wayback Machine-ben – F. Pessoa verse a Ponticulus Hungaricus Archiválva 2006. április 5-i dátummal a Wayback Machine-ben c. webhelyen
További információk
[szerkesztés]- Lawrence Neff Stout: Aesthetic Analysis of Proofs of the Binomial Theorem (A binomiális tétel három bizonyításának esztétikai analízise) – angol PDF.