generalized binomial theorem

Status: #good
Tags: #theorem

Statement

For any a,y∈C, we have

(1+y)a=(a0)+(a1)y1+(a2)y2+…

where the binomial coefficient is defined for all k∈Z≥0

(ak)=a(a−1)(a−2)…(a−k+1)k!

Proof

Look at the Taylor series expansion of (1+y)a at y=0.