Consider the identity kC(n,k) = nC(n-1,k-1) where 1 <= k <= n, provy the identity by induction on n, using Pascal's identity Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Uniqueness Proof, Discrete Math HelpEvaluate C(21,2) using Pascal's Identity??riddles and compound propositionInduction proof using Pascal's Identity: $binomn0+binomni+…+binomnn=2^n$Defining a function as a compound propositionWhat is the probability that $2$ of $4$ captured elk have been tagged?Pascal's triangle identityIs this relation an equivalence relation? $xRy :Leftrightarrow x cdot y$ is a square numberIntuitive understanding of Pascal's IdentityConsider the relation $U$ on the set $mathbbZ^*$ is defined as $aUb iff a|b$

Is high blood pressure ever a symptom attributable solely to dehydration?

How do I mention the quality of my school without bragging

How do I determine if the rules for a long jump or high jump are applicable for Monks?

Why don't the Weasley twins use magic outside of school if the Trace can only find the location of spells cast?

What's the purpose of writing one's academic bio in 3rd person?

Bonus calculation: Am I making a mountain out of a molehill?

Sorting numerically

Why is black pepper both grey and black?

How much radiation do nuclear physics experiments expose researchers to nowadays?

Java 8 stream max() function argument type Comparator vs Comparable

Are my PIs rude or am I just being too sensitive?

List *all* the tuples!

Is there a "higher Segal conjecture"?

Is the address of a local variable a constexpr?

Should I call the interviewer directly, if HR aren't responding?

Is above average number of years spent on PhD considered a red flag in future academia or industry positions?

Storing hydrofluoric acid before the invention of plastics

If a contract sometimes uses the wrong name, is it still valid?

How widely used is the term Treppenwitz? Is it something that most Germans know?

Can a non-EU citizen traveling with me come with me through the EU passport line?

Withdrew £2800, but only £2000 shows as withdrawn on online banking; what are my obligations?

What makes black pepper strong or mild?

If Jon Snow became King of the Seven Kingdoms what would his regnal number be?

Why does Python start at index 1 when iterating an array backwards?



Consider the identity kC(n,k) = nC(n-1,k-1) where 1



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Uniqueness Proof, Discrete Math HelpEvaluate C(21,2) using Pascal's Identity??riddles and compound propositionInduction proof using Pascal's Identity: $binomn0+binomni+…+binomnn=2^n$Defining a function as a compound propositionWhat is the probability that $2$ of $4$ captured elk have been tagged?Pascal's triangle identityIs this relation an equivalence relation? $xRy :Leftrightarrow x cdot y$ is a square numberIntuitive understanding of Pascal's IdentityConsider the relation $U$ on the set $mathbbZ^*$ is defined as $aUb iff a|b$










1












$begingroup$


I've tried looking everywhere to get a clear understanding of the answer, however I am at a loss. The book says if n=1 then k=1. Assume the identity is true for n-1 we will shot it for n. If k=n, then both sides equal n. Otherwise k ≤ n-1.



kC(n,k) = k(C(n-1,k) + C(n-1,k-1))



=kC(n-1,k) + (k-1)C(n-1,k-1)+C(n-1,k-1)



=(n-1)C(n-2,k-1)+(n-1)C(n-2,k-2)+C(n-1,k-1)



=(n-1)[C(n-2,k-1)+C(n-2,k-2)]+C(n-1,k-1)



(this isn't complete because I get how they get nC(n-1,k-1))



Anyway, I understand the first two rows. However for the last two I don't know where the (n-1), (n-2),(k-2) parts came from.



Sorry if I'm wrong about this part, but is the reason for replacing k with (n-1) because k = n-1?










share|cite|improve this question









$endgroup$
















    1












    $begingroup$


    I've tried looking everywhere to get a clear understanding of the answer, however I am at a loss. The book says if n=1 then k=1. Assume the identity is true for n-1 we will shot it for n. If k=n, then both sides equal n. Otherwise k ≤ n-1.



    kC(n,k) = k(C(n-1,k) + C(n-1,k-1))



    =kC(n-1,k) + (k-1)C(n-1,k-1)+C(n-1,k-1)



    =(n-1)C(n-2,k-1)+(n-1)C(n-2,k-2)+C(n-1,k-1)



    =(n-1)[C(n-2,k-1)+C(n-2,k-2)]+C(n-1,k-1)



    (this isn't complete because I get how they get nC(n-1,k-1))



    Anyway, I understand the first two rows. However for the last two I don't know where the (n-1), (n-2),(k-2) parts came from.



    Sorry if I'm wrong about this part, but is the reason for replacing k with (n-1) because k = n-1?










    share|cite|improve this question









    $endgroup$














      1












      1








      1





      $begingroup$


      I've tried looking everywhere to get a clear understanding of the answer, however I am at a loss. The book says if n=1 then k=1. Assume the identity is true for n-1 we will shot it for n. If k=n, then both sides equal n. Otherwise k ≤ n-1.



      kC(n,k) = k(C(n-1,k) + C(n-1,k-1))



      =kC(n-1,k) + (k-1)C(n-1,k-1)+C(n-1,k-1)



      =(n-1)C(n-2,k-1)+(n-1)C(n-2,k-2)+C(n-1,k-1)



      =(n-1)[C(n-2,k-1)+C(n-2,k-2)]+C(n-1,k-1)



      (this isn't complete because I get how they get nC(n-1,k-1))



      Anyway, I understand the first two rows. However for the last two I don't know where the (n-1), (n-2),(k-2) parts came from.



      Sorry if I'm wrong about this part, but is the reason for replacing k with (n-1) because k = n-1?










      share|cite|improve this question









      $endgroup$




      I've tried looking everywhere to get a clear understanding of the answer, however I am at a loss. The book says if n=1 then k=1. Assume the identity is true for n-1 we will shot it for n. If k=n, then both sides equal n. Otherwise k ≤ n-1.



      kC(n,k) = k(C(n-1,k) + C(n-1,k-1))



      =kC(n-1,k) + (k-1)C(n-1,k-1)+C(n-1,k-1)



      =(n-1)C(n-2,k-1)+(n-1)C(n-2,k-2)+C(n-1,k-1)



      =(n-1)[C(n-2,k-1)+C(n-2,k-2)]+C(n-1,k-1)



      (this isn't complete because I get how they get nC(n-1,k-1))



      Anyway, I understand the first two rows. However for the last two I don't know where the (n-1), (n-2),(k-2) parts came from.



      Sorry if I'm wrong about this part, but is the reason for replacing k with (n-1) because k = n-1?







      discrete-mathematics






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 31 at 23:56









      ChrisD93ChrisD93

      263




      263




















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          (I know you asked for induction, but I can never resist a combinatorial proof.)



          Suppose you have $n$ people and want to form a committee of $k$ people with president. We can do this in two different ways.



          One way is to first form a committee without a president, which can be done in $C(n,k)$ ways. Out of the chosen $k$ people, select one of them to be the president. From this perspective, there are $k C(n,k)$ ways to form the committee.



          Another way is to first select a president out of all $n$ people. Now that you have a president, choose an additional $k-1$ people to serve on the committee out of the remaining $n-1$ people, which can be done in $C(n-1,k-1)$ ways. From this perspective, there are $nC(n-1,k-1)$ ways to form the committee.



          Since the two expressions enumerate the same object, we conclude that $kC(n,k) = nC(n-1,k-1)$.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
            $endgroup$
            – ChrisD93
            Apr 1 at 0:47


















          0












          $begingroup$

          begineqnarray*
          kbinomnk= k binomn-1k-1+k binomn-1k.
          endeqnarray*

          The second term on the right can be rewritten (using the symmetry of binomial coefficients)
          begineqnarray*
          k binomn-1k= (n-1) binomn-2k-1 =(n-1) binomn-2n-k-1=(n-k) binomn-1n-k=(n-k) binomn-1k-1.
          endeqnarray*






          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%2f3170036%2fconsider-the-identity-kcn-k-ncn-1-k-1-where-1-k-n-provy-the-identit%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            1












            $begingroup$

            (I know you asked for induction, but I can never resist a combinatorial proof.)



            Suppose you have $n$ people and want to form a committee of $k$ people with president. We can do this in two different ways.



            One way is to first form a committee without a president, which can be done in $C(n,k)$ ways. Out of the chosen $k$ people, select one of them to be the president. From this perspective, there are $k C(n,k)$ ways to form the committee.



            Another way is to first select a president out of all $n$ people. Now that you have a president, choose an additional $k-1$ people to serve on the committee out of the remaining $n-1$ people, which can be done in $C(n-1,k-1)$ ways. From this perspective, there are $nC(n-1,k-1)$ ways to form the committee.



            Since the two expressions enumerate the same object, we conclude that $kC(n,k) = nC(n-1,k-1)$.






            share|cite|improve this answer









            $endgroup$












            • $begingroup$
              I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
              $endgroup$
              – ChrisD93
              Apr 1 at 0:47















            1












            $begingroup$

            (I know you asked for induction, but I can never resist a combinatorial proof.)



            Suppose you have $n$ people and want to form a committee of $k$ people with president. We can do this in two different ways.



            One way is to first form a committee without a president, which can be done in $C(n,k)$ ways. Out of the chosen $k$ people, select one of them to be the president. From this perspective, there are $k C(n,k)$ ways to form the committee.



            Another way is to first select a president out of all $n$ people. Now that you have a president, choose an additional $k-1$ people to serve on the committee out of the remaining $n-1$ people, which can be done in $C(n-1,k-1)$ ways. From this perspective, there are $nC(n-1,k-1)$ ways to form the committee.



            Since the two expressions enumerate the same object, we conclude that $kC(n,k) = nC(n-1,k-1)$.






            share|cite|improve this answer









            $endgroup$












            • $begingroup$
              I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
              $endgroup$
              – ChrisD93
              Apr 1 at 0:47













            1












            1








            1





            $begingroup$

            (I know you asked for induction, but I can never resist a combinatorial proof.)



            Suppose you have $n$ people and want to form a committee of $k$ people with president. We can do this in two different ways.



            One way is to first form a committee without a president, which can be done in $C(n,k)$ ways. Out of the chosen $k$ people, select one of them to be the president. From this perspective, there are $k C(n,k)$ ways to form the committee.



            Another way is to first select a president out of all $n$ people. Now that you have a president, choose an additional $k-1$ people to serve on the committee out of the remaining $n-1$ people, which can be done in $C(n-1,k-1)$ ways. From this perspective, there are $nC(n-1,k-1)$ ways to form the committee.



            Since the two expressions enumerate the same object, we conclude that $kC(n,k) = nC(n-1,k-1)$.






            share|cite|improve this answer









            $endgroup$



            (I know you asked for induction, but I can never resist a combinatorial proof.)



            Suppose you have $n$ people and want to form a committee of $k$ people with president. We can do this in two different ways.



            One way is to first form a committee without a president, which can be done in $C(n,k)$ ways. Out of the chosen $k$ people, select one of them to be the president. From this perspective, there are $k C(n,k)$ ways to form the committee.



            Another way is to first select a president out of all $n$ people. Now that you have a president, choose an additional $k-1$ people to serve on the committee out of the remaining $n-1$ people, which can be done in $C(n-1,k-1)$ ways. From this perspective, there are $nC(n-1,k-1)$ ways to form the committee.



            Since the two expressions enumerate the same object, we conclude that $kC(n,k) = nC(n-1,k-1)$.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Apr 1 at 0:35









            Austin MohrAustin Mohr

            20.9k35299




            20.9k35299











            • $begingroup$
              I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
              $endgroup$
              – ChrisD93
              Apr 1 at 0:47
















            • $begingroup$
              I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
              $endgroup$
              – ChrisD93
              Apr 1 at 0:47















            $begingroup$
            I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
            $endgroup$
            – ChrisD93
            Apr 1 at 0:47




            $begingroup$
            I would have went with the combinatorial proof since I find it easier, but I have a feeling my teacher might ask about the induction part .-.
            $endgroup$
            – ChrisD93
            Apr 1 at 0:47











            0












            $begingroup$

            begineqnarray*
            kbinomnk= k binomn-1k-1+k binomn-1k.
            endeqnarray*

            The second term on the right can be rewritten (using the symmetry of binomial coefficients)
            begineqnarray*
            k binomn-1k= (n-1) binomn-2k-1 =(n-1) binomn-2n-k-1=(n-k) binomn-1n-k=(n-k) binomn-1k-1.
            endeqnarray*






            share|cite|improve this answer









            $endgroup$

















              0












              $begingroup$

              begineqnarray*
              kbinomnk= k binomn-1k-1+k binomn-1k.
              endeqnarray*

              The second term on the right can be rewritten (using the symmetry of binomial coefficients)
              begineqnarray*
              k binomn-1k= (n-1) binomn-2k-1 =(n-1) binomn-2n-k-1=(n-k) binomn-1n-k=(n-k) binomn-1k-1.
              endeqnarray*






              share|cite|improve this answer









              $endgroup$















                0












                0








                0





                $begingroup$

                begineqnarray*
                kbinomnk= k binomn-1k-1+k binomn-1k.
                endeqnarray*

                The second term on the right can be rewritten (using the symmetry of binomial coefficients)
                begineqnarray*
                k binomn-1k= (n-1) binomn-2k-1 =(n-1) binomn-2n-k-1=(n-k) binomn-1n-k=(n-k) binomn-1k-1.
                endeqnarray*






                share|cite|improve this answer









                $endgroup$



                begineqnarray*
                kbinomnk= k binomn-1k-1+k binomn-1k.
                endeqnarray*

                The second term on the right can be rewritten (using the symmetry of binomial coefficients)
                begineqnarray*
                k binomn-1k= (n-1) binomn-2k-1 =(n-1) binomn-2n-k-1=(n-k) binomn-1n-k=(n-k) binomn-1k-1.
                endeqnarray*







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Apr 1 at 0:10









                Donald SplutterwitDonald Splutterwit

                23.1k21446




                23.1k21446



























                    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%2f3170036%2fconsider-the-identity-kcn-k-ncn-1-k-1-where-1-k-n-provy-the-identit%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

                    Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

                    Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

                    Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ