Die Binomialkoeffizient ist die Kardinalität, also die Anzahl an Elementen, eines Systems von k-elementigen Elementen einer n-elementigen Menge
. Für beliebige
ensteht beim Ausmultiplizieren des Produktes von
eine Summe über alle Produkte
. Somit gilt:
Für ist der entsprechende Summand
, womit gilt:
Somit gilt kurzgesagt:
Dies ist der sogenannte Binomialsatz, der üblicherweise auch durch Induktion bewiesen wird.
Für n = 2 ergeben sich die binomischen Formeln. Auch die dritte binomische Formel hat eine Verallgemeinerung:
