Proving a Conjecture by Induction

  • Thread starter Thread starter Link
  • Start date Start date
  • Tags Tags
    Induction Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving a conjecture using mathematical induction, specifically related to a series involving quadratic terms. Participants are exploring the validity of a proposed formula and its implications for calculating sums of squares.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the formulation of the series and the conjecture to be proven. There is a focus on the correctness of the proposed equation and its implications for deriving other series. Questions arise about the interpretation of terms like "calculate" in the context of the problem.

Discussion Status

Some participants have provided clarifications regarding the conjecture and its proof structure, while others are questioning the assumptions and interpretations of the problem. There is an ongoing exploration of how to approach the calculation of a related series.

Contextual Notes

Participants note the challenge of interpreting the problem due to the absence of the instructor and the ambiguity in the term "calculate." There is also mention of a potential misunderstanding regarding the initial conjecture's validity.

Link
Messages
132
Reaction score
1
I am supposed to prove a conjecture by induction. I have worked out that the series can be described by:

a = 2,6,12,20,30
S = 2+8+20+40...

(n^2) + n = (1/3) ((n^3)+3(n^2)+2n)

However, i cannot prove it by induction. It seems like there is smth wrong with the K^3.
 
Physics news on Phys.org
What series? And what precisely is it that you want to prove? I doubt that you actually want to prove that (n^2) + n = (1/3) ((n^3)+3(n^2)+2n), because that's not true (for all n).
 
This should help

Muzza said:
What series? And what precisely is it that you want to prove? I doubt that you actually want to prove that (n^2) + n = (1/3) ((n^3)+3(n^2)+2n), because that's not true (for all n).
I think Link means [tex]\sum_{k=1}^{n} \left(k^2 + k\right) = \frac{1}{3}(n^3+3n^2+2n)[/tex], which is in fact true.
The inductive proof goes like this:
i. [tex]\sum_{k=1}^{n} \left(k^2 + k\right) = \frac{1}{3}(n^3+3n^2+2n)[/tex] , holds for [tex]n=1[/tex];
ii. Assume [tex]\sum_{k=1}^{n} \left(k^2 + k\right) = \frac{1}{3}(n^3+3n^2+2n)[/tex] holds for some fixed n, so that
[tex]\sum_{k=1}^{n} \left(k^2 + k\right) = \frac{1}{3}(n^3+3n^2+2n)\Rightarrow \sum_{k=1}^{n} \left(k^2 + k\right) + \left((n+1)^2 + (n+1)\right) = \frac{1}{3}(n^3+3n^2+2n) + \left((n+1)^2 + (n+1)\right)[/tex]
[tex]\Rightarrow \sum_{k=1}^{n+1} \left(k^2 + k\right) = \frac{1}{3}(n^3+6n^2+11n+6) = \frac{1}{3}\left((n+1)^3+3(n+1)^2+2(n+1)\right)[/tex].
Therefore, [tex]\sum_{k=1}^{n} \left(k^2 + k\right) = \frac{1}{3}(n^3+3n^2+2n)[/tex] holds for every positive integer n.
 
Last edited:
thanks! but there is another problem arising from this, regarding the interpretation of a question.

Based on the results obtained above, how can i calculate 1^2 + 2^2 + 3^2...+n^2?

the problem is the word "calculate", do you think they want me to use the same method to derive a general expression for this series, or actually get an numerical value (i don't think its obtainable)? I am the only one in class doing this investigation and I cannot reach my teacher this week so advice on the meaning of this is appreciated.
 
Well, you now know that
[tex]\sum_{k=1}^{n} \left(k^2 + k\right)=\sum_{k=1}^nk^2+ \sum_{k=1}^nk = \frac{1}{3}(n^3+3n^2+2n)[/tex]
If you know a formula for
[tex]\sum_{k=1}^{n} k[/tex]
just subtract that from both sides.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
1
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K