generalized binomial theorem

Status: #good
Tags: #theorem

Statement

For any a,yC, we have

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

where the binomial coefficient is defined for all kZ0

(ak)=a(a1)(a2)(ak+1)k!

Proof

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