Question about Induction Hypothesis

  • Thread starter Thread starter flyingpig
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Homework Help Overview

The discussion revolves around the mathematical proof of the formula for the sum of the first n integers, specifically using mathematical induction. Participants are examining the structure of the proof and the clarity of the induction steps involved.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are questioning the notation used in the induction step, particularly the representation of the sum of integers. There is also a discussion on the necessity of explicitly stating the induction hypothesis in the proof process.

Discussion Status

The conversation is ongoing, with participants providing insights into the structure of induction proofs and the importance of clarity in notation. Some guidance has been offered regarding the need to explicitly show the induction hypothesis, but there is no consensus on the best approach to take.

Contextual Notes

Participants are navigating the expectations of their professor regarding the presentation of induction proofs, indicating potential constraints based on grading criteria.

flyingpig
Messages
2,574
Reaction score
1

Homework Statement

Prove that for all integers [tex]n \geq 1[/tex], one has

[tex]1 + 2 + ... + n = \frac{n(n+1)}{2}[/tex]

(1) S(1) = 1, true

(2) Let n = k + 1

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

The Attempt at a Solution



Why is the last series

[tex]1 + 2 + ... + k + (k +1)[/tex] instead of [tex]1 + 2 +...+ (k + 1)[/tex]?
 
Physics news on Phys.org
Because the (k+1)th term to each side of the equation, which happens to be 'k+1'. The right side simplifies to (k+1)(k+2)/2
 
flyingpig said:

Homework Statement




Prove that for all integers [tex]n \geq 1[/tex], one has

[tex]1 + 2 + ... + n = \frac{n(n+1)}{2}[/tex]

(1) S(1) = 1, true

(2) Let n = k + 1
You're skipping a step here, again. There are three things you have to establish in an induction proof:
1) Base case (typically for n = 1)
2) The induction hypothesis - you assume that the statement is true for n = k
3) The induction step (I think that's what it's called) - you use the statement for n = k to show that the statement is also true for n = k + 1.
flyingpig said:
[tex]1 + 2 + ... + k + (k + 1) = \frac{(k+`1)(k + 2)}{2}[/tex]





The Attempt at a Solution



Why is the last series

[tex]1 + 2 + ... + k + (k +1)[/tex] instead of [tex]1 + 2 +...+ (k + 1)[/tex]?

These two are exactly the same. Each one represents the sum of the integers from 1 through k + 1. The first expression explicitly shows k, and the other one doesn't, but we can infer that the second expression doesn't skip from k - 1 to k + 1 in the sum.
 
Is it bad that I don't show it?
 
If your professor is a stickler, or if he/she isn't convinced that you know what it should be, it is.

In an induction proof, you should ALWAYS write down your induction hypothesis.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 22 ·
Replies
22
Views
2K
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
1K