A coefficient problem involving combination

julypraise
Messages
104
Reaction score
0

Homework Statement


(1) Is the following formula right?
\sum_{l=0}^{m+n} \sum_{k=l-m}^{n} \binom nk \binom {m}{l-k} x^{l} = \sum_{k=0}^{n} \binom nk x^{k} \sum_{j=0}^{m} \binom mj x^{j}

(2) If right, how do I prove it? If not, what is the right formula, and how do I prove it?

(3) Could you suggest any papers or relevant works that prove this result?

Homework Equations


No relevant equation exist.


The Attempt at a Solution


I've checked that, by specialization of the formula above, the formula is true for some special cases. Actually, this question is originally from Spivak's Calculus, Chapter 2, Problem 4. The problem there, I guess, states a wrong formula, thus I've corrected formula by induction on some special cases.
I've tried to prove formula by myself, but no progress at all. I've tried a substitution: letting j = l - k on the RHS of the formula, but really no progress. Can there be any lemma, a one really useful to prove this result? Especially, I'm getting trouble on modifying the double sum. I can't change the summand variable in a rigorous way.
 
Physics news on Phys.org
After posting, I've got a result:
(1-x)^{n}(1-x)^{m} = \{ \binom nn x^{0} + \cdots + \binom {n}{l-m} x^{l-m} + \cdots + \binom n0 x^{0} \} \{ \binom m0 x^{0} + \cdots + \binom {m}{l-n} x^{l-n} + \cdots + \binom mm x^{m} \}

If you calculate the coefficient of x^{l} of the above by a product-wise, then you get the answer. Is that right?
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top