Help with an arithmetic proof by induction

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 2K views
Entertainment Unit
Messages
16
Reaction score
1

Homework Statement


Show that if ##0 \leq a < b##, then
$$\frac {b^{n + 1} - a^{n + 1}} {b - a} < (n + 1)b^n$$

Homework Equations


None that I'm aware of.

The Attempt at a Solution


Proof (Induction)
1. Basis Case: Suppose ##n = 1##. It follows that:
$$\frac {b^{1 + 1} - a^{1 + 1}} {b - a} < (1 + 1)b^1$$
$$\frac {b^2 - a^2} {b - a} < 2b$$
$$b^2 - a^2< 2b(b - a)$$
$$b^2 - a^2< 2b^2- 2ab$$
$$-a^2< 2b^2$$

which is true for all ##0 \leq a < b##.

2. Inductive Step. Let ##k = n \geq 1## and suppose that:
$$\frac {b^{k + 1} - a^{k + 1}} {b - a} < (k + 1)b^k$$
This is where I can't make any progress. I can get the right-hand side to read ##(k + 2)b^{k + 1}## but doing so leaves the left-hand side of the inequality in a state that I can't get it to ##\frac {b^{k + 2} - a^{k + 2}} {b - a}##.
 
Physics news on Phys.org
You don't need to use induction here.
The relevant equation you are missing is [tex] b^{n+1} - a^{n+1} = (b-a)(b^n + ab^{n-1} + \dots + a^{n-1}b + a^n)[/tex]
 
  • Like
Likes   Reactions: Entertainment Unit
Thank you! I went down the path of proving it directly but struggled with that too.

Here's my completed proof:

Proof: Suppose

$$\frac {b^{n + 1} - a^{n + 1}} {b - a} < (n+1)b^n$$

It follows that
$$\frac {(b - a)(b^n + ab^{n - 1} + \dots + a^{n - 1}b + a^n)} {b - a} < (n+1)b^n$$
$$b^n + ab^{n - 1} + \dots + a^{n - 1}b + a^n < (n+1)b^n$$
$$b^n < (n+1)b^n$$

which is true for ##b \gt 0, n \geq 1##. Therefore,

$$\frac {b^{n + 1} - a^{n + 1}} {b - a} < (n+1)b^n\text{ ■}$$
 
Last edited:
The proof is even easier: It follows from [itex]0 \leq a < b[/itex] that [itex]b^{n-k} a^{k} < b^n[/itex] for [itex]1 \leq k \leq n[/itex]. Hence
[tex] \frac{b^{n+1} - a^{n+1}}{b-a} = \sum_{k=0}^n b^{n-k}a^k < \sum_{k=0}^n b^n = (n+1)b^n.[/tex]
 
  • Like
Likes   Reactions: Entertainment Unit
pasmith said:
The proof is even easier: It follows ...
Thanks for this!