The formula that expands a power of a two-term sum (x + y)^n as a finite sum of terms C(n,k) x^{n-k} y^k, where C(n,k) are the binomial coefficients and n is a nonnegative integer.

Principle

Coefficients in the expansion count combinations: the coefficient of x^{n-k} y^k is the number of ways to choose k occurrences of y among n factors, given by the binomial coefficient C(n,k).

Demonstration

For n = 3: (x + y)^3 = x^3 + 3 x^2 y + 3 x y^2 + y^3; the coefficients 1, 3, 3, 1 match C(3,0), C(3,1), C(3,2), C(3,3).

Misapplication

Applying the finite-form binomial theorem verbatim when n is not a nonnegative integer (for example a negative or non-integer exponent) without checking convergence; doing so ignores that the expansion becomes an infinite series requiring convergence conditions.

Consequence

Provides a direct, combinatorial method to compute polynomial expansions, to derive identities, and to connect algebraic expansions with combinatorial counting and probability models.

Reversal

Instead of expanding a sum into a sum of monomials, the inversion is factoring a polynomial into simpler multiplicative components; conceptually, expansion disperses structure across monomials while factoring concentrates it into factors.

Boundary

Applies as a finite sum when n is a nonnegative integer. For negative or non-integer n one must use the generalized (infinite) binomial series and impose convergence conditions; the theorem as stated does not cover noncommutative factors or operator-valued terms without further hypotheses.

Semantic Tension

Tension arises between the elementary finite expansion for integer exponents and Newton's generalized binomial series for arbitrary exponents: both relate coefficients to combinatorial formulas but differ in finiteness and analytic prerequisites.

Synthesis

The Binomial Theorem is the algebraic rule that converts the n-fold product of the same two-term sum into a finite combination of monomials whose coefficients are given by combinatorial counts; it unites polynomial algebra with elementary combinatorics and extends to analytic series under extra hypotheses.