定理の主張を、多項式列 {1, x, x2, …} は二項型であると述べることもできる。 数学的帰納法とパスカルの法則
証明
帰納的証明
n = 0
( x + y ) 0 = 1 = ( 0 0 ) x 0 y 0 {\displaystyle (x+y)^{0}=1={\binom {0}{0}}x^{0}y^{0}}
により成り立つ。
以下、非負整数 n に関する帰納法で示す。
ある n について成り立つと仮定する。 ( x + y ) n = ∑ k = 0 n ( n k ) x n − k y k {\displaystyle (x+y)^{n}=\textstyle \sum \limits _{k=0}^{n}{\dbinom {n}{k}}x^{n-k}y^{k}}
より、 ( x + y ) n + 1 = ( x + y ) ( x + y ) n = ( x + y ) ∑ k = 0 n ( n k ) x n − k y k = x ∑ k = 0 n ( n k ) x n − k y k + y ∑ k = 0 n ( n k ) x n − k y k = ∑ k = 0 n ( n k ) x ( n + 1 ) − k y k + ∑ k = 0 n ( n k ) x n − k y k + 1 = ∑ k = 0 n + 1 ( n k ) x ( n + 1 ) − k y k + ∑ k = 0 n + 1 ( n k − 1 ) x ( n + 1 ) − k y k ( ∵ ( n n + 1 ) = ( n − 1 ) = 0 ) = ∑ k = 0 n + 1 [ ( n k ) + ( n k − 1 ) ] x ( n + 1 ) − k y k {\displaystyle {\begin{aligned}(x+y)^{n+1}&=(x+y)(x+y)^{n}\\&=(x+y)~\textstyle \sum \limits _{k=0}^{n}{\dbinom {n}{k}}x^{n-k}y^{k}\\&=x\textstyle \sum \limits _{k=0}^{n}{\dbinom {n}{k}}x^{n-k}y^{k}+y\textstyle \sum \limits _{k=0}^{n}{\dbinom {n}{k}}x^{n-k}y^{k}\\&=\textstyle \sum \limits _{k=0}^{n}{\dbinom {n}{k}}x^{(n+1)-k}y^{k}+\textstyle \sum \limits _{k=0}^{n}{\dbinom {n}{k}}x^{n-k}y^{k+1}\\&=\textstyle \sum \limits _{k=0}^{n+1}{\dbinom {n}{k}}x^{(n+1)-k}y^{k}+\textstyle \sum \limits _{k=0}^{n+1}{\dbinom {n}{k-1}}x^{(n+1)-k}y^{k}\\\left(\because {\binom {n}{n+1}}={\binom {n}{-1}}=0\right)\\&=\textstyle \sum \limits _{k=0}^{n+1}\left\lbrack {\dbinom {n}{k}}+{\dbinom {n}{k-1}}\right\rbrack x^{(n+1)-k}y^{k}\end{aligned}}}