Proof of Math Induction: 1^2 + 2^2 + ... + n^2 = n(n+1)(2n+1)/6

  • Thread starter logicaljoe
  • Start date
  • Tags
    Induction
In summary, we are using mathematical induction to prove the formula 1^2 + 2^2 + ... + n^2 = n(n +1)(2n +1)/6. We have shown that the formula is true for the basis step of n = 1, and we have assumed that it is true for some arbitrary natural number k. Now, we need to show that this implies that the formula is true for k+1. By expanding the terms and simplifying, we can see that P(k) implies P(k+1). Therefore, by mathematical induction, P(n) is true for all natural numbers n >= 1.
  • #1
logicaljoe
2
0
Let P(n) be the formula

1^2 + 2^2 + ... + n^2 = n(n +1)(2n +1)/6

a. Write P, is it true?(1)


1^2 + 2^2 + ... + 1^2 = 1(1 +1)(2(1) +1)/6 =

1^2 + 2^2 + ... + 1^2 = 1(1 +1)(2 +1)/6

LHS = 1^2 = 1

RHS = 2 . 3/6 = 1 True


b. Write P(k)


Basis Step

n = k

1^2 + 2^2 + ... + k^2 = k(k +1)(2k +1)/6


c. Write P(k+1)


Inductive step

n = k then n = k + 1

1^2 + 2^2 + ... + (k+1)^2 = (k+1)((k+1) +1)(2(k+1)+1)/6

Now this is where I get confused with induction writing the proof of the inductive step.


d. use mathematical induction to prove k then k+1, n>_1


1^2 + 2^2 + ... + (k+1)^2 = (k+1)((k+1) +1)(2(k+1)+1)/6

LHS = (k+1)^2
= k+1
= k
= 1

RHS = (k+3)+1(2+1)/6 combining like terms
= (k+3)+(2+1)/6
= 3k+3/6
= 6k/6
= k
= 1

Is this the kind of working that is valid? it seems right to me.
 
Physics news on Phys.org
  • #2
This seems like a homework question (it's a problem in Spivak's Calculus). If it is, for future reference, these threads should be placed in the homework help sections: https://www.physicsforums.com/forumdisplay.php?f=155

This seems overly complicated and doesn't appear quite right (you seem to be confused about the inductive step). For the inductive step, assuming the P(k) is true, we need to demonstrate that this implies that P(k + 1) is true. I can help you complete the proof from what you've got.

Proof: Let [tex]P(x)[/tex] be the statement that, for some natural number [tex]x[/tex],

[tex]1^2 + 2^2 + . . . + (x - 1)^2 + x^2 = \frac{x(x+1)(2x + 1)}{6}[/tex]

Clearly [tex]P(1)[/tex] is true since,

[tex]1^2 = \frac{1(2)(3)}{6} = \frac{6}{6} = 1[/tex]

Now, suppose that [tex]P(x)[/tex] is true for some arbitrary natural number [tex]k[/tex]. To complete the proof, we need only show that [tex]P(k)[/tex] implies [tex]P(k + 1)[/tex]. Therefore,

[tex]1^2 + 2^2 + . . . + (k - 1)^2 + k^2 + (k + 1)^2 = \frac{k(k+1)(2k + 1)}{6}+ (k + 1)^2[/tex]

Try and complete the proof from here.
 

1. What is the purpose of using proof of mathematical induction?

The purpose of using proof of mathematical induction is to prove that a statement or formula is true for all natural numbers. It is a powerful technique used in mathematics to prove the validity of statements that follow a pattern.

2. How does proof of mathematical induction work?

Proof of mathematical induction works by first proving that the statement is true for the base case (usually n=1). Then, assuming that the statement is true for some natural number k, it is proven that it must also be true for k+1. This creates an infinite chain of proofs, thus showing that the statement is true for all natural numbers.

3. What is the statement being proven in this formula?

The statement being proven in this formula is that the sum of the squares of the first n natural numbers is equal to n(n+1)(2n+1)/6.

4. What is the base case for this proof?

The base case for this proof is n=1. When n=1, the sum of the squares of the first n natural numbers is equal to 1^2=1, which is also equal to 1(1+1)(2(1)+1)/6=1.

5. Can this proof be used for any other formulas?

Yes, proof of mathematical induction can be used for many other formulas and statements, as long as they follow a pattern and can be broken down into a base case and a recursive step. It is a widely used and accepted method of proof in mathematics.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
924
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
842
Replies
13
Views
1K
  • Precalculus Mathematics Homework Help
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
4K
  • Precalculus Mathematics Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
3K
  • Calculus and Beyond Homework Help
Replies
7
Views
2K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
Back
Top