Proof by Induction: Proving Sum Equation for n ∈ N

Click For Summary

Homework Help Overview

The discussion revolves around proving a summation equation involving binomial coefficients and harmonic numbers using mathematical induction. The original poster presents an attempt to establish the equality for natural numbers, specifically focusing on the relationship between alternating sums and harmonic series.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to prove the equality by induction, starting with base cases and progressing to a general case. Some participants question the correctness of the original poster's setup and suggest that the series may have been misrepresented.

Discussion Status

Participants are actively engaging with the original poster's reasoning, providing hints and corrections regarding the formulation of the series. There is a recognition of errors in the initial assumptions, and some participants are exploring alternative approaches, including integration, while others seek a purely combinatorial method.

Contextual Notes

There are indications of confusion regarding the application of integration in the proof, as well as the proper handling of binomial coefficients in the context of the summation. The discussion reflects a mix of interpretations and clarifications regarding the mathematical expressions involved.

gruba
Messages
203
Reaction score
1

Homework Statement


Prove that \forall n\in \mathbb{N}
\sum\limits_{k=1}^{n}(-1)^{k+1}{n\choose k}\frac{1}{k}=1+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{n}

Homework Equations


-Induction
-Summation
-Binomial coefficient

The Attempt at a Solution



For n=1 equality is true.

For n=m

m-{m\choose 2}\frac{1}{2}+...+(-1)^{m+1}\frac{1}{m}=1+\frac{1}{2}+...+\frac{1}{m}

For n=m+1

\left(\sum\limits_{k=1}^{m}(-1)^{k+1}{m\choose k}\frac{1}{k}\right)+(-1)^{m+2}\frac{1}{m+1}=1+\frac{1}{2}+...+\frac{1}{m+1}

If m is even, equality is true, but not if m is odd.
Is this correct?

Could someone explain this in detail?
 
Physics news on Phys.org
gruba said:
1+1/2+1/3+...+1/n
Hi gruba:

You have made some mistakes.

(1) The series being added does not include (-1)k+1. That series should be 1-1/2+1/3-1/4...

(2) The series being added does not include (m over k) with each of the fractions.

Hint: For (m over k) see: https://en.wikipedia.org/wiki/Combination

I hope this helps.

Regards,
Buzz
 
Buzz Bloom said:
Hi gruba:

You have made some mistakes.

(1) The series being added does not include (-1)k+1. That series should be 1-1/2+1/3-1/4...

(2) The series being added does not include (m over k) with each of the fractions.

Hint: For (m over k) see: https://en.wikipedia.org/wiki/Combination

I hope this helps.

Regards,
Buzz

Are you sure it is a mistake?
I have some solution which I don't inderstand:

\sum_{k=1}^{n}\binom{n}{k}(-1)^{k+1} x^k = 1-(1-x)^n\tag{1}
\sum_{k=1}^{n}\binom{n}{k}(-1)^{k+1}\frac{1}{k} = \int_{0}^{1}\frac{1-(1-x)^n}{x}\,dx= \int_{0}^{1}\frac{1-x^n}{1-x}\,dx\tag{2}
\sum_{k=1}^{n}\binom{n}{k}(-1)^{k+1}\frac{1}{k} = \int_{0}^{1}\left(1+x+\ldots+x^{n-1}\right)\,dx = 1+\frac{1}{2}+\ldots+\frac{1}{n}=H_n\tag{3}
 
Hi gruba:

Your (1) is OK.
The left hand equality in your (2) is OK. I don't see how you get the right hand equality in your (2).

ADDED
Ah. You substituted x -> (1-x). You forgot to also substitute dx -> -dx.

Regards,
Buzz
 
Buzz Bloom said:
Hi gruba:

Your (1) is OK.
The left hand equality in your (2) is OK. I don't see how you get the right hand equality in your (2).

ADDED
Ah. You substituted x -> (1-x)

Regards,
Buzz

This is my book's solution which I don't understand.
Is there some approach which doesn't involve integration?
 
Hi gruba:

I edited a bit more to my last post after you responded. Please take another look at my previous post.

Regards,
Buzz
 
Hi gruba:

Sorry. My mistake. The missing minus sign is corrected by reversing the top and bottom limits of the integration.

Regards,
Buzz
 
Hi gruba:

My apologies for my earlier confusion.

The derivation (1), (2) and (3) is a proof of the original equality. However it is not a proof by induction.

Going back to your original post, after
gruba said:
For n=m+1
the (m over k) in the summation should be (m+1 over k).

Regards,
Buzz
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 11 ·
Replies
11
Views
4K
Replies
6
Views
3K