數學永恆定理/二項式定理

二項式定理是代數中的一個基本定理，它提供了一個公式來展開二項式的冪。它允許我們輕鬆地展開表示式，$(a+b)^{n}$，其中$a$和$b$是實數或變數，$n\geq 0$。

證明

命題：對於任何實數$a,b$和$n\geq 0,$ $(a+b)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}a^{n-k}b^{k}$ 其中${\binom {n}{k}}={\frac {n!}{k!(n-k)!}}$

證明(數學歸納法)

對於$n=0,(a+b)^{n}=(a+b)^{0}=1$

對於$n=1,(a+b)^{n}=(a+b)^{1}=(a+b)$

對於 $n=2,(a+b)^{n}=(a+b)^{2}$ $=a^{2}+2ab+b^{2}$ $={\binom {2}{0}}a^{2}b^{0}+{\binom {2}{1}}a^{1}b^{1}+{\binom {2}{2}}a^{0}b^{2}$ $=\sum _{k=0}^{2}{\binom {2}{k}}a^{2-k}b^{k}$

對於 $n=3,(a+b)^{n}=(a+b)^{3}$ $=a^{3}+3a^{2}b+3ab^{2}+b^{3}$ $={\binom {3}{0}}a^{3}b^{0}+{\binom {3}{1}}a^{2}b^{1}+{\binom {3}{2}}a^{1}b^{2}+{\binom {3}{3}}a^{0}b^{3}$ $=\sum _{k=0}^{3}{\binom {3}{k}}a^{3-k}b^{k}$

假設 $(a+b)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}a^{n-k}b^{k}$ 對於某些 $a\geq 0.$ 現在我們只需要證明這個方程對於 $n+1.$ 成立。

$(a+b)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}a^{n-k}b^{k}$

或者，$(a+b)^{n}(a+b)=(\sum _{k=0}^{n}{\binom {n}{k}}a^{n-k}b^{k})(a+b)$

$=({\binom {n}{0}}a^{n}b^{0}+{\binom {n}{1}}a^{n-1}b^{1}+{\binom {n}{2}}a^{n-2}b^{2}+...+{\binom {n}{n}}a^{0}b^{n})(a+b)$

$=a({\binom {n}{0}}a^{n}b^{0}+{\binom {n}{1}}a^{n-1}b^{1}+{\binom {n}{2}}a^{n-2}b^{2}+...+{\binom {n}{n}}a^{0}b^{n})+b({\binom {n}{0}}a^{n}b^{0}+{\binom {n}{1}}a^{n-1}b^{1}+{\binom {n}{2}}a^{n-2}b^{2}+...+{\binom {n}{n}}a^{0}b^{n})$

$=({\binom {n}{0}}a^{n+1}b^{0}+{\binom {n}{1}}a^{n}b^{1}+{\binom {n}{2}}a^{n-1}b^{2}+...+{\binom {n}{n}}ab^{n})+({\binom {n}{0}}a^{n}b^{1}+{\binom {n}{1}}a^{n-1}b^{2}+{\binom {n}{2}}a^{n-2}b^{3}+...+{\binom {n}{n}}a^{0}b^{n+1})$

$={\binom {n}{0}}a^{n+1}b^{0}+a^{n}b^{1}({\binom {n}{1}}+{\binom {n}{0}})+a^{n-1}b^{2}({\binom {n}{2}}+{\binom {n}{1}})+...+ab^{n}({\binom {n}{n}}+{\binom {n}{n-1}})+{\binom {n}{n}}a^{0}b^{n+1})$

$={\binom {n+1}{0}}a^{n+1}b^{0}+{\binom {n+1}{1}}a^{n}b^{1}+{\binom {n+1}{2}}a^{n-1}b^{2}+...+{\binom {n+1}{n}}ab^{n}+{\binom {n+1}{n+1}}a^{0}b^{n+1})$

∴$(a+b)^{n+1}=\sum _{k=0}^{n+1}{\binom {n+1}{k}}a^{n+1-k}b^{k}$