LHS = (p+1)^2 + (p+1) = p^2 +2p +1RHS= 2^(p+1) = 2^p *2 = 2(p^2 + p)

  • Thread starter Thread starter Firben
  • Start date Start date
  • Tags Tags
    Induction
AI Thread Summary
The discussion focuses on proving by induction that n^2 + n ≤ 2^n for all integers n≥5. The initial cases demonstrate that for n=5, the left-hand side (LHS) is less than or equal to the right-hand side (RHS). The next step involves assuming the statement holds for n=p and then proving it for n=p+1. Participants emphasize the importance of correctly applying the induction hypothesis to simplify the expression for LHS(p+1). The conversation highlights the need to clearly articulate the assumption that the formula holds for n=p to proceed with the proof.
Firben
Messages
141
Reaction score
0
Prove by induction that n^2 + n ≤ 2^n

for all integers n≥5

How i did:

Case(1)

Suppose that n = 5

LHS = 5^2 +5 = 30

RHS = 2^5 = 32

30 ≤ 32

Ok LHS ≤ RHS

Case (2)

Suppose that's true for n=p≥5. Show that its true for n = p+1

What should i do next ? I had a memory loss here :(
 
Physics news on Phys.org
Just write down (p+1)^2+(p+1) and work with that expression until you see that it's \leq 2^{p+1}. You will have to use the assumption p^2+p\leq 2^p.
 
LHS(p+1) = (p+1)^2 + p+1 = p^2 + 2p + 1 + p + 1 = p^2 +3p + 2

How can i continue ?
 
Firben said:
LHS(p+1) = (p+1)^2 + p+1 = p^2 + 2p + 1 + p + 1 = p^2 +3p + 2

How can i continue ?

Well, what's your assumption?
 
Yes, i think so
 
No, he asked "what's your assumption?", and you were supposed to answer "that the formula I want to prove for all n≥5 holds when n=p".
 
Last edited:
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top