How to derive this relation that I found intuitively?How do I show this property of the binomial coefficient?Solving a recurrence for a probability?Show that the probability that a person actually has this life threatening disease, if they test positive to the blood test is actually $0.1248905$.Number of random guesses needed to guess a number in a given setLimit of function which is product of $x^x $ primitivesA multiplication algorithm found in a book by Paul Erdős: how does it work?Trying to identify a function represented by python codeShow that this characteristic function is positive definite for $alpha in (0,2]$How to prove this formula?Simple Urn problem doesn't fit with experiment

Does a non-singular matrix have a large minor with disjoint rows and columns and full rank?

Search string in file, replace it, and write back to file

Why are there five extra turns in tournament Magic?

What formula to chose a nonlinear formula?

Can EU citizens work on Iceland?

Would a "ring language" be possible?

Was the dragon prowess intentionally downplayed in S08E04?

How does the Heat Metal spell interact with a follow-up Frostbite spell?

What is the conversion rate for Sorcery Points to Spell Points?

Why would you put your input amplifier in front of your filtering for and ECG signal?

Is Big Ben visible from the British museum?

Polynomial division: Is this trick obvious?

Would life always name the light from their sun "white"

Canadian citizen who is presently in litigation with a US-based company

Cannot remove door knob -- totally inaccessible!

Cycling to work - 30mile return

How can I safely determine the output voltage and current of a transformer?

Enqueue Queueable class multiple times

How could it be that 80% of townspeople were farmers during the Edo period in Japan?

When did Britain learn about American independence?

refer string as a field API name

Square spiral in Mathematica

Is it standard for US-based universities to consider the ethnicity of an applicant during PhD admissions?

Is it possible to pass a pointer to an operator as an argument like a pointer to a function?



How to derive this relation that I found intuitively?


How do I show this property of the binomial coefficient?Solving a recurrence for a probability?Show that the probability that a person actually has this life threatening disease, if they test positive to the blood test is actually $0.1248905$.Number of random guesses needed to guess a number in a given setLimit of function which is product of $x^x $ primitivesA multiplication algorithm found in a book by Paul Erdős: how does it work?Trying to identify a function represented by python codeShow that this characteristic function is positive definite for $alpha in (0,2]$How to prove this formula?Simple Urn problem doesn't fit with experiment













1












$begingroup$


By intuition, I found that the result of evaluating the following expression



$$ frac1M fracsum_N=0^M fracM!(M-N)!N! N e^cNsum_N=0^M fracM!(M-N)!N! e^cN $$



does not depend on the positive value of the integer $M$, i.e. it only depends on $cinmathbb R$.



I corroborated this with the help of a simple Python script. How to show analytically that this is true?










share|cite|improve this question











$endgroup$
















    1












    $begingroup$


    By intuition, I found that the result of evaluating the following expression



    $$ frac1M fracsum_N=0^M fracM!(M-N)!N! N e^cNsum_N=0^M fracM!(M-N)!N! e^cN $$



    does not depend on the positive value of the integer $M$, i.e. it only depends on $cinmathbb R$.



    I corroborated this with the help of a simple Python script. How to show analytically that this is true?










    share|cite|improve this question











    $endgroup$














      1












      1








      1





      $begingroup$


      By intuition, I found that the result of evaluating the following expression



      $$ frac1M fracsum_N=0^M fracM!(M-N)!N! N e^cNsum_N=0^M fracM!(M-N)!N! e^cN $$



      does not depend on the positive value of the integer $M$, i.e. it only depends on $cinmathbb R$.



      I corroborated this with the help of a simple Python script. How to show analytically that this is true?










      share|cite|improve this question











      $endgroup$




      By intuition, I found that the result of evaluating the following expression



      $$ frac1M fracsum_N=0^M fracM!(M-N)!N! N e^cNsum_N=0^M fracM!(M-N)!N! e^cN $$



      does not depend on the positive value of the integer $M$, i.e. it only depends on $cinmathbb R$.



      I corroborated this with the help of a simple Python script. How to show analytically that this is true?







      probability problem-solving






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 1 hour ago









      Shalop

      9,63811130




      9,63811130










      asked 2 hours ago









      user1420303user1420303

      1086




      1086




















          3 Answers
          3






          active

          oldest

          votes


















          4












          $begingroup$

          By the Binomial Theorem, the denominator is $(e^c+1)^M$. The numerator can also be manipulated to apply the Binomial Theorem:
          beginalign*
          sum_N=0^M fracM!(M-N)!N! Ne^cN &= sum_N=1^M fracMcdot (M-1)!((M-1)-(N-1))!(N-1)!e^c(N-1)cdot e^c\
          &=Me^c sum_N=1^M binomM-1N-1e^c(N-1)\
          &=Me^c sum_K=0^M-1 binomM-1Ke^cK\
          &=Me^c (e^c+1)^M-1.
          endalign*



          So the whole expression simplifies to:
          $$frace^ce^c+1.$$






          share|cite|improve this answer











          $endgroup$




















            2












            $begingroup$

            By the binomial theorem we have
            begineqnarray*
            sum_N=0^M binomMN x^N =(1+x)^M.
            endeqnarray*

            Differentiate this and we have
            begineqnarray*
            fracddx sum_N=0^M binomMN x^N =sum_N=0^M binomMNN x^N-1 =M (1+x)^M-1.
            endeqnarray*

            So your expression becomes
            begineqnarray*
            frac1M frac sum_N=0^M N binomMN x^N sum_N=0^M binomMN x^N = fracx(1+x)
            endeqnarray*

            and all the $M$ dependency has cancelled.






            share|cite|improve this answer









            $endgroup$




















              0












              $begingroup$

              Let $phi(c) = Bbb E[e^cZ]$ denote the moment generating function of a standard bernoilli(1/2) random variable $Z$ taking values in $0,1$. Since the sum of $M$ independent copies gives the binomial distribution, the quantity in question is simply $$frac1M fracpartial_c (phi(c)^M)phi(c)^M = frac1M fracMphi(c)^M-1phi'(c)phi(c)^M = fracphi'(c)phi(c),$$ which only depends on $c$.



              Note: I (perhaps unnecessarily) added the probability tag to this question.






              share|cite|improve this answer









              $endgroup$













                Your Answer








                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%2f3227537%2fhow-to-derive-this-relation-that-i-found-intuitively%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









                4












                $begingroup$

                By the Binomial Theorem, the denominator is $(e^c+1)^M$. The numerator can also be manipulated to apply the Binomial Theorem:
                beginalign*
                sum_N=0^M fracM!(M-N)!N! Ne^cN &= sum_N=1^M fracMcdot (M-1)!((M-1)-(N-1))!(N-1)!e^c(N-1)cdot e^c\
                &=Me^c sum_N=1^M binomM-1N-1e^c(N-1)\
                &=Me^c sum_K=0^M-1 binomM-1Ke^cK\
                &=Me^c (e^c+1)^M-1.
                endalign*



                So the whole expression simplifies to:
                $$frace^ce^c+1.$$






                share|cite|improve this answer











                $endgroup$

















                  4












                  $begingroup$

                  By the Binomial Theorem, the denominator is $(e^c+1)^M$. The numerator can also be manipulated to apply the Binomial Theorem:
                  beginalign*
                  sum_N=0^M fracM!(M-N)!N! Ne^cN &= sum_N=1^M fracMcdot (M-1)!((M-1)-(N-1))!(N-1)!e^c(N-1)cdot e^c\
                  &=Me^c sum_N=1^M binomM-1N-1e^c(N-1)\
                  &=Me^c sum_K=0^M-1 binomM-1Ke^cK\
                  &=Me^c (e^c+1)^M-1.
                  endalign*



                  So the whole expression simplifies to:
                  $$frace^ce^c+1.$$






                  share|cite|improve this answer











                  $endgroup$















                    4












                    4








                    4





                    $begingroup$

                    By the Binomial Theorem, the denominator is $(e^c+1)^M$. The numerator can also be manipulated to apply the Binomial Theorem:
                    beginalign*
                    sum_N=0^M fracM!(M-N)!N! Ne^cN &= sum_N=1^M fracMcdot (M-1)!((M-1)-(N-1))!(N-1)!e^c(N-1)cdot e^c\
                    &=Me^c sum_N=1^M binomM-1N-1e^c(N-1)\
                    &=Me^c sum_K=0^M-1 binomM-1Ke^cK\
                    &=Me^c (e^c+1)^M-1.
                    endalign*



                    So the whole expression simplifies to:
                    $$frace^ce^c+1.$$






                    share|cite|improve this answer











                    $endgroup$



                    By the Binomial Theorem, the denominator is $(e^c+1)^M$. The numerator can also be manipulated to apply the Binomial Theorem:
                    beginalign*
                    sum_N=0^M fracM!(M-N)!N! Ne^cN &= sum_N=1^M fracMcdot (M-1)!((M-1)-(N-1))!(N-1)!e^c(N-1)cdot e^c\
                    &=Me^c sum_N=1^M binomM-1N-1e^c(N-1)\
                    &=Me^c sum_K=0^M-1 binomM-1Ke^cK\
                    &=Me^c (e^c+1)^M-1.
                    endalign*



                    So the whole expression simplifies to:
                    $$frace^ce^c+1.$$







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited 2 hours ago









                    Vincent

                    3,33311231




                    3,33311231










                    answered 2 hours ago









                    kccukccu

                    13.1k11331




                    13.1k11331





















                        2












                        $begingroup$

                        By the binomial theorem we have
                        begineqnarray*
                        sum_N=0^M binomMN x^N =(1+x)^M.
                        endeqnarray*

                        Differentiate this and we have
                        begineqnarray*
                        fracddx sum_N=0^M binomMN x^N =sum_N=0^M binomMNN x^N-1 =M (1+x)^M-1.
                        endeqnarray*

                        So your expression becomes
                        begineqnarray*
                        frac1M frac sum_N=0^M N binomMN x^N sum_N=0^M binomMN x^N = fracx(1+x)
                        endeqnarray*

                        and all the $M$ dependency has cancelled.






                        share|cite|improve this answer









                        $endgroup$

















                          2












                          $begingroup$

                          By the binomial theorem we have
                          begineqnarray*
                          sum_N=0^M binomMN x^N =(1+x)^M.
                          endeqnarray*

                          Differentiate this and we have
                          begineqnarray*
                          fracddx sum_N=0^M binomMN x^N =sum_N=0^M binomMNN x^N-1 =M (1+x)^M-1.
                          endeqnarray*

                          So your expression becomes
                          begineqnarray*
                          frac1M frac sum_N=0^M N binomMN x^N sum_N=0^M binomMN x^N = fracx(1+x)
                          endeqnarray*

                          and all the $M$ dependency has cancelled.






                          share|cite|improve this answer









                          $endgroup$















                            2












                            2








                            2





                            $begingroup$

                            By the binomial theorem we have
                            begineqnarray*
                            sum_N=0^M binomMN x^N =(1+x)^M.
                            endeqnarray*

                            Differentiate this and we have
                            begineqnarray*
                            fracddx sum_N=0^M binomMN x^N =sum_N=0^M binomMNN x^N-1 =M (1+x)^M-1.
                            endeqnarray*

                            So your expression becomes
                            begineqnarray*
                            frac1M frac sum_N=0^M N binomMN x^N sum_N=0^M binomMN x^N = fracx(1+x)
                            endeqnarray*

                            and all the $M$ dependency has cancelled.






                            share|cite|improve this answer









                            $endgroup$



                            By the binomial theorem we have
                            begineqnarray*
                            sum_N=0^M binomMN x^N =(1+x)^M.
                            endeqnarray*

                            Differentiate this and we have
                            begineqnarray*
                            fracddx sum_N=0^M binomMN x^N =sum_N=0^M binomMNN x^N-1 =M (1+x)^M-1.
                            endeqnarray*

                            So your expression becomes
                            begineqnarray*
                            frac1M frac sum_N=0^M N binomMN x^N sum_N=0^M binomMN x^N = fracx(1+x)
                            endeqnarray*

                            and all the $M$ dependency has cancelled.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered 2 hours ago









                            Donald SplutterwitDonald Splutterwit

                            23.5k21448




                            23.5k21448





















                                0












                                $begingroup$

                                Let $phi(c) = Bbb E[e^cZ]$ denote the moment generating function of a standard bernoilli(1/2) random variable $Z$ taking values in $0,1$. Since the sum of $M$ independent copies gives the binomial distribution, the quantity in question is simply $$frac1M fracpartial_c (phi(c)^M)phi(c)^M = frac1M fracMphi(c)^M-1phi'(c)phi(c)^M = fracphi'(c)phi(c),$$ which only depends on $c$.



                                Note: I (perhaps unnecessarily) added the probability tag to this question.






                                share|cite|improve this answer









                                $endgroup$

















                                  0












                                  $begingroup$

                                  Let $phi(c) = Bbb E[e^cZ]$ denote the moment generating function of a standard bernoilli(1/2) random variable $Z$ taking values in $0,1$. Since the sum of $M$ independent copies gives the binomial distribution, the quantity in question is simply $$frac1M fracpartial_c (phi(c)^M)phi(c)^M = frac1M fracMphi(c)^M-1phi'(c)phi(c)^M = fracphi'(c)phi(c),$$ which only depends on $c$.



                                  Note: I (perhaps unnecessarily) added the probability tag to this question.






                                  share|cite|improve this answer









                                  $endgroup$















                                    0












                                    0








                                    0





                                    $begingroup$

                                    Let $phi(c) = Bbb E[e^cZ]$ denote the moment generating function of a standard bernoilli(1/2) random variable $Z$ taking values in $0,1$. Since the sum of $M$ independent copies gives the binomial distribution, the quantity in question is simply $$frac1M fracpartial_c (phi(c)^M)phi(c)^M = frac1M fracMphi(c)^M-1phi'(c)phi(c)^M = fracphi'(c)phi(c),$$ which only depends on $c$.



                                    Note: I (perhaps unnecessarily) added the probability tag to this question.






                                    share|cite|improve this answer









                                    $endgroup$



                                    Let $phi(c) = Bbb E[e^cZ]$ denote the moment generating function of a standard bernoilli(1/2) random variable $Z$ taking values in $0,1$. Since the sum of $M$ independent copies gives the binomial distribution, the quantity in question is simply $$frac1M fracpartial_c (phi(c)^M)phi(c)^M = frac1M fracMphi(c)^M-1phi'(c)phi(c)^M = fracphi'(c)phi(c),$$ which only depends on $c$.



                                    Note: I (perhaps unnecessarily) added the probability tag to this question.







                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered 1 hour ago









                                    ShalopShalop

                                    9,63811130




                                    9,63811130



























                                        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%2f3227537%2fhow-to-derive-this-relation-that-i-found-intuitively%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

                                        Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

                                        Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

                                        François Viète Contents Biography Work and thought Bibliography See also Notes Further reading External links Navigation menup. 21Google Bookspp. 75–77Google BooksDe thou (from University of Saint Andrews)ArchivedGoogle BooksGoogle BooksGoogle BooksGoogle booksGoogle Bookscc-parthenay.frL'histoire universelle (fr)Universal History (en)ArchivedAdsabs.harvard.eduPagesperso-orange.frArchive.orgChikara Sasaki. Descartes' mathematical thought p.259Google BooksGoogle BooksGoogle Bookspp. 152 and onwardGoogle BooksGoogle BooksScribd.comGoogle Books1257-7979Google BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGallica.bnf.frGoogle BooksGoogle Books"François Viète"Francois Viète: Father of Modern Algebraic NotationThe Lawyer and the GamblerAbout TarporleySite de Jean-Paul GuichardL'algèbre nouvelle"About the Harmonicon"cb120511976(data)1188044800000 0001 0913 5903n82164680ola2013766880073431702w6vt1sb70287374827140948071409480