The binomial theorem expands a power of a sum into a weighted sum of monomials, where the weights are the binomial coefficients . Its real konkur value is running it in reverse: when you spot a sum whose terms are times a power, you can fold the whole thing back into a single closed form instead of adding terms one by one.
The theorem
For any reals (or commuting elements) and integer ,
The coefficient counts the number of ways to choose the factors that contribute an (the rest contribute a ), which is exactly why the expansion is combinatorial. The exponents on and always sum to , and the coefficients are the entries of row of Pascal's triangle, obeying .
The one-variable form you actually use
Setting and gives the workhorse identity for collapsing sums:
Several standard special cases drop out by choosing :
| Choice | Identity | Reading |
|---|---|---|
| number of subsets of an -set | ||
| equally many even- and odd-size subsets () | ||
| the pattern behind the worked question |
How to apply
- Match the shape. Write the summand as . Identify from the binomial coefficient and read off the base as whatever is raised to the matching power .
- Check the range. The collapse needs the index to run over the full range . A partial sum does not simplify this way.
- Substitute and evaluate. Replace the sum by and compute the resulting power.
Mini-example
Evaluate . The summand is , so and , and the index runs over the full range. Hence
No term-by-term addition is needed — recognizing the form does all the work.
Exam trick: the instant you see , write . Confirm the bounds are to first; if the sum starts or stops early, peel off the missing terms (e.g. for ) before collapsing.