MHB Can You Solve These Combinatorial Equations?

  • Thread starter Thread starter IHateFactorial
  • Start date Start date
  • Tags Tags
    Combinatorics
AI Thread Summary
The discussion revolves around solving combinatorial equations, with the original poster expressing frustration over specific problems. Key points include the need to prove that 3C0 + 3C1 + 3C2 + 3C3 equals 2^3 and to generalize this for any r and n. Additionally, the poster seeks assistance in proving Pascal's Identity and calculating the number of non-negative integer solutions for two equations involving x, y, and z. Responses emphasize the importance of showing prior effort and suggest using the binomial theorem and factorial properties to approach the problems effectively. Overall, the thread highlights the challenges of combinatorial mathematics and the community's guidelines for seeking help.
IHateFactorial
Messages
15
Reaction score
0
*sigh* As the title says, they are the bane of my existence... I'd really appreciate it if you guys could help me with these bloody things.

1. Prove that 3C0 + 3C1 + 3C2 + 3C3 = 23 Generalize the formula for any value of r and n such that 0<=r<=n.

2. Prove that n-1Cr + n-1Cr-1 = nCr

3. i) How many solutions (in non-negative integers) are there of the equation x + y + z = 8?

3. ii) How many solutions (in non-negative integers) are there of the equation x + y + z = 18?
 
Physics news on Phys.org
IHateFactorial said:
*sigh* As the title says, they are the bane of my existence... I'd really appreciate it if you guys could help me with these bloody things.

1. Prove that 3C0 + 3C1 + 3C2 + 3C3 = 23 Generalize the formula for any value of r and n such that 0<=r<=n.

2. Prove that n-1Cr + n-1Cr-1 = nCr

3. i) How many solutions (in non-negative integers) are there of the equation x + y + z = 8?

3. ii) How many solutions (in non-negative integers) are there of the equation x + y + z = 18?

Have you tried anything? The first two are just using the choose formula to simplify each...
 
Yes, I have. I do know that the first one simplifies to 1 + 3 + 3 + 1 which is 8, but the generalizing part stumps me.

As for the second, I have absolutely NO idea how to prove Pascal's Identity, aside from putting in the variables into their Combination formula.

Also, thanks for the sarcastic response, appreciate it.
 
IHateFactorial said:
Yes, I have. I do know that the first one simplifies to 1 + 3 + 3 + 1 which is 8, but the generalizing part stumps me.

As for the second, I have absolutely NO idea how to prove Pascal's Identity, aside from putting in the variables into their Combination formula.

Also, thanks for the sarcastic response, appreciate it.

You post a thread which says how much you hate what you are doing, and post four questions without showing that you have made any effort (which is one of the rules of this forum) and you wonder why you get a sarcastic response?

But your idea of putting the variables into the combination formula is a good one, try it!
 
IHateFactorial said:
...Also, thanks for the sarcastic response, appreciate it.

Prove It did not post sarcastically...he was merely following our policy to sincerely ask users who posts questions without any work shown what they have tried. This helps us help you more efficiently, if we know where you are with the material. It is why we have MHB Rule #11 and we also ask in MHB Rule #8 that you post no more than two question in your initial post. When you post more than that, threads can become convoluted as several people might be trying to help with different questions simultaneously in the same thread.

For the first question, try applying the binomial theorem to the expansion of:

$$(1+1)^n$$
 
For #2, you've got $$\dfrac{(n-1)!}{r!(n-1-r)!}+\dfrac{(n-1)!}{(r-1)!(n-r)!}$$

which may be written as

$$(n-1)!\left(\dfrac{(r-1)!(n-r)!+r!(n-1-r)!}{r!(n-1-r)!(r-1)!(n-r)!}\right)$$

Now think of how, using the properties of factorials, you can rewrite the nominator as

$$(r-1)!\cdot(n-1-r)!\cdot n$$.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top