Showing a sum is positive












3












$begingroup$



Show that the sum$$sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}$$ is a positive rational number.




It is easy to show that it is a rational number. But I am having trouble showing that this expression is positive. It might be some binomial expansion that I could not get.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Have you tried using induction on $n$ for example?
    $endgroup$
    – Minus One-Twelfth
    1 hour ago


















3












$begingroup$



Show that the sum$$sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}$$ is a positive rational number.




It is easy to show that it is a rational number. But I am having trouble showing that this expression is positive. It might be some binomial expansion that I could not get.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Have you tried using induction on $n$ for example?
    $endgroup$
    – Minus One-Twelfth
    1 hour ago
















3












3








3


1



$begingroup$



Show that the sum$$sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}$$ is a positive rational number.




It is easy to show that it is a rational number. But I am having trouble showing that this expression is positive. It might be some binomial expansion that I could not get.










share|cite|improve this question











$endgroup$





Show that the sum$$sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}$$ is a positive rational number.




It is easy to show that it is a rational number. But I am having trouble showing that this expression is positive. It might be some binomial expansion that I could not get.







combinatorics summation binomial-coefficients binomial-ideals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 1 hour ago







Hitendra Kumar

















asked 1 hour ago









Hitendra KumarHitendra Kumar

656




656








  • 1




    $begingroup$
    Have you tried using induction on $n$ for example?
    $endgroup$
    – Minus One-Twelfth
    1 hour ago
















  • 1




    $begingroup$
    Have you tried using induction on $n$ for example?
    $endgroup$
    – Minus One-Twelfth
    1 hour ago










1




1




$begingroup$
Have you tried using induction on $n$ for example?
$endgroup$
– Minus One-Twelfth
1 hour ago






$begingroup$
Have you tried using induction on $n$ for example?
$endgroup$
– Minus One-Twelfth
1 hour ago












3 Answers
3






active

oldest

votes


















6












$begingroup$

Direct proof:
$$begin{split}
sum_{k=0}^{n} {nchoose k}frac{{(-1)}^k}{n+k+1} &=sum_{k=0}^{n} {nchoose k}(-1)^kint_0^1 x^{n+k}dx\
&=int_0^1x^nsum_{k=0}^{n} {nchoose k}(-x)^kdx\
&=int_0^1x^n(1-x)^ndx
end{split}$$

The latter is clearly a positive number.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks,I got it.
    $endgroup$
    – Hitendra Kumar
    54 mins ago










  • $begingroup$
    You're welcome!
    $endgroup$
    – Stefan Lafon
    53 mins ago










  • $begingroup$
    How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
    $endgroup$
    – NoChance
    52 mins ago






  • 2




    $begingroup$
    It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
    $endgroup$
    – Stefan Lafon
    47 mins ago










  • $begingroup$
    Thanks for responding.Got it.
    $endgroup$
    – NoChance
    37 mins ago





















3












$begingroup$

When $k=0$ the term is positive. When $k=1$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=0$ TERM.



When $k=2$ the term is positive. When $k=3$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=2$ TERM.



.....



Get it?






share|cite|improve this answer









$endgroup$













  • $begingroup$
    sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
    $endgroup$
    – Hitendra Kumar
    1 hour ago



















1












$begingroup$

We can specifically prove that
$$
boxed{sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}=left((2n+1)binom{2n}nright)^{-1}}
$$

To see this, shuffle a deck of $2n+1$ cards numbered $1$ to $n$. Consider this:




What is the probability that card number $n+1$ is in the middle of the deck, and cards numbered $1$ to $n$ are below it?




The easy answer is the fraction on the RHS. The LHS can be interpreted as an application of the principle of inclusion exclusion. Namely, we first take the probability that card number of $n+1$ is the lowest of the cards numbered $n+1,n+2,dots,2n+1$. This is the $k=0$ term. From this, for each $i=1,dots,n$, we subtract the probability that $n+1$ is the lowest of the list $i,n+1,n+2,dots,2n+1$. This is a bad event, because we want $n+1$ to be above $i$. Doing this for each $i$, we subtract $binom{n}1frac{1}{n+2}$. We then must add back in the doubly subtracted events, subtract the triple intersections, and so on, eventually ending with the alternating sum on the left.






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%2f3157740%2fshowing-a-sum-is-positive%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









    6












    $begingroup$

    Direct proof:
    $$begin{split}
    sum_{k=0}^{n} {nchoose k}frac{{(-1)}^k}{n+k+1} &=sum_{k=0}^{n} {nchoose k}(-1)^kint_0^1 x^{n+k}dx\
    &=int_0^1x^nsum_{k=0}^{n} {nchoose k}(-x)^kdx\
    &=int_0^1x^n(1-x)^ndx
    end{split}$$

    The latter is clearly a positive number.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Thanks,I got it.
      $endgroup$
      – Hitendra Kumar
      54 mins ago










    • $begingroup$
      You're welcome!
      $endgroup$
      – Stefan Lafon
      53 mins ago










    • $begingroup$
      How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
      $endgroup$
      – NoChance
      52 mins ago






    • 2




      $begingroup$
      It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
      $endgroup$
      – Stefan Lafon
      47 mins ago










    • $begingroup$
      Thanks for responding.Got it.
      $endgroup$
      – NoChance
      37 mins ago


















    6












    $begingroup$

    Direct proof:
    $$begin{split}
    sum_{k=0}^{n} {nchoose k}frac{{(-1)}^k}{n+k+1} &=sum_{k=0}^{n} {nchoose k}(-1)^kint_0^1 x^{n+k}dx\
    &=int_0^1x^nsum_{k=0}^{n} {nchoose k}(-x)^kdx\
    &=int_0^1x^n(1-x)^ndx
    end{split}$$

    The latter is clearly a positive number.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Thanks,I got it.
      $endgroup$
      – Hitendra Kumar
      54 mins ago










    • $begingroup$
      You're welcome!
      $endgroup$
      – Stefan Lafon
      53 mins ago










    • $begingroup$
      How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
      $endgroup$
      – NoChance
      52 mins ago






    • 2




      $begingroup$
      It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
      $endgroup$
      – Stefan Lafon
      47 mins ago










    • $begingroup$
      Thanks for responding.Got it.
      $endgroup$
      – NoChance
      37 mins ago
















    6












    6








    6





    $begingroup$

    Direct proof:
    $$begin{split}
    sum_{k=0}^{n} {nchoose k}frac{{(-1)}^k}{n+k+1} &=sum_{k=0}^{n} {nchoose k}(-1)^kint_0^1 x^{n+k}dx\
    &=int_0^1x^nsum_{k=0}^{n} {nchoose k}(-x)^kdx\
    &=int_0^1x^n(1-x)^ndx
    end{split}$$

    The latter is clearly a positive number.






    share|cite|improve this answer









    $endgroup$



    Direct proof:
    $$begin{split}
    sum_{k=0}^{n} {nchoose k}frac{{(-1)}^k}{n+k+1} &=sum_{k=0}^{n} {nchoose k}(-1)^kint_0^1 x^{n+k}dx\
    &=int_0^1x^nsum_{k=0}^{n} {nchoose k}(-x)^kdx\
    &=int_0^1x^n(1-x)^ndx
    end{split}$$

    The latter is clearly a positive number.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 1 hour ago









    Stefan LafonStefan Lafon

    3,02019




    3,02019












    • $begingroup$
      Thanks,I got it.
      $endgroup$
      – Hitendra Kumar
      54 mins ago










    • $begingroup$
      You're welcome!
      $endgroup$
      – Stefan Lafon
      53 mins ago










    • $begingroup$
      How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
      $endgroup$
      – NoChance
      52 mins ago






    • 2




      $begingroup$
      It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
      $endgroup$
      – Stefan Lafon
      47 mins ago










    • $begingroup$
      Thanks for responding.Got it.
      $endgroup$
      – NoChance
      37 mins ago




















    • $begingroup$
      Thanks,I got it.
      $endgroup$
      – Hitendra Kumar
      54 mins ago










    • $begingroup$
      You're welcome!
      $endgroup$
      – Stefan Lafon
      53 mins ago










    • $begingroup$
      How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
      $endgroup$
      – NoChance
      52 mins ago






    • 2




      $begingroup$
      It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
      $endgroup$
      – Stefan Lafon
      47 mins ago










    • $begingroup$
      Thanks for responding.Got it.
      $endgroup$
      – NoChance
      37 mins ago


















    $begingroup$
    Thanks,I got it.
    $endgroup$
    – Hitendra Kumar
    54 mins ago




    $begingroup$
    Thanks,I got it.
    $endgroup$
    – Hitendra Kumar
    54 mins ago












    $begingroup$
    You're welcome!
    $endgroup$
    – Stefan Lafon
    53 mins ago




    $begingroup$
    You're welcome!
    $endgroup$
    – Stefan Lafon
    53 mins ago












    $begingroup$
    How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
    $endgroup$
    – NoChance
    52 mins ago




    $begingroup$
    How did you conclude that the sum is a limited integral? Do you know where can I find more on this on-line? Thanks.
    $endgroup$
    – NoChance
    52 mins ago




    2




    2




    $begingroup$
    It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
    $endgroup$
    – Stefan Lafon
    47 mins ago




    $begingroup$
    It's a "known trick" that $frac 1 {p+1} = int_0^1x^pdx$. Then I noticed that the sum looked almost like that of the binomial theorem.
    $endgroup$
    – Stefan Lafon
    47 mins ago












    $begingroup$
    Thanks for responding.Got it.
    $endgroup$
    – NoChance
    37 mins ago






    $begingroup$
    Thanks for responding.Got it.
    $endgroup$
    – NoChance
    37 mins ago













    3












    $begingroup$

    When $k=0$ the term is positive. When $k=1$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=0$ TERM.



    When $k=2$ the term is positive. When $k=3$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=2$ TERM.



    .....



    Get it?






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
      $endgroup$
      – Hitendra Kumar
      1 hour ago
















    3












    $begingroup$

    When $k=0$ the term is positive. When $k=1$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=0$ TERM.



    When $k=2$ the term is positive. When $k=3$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=2$ TERM.



    .....



    Get it?






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
      $endgroup$
      – Hitendra Kumar
      1 hour ago














    3












    3








    3





    $begingroup$

    When $k=0$ the term is positive. When $k=1$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=0$ TERM.



    When $k=2$ the term is positive. When $k=3$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=2$ TERM.



    .....



    Get it?






    share|cite|improve this answer









    $endgroup$



    When $k=0$ the term is positive. When $k=1$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=0$ TERM.



    When $k=2$ the term is positive. When $k=3$ the term is negative BUT SMALLER (in absolute value) THAN THE $k=2$ TERM.



    .....



    Get it?







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 1 hour ago









    David G. StorkDavid G. Stork

    11.1k41432




    11.1k41432












    • $begingroup$
      sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
      $endgroup$
      – Hitendra Kumar
      1 hour ago


















    • $begingroup$
      sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
      $endgroup$
      – Hitendra Kumar
      1 hour ago
















    $begingroup$
    sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
    $endgroup$
    – Hitendra Kumar
    1 hour ago




    $begingroup$
    sorry, I did not write question correctly. Now, I have corrected that. By looking at your answer I realized my mistake. Thanks
    $endgroup$
    – Hitendra Kumar
    1 hour ago











    1












    $begingroup$

    We can specifically prove that
    $$
    boxed{sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}=left((2n+1)binom{2n}nright)^{-1}}
    $$

    To see this, shuffle a deck of $2n+1$ cards numbered $1$ to $n$. Consider this:




    What is the probability that card number $n+1$ is in the middle of the deck, and cards numbered $1$ to $n$ are below it?




    The easy answer is the fraction on the RHS. The LHS can be interpreted as an application of the principle of inclusion exclusion. Namely, we first take the probability that card number of $n+1$ is the lowest of the cards numbered $n+1,n+2,dots,2n+1$. This is the $k=0$ term. From this, for each $i=1,dots,n$, we subtract the probability that $n+1$ is the lowest of the list $i,n+1,n+2,dots,2n+1$. This is a bad event, because we want $n+1$ to be above $i$. Doing this for each $i$, we subtract $binom{n}1frac{1}{n+2}$. We then must add back in the doubly subtracted events, subtract the triple intersections, and so on, eventually ending with the alternating sum on the left.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      We can specifically prove that
      $$
      boxed{sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}=left((2n+1)binom{2n}nright)^{-1}}
      $$

      To see this, shuffle a deck of $2n+1$ cards numbered $1$ to $n$. Consider this:




      What is the probability that card number $n+1$ is in the middle of the deck, and cards numbered $1$ to $n$ are below it?




      The easy answer is the fraction on the RHS. The LHS can be interpreted as an application of the principle of inclusion exclusion. Namely, we first take the probability that card number of $n+1$ is the lowest of the cards numbered $n+1,n+2,dots,2n+1$. This is the $k=0$ term. From this, for each $i=1,dots,n$, we subtract the probability that $n+1$ is the lowest of the list $i,n+1,n+2,dots,2n+1$. This is a bad event, because we want $n+1$ to be above $i$. Doing this for each $i$, we subtract $binom{n}1frac{1}{n+2}$. We then must add back in the doubly subtracted events, subtract the triple intersections, and so on, eventually ending with the alternating sum on the left.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        We can specifically prove that
        $$
        boxed{sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}=left((2n+1)binom{2n}nright)^{-1}}
        $$

        To see this, shuffle a deck of $2n+1$ cards numbered $1$ to $n$. Consider this:




        What is the probability that card number $n+1$ is in the middle of the deck, and cards numbered $1$ to $n$ are below it?




        The easy answer is the fraction on the RHS. The LHS can be interpreted as an application of the principle of inclusion exclusion. Namely, we first take the probability that card number of $n+1$ is the lowest of the cards numbered $n+1,n+2,dots,2n+1$. This is the $k=0$ term. From this, for each $i=1,dots,n$, we subtract the probability that $n+1$ is the lowest of the list $i,n+1,n+2,dots,2n+1$. This is a bad event, because we want $n+1$ to be above $i$. Doing this for each $i$, we subtract $binom{n}1frac{1}{n+2}$. We then must add back in the doubly subtracted events, subtract the triple intersections, and so on, eventually ending with the alternating sum on the left.






        share|cite|improve this answer









        $endgroup$



        We can specifically prove that
        $$
        boxed{sum_{k=0}^{n} {n choose k}frac{{(-1)}^k}{n+k+1}=left((2n+1)binom{2n}nright)^{-1}}
        $$

        To see this, shuffle a deck of $2n+1$ cards numbered $1$ to $n$. Consider this:




        What is the probability that card number $n+1$ is in the middle of the deck, and cards numbered $1$ to $n$ are below it?




        The easy answer is the fraction on the RHS. The LHS can be interpreted as an application of the principle of inclusion exclusion. Namely, we first take the probability that card number of $n+1$ is the lowest of the cards numbered $n+1,n+2,dots,2n+1$. This is the $k=0$ term. From this, for each $i=1,dots,n$, we subtract the probability that $n+1$ is the lowest of the list $i,n+1,n+2,dots,2n+1$. This is a bad event, because we want $n+1$ to be above $i$. Doing this for each $i$, we subtract $binom{n}1frac{1}{n+2}$. We then must add back in the doubly subtracted events, subtract the triple intersections, and so on, eventually ending with the alternating sum on the left.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 18 mins ago









        Mike EarnestMike Earnest

        25.5k22151




        25.5k22151






























            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%2f3157740%2fshowing-a-sum-is-positive%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

            SQL Server 17 - Attemping to backup to remote NAS but Access is denied

            Always On Availability groups resolving state after failover - Remote harden of transaction...

            Restoring from pg_dump with foreign key constraints