Evaluate $sum_{n=1}^N n {n choose k}$ and get a closed form solution
$begingroup$
Find a closed form of $displaystylesum_{n=1}^N n {n choose k}$.
1) Firstly, is it valid to simplify this equation to:
$sum_{n=k}^N n {n choose k}$
because ${n choose k} = 0$ for $n < k$?
2) Is generating functions the right approach to solve this problem? Or should I simply do some algebra?
combinatorics discrete-mathematics summation binomial-coefficients generating-functions
$endgroup$
add a comment |
$begingroup$
Find a closed form of $displaystylesum_{n=1}^N n {n choose k}$.
1) Firstly, is it valid to simplify this equation to:
$sum_{n=k}^N n {n choose k}$
because ${n choose k} = 0$ for $n < k$?
2) Is generating functions the right approach to solve this problem? Or should I simply do some algebra?
combinatorics discrete-mathematics summation binomial-coefficients generating-functions
$endgroup$
$begingroup$
(1) is indeed valid, assuming that $k$ is a positive integer.
$endgroup$
– Greg Martin
Dec 11 '18 at 9:23
$begingroup$
Hint: apply hockeystick identity (after using the hint of Greg).
$endgroup$
– drhab
Dec 11 '18 at 9:32
add a comment |
$begingroup$
Find a closed form of $displaystylesum_{n=1}^N n {n choose k}$.
1) Firstly, is it valid to simplify this equation to:
$sum_{n=k}^N n {n choose k}$
because ${n choose k} = 0$ for $n < k$?
2) Is generating functions the right approach to solve this problem? Or should I simply do some algebra?
combinatorics discrete-mathematics summation binomial-coefficients generating-functions
$endgroup$
Find a closed form of $displaystylesum_{n=1}^N n {n choose k}$.
1) Firstly, is it valid to simplify this equation to:
$sum_{n=k}^N n {n choose k}$
because ${n choose k} = 0$ for $n < k$?
2) Is generating functions the right approach to solve this problem? Or should I simply do some algebra?
combinatorics discrete-mathematics summation binomial-coefficients generating-functions
combinatorics discrete-mathematics summation binomial-coefficients generating-functions
edited Dec 11 '18 at 10:09
Batominovski
33k33293
33k33293
asked Dec 11 '18 at 9:16
user625225
$begingroup$
(1) is indeed valid, assuming that $k$ is a positive integer.
$endgroup$
– Greg Martin
Dec 11 '18 at 9:23
$begingroup$
Hint: apply hockeystick identity (after using the hint of Greg).
$endgroup$
– drhab
Dec 11 '18 at 9:32
add a comment |
$begingroup$
(1) is indeed valid, assuming that $k$ is a positive integer.
$endgroup$
– Greg Martin
Dec 11 '18 at 9:23
$begingroup$
Hint: apply hockeystick identity (after using the hint of Greg).
$endgroup$
– drhab
Dec 11 '18 at 9:32
$begingroup$
(1) is indeed valid, assuming that $k$ is a positive integer.
$endgroup$
– Greg Martin
Dec 11 '18 at 9:23
$begingroup$
(1) is indeed valid, assuming that $k$ is a positive integer.
$endgroup$
– Greg Martin
Dec 11 '18 at 9:23
$begingroup$
Hint: apply hockeystick identity (after using the hint of Greg).
$endgroup$
– drhab
Dec 11 '18 at 9:32
$begingroup$
Hint: apply hockeystick identity (after using the hint of Greg).
$endgroup$
– drhab
Dec 11 '18 at 9:32
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Hint:
$$
sum_{n=k}^N n {n choose k} = sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k}
$$
and continue from there....
$endgroup$
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
1
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
|
show 4 more comments
$begingroup$
Consider a group of $N+1$ people labeled $1,2,ldots,N,N+1$. We want to choose $k+1$ of them to form a committee in the following manner, as well as a secretary which may or may not belong to the committee. The committee consists of one president and other members. The president's label must be greater than the labels of all other members and the label of the secretary.
If $n+1$ is the label of the president, then there are $n$ ways to choose the secretary. There are still $k$ members left to be selected among the $n$ people $1,2,ldots,n$, which can be done in $displaystyle binom{n}{k}$ ways. Hence, there are in total $$sum_{n=0}^N,n,binom{n}{k}$$
ways to decide a committee and its secretary.
On the other hand, consider the two cases. The first case is that the secretary belongs in the committee. Then, there are $k+1$ people to be selected from $N+1$ people, and the person with the largest label is automatically the president. Then, among the remaining $k$ people, one must be chosen to be the secretary. Therefore, there are $$k,binom{N+1}{k+1}$$
ways to complete this case. In the second case where the secretary does not belong in the committee, there are $k+2$ people to be selected from $N+1$ people to form the committee and its external secretary, where the one with the largest label is the president. Then, amongst $k+1$ people, one is chosen to be the secretary. Ergo, we can deal with this case in
$$(k+1),binom{N+1}{k+2}$$
ways. Hence, there are in total
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}$$
ways to finish the job.
This shows that $$sum_{n=0}^N,n,binom{n}{k}=k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2},.$$
Note that this answer coincides with the answer that can be obtained from Greg Martin's hint, namely,
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}=(k+1),binom{N+2}{k+2}-binom{N+1}{k+1},.$$
$endgroup$
add a comment |
$begingroup$
Use the method of generating functions and snake oil. We wish to evaluate $sum_{n=0}^Nnbinom{n}{k}$. To this end put $F(z)=sum_{N=0}^inftyleft(sum_{n=0}^Nnbinom{n}{k}right)z^N$. Interchange the order of summation (formally) to get that
$$
begin{align}
F(z)
&=sum_{n=0}^infty nbinom{n}{k}sum_{N=n}^infty z^N\
&=frac{1}{1-z}sum_{n=0}^infty nbinom{n}{k}z^n\
&=frac{1}{1-z}(zD)left(frac{z^k}{(1-z)^{k+1}}right)\
&=frac{z^k}{(1-z)^{k+3}}(k+z)tag{0}.
end{align}
$$
At this point we wish to extract the coefficient of $z^N$ of $F$. To this end, we use the fact that for integers $mgeq 1$ it is the case that $(1-z)^{-m}=sum_{n=0}^infty binom{m+n-1}{n}z^n$, use $(0)$ and linearity of coefficient extraction to write
$$
begin{align}
[z^N](F(z))&=k[z^{N-k}]left(frac{1}{(1-z)^{k+3}}right)+[z^{N-k-1}]left(frac{1}{(1-z)^{k+3}}right)\
&=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
end{align}
$$
Hence
$$
sum_{n=1}^Nnbinom{n}{k}=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
$$
which agrees with Batominovski's answer after expanding and applying Pascal's identity.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3035096%2fevaluate-sum-n-1n-n-n-choose-k-and-get-a-closed-form-solution%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Hint:
$$
sum_{n=k}^N n {n choose k} = sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k}
$$
and continue from there....
$endgroup$
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
1
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
|
show 4 more comments
$begingroup$
Hint:
$$
sum_{n=k}^N n {n choose k} = sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k}
$$
and continue from there....
$endgroup$
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
1
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
|
show 4 more comments
$begingroup$
Hint:
$$
sum_{n=k}^N n {n choose k} = sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k}
$$
and continue from there....
$endgroup$
Hint:
$$
sum_{n=k}^N n {n choose k} = sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k}
$$
and continue from there....
edited Dec 11 '18 at 19:48
answered Dec 11 '18 at 9:24
Greg MartinGreg Martin
35k23262
35k23262
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
1
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
|
show 4 more comments
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
1
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
I don't see how the 2nd equation becomes the third equation? Especially the part where it becomes (n+1, k+1)
$endgroup$
– user625225
Dec 11 '18 at 9:27
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
$begingroup$
But you see what is being claimed there, I bet, and I also bet you'll be able to work out why it's true given that you think it is true!
$endgroup$
– Greg Martin
Dec 11 '18 at 9:29
1
1
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
Are there other terms after the dots or is: $sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:31
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
^ no terms after the dots.
$endgroup$
– user625225
Dec 11 '18 at 9:33
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
$begingroup$
$sum_{n=k}^N (n+1) {n choose k} - sum_{n=k}^N {n choose k} = sum_{n=k}^N (k+1) {n+1 choose k+1} - sum_{n=k}^N {n choose k} = sum_{n=k}^N k {n+1 choose k+1} - sum_{n=k}^N {n + 1 choose k + 1} - sum_{n=k}^N {n choose k} $
$endgroup$
– user625225
Dec 11 '18 at 9:36
|
show 4 more comments
$begingroup$
Consider a group of $N+1$ people labeled $1,2,ldots,N,N+1$. We want to choose $k+1$ of them to form a committee in the following manner, as well as a secretary which may or may not belong to the committee. The committee consists of one president and other members. The president's label must be greater than the labels of all other members and the label of the secretary.
If $n+1$ is the label of the president, then there are $n$ ways to choose the secretary. There are still $k$ members left to be selected among the $n$ people $1,2,ldots,n$, which can be done in $displaystyle binom{n}{k}$ ways. Hence, there are in total $$sum_{n=0}^N,n,binom{n}{k}$$
ways to decide a committee and its secretary.
On the other hand, consider the two cases. The first case is that the secretary belongs in the committee. Then, there are $k+1$ people to be selected from $N+1$ people, and the person with the largest label is automatically the president. Then, among the remaining $k$ people, one must be chosen to be the secretary. Therefore, there are $$k,binom{N+1}{k+1}$$
ways to complete this case. In the second case where the secretary does not belong in the committee, there are $k+2$ people to be selected from $N+1$ people to form the committee and its external secretary, where the one with the largest label is the president. Then, amongst $k+1$ people, one is chosen to be the secretary. Ergo, we can deal with this case in
$$(k+1),binom{N+1}{k+2}$$
ways. Hence, there are in total
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}$$
ways to finish the job.
This shows that $$sum_{n=0}^N,n,binom{n}{k}=k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2},.$$
Note that this answer coincides with the answer that can be obtained from Greg Martin's hint, namely,
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}=(k+1),binom{N+2}{k+2}-binom{N+1}{k+1},.$$
$endgroup$
add a comment |
$begingroup$
Consider a group of $N+1$ people labeled $1,2,ldots,N,N+1$. We want to choose $k+1$ of them to form a committee in the following manner, as well as a secretary which may or may not belong to the committee. The committee consists of one president and other members. The president's label must be greater than the labels of all other members and the label of the secretary.
If $n+1$ is the label of the president, then there are $n$ ways to choose the secretary. There are still $k$ members left to be selected among the $n$ people $1,2,ldots,n$, which can be done in $displaystyle binom{n}{k}$ ways. Hence, there are in total $$sum_{n=0}^N,n,binom{n}{k}$$
ways to decide a committee and its secretary.
On the other hand, consider the two cases. The first case is that the secretary belongs in the committee. Then, there are $k+1$ people to be selected from $N+1$ people, and the person with the largest label is automatically the president. Then, among the remaining $k$ people, one must be chosen to be the secretary. Therefore, there are $$k,binom{N+1}{k+1}$$
ways to complete this case. In the second case where the secretary does not belong in the committee, there are $k+2$ people to be selected from $N+1$ people to form the committee and its external secretary, where the one with the largest label is the president. Then, amongst $k+1$ people, one is chosen to be the secretary. Ergo, we can deal with this case in
$$(k+1),binom{N+1}{k+2}$$
ways. Hence, there are in total
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}$$
ways to finish the job.
This shows that $$sum_{n=0}^N,n,binom{n}{k}=k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2},.$$
Note that this answer coincides with the answer that can be obtained from Greg Martin's hint, namely,
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}=(k+1),binom{N+2}{k+2}-binom{N+1}{k+1},.$$
$endgroup$
add a comment |
$begingroup$
Consider a group of $N+1$ people labeled $1,2,ldots,N,N+1$. We want to choose $k+1$ of them to form a committee in the following manner, as well as a secretary which may or may not belong to the committee. The committee consists of one president and other members. The president's label must be greater than the labels of all other members and the label of the secretary.
If $n+1$ is the label of the president, then there are $n$ ways to choose the secretary. There are still $k$ members left to be selected among the $n$ people $1,2,ldots,n$, which can be done in $displaystyle binom{n}{k}$ ways. Hence, there are in total $$sum_{n=0}^N,n,binom{n}{k}$$
ways to decide a committee and its secretary.
On the other hand, consider the two cases. The first case is that the secretary belongs in the committee. Then, there are $k+1$ people to be selected from $N+1$ people, and the person with the largest label is automatically the president. Then, among the remaining $k$ people, one must be chosen to be the secretary. Therefore, there are $$k,binom{N+1}{k+1}$$
ways to complete this case. In the second case where the secretary does not belong in the committee, there are $k+2$ people to be selected from $N+1$ people to form the committee and its external secretary, where the one with the largest label is the president. Then, amongst $k+1$ people, one is chosen to be the secretary. Ergo, we can deal with this case in
$$(k+1),binom{N+1}{k+2}$$
ways. Hence, there are in total
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}$$
ways to finish the job.
This shows that $$sum_{n=0}^N,n,binom{n}{k}=k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2},.$$
Note that this answer coincides with the answer that can be obtained from Greg Martin's hint, namely,
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}=(k+1),binom{N+2}{k+2}-binom{N+1}{k+1},.$$
$endgroup$
Consider a group of $N+1$ people labeled $1,2,ldots,N,N+1$. We want to choose $k+1$ of them to form a committee in the following manner, as well as a secretary which may or may not belong to the committee. The committee consists of one president and other members. The president's label must be greater than the labels of all other members and the label of the secretary.
If $n+1$ is the label of the president, then there are $n$ ways to choose the secretary. There are still $k$ members left to be selected among the $n$ people $1,2,ldots,n$, which can be done in $displaystyle binom{n}{k}$ ways. Hence, there are in total $$sum_{n=0}^N,n,binom{n}{k}$$
ways to decide a committee and its secretary.
On the other hand, consider the two cases. The first case is that the secretary belongs in the committee. Then, there are $k+1$ people to be selected from $N+1$ people, and the person with the largest label is automatically the president. Then, among the remaining $k$ people, one must be chosen to be the secretary. Therefore, there are $$k,binom{N+1}{k+1}$$
ways to complete this case. In the second case where the secretary does not belong in the committee, there are $k+2$ people to be selected from $N+1$ people to form the committee and its external secretary, where the one with the largest label is the president. Then, amongst $k+1$ people, one is chosen to be the secretary. Ergo, we can deal with this case in
$$(k+1),binom{N+1}{k+2}$$
ways. Hence, there are in total
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}$$
ways to finish the job.
This shows that $$sum_{n=0}^N,n,binom{n}{k}=k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2},.$$
Note that this answer coincides with the answer that can be obtained from Greg Martin's hint, namely,
$$k,binom{N+1}{k+1}+(k+1),binom{N+1}{k+2}=(k+1),binom{N+2}{k+2}-binom{N+1}{k+1},.$$
answered Dec 11 '18 at 10:26
BatominovskiBatominovski
33k33293
33k33293
add a comment |
add a comment |
$begingroup$
Use the method of generating functions and snake oil. We wish to evaluate $sum_{n=0}^Nnbinom{n}{k}$. To this end put $F(z)=sum_{N=0}^inftyleft(sum_{n=0}^Nnbinom{n}{k}right)z^N$. Interchange the order of summation (formally) to get that
$$
begin{align}
F(z)
&=sum_{n=0}^infty nbinom{n}{k}sum_{N=n}^infty z^N\
&=frac{1}{1-z}sum_{n=0}^infty nbinom{n}{k}z^n\
&=frac{1}{1-z}(zD)left(frac{z^k}{(1-z)^{k+1}}right)\
&=frac{z^k}{(1-z)^{k+3}}(k+z)tag{0}.
end{align}
$$
At this point we wish to extract the coefficient of $z^N$ of $F$. To this end, we use the fact that for integers $mgeq 1$ it is the case that $(1-z)^{-m}=sum_{n=0}^infty binom{m+n-1}{n}z^n$, use $(0)$ and linearity of coefficient extraction to write
$$
begin{align}
[z^N](F(z))&=k[z^{N-k}]left(frac{1}{(1-z)^{k+3}}right)+[z^{N-k-1}]left(frac{1}{(1-z)^{k+3}}right)\
&=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
end{align}
$$
Hence
$$
sum_{n=1}^Nnbinom{n}{k}=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
$$
which agrees with Batominovski's answer after expanding and applying Pascal's identity.
$endgroup$
add a comment |
$begingroup$
Use the method of generating functions and snake oil. We wish to evaluate $sum_{n=0}^Nnbinom{n}{k}$. To this end put $F(z)=sum_{N=0}^inftyleft(sum_{n=0}^Nnbinom{n}{k}right)z^N$. Interchange the order of summation (formally) to get that
$$
begin{align}
F(z)
&=sum_{n=0}^infty nbinom{n}{k}sum_{N=n}^infty z^N\
&=frac{1}{1-z}sum_{n=0}^infty nbinom{n}{k}z^n\
&=frac{1}{1-z}(zD)left(frac{z^k}{(1-z)^{k+1}}right)\
&=frac{z^k}{(1-z)^{k+3}}(k+z)tag{0}.
end{align}
$$
At this point we wish to extract the coefficient of $z^N$ of $F$. To this end, we use the fact that for integers $mgeq 1$ it is the case that $(1-z)^{-m}=sum_{n=0}^infty binom{m+n-1}{n}z^n$, use $(0)$ and linearity of coefficient extraction to write
$$
begin{align}
[z^N](F(z))&=k[z^{N-k}]left(frac{1}{(1-z)^{k+3}}right)+[z^{N-k-1}]left(frac{1}{(1-z)^{k+3}}right)\
&=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
end{align}
$$
Hence
$$
sum_{n=1}^Nnbinom{n}{k}=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
$$
which agrees with Batominovski's answer after expanding and applying Pascal's identity.
$endgroup$
add a comment |
$begingroup$
Use the method of generating functions and snake oil. We wish to evaluate $sum_{n=0}^Nnbinom{n}{k}$. To this end put $F(z)=sum_{N=0}^inftyleft(sum_{n=0}^Nnbinom{n}{k}right)z^N$. Interchange the order of summation (formally) to get that
$$
begin{align}
F(z)
&=sum_{n=0}^infty nbinom{n}{k}sum_{N=n}^infty z^N\
&=frac{1}{1-z}sum_{n=0}^infty nbinom{n}{k}z^n\
&=frac{1}{1-z}(zD)left(frac{z^k}{(1-z)^{k+1}}right)\
&=frac{z^k}{(1-z)^{k+3}}(k+z)tag{0}.
end{align}
$$
At this point we wish to extract the coefficient of $z^N$ of $F$. To this end, we use the fact that for integers $mgeq 1$ it is the case that $(1-z)^{-m}=sum_{n=0}^infty binom{m+n-1}{n}z^n$, use $(0)$ and linearity of coefficient extraction to write
$$
begin{align}
[z^N](F(z))&=k[z^{N-k}]left(frac{1}{(1-z)^{k+3}}right)+[z^{N-k-1}]left(frac{1}{(1-z)^{k+3}}right)\
&=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
end{align}
$$
Hence
$$
sum_{n=1}^Nnbinom{n}{k}=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
$$
which agrees with Batominovski's answer after expanding and applying Pascal's identity.
$endgroup$
Use the method of generating functions and snake oil. We wish to evaluate $sum_{n=0}^Nnbinom{n}{k}$. To this end put $F(z)=sum_{N=0}^inftyleft(sum_{n=0}^Nnbinom{n}{k}right)z^N$. Interchange the order of summation (formally) to get that
$$
begin{align}
F(z)
&=sum_{n=0}^infty nbinom{n}{k}sum_{N=n}^infty z^N\
&=frac{1}{1-z}sum_{n=0}^infty nbinom{n}{k}z^n\
&=frac{1}{1-z}(zD)left(frac{z^k}{(1-z)^{k+1}}right)\
&=frac{z^k}{(1-z)^{k+3}}(k+z)tag{0}.
end{align}
$$
At this point we wish to extract the coefficient of $z^N$ of $F$. To this end, we use the fact that for integers $mgeq 1$ it is the case that $(1-z)^{-m}=sum_{n=0}^infty binom{m+n-1}{n}z^n$, use $(0)$ and linearity of coefficient extraction to write
$$
begin{align}
[z^N](F(z))&=k[z^{N-k}]left(frac{1}{(1-z)^{k+3}}right)+[z^{N-k-1}]left(frac{1}{(1-z)^{k+3}}right)\
&=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
end{align}
$$
Hence
$$
sum_{n=1}^Nnbinom{n}{k}=kbinom{N+2}{k+2}+binom{N+1}{k+2}.
$$
which agrees with Batominovski's answer after expanding and applying Pascal's identity.
answered Dec 17 '18 at 23:01
Foobaz JohnFoobaz John
22.1k41352
22.1k41352
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3035096%2fevaluate-sum-n-1n-n-n-choose-k-and-get-a-closed-form-solution%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
(1) is indeed valid, assuming that $k$ is a positive integer.
$endgroup$
– Greg Martin
Dec 11 '18 at 9:23
$begingroup$
Hint: apply hockeystick identity (after using the hint of Greg).
$endgroup$
– drhab
Dec 11 '18 at 9:32