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$
$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?
discrete-mathematics
$endgroup$
add a comment |
$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?
discrete-mathematics
$endgroup$
add a comment |
$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?
discrete-mathematics
$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
discrete-mathematics
asked Mar 31 at 23:56
ChrisD93ChrisD93
263
263
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$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)$.
$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
add a comment |
$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*
$endgroup$
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%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
$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)$.
$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
add a comment |
$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)$.
$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
add a comment |
$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)$.
$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)$.
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
add a comment |
$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
add a comment |
$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*
$endgroup$
add a comment |
$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*
$endgroup$
add a comment |
$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*
$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*
answered Apr 1 at 0:10
Donald SplutterwitDonald Splutterwit
23.1k21446
23.1k21446
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown