Proof by induction an expression

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 2K views
xeon123
Messages
90
Reaction score
0
I'm trying to prove by induction the expression:

[itex]\sum_{i=1}^{n-1}(n-i)=\frac{n(n-1)}{2}[/itex]

For the base case, n=2, S(2)=[itex]\frac{2(2-1)}{2}=1[/itex]

For S(n+1)=[itex]\frac{(n+1)((n+1)-1)}{2}[/itex] I have:

S(n+1) = [itex]\frac{n(n-1)}{2}[/itex] + (n+1) <--- Is this correct?

I don't know what is the term for n+1. Any help?
 
Last edited:
Physics news on Phys.org
xeon123 said:
I'm trying to prove by induction the expression:

[itex]\sum_{i=1}^{n-1}=\frac{n(n-1)}{2}[/itex]
There appears to be something missing here! What is being summed?

For the base case, n=2, S(2)=[itex]\frac{2(2-1)}{2}=1[/itex]

For S(n+1)=[itex]\frac{(n+1)((n+1)-1)}{2}[/itex] I have:

S(n+1) = [itex]\frac{n(n-1)}{2}[/itex] + (n+1) <--- Is this correct?

I don't know what is the term for n+1. Any help?
No one can tell you until you tell us what is being summed.
 
I corrected in the first message now.
 
I solved. Here's the solution. Can you check it if it's right?

For n=2, I got
0+1=[itex]\frac{2(2-1)}{2}[/itex]

For n=3,
0+1+2=[itex]\frac{3(3-1)}{2}[/itex]

So, for n, I got
0+1+2+3+...+n-1=[itex]\frac{n(n-1)}{2}[/itex]

For n+1 I got
0+1+2+3+...+n-1+n=[itex]\frac{(n+1)(n+1-1)}{2}=\frac{(n+1)(n)}{2}[/itex]

For the LHS

LHS=[itex]\frac{n(n-1)}{2}+n=\frac{n(n-1)+2n}{2}=\frac{n^2-n+2n}{2}=\frac{n^2+n}{2}[/itex]

For the RHS
RHS=[itex]\frac{(n+1)(n)}{2}=\frac{n^2+n}{2}[/itex]

So, the LHS = RHS, proofing that [itex]\frac{n(n-1)}{2}[/itex] is correct for any n.

Is this solution correct?
 
What you have written is basically a "proof by induction" and, yes, it is correct.

Actually, the first thing I would do is write that as
[tex]\sum_{i= 1}^{n- 1} n- 1= \sum_{j= 0}^n j[/tex]
where I have taken j= i- 1.

If I really didn't want to do that, I might note that
[tex]\sum_{i=1}^{n-1}= n\sum_{i= 1}^n 1- \sum_{i=1}^{n- 1}i[/tex]