Evaluate $sum_{n=1}^N n {n choose k}$ and get a closed form solution












0












$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?










share|cite|improve this question











$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
















0












$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?










share|cite|improve this question











$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














0












0








0


1



$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?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • $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










3 Answers
3






active

oldest

votes


















3












$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....






share|cite|improve this answer











$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



















1












$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},.$$






share|cite|improve this answer









$endgroup$





















    0












    $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.






    share|cite|improve this answer









    $endgroup$













      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
      });


      }
      });














      draft saved

      draft discarded


















      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









      3












      $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....






      share|cite|improve this answer











      $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
















      3












      $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....






      share|cite|improve this answer











      $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














      3












      3








      3





      $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....






      share|cite|improve this answer











      $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....







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      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


















      • $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











      1












      $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},.$$






      share|cite|improve this answer









      $endgroup$


















        1












        $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},.$$






        share|cite|improve this answer









        $endgroup$
















          1












          1








          1





          $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},.$$






          share|cite|improve this answer









          $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},.$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 11 '18 at 10:26









          BatominovskiBatominovski

          33k33293




          33k33293























              0












              $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.






              share|cite|improve this answer









              $endgroup$


















                0












                $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.






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $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.






                  share|cite|improve this answer









                  $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.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 17 '18 at 23:01









                  Foobaz JohnFoobaz John

                  22.1k41352




                  22.1k41352






























                      draft saved

                      draft discarded




















































                      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.




                      draft saved


                      draft discarded














                      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





















































                      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







                      Popular posts from this blog

                      Aardman Animations

                      Are they similar matrix

                      “minimization” problem in Euclidean space related to orthonormal basis