Die Formel, die eine Potenz einer Summe aus zwei Termen (x + y)^n als endliche Summe von Termen C(n,k) x^{n-k} y^k darstellt, wobei C(n,k) die Binomialkoeffizienten sind und n eine nichtnegative ganze Zahl ist.

Prinzip

Die Koeffizienten des Entwickelns entsprechen Kombinatorik: der Koeffizient von x^{n-k} y^k gibt die Anzahl der Möglichkeiten an, k Vorkommen von y unter n Faktoren zu wählen, ausgedrückt durch den Binomialkoeffizienten C(n,k).

Demonstration

Für n = 3: (x + y)^3 = x^3 + 3 x^2 y + 3 x y^2 + y^3; die Koeffizienten 1, 3, 3, 1 entsprechen C(3,0), C(3,1), C(3,2), C(3,3).

Fehlanwendung

Die endliche Form des Binomischen Lehrsatzes auf nicht‑ganzzahlige oder negative Exponenten anzuwenden, ohne Konvergenz zu prüfen; in solchen Fällen wird die Entwicklung zu einer unendlichen Reihe und zusätzliche analytische Voraussetzungen sind nötig.

Konsequenz

Ermöglicht eine direkte kombinatorische Berechnung von Polynomentwicklungen, die Herleitung von Identitäten und die Verbindung algebraischer Entwicklungen mit Zählproblemen und Wahrscheinlichkeitsmodellen.

Umkehrung

Statt eine Summe in Monome zu entwickeln, ist die Umkehrung das Faktorisieren eines Polynoms in einfachere Faktoren; das Entwickeln verteilt Struktur auf Monome, das Faktorisieren bündelt sie.

Abgrenzung

Gilt als endliche Summe für nichtnegative ganze n. Für negative oder nicht‑ganzzahlige Exponenten ist die verallgemeinerte (unendliche) Binomialreihe mit Konvergenzbedingungen erforderlich; der Satz gilt nicht automatisch für nichtkommutative oder operatorwertige Terme ohne zusätzliche Voraussetzungen.

Semantische Spannung

Spannung besteht zwischen der elementaren, endlichen Entwicklung für ganze Exponenten und Newtons verallgemeinerter binomischer Reihe für beliebige Exponenten: dieselbe kombinatorische Formulierung führt zu unterschiedlichen analytischen Anforderungen.

Synthese

Der Binomische Lehrsatz ist die algebraische Vorschrift, ein n‑faches Produkt derselben zweigliedrigen Summe in eine endliche Kombination von Monomen zu überführen, deren Koeffizienten durch kombinatorische Zählungen bestimmt werden; er verbindet Polynomalgebra mit elementarer Kombinatorik und lässt sich unter Zusatzbedingungen auf Reihen generalisieren.