ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation 0
Let $z \in \mathbb{C}$ be a D1207: Complex number.
Let $n \in \mathbb{N}$ be a D996: Natural number.
Then \begin{equation} (1 + z)^n = \sum_{m = 0}^n \binom{n}{m} z^m \end{equation}
Proofs
Proof 0
Let $z \in \mathbb{C}$ be a D1207: Complex number.
Let $n \in \mathbb{N}$ be a D996: Natural number.
This result is a particular case of R3995: Complex binomial theorem. $\square$