A problem of mathematical induction

Click For Summary

Discussion Overview

The discussion revolves around the necessity of proving the base case in mathematical induction, particularly the case for n=1. Participants explore the implications of starting induction from different values and the importance of the base case in ensuring the validity of inductive proofs.

Discussion Character

  • Exploratory
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants question why it is necessary to prove the base case for n=1, suggesting that induction could start from n=k.
  • Others argue that if one can prove the statement for n=k, then induction is not needed, as it implies the statement holds without requiring a base case.
  • One participant uses the domino analogy to explain that proving the base case is essential to ensure the first domino falls, allowing the rest to follow.
  • Another participant emphasizes that failing to prove the base case can lead to incorrect conclusions, citing examples where the base case is crucial for the validity of the inductive step.
  • Some suggest that a more general form of induction could be defined, allowing for starting points other than n=1, which could address cases where the base case is not true.

Areas of Agreement / Disagreement

Participants express differing views on the necessity and implications of proving the base case in mathematical induction. There is no consensus on whether induction can be initiated from values other than n=1, and the discussion remains unresolved regarding the best approach to handle such cases.

Contextual Notes

Some participants mention specific examples where the base case is critical, indicating that the discussion is limited to the context of mathematical induction and its foundational principles.

sahilmm15
Messages
100
Reaction score
27
I have gone through the principle of mathematical induction. I cannot understand why do we need to prove every statement for n=1. I mean why is it necessary? Why can't we start directly from n=k then n=k+1. For example see the below image. Thanks!
 

Attachments

  • 16085543526946773401524287736839.jpg
    16085543526946773401524287736839.jpg
    46.1 KB · Views: 237
Physics news on Phys.org
If you can prove it for n = k you don't need induction
 
BvU said:
If you can prove it for n = k you don't need induction
Correct me if I am wrong. By seeing the 'domino' analogy we use the base case like p(1) or p(0) to actually 'check' whether the domino in the 'first' place has actually fallen or not. If not then there is no point in proving the statement. If it is true then we can carry with our process of proving the whole statement true.
 
sahilmm15 said:
I cannot understand why do we need to prove every statement for n=1
Induction goes like

IF ## \Biggl [ \ p(k) \Rightarrow p(k+1)\ \Biggr ] ## AND ##\ \ p(1)\ \ ## THEN ##\ \forall n: \ \ p(n) ##

so you don't prove ##p(k)## but only prove that IF p(k) THEN p(k+1)
 
sahilmm15 said:
Correct me if I am wrong. By seeing the 'domino' analogy we use the base case like p(1) or p(0) to actually 'check' whether the domino in the 'first' place has actually fallen or not. If not then there is no point in proving the statement. If it is true then we can carry with our process of proving the whole statement true.

This is right. So what's your question?

To see an example at work where the base case is important, take the formula for the sum of squares that's in your example, and add 1 to it. The inductive step will still work just fine.
 
BvU said:
Induction goes like

IF ## \Biggl [ \ p(k) \Rightarrow p(k+1)\ \Biggr ] ## AND ##\ \ p(1)\ \ ## THEN ##\ \forall n: \ \ p(n) ##

so you don't prove ##p(k)## but only prove that IF p(k) THEN p(k+1)
Thanks I am clear now. I like how this community is so active, they just answer instantaneously. It makes me easier to understand. Thanks again !
 
As a trivial example, consider the statement ##n = n + 1##.
Is really easy to prove ##p(k) \Longrightarrow p(k+1)## but that doesn't prove the above statement (which obviously is false), so you can see why we need to prove ##p(1)##.
 
  • Like
Likes   Reactions: Mark44, Klystron, fresh_42 and 1 other person
May i suggest another example like ##n^2>\sqrt{n}## For ##n=1## it is wrong, but trying to prove it without ##p(1)## leads to wrong results for every natural number. The more general statement of mathematical induction where we start from another natural number as a starting point not ##1## is needed i think.

It could be ##p(k)##, where ##k## is a natural number for that starting point.
 
Last edited by a moderator:
Well, if you have some statement ##F(n)## that is not true for ##n=1##, but you can prove ##F(k)\Longrightarrow F(k+1)## and you can prove ##F(n_0)## for some ##n_0##. Defining a "more general induction" isn't essentially useing induction over the statement
$$G(n) = F(n + n_0 - 1)$$
?

Concretelly, proving $$n^2 > \sqrt{n}, \quad \forall n>1$$
is equivalent to prove the statement ##(n+1)^2 > \sqrt{n+1}## by induction, which can be proved for ##n=1##
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 11 ·
Replies
11
Views
4K
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K