Is Induction or Contradiction Better for Proving 2n+1 < 2^n When n > 3?

  • Context: Undergrad 
  • Thread starter Thread starter Arden1528
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the proof of the inequality 2n+1 < 2^n for n > 3, exploring whether to use induction or contradiction as the method of proof. The scope includes mathematical reasoning and proof techniques.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant suggests using induction as a method for proof.
  • Another participant discusses the implications of assuming n is a natural number versus real numbers, providing a derivative comparison between the functions f(n) = 2n + 1 and g(n) = 2^n.
  • A participant presents a base case for n = 4 and outlines an inductive step, assuming the inequality holds for some n and demonstrating it for n + 1.
  • Further elaboration on the inductive step is provided, showing the transformation of the inequality into a form that supports the proof.
  • Participants engage in clarifying the steps and correcting misunderstandings about the proof process, with one participant acknowledging a mistake in their reasoning.

Areas of Agreement / Disagreement

Participants express differing opinions on the best method to prove the inequality, with some favoring induction and others discussing the validity of contradiction. The discussion remains unresolved regarding which method is superior.

Contextual Notes

Some participants note assumptions about the nature of n (natural vs. real numbers) and the implications of these assumptions on the proof. There are also references to the correctness of mathematical transformations that are not fully resolved.

Arden1528
[SOLVED] Prove it

We are starting to do some proofs in my class. I am having a problem starting the problem:
n>3 then 2n+1<2^n
Can I start the proof by using contradicition or should I try to apply induction? Any help would be cool, thanks.
 
Physics news on Phys.org
Induction sounds good.
 
that is if you're assuming n is a natural number.

if n were real...

let f(n) = 2n+1 and g(n) = 2^n.

f(3)=7<8=g(3).

f'(n) = 2 and g'(n) = (2^n)*log(2).

f'(3)=2 < g'(3) = 8 * log(2) and clearly, g'(n) is monotonically increasing, being an exponential function. (or g''(n) = (2^n) * (log(2))^2, which is positive, implying g' is increasing.)

therefore, f'(n) < g'(n) for n >= 3.

therefore, f(n) < g(n) for all n >=3, and not just the natural ones.
 
Last edited:
n>3 then 2n+1<2^n

for n=4
2(4)+1=9<2^4=16 true.
assume true for some n(obviously n=>4) then then for n+1
we have
2(n+1)+1<2^(n+1) ====>
(2n+1)+2<2^n*2 qed
 
2(n+1)+1=
2(n+1)+1 = (2n+1)=2 < (2^n)+2 < (2^n)+(2^n) = 2^(n+1)
so,
2(n+1)+1 < 2^(n+1)

and this is the proper way to go about it
the other way worked on both sides at once and kept the
<, which is assuming what you were trying to prove.

Sorry rolandmath, nothing personal
Aaron
 
well it was my fault i thought it was obvious that

2^n*2=2^n+2^n
and
2*2^n=2^(n+1)
and
2<2^n
for all n=>1 but in this case its 3 so were still safe.

so again

(2n+1)+2<2*2^n=2^(n+1)
 
Sorry, i should take time to read it better. (oops) You're right of course, sometimes I'm just too picky and I really should lighten up about things being done only one certain way. It's a perfectly good proof. Sorry again.
Aaron
 

Similar threads

Replies
8
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K