Proof by Induction and divisibility

Click For Summary

Discussion Overview

The discussion revolves around proving mathematical statements using induction, specifically focusing on the divisibility of expressions involving powers and sums of squares. Participants explore various approaches to induction proofs and seek assistance with specific problems.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant presents an attempt to prove that \(8^n - 3^n\) is divisible by 5 using induction, starting with the base case and moving to the inductive step.
  • Another participant questions a specific step in the first participant's proof, suggesting an alternative breakdown of the expression \(8^{k+1} - 3^{k+1}\) that involves factoring differently.
  • A separate participant introduces a different problem regarding the sum of squares of odd numbers and provides a formula for it, seeking validation or assistance.
  • One participant offers a geometric interpretation for deriving the sum of squares of odd numbers, indicating that while the idea is simple, the equations involved are complex.
  • Another participant poses a new problem related to calculating the sum of fourth powers, referencing known formulas for sums of squares and cubes.

Areas of Agreement / Disagreement

Participants express differing views on the steps involved in the induction proof for divisibility, indicating a lack of consensus on the correctness of the initial proof attempt. Additionally, there are multiple problems being discussed, with no agreement on a single approach or solution.

Contextual Notes

Some participants' proofs depend on specific algebraic manipulations that may not be universally accepted or clear. The discussion includes various mathematical problems that may require different assumptions or methods for resolution.

Who May Find This Useful

Readers interested in mathematical induction, proofs involving divisibility, and the summation of series, particularly in the context of odd numbers and powers, may find this discussion beneficial.

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.
 
Physics news on Phys.org
How did you figure this:
[tex]8*8^k - 3*3^k = 24(8^k - 3^k)[/tex]
?? You were doing fine up until that point. What you need to do is this:
[tex]8*8^k - 3*3^k = 5*8^k + 3*8^k + 3*3^k = 5*8^k + 3(8^k - 3^k)[/tex]
 
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
 
[tex]1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = \frac{n(2n - 1)(2n + 1)}{3} = \frac{4n^3 - n}{3}[/tex]

So for [tex]k = n + 1[/tex]:
[tex]1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 + (2n + 1)^2 = \frac{(n + 1)(2n + 1)(2n + 3)}{3}[/tex]
[tex]\underline{1^2 + 3^2 + 5^2 + ... + (2n - 1)^2} + (2n + 1)^2 = \frac{4n^3 + 12n^2 + 11n + 3}{3}[/tex]
We already know it's true for [tex]n[/tex] so you can replace the underlined part:
[tex]\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}[/tex]
Multiply by 3:
[tex]4n^3 - n + 12n^2 + 12n + 3 = 4n^3 + 12n^2 + 11n + 3[/tex]
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 [tex]1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = \frac{n(2n - 1)(2n + 1)}{3}[/tex]
 
You can prove this:
[tex]1^2 + 3^2 + 5^2 + ... + (2n - 1)^2 = \frac{n(2n - 1)(2n + 1)}{3}[/tex]
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 [tex]1^2 + 2^2 + 3^2 + ... + n^2 = \frac{n(n + 1)(2n + 1)}{6}[/tex]and that [tex]1^3 + 2^3 + 3^3 + ... + n^3 = \frac{n^2 (n + 1)^2 } {4}[/tex], calculate [tex]1^4 + 2^4 + 3^4 + ... + n^4[/tex].
Please, help me!
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K