Proving the Polynomial Identity for Dividing a^n-b^n by a-b

  • Context: MHB 
  • Thread starter Thread starter Dustinsfl
  • Start date Start date
Click For Summary
SUMMARY

The polynomial identity for dividing \(a^n - b^n\) by \(a - b\) is proven using mathematical induction. The identity states that \(a^n - b^n = (a - b) \sum_{k=0}^{n-1} a^k b^{n-1-k}\) for \(n \in \mathbb{N}\). The proof begins by verifying the base case \(p(1)\) and then assuming the statement holds for \(n = p\) to demonstrate it for \(n = p + 1\). This method effectively confirms the validity of the polynomial identity for all natural numbers.

PREREQUISITES
  • Understanding of polynomial identities
  • Familiarity with mathematical induction
  • Basic knowledge of algebraic manipulation
  • Concept of summation notation
NEXT STEPS
  • Study the principles of mathematical induction in depth
  • Explore polynomial division techniques
  • Learn about the properties of summation notation
  • Investigate other polynomial identities and their proofs
USEFUL FOR

Mathematics students, educators, and anyone interested in algebraic proofs and polynomial identities will benefit from this discussion.

Dustinsfl
Messages
2,217
Reaction score
5
$n\in\mathbb{N}$, prove
$$
a^n-b^n = (a-b)\sum\limits_{k = 0}^{n-1}a^kb^{n-k-1}.
$$

To show this is it best to just divide $a^n-b^n$ by $a-b$, show that polynomial is the summation, and then show that $(a-b)$ times the sum is $a^n-b^n$?

Or is there a more efficient method?
 
Physics news on Phys.org
dwsmith said:
$n\in\mathbb{N}$, prove
$$
a^n-b^n = (a-b)\sum\limits_{k = 0}^{n-1}a^kb^{n-k-1}.
$$

To show this is it best to just divide $a^n-b^n$ by $a-b$, show that polynomial is the summation, and then show that $(a-b)$ times the sum is $a^n-b^n$?

Or is there a more efficient method?

Hi dwsmith, :)

You can use Mathematical induction for this one. :)

Kind Regards,
Sudharaka.
 
dwsmith said:
$n\in\mathbb{N}$, prove
$$
a^n-b^n = (a-b)\sum\limits_{k = 0}^{n-1}a^kb^{n-k-1}.
$$

To show this is it best to just divide $a^n-b^n$ by $a-b$, show that polynomial is the summation, and then show that $(a-b)$ times the sum is $a^n-b^n$?

Or is there a more efficient method?

\[\begin{aligned}\frac{(a-b)\sum\limits_{k = 0}^{n-1}a^kb^{n-k-1}}{b^n}\ & = (a/b-1)\sum\limits_{k = 0}^{n-1}(a/b)^k \\ &= (a/b)^n-1\end{aligned}\]

CB
 
So doing this via induction.

Let $p(n): a^n-b^n = (a-b)\sum\limits_{k=0}^{n-1}a^kb^{n-1-k}$
Then p(1) is true.
Assume p(n) is true for a fixed but arbitrary $j\leq n$.

$$
p(j): a^j-b^j=(a-b)\sum\limits_{k=0}^{j-1}a^kb^{j-1-k}
$$

So the problem I am having is what is multiplied to $a^j-b^j$ to get $a^{j+1}-b^{j+1}$.

$(a^j-b^j)(a+\ldots +b)$ I can't figure out some of the other terms in the middle though.
 
dwsmith said:
So doing this via induction.

Let $p(n): a^n-b^n = (a-b)\sum\limits_{k=0}^{n-1}a^kb^{n-1-k}$
Then p(1) is true.
Assume p(n) is true for a fixed but arbitrary $j\leq n$.

$$
p(j): a^j-b^j=(a-b)\sum\limits_{k=0}^{j-1}a^kb^{j-1-k}
$$

So the problem I am having is what is multiplied to $a^j-b^j$ to get $a^{j+1}-b^{j+1}$.

$(a^j-b^j)(a+\ldots +b)$ I can't figure out some of the other terms in the middle though.

Clearly the statement is true for \(n=1\). Let us assume that the statement is true for \(n=p\in\mathbb{Z}^{+}\). Then,

\[a^p-b^p = (a-b)\sum_{k=0}^{p-1}a^k b^{p-1-k}\]

\[\Rightarrow \sum_{k=0}^{p-1}a^k b^{p-1-k}=\frac{a^p-b^p}{a-b}\]

Now consider the case when \(n=p+1\). That is, \(\displaystyle\sum_{k=0}^{p}a^k b^{p-k}\).

\begin{eqnarray}

\sum_{k=0}^{p}a^k b^{p-k}&=&a^p+\sum_{k=0}^{p-1}a^k b^{p-k}\\

&=&a^p+b\sum_{k=0}^{p-1}a^k b^{p-k-1}\\

&=&a^p+\frac{b(a^p-b^p)}{a-b}\\

&=&\frac{a^{p+1}-ba^p+ba^p-b^{p+1}}{a-b}\\

&=&\frac{a^{p+1}-b^{p+1}}{a-b}\\

\therefore (a-b)\sum_{k=0}^{p}a^k b^{p-k}=a^{p+1}-b^{p+1}

\end{eqnarray}

Therefore by mathematical induction we have,

\[a^n-b^n = (a-b)\sum\limits_{k = 0}^{n-1}a^kb^{n-k-1}\mbox{ for }n\in\mathbb{Z}^{+}\]

Kind Regards,
Sudharaka.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
Replies
32
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K