## A quick question on coefficient of binomial expansion

Is it always necessary that C(n,r) is an integer if n and r are integers ?
Is there any proof ?Please clarify.

thanks.
 PhysOrg.com science news on PhysOrg.com >> City-life changes blackbird personalities, study shows>> Origins of 'The Hoff' crab revealed (w/ Video)>> Older males make better fathers: Mature male beetles work harder, care less about female infidelity
 If the above statement is trivial, does the following theorem requires a proof: Th: Prove that p divides C(mp,r) where p is a prime and r is an integer not divisible by p.
 Recognitions: Gold Member Science Advisor Staff Emeritus Yes, nCi is always an integer (for n, i integers and 0<= i<= n). One proof is to note that nCi is the coefficient of xiyn-i in (x+ y)n- which is necessarily an integer. I would not say that that was "trivial" and certainly would expect a proof of the theorem you give.

## A quick question on coefficient of binomial expansion

Well then for the proof is it enough to write that
C(mp,r) = (mp)! / (r!) (mp-r)!
= mp(mp-1)(mp-2)../ (r!) (mp-r)!
= p*an integer

Therefore p divides C(mp,r).

 Quote by AlbertEinstein If the above statement is trivial, does the following theorem requires a proof: Th: Prove that p divides C(mp,r) where p is a prime and r is an integer not divisible by p.
$$C(mp,r) = \frac{(mp)!}{(mp-r)!r!} = C(n,i)[/itex] where mp = n and i = r. So long as r greater than or equal to zero and less than or equal to mp you clearly get an integer by the basic construction. In fact this coefficient has to happen for one of the term's in the expansion of $(x+1)^{mp}$. So you have an integer and now you want to know whether it is divisible by p? Think about expanding it and writing each factor in the numerator and denominator in the form pa+r. Notice that there must be m factors in the numerator that are divisible by p. The number of factors in the denominator divisible by p are related like this [tex]Div(r,p)+ Div(mp-r,p) < m \leftrightarrow Mod(r,p)\neq0$$

Just simply count them if Div(r,p) = 4 and Mod(r,p) > 0 then subtracting r from mp removes the factors mp, (m-1)p, (m-2)p, (m-3)p, (m-4)p. So there were m factors divisible by p in mp!, in (mp-r)! there are m-5 the sum of m-5 and 4 is m-1 factors in the denominator to cancel the m factors in the numerator. C(mp,r) is divisible by p unless Mod(r,p)=0 ie r is divisble by p, so the answer to your question is yes the statement is true. However I do not think it is obvious from the first statement you made. We can get at this more obviously by the following

$$Div(mp,p)=Div(r+(mp-r),p) =Div(r,p)+ Div(mp-r,p)+\{0,1\}$$
$$m-\{0,1\} =Div(r,p) + Div(mp-r,p)$$

Residues are not completely obliterated by the Div operator, they survive as elements of the set {0,1}. We could give such sets the name case identifier sets or case sets. The only way for case = 1 to hold is for there to be residues of both r and mp-r modulo p, that is r and p are coprime.
 Hey playdo,I understood only the first paragraph.I showed that C(mp,r) is a multiple of p and hence the theorem follows.Does my proof lack something? I didn't understand what Div is .Could you explain in some more basic terms? Thanks.

 Quote by AlbertEinstein Hey playdo,I understood only the first paragraph.I showed that C(mp,r) is a multiple of p and hence the theorem follows.Does my proof lack something? I didn't understand what Div is .Could you explain in some more basic terms? Thanks.
Div(a,p) means integer division of a by p. Mod(a,p) is a related function it means the remainder after dividing a by p. The following statement is true generally and is called the division algorithm

Mod(a,p) is alos sometimes written as a Mod p. I prefer the function notation. Your theroem is true and I gave a proof because I think one was required and it was interesting.

Does that help?

If it does'nt don't worry about it. I am wondering what I was drinking that night myself. When I wrote it, it was as clear as a bell to me. No it works write this

$$Div(r,p)+Div(mp-r,p) = \frac{r-Mod(r,p)}{p}+\frac{mp-r -Mod(mp-r,p)}{p}$$

No if p divides r then Mod(r,p)=Mod(mp-r,p) = 0 so this last becomes

$$r/p + m - r/p = m$$

If p does not divide r this becomes

$$r/p + m - r/p -(Mod(r,p)+Mod(mp-r,p))/p = m-1$$

That should help.

 Similar discussions for: A quick question on coefficient of binomial expansion Thread Forum Replies Precalculus Mathematics Homework 5 Precalculus Mathematics Homework 1 General Math 1 General Math 2 General Math 3