Inductive proof of a binomial series

Click For Summary

Homework Help Overview

The discussion revolves around proving a binomial series identity using mathematical induction and Pascal's Identity. The original poster attempts to establish the equality involving alternating sums of binomial coefficients.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the identity for various values of k, questioning the validity of the base case when k=0 and k=1. There is a discussion on the application of Pascal's Identity to the binomial coefficients involved in the sum.

Discussion Status

Some participants have offered insights into the application of Pascal's Identity and how to handle specific cases within the proof. There is an acknowledgment of the need to carefully manage terms when applying the identity, particularly for edge cases like i=0.

Contextual Notes

Participants note potential issues with the base cases and the necessity of handling specific terms separately when applying Pascal's Identity. There is an emphasis on ensuring the correct interpretation of the identity in the context of the proof.

lynchu
Messages
7
Reaction score
0

Homework Statement



Use mathematical induction and Pascal's Identity to prove:

[tex]\binom{n}{0} - \binom{n}{1} + \binom{n}{2} - ... + (-1)^{k}\binom{n}{k} = (-1)^{k}\binom{n-1}{k}[/tex]

The Attempt at a Solution



First, I guess this means something like:
[tex]\sum_{i=0}^{k}(-1)^{i}\binom{n}{i} = (-1)^{k}\binom{n-1}{k}[/tex]

But after that I'm stumped (as with any inductive proof with sums of binomials)... I can't see how my usual strategy would work. i.e. Figure out what n+1 would contribute to the left hand side, add it to the right side and work my way through algebraically.

Help with this would be very appreciated!
 
Physics news on Phys.org
Am I missing something? When k= 0 that says
[tex]\begin{pmatrix}n \\ 0\end{pmatrix}= (-1)^0\begin{pmatrix}n-1 \\ 0\end{pmatrix}[/tex]
which is not true, the left side is n and the right n-1.

For k= 1,
[tex]\begin{pmatrix}n \\ 0\end{pmatrix}- \begin{pmatrix}n \\ 1\end{pmatrix}= n- (n- 1)= 1[/tex]
but
[tex](-1)^1\begin{pmatrix}n-1 \\ 1\end{pmatrix}= -(n-2)= 2- n[/tex]
 
But [tex]\binom{n}{0} = \binom{n-1}{0} = 1[/tex]

It's the number of 0-element subsets of an n-elements set. Which is 1, because there's only the empty set.
 
Well, the problem statement says to use Pascal's identity. What is that identity?
 
Sorry, forgot to include that. Pascal's Identity is:

[tex]\binom{n+1}{k} = \binom{n}{k-1} + \binom{n}{k}[/tex] for non-negative n's.
 
OK, so apply Pascal's identity to the binomial coefficient for each [itex]i[/itex] in the sum:

[tex]{n \choose i} = {n - 1 \choose i - 1} + {n - 1 \choose i}[/tex]

(However, be careful: this doesn't make any sense for [itex]i = 0[/itex]. So you will need to handle that term separately. Similarly, watch out if [itex]n = i[/itex].)

Then split the sum into two sums. You can apply the inductive hypothesis directly to the sum involving

[tex]{n - 1 \choose i}[/tex]

and you can do the same with the other sum

[tex]{n - 1 \choose i - 1}[/tex]

after a change of variables.
 
Last edited:
Thanks a bunch.
That's just about what I needed. :)
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K