Proof by Induction: 3^n >= 1+2^n

  • Thread starter Thread starter eku_girl83
  • Start date Start date
  • Tags Tags
    Induction Proof
AI Thread Summary
The discussion focuses on proving the inequality 3^n ≥ 1 + 2^n for all natural numbers n using mathematical induction. The base case for n=1 is established as true. The inductive step assumes the statement holds for n=k and aims to show it for n=k+1. Participants suggest manipulating the expressions and leveraging the inductive hypothesis to demonstrate that 3^(k+1) is greater than or equal to 1 + 2^(k+1). The conclusion emphasizes that the proof is straightforward by recognizing that 3 is greater than 2 and 1.
eku_girl83
Messages
89
Reaction score
0
Prove that for all n in the natural numbers 3^n greater than or equal to 1+2^n.

Here's my start:
3^1 greater than or equal to 1+2^1, so the statement is true for n=1.
Assume that for some n, 3^n greater than or equal to 1+2^n
Then 3^n+3^n+3^n greater than or equal to 1+2^n +3^n+3^n.
It follows that 3^(n+1) greater than or equal to 1+2^n+2*3^n.


Where do I go from here? I still need to show that 1+2^n+2*3^n is greater than or equal to 1+2^(n+1)

Thanks!
 
Last edited:
Physics news on Phys.org
To show 3n+1>1+2n+1
subtract the n expressions from both sides, and you will have to show
2*3n>2n
That looks obviously true,since 3>2.
 
good work mathman!
 
So you'd like to prove that

3^n\geq 1+2^n

using induction. The statement is obviously true for n=1, so all you have to do is to prove that if it's true for n=k, it's also true for n=k+1 (whatever k is).

So you should start like this:

3^{k+1}=3\cdot 3^k\geq 3(1+2^k)\geq\dots

Now all you have to do is to show that this is

\geq 1+2^{k+1}

This is very easy. (Hint: 3>2>1).
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top