Proving the Summation Formula for 1/(n(n+1)) Using Mathematical Induction

  • Thread starter Thread starter knowledgeSeeker
  • Start date Start date
  • Tags Tags
    Induction Proof
AI Thread Summary
The discussion focuses on proving the summation formula (1/(1*2)) + (1/(2*3)) + ... + (1/(n(n+1))) = (n/(n+1)) using mathematical induction. The basis step confirms the formula holds for n = 1. The inductive step involves assuming the formula is true for n = k and then demonstrating it holds for n = k + 1 by manipulating the sum. Participants discuss how to express the sum for S(k+1) and apply the induction hypothesis to show both sides equal (k+1)/(k+2). The conclusion affirms the formula is valid for all integers n >= 1.
knowledgeSeeker
Messages
2
Reaction score
0
Need help with proof by mathematical induction that (1/(1*2)) + (1/(2*3)) + ... + (1/(n(n+1)) = (n/(n+ 1)) for all integers n >= 1.

Basis step: for n = 1: (1/(1*2)) = 1/2 and (1/(1+1) = 1/2, hence property is true for n = 1.

Inductive step: want to show that for alll integers k >= 1, if n = k is true then n = k + 1 is true. How do I prove? Believe I want to show (1/(1*2)) + (1/(2*3)) + [1/((k+1)((k+1)+1)] = [(k + 1)/((k+1) + 1)], but how??

Thank you for any suggestions.
 
Physics news on Phys.org
So you have shown that P(1) is true. Now you want to show that if you assume that P(k) is true, it follows that P(k+1) is true. So first write the expression for P(k), which you assume to be true. Then add the next number in the series (to both sides), and see if you can rearrange the expression on the right side into the form that you are trying to prove.
 
Let Sk= 1/(1*2)+ 1/(2*3)+ ...+ 1/(k(k+1)), the sum for n= k
Then S(k+1)= 1/(1*2)+ ...+ 1/(k)(k+1)+ 1/((k+1)((k+1)+1)= Sk+ 1/((k+1)(k+2))

By your "induction hypothesis", Sk= k/(k+1).

What is k/(k+1)+ 1/((k+1)(k+2)) ?
 
Thank you. Proved both sides = (k+1)/(k+2). Hence, true for n = k +1 and since both basis and inductive steps true, true for all n >= 1. :smile:
 
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