Proof by Induction and divisibility

AI Thread Summary
The discussion focuses on proving that 8^n - 3^n is divisible by 5 using mathematical induction. The initial step confirms that 8^1 - 3^1 equals 5, which is divisible by 5. The second step attempts to show that if 8^k - 3^k is divisible by 5, then 8^(k+1) - 3^(k+1) is also divisible by 5, but there is confusion regarding the algebraic manipulation involved. Participants suggest corrections to the induction step, emphasizing the need for proper factorization. The thread also touches on related mathematical identities and proofs, indicating a broader interest in mathematical induction and series summation.
Caldus
Messages
106
Reaction score
0
How would I go about proving that 8^n - 3^n (n >= 1) is divisible by 5 using mathematical induction? I tried this but I do not think it is right:

First, prove that 8^1 - 3^1 is divisible by 5. 8^1 - 3^1 = 5, which is divisible by 5.

Second, prove that 8^(k+1) - 3^(k+1) is divisible by 5 if k = n. Notice that 8^(k+1) - 3^(k+1) =

8*(8^k) - 3^k(3). Based on the induction hypothesis, we already know that 8^k - 3^k is divisible by 5. So we end up with 24*(8^k - 3^k), which is always divisible by 5 because the term inside the parenthesis is already divisible by 5. Multiplying that by any number will not change the fact that it is divisible by 5.

Am I right here? Thanks.
 
Mathematics news on Phys.org
How did you figure this:
8*8^k - 3*3^k = 24(8^k - 3^k)
?? You were doing fine up until that point. What you need to do is this:
8*8^k - 3*3^k = 5*8^k + 3*8^k + 3*3^k = 5*8^k + 3(8^k - 3^k)
 
OK, I'm having trouble with this one as well. Can someone help me?

1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = (n(2n - 1)(2n + 1))/3
 
1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = \frac{n(2n - 1)(2n + 1)}{3} = \frac{4n^3 - n}{3}

So for k = n + 1:
1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 + (2n + 1)^2 = \frac{(n + 1)(2n + 1)(2n + 3)}{3}
\underline{1^2 + 3^2 + 5^2 + ... + (2n - 1)^2} + (2n + 1)^2 = \frac{4n^3 + 12n^2 + 11n + 3}{3}
We already know it's true for n so you can replace the underlined part:
\frac{4n^3 - n}{3} + (2n + 1)^2 = \frac{4n^3 - n}{3} + 4n^2 + 4n + 1 = \frac{4n^3 + 12n^2 + 11n + 3}{3}
Multiply by 3:
4n^3 - n + 12n^2 + 12n + 3 = 4n^3 + 12n^2 + 11n + 3
QED.
 
I have seen a beautiful geometrical way of deriving the sum of cubes of numbers, i.e. 1^3 + 2^3 + ... + n^3 = (1+2+...n)^2.

I wonder if there are simple ways of deriving 1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = \frac{n(2n - 1)(2n + 1)}{3}
 
You can prove this:
1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = \frac{n(2n - 1)(2n + 1)}{3}
With a bit of geometry, yes. If you draw squares with a side of 1, 3, 5, etc., one below the other, you can find the sum of their areas with a bit of manipulation, but it's not exactly simple (the idea is simple, the equations are a bit big though).
 
I have a problem:
Knowing that 1^2 + 2^2 + 3^2 + ... + n^2 = \frac{n(n + 1)(2n + 1)}{6}and that 1^3 + 2^3 + 3^3 + ... + n^3 = \frac{n^2 (n + 1)^2 } {4}, calculate 1^4 + 2^4 + 3^4 + ... + n^4.
Please, help me!
 
Last edited:

Similar threads

Replies
8
Views
3K
Replies
7
Views
2K
Replies
11
Views
2K
Replies
47
Views
6K
Back
Top