Ask your own question, for FREE!
Mathematics 14 Online
OpenStudy (anonymous):

Proving Binomial Theorem by using Mathematical Induction. Step by step.

zepdrix (zepdrix):

Hey Again :) Hmm ok let's state our Binomial Theorem so we know what we're trying to prove.\[\large\rm (x+y)^n\quad=\quad \sum_{k=0}^n \left(\begin{matrix}n \\ \rm k\end{matrix}\right)x^{n-k}y^k\]This thing, ya?

OpenStudy (anonymous):

yes

zepdrix (zepdrix):

Base Case:\[\large\rm (x+y)^1\quad=\quad x^1+y^1\quad=\quad \sum_{k=0}^1 \left(\begin{matrix}1 \\ \rm k\end{matrix}\right)x^{1-k}y^k\]Does the base case make sense? Or is how I got from the middle to the right side kinda confusing?

OpenStudy (anonymous):

i get it

zepdrix (zepdrix):

Induction Hypothesis: We'll assume true for n=m, meaning,\[\large (x+y)^m\begin{align}\quad&=\quad 1x^m+mx^{m-1}y^1+...+mx^{1}y^{m-1}+1y^m\\ &=\sum_{k=0}^m \left(\begin{matrix}m \\k\end{matrix}\right)x^{m-k}y^k\end{align}\]I wrote it both ways, compact and expanded out, cause I'm not sure which we'll need.

OpenStudy (anonymous):

okay

zepdrix (zepdrix):

Induction Step: For n=m+1,\[\large\rm (x+y)^{m+1}\quad=\quad \] Hmm let's see what we can do with this...

zepdrix (zepdrix):

\[\large\rm =x^{m+1} ~+~ (m+1)x^{m}y^1 ~+~ ... ~+~(m+1)x^1y^{m} ~+~ y^{m+1}\]So what can we do... Hmm, thinking...

OpenStudy (anonymous):

can we expand (x+y)^m+1 to (x+y)(x+y)^m ?

zepdrix (zepdrix):

Ooo we can, yah that's a clever idea

zepdrix (zepdrix):

\[\large\rm =\quad (x+y)(x+y)^m\quad=\quad (x+y)\sum_{k=0}^m \left(\begin{matrix}m \\ \rm k\end{matrix}\right)x^{m-k}y^k\]We're allowed to make this step because of our Induction Hypothesis, ya?

OpenStudy (anonymous):

yea

zepdrix (zepdrix):

Oh oh, and we can also rewrite the first set of brackets using your base case!

OpenStudy (anonymous):

ohhhhh i see

zepdrix (zepdrix):

\[\large\rm =\quad \color{orangered}{(x+y)^1}(x+y)^m\quad=\quad \color{orangered}{\sum_{k=0}^1\left(\begin{matrix}1 \\ \rm k\end{matrix}\right)x^{1-k}y^k}\sum_{k=0}^m \left(\begin{matrix}m \\ \rm k\end{matrix}\right)x^{m-k}y^k\]

zepdrix (zepdrix):

And then um... hmm

OpenStudy (anonymous):

hmmm... do we need to use the pascal identity for this question?

zepdrix (zepdrix):

Oh the thing for manipulating the coefficients? Maybe.

OpenStudy (anonymous):

maybe we can change (x+y)^m to binomial form

zepdrix (zepdrix):

Boy this one is tricky :d hmm

zepdrix (zepdrix):

Hmm I found the problem explained on this website: http://www.math.utah.edu/~bertram/HighSchool/3Induction.pdf last problem, page 5 and 6

zepdrix (zepdrix):

Looks like they just expanded everything out, and then combined like-terms.

OpenStudy (anonymous):

I see. I don't like this question :P

OpenStudy (anonymous):

i get it tho

zepdrix (zepdrix):

Ya no bueno :c

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!