Math 2.0

statement theorem

Sum of binomial coefficients

Statement

Let nn be a natural number. Then ∑k=0n(nk)=2n.\sum_{k=0}^{n} \binom{n}{k} = 2^n.

Remarks

For n=4n = 4: 1+4+6+4+1=161 + 4 + 6 + 4 + 1 = 16. The identity is the binomial theorem with x=y=1x = y = 1. Combinatorially, both sides count the subsets of an nn-element set. The number of subsets of a finite set is 2n2^n, and (nk)\binom{n}{k} of them have size kk.

Explanations

L1 human

The numbers in row nn of Pascal's triangle add up to 2n2^n. This is because each subset of an nn-element set has some size kk from 00 to nn, and there are 2n2^n subsets in total.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Binomial coefficient definition
  2. Sum of binomial coefficients statement

Sources

  1. Web https://en.wikipedia.org/wiki/Binomial_coefficient, Sums of the binomial coefficients