Pascal's triangle
A triangular array of numbers with 1s on the edges, in which each inside entry is the sum of the two entries above it. Row n (counting the top row as row 0) holds C(n, 0), C(n, 1), …, C(n, n).
Pascal's identity
C(n, r) = C(n − 1, r − 1) + C(n − 1, r), the rule that each entry is the sum of the two above it.
row sum
The sum of the entries in row n of Pascal's triangle, equal to 2ⁿ.
hockey stick identity
C(r, r) + C(r + 1, r) + … + C(n, r) = C(n + 1, r + 1): adding down a diagonal gives the entry just below and to the side.
combinatorial proof
A proof that two expressions are equal by showing they count the same set of objects in two different ways.