Alkeisalgebrassabinomilause kuvaabinomin potenssin algebrallisen kehittämisen. Lauseen mukaan on mahdollista kehittää (x + y)n summaksi, jossa termit ovat muotoa axbyc, siten ettäeksponentit b ja c ovat ei-negatiivisia kokonaislukuja ja b + c = n. Lisäksi jokaisen termin kerroin a on tietty positiivinen kokonaisluku, joka riippuu n:stä ja b:stä. Kun eksponentti on 0, onx taiy jätetty pois kehitelmästä. Esimerkiksi:
Pascalin kolmion viisi ensimmäistä riviä. Kolmiossa alapuolella oleva luku on kahden sen yläpuolella olevan luvun summa.
Kerroin a termissä xbyc tunnetaanbinomikertoimena tai (näillä kahdella on sama arvo). Nämä kertoimet voidaan laskea kaavasta
Binomikaava ja kolmion muotoon järjestetyt binomikertoimet liitetään usein vainBlaise Pascaliin, joka kuvaili ne 1600-luvulla, mutta jo monet häntä edeltävät matemaatikot tiesivät ne. 300-luvulla eaa. kreikkalainen matemaatikkoEukleides Aleksandrialainen mainitsi erikoistapauksen binomilauseesta (a+b) eksponentille 2 kuten myös 200-luvun eaa. intialainen matemaatikkoPingala korkeammille kertaluvuille. Tuttu binomilause ja niin kutsuttuPascalin kolmio olivat tunnettuja 900-luvulla intialaiselle matemaatikolleHalayudhalle ja persialaiselle matemaatikolleAl-Karajille, ja 1200-luvun kiinalaiselle matemaatikolleYang Huille, jotka kaikki saivat samoja tuloksia.Al-Karaji antoi myösmatemaattisen todistuksen sekä binomilauseesta että Pascalin kolmiosta käyttäenmatemaattista induktiota.
Lauseen mukaan on mahdollista kehittää mikä tahansa potenssi (x + y):n summaksi, joka on muotoa
missä jokainen on tietty positiivinen kokonaisluku, joka tunnetaanbinomikertoimena. Tämä kaava liittyy myösbinomikaavaan taibinomikuvaukseen. Käytettäessä summamerkintää se voidaan kirjoittaa
Viimeinen lauseke seuraa edellisestä ja on symmetrinenx :n jay :n ensimmäisen lausekkeen kanssa, ja verrattaessa kertoimiin huomataan, että binomikertoimien jono kaavassa on myös symmetrinen.
Kun kehitetään auki (x + y)n niin se tuottaa 2n tulojen summaa, jotka ovat muotoae1e2 ... en missä jokainenei onx taiy. Kun järjestellään termejä uudelleen, niin huomataan, että jokainen tulo on muotoaxn−kykk:n arvoilla 0:stan:ään. Kunk tunnetaan, saadaan seuraavista kaikista lauseista sama arvo:
Jos eksponenttin ei ole positiivinen kokonaisluku eikä nolla, ei lauseketta voida kehittääpolynomiksi.Yleistetyn binomilauseen mukaan sille on kuitenkin olemassasarjakehitelmä:
,
missä yleensä pätee kuitenkin vain, (ja eräissä tapauksissa silloinkin, kun), jolloin sarja suppenee. Tässä kertoimille käytetään myös merkintää. Tätä sarjaa sanotaanbinomisarjaksi.
Erikoistapauksessa, kunn on positiivinen kokonaisluku, sarjan kertoimetn+1:nnestä lähtien ovat kaikki nollia, jolloin tuloksena saadaan algebran binomilause.