# Fungrim entry: 081188

${z + 1 \choose k + 1} = {z \choose k} + {z \choose k + 1}$
Assumptions:$z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, k \in \{0, 1, \ldots n\}$
TeX:
{z + 1 \choose k + 1} = {z \choose k} + {z \choose k + 1}

z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, k \in \{0, 1, \ldots n\}
Definitions:
Fungrim symbol Notation Short description
Binomial${n \choose k}$ Binomial coefficient
CC$\mathbb{C}$ Complex numbers
ZZBetween$\{a, a + 1, \ldots b\}$ Integers between a and b inclusive
Source code for this entry:
Entry(ID("081188"),