Proving the Summation Problem using Combinations

  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Summation
Click For Summary

Homework Help Overview

The discussion revolves around proving the identity involving binomial coefficients: the sum of the squares of binomial coefficients, specifically that the sum from k=0 to n of C(n,k)^2 equals C(2n,n). The participants are exploring the implications of the binomial theorem and the expansion of polynomial expressions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the use of the binomial theorem and the expansion of (1+x)^n. There are attempts to relate the coefficients of the expanded forms to the original problem. Questions arise about how to interpret the coefficients and the implications of multiplying sums together.

Discussion Status

The discussion is active, with participants sharing insights and clarifications about the relationships between different expressions. Some guidance has been offered regarding equating coefficients and interpreting the sums, but there is no explicit consensus on the final approach to the proof.

Contextual Notes

There are indications of confusion regarding the manipulation of binomial coefficients and the interpretation of the summation. Participants are also considering the implications of counting arguments related to the combinatorial interpretations of the identities being discussed.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
i have to prove that:

n
sum [C(n,k)]^2=C(2n,n)
k=0
i have in my text a hint that i need to use:

(1+x)^n(1+x)^n=(1+x)^2n
but i got that:

n 2n
sum [C(n,k)]^2= sum [C(2n,k)]
k=0 k=0

how do i get out of this mess?
 
Physics news on Phys.org
it should be
2n
sum C(2n,n)
k=0

but i reackon you understood me the first time.
 
Of course, you know that [itex](1+ x)^n= \sum_{i=0}^n _nC_i x^i[/itex] (the binomial theorem). What are the coefficients of (1+x)n(1+x)n in terms of nCi?
 
2n_C_i

but still it the summation sign stays, unless i open it this way:

2n_C_1+2n_C_2+...+2n_C_2n
am i wrong here completely?
 
Notice that you are multiplying two sums together.
(a+ bx+ cx2)(u+ vx+ wx2)= au+ avx+ awx2+ bux+ bvx2+ bwx3+ cux2+ cvx3+ cwx4= au+ (av+bu)x+ (aw+ bv+ cu)x2+ (bw+ cv)x3+ cwx4.

Each coefficient is a sum.
 
but here we have (1+2x+x^2)^n=(1+(2x+x^2))^n=
n
=sum n_C_k (2x+x^2)^k
k=0

when x=1

n
sum (n_C_k)*3^k= (n_C_0)+3*(n_C_1)+...+3^n
k=0

now how do i get from this, the final answer:
2n_C_n
?
 
[tex]\binom{2n}{n}[/tex]

is the coefficient of x^n in the expansion of (1+x)^{2n}

that is all the hint you need (oh, and to possibly forget what you'd done and start again).
 
Are you allowed to give arguments about how the left side represents the number of ways to make some choice, and show tha the right side represents the same thing, thereby proving that both quantities are equal? The number of ways to choose n objects from a set of 2n is equal to the number of ways to:

choose 0 from the first n AND then n from the second n
OR
choose 1 from the first n AND then n-1 from the second n
OR
.
.
.
OR
choose k from the first n AND n-k from the second n
OR
.
.
.
OR
choose n from the first n AND choose 0 from the second n

=

choose 0 from the first n AND then 0 from the second n
OR
choose 1 from the first n AND then 1 from the second n
OR
.
.
.
OR
choose k from the first n AND k from the second n
OR
.
.
.
OR
choose n from the first n AND choose n from the second n

since the number of ways to choose n-k elements from n is the same as the number of ways to choose k.
 
matt grime said:
[tex]\binom{2n}{n}[/tex]

is the coefficient of x^n in the expansion of (1+x)^{2n}

that is all the hint you need (oh, and to possibly forget what you'd done and start again).

i know that
2n
(1+x)^2n=sum (2n_C_k)x^k
k=0

but how do i get the coeffient only, that's my big q?
 
  • #10
what does 'get the coefficient' mean?

Write down the expression in two different ways, equate coefficients.

EXAMPLE.

(1+x)^4 = 1+4x+10x^2+4x^3+x^4 here are the 4Cr

it also equals ((1+x)^2)^2=(1+x+x^2)^2=(2C0+2C1x + 2C0x^2)^2

now can you see how to find the coeffiecients in two different ways?
 
  • #11
[tex](1+x)^n=\sum_{k=0}^{n} _nC_kx^k[/tex] and [tex](1+x)^{2n}=\sum_{k=0}^{2n} _{2n}C_kx^k[/tex]

and since [tex](1+x)^n(1+x)^n=(1+x)^{2n}[/tex] we have

[tex](1+x)^n(1+x)^n=\left( \sum_{k=0}^{n} _nC_kx^k\right) \left( \sum_{j=0}^{n} _nC_jx^j\right) = \sum_{k=0}^{2n} _{2n}C_kx^k = (1+x)^{2n}[/tex]

from here, multiply out

[tex]\left( \sum_{k=0}^{n} _nC_kx^k\right) \left( \sum_{j=0}^{n} _nC_jx^j\right)[/tex]

to get a sum of the form

[tex]\sum_{k=0}^{2n} a_kx^k[/tex]

where you need to figure out what the ak's are. It then follows that, equating coefficients of like powers of x, we must have

[tex]a_k= _{2n}C_k[/tex].
 
  • #12
matt grime said:
what does 'get the coefficient' mean?

Write down the expression in two different ways, equate coefficients.

EXAMPLE.

(1+x)^4 = 1+4x+10x^2+4x^3+x^4 here are the 4Cr

it also equals ((1+x)^2)^2=(1+x+x^2)^2=(2C0+2C1x + 2C0x^2)^2

now can you see how to find the coeffiecients in two different ways?

now i get it.
it took time, but thanks matt and halls, and also the new guy, benorin.
(-:
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K