MHB How Does Modulo Arithmetic Prove a Combinatorial Identity Involving Primes?

  • Thread starter Thread starter evinda
  • Start date Start date
Click For Summary
The discussion focuses on proving the combinatorial identity involving primes, specifically that for a prime \( p \neq 2 \) and \( 0 \leq k \leq p-1 \), the equation \( \binom{p-1}{k} \equiv (-1)^k \pmod p \) holds true. The user explores the calculation of \( \binom{p-1}{k} \) using Wilson's theorem, which states that \( (p-1)! \equiv -1 \pmod p \). They derive that \( \binom{p-1}{k} \) can be expressed in terms of factorials and ultimately simplify it to show the equivalence to \( (-1)^k \). The conversation concludes with positive affirmation of the proof's validity.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hey again! (Blush)

If $p \neq 2$ is a prime and $0 \leq k \leq p-1, \text{ prove that: }$
$$\binom{p-1}{k} \equiv (-1)^k \pmod p$$

I thought that I could calculate $\binom{p-1}{k}k!$ :

$$\binom{p-1}{k}k!=\frac{(p-1)!}{k!(p-(k+1))!}k!=\frac{(p-1)!}{(p-(k+1))!}$$

According to Wilson's theorem, $(p-1)! \equiv -1 \pmod p$..
But...what is equal $\mod p$ to $(p-(k+1))!$ ? (Thinking)
 
Last edited:
Mathematics news on Phys.org
evinda said:
Hey again! (Blush)

If $p \neq 2$ is a prime and $0 \leq k \leq p-1, \text{ prove that: }$
$$\binom{p-1}{k} \equiv (-1)^k \pmod p$$

I thought that I could calculate $\binom{p-1}{k}k!$ :

$$\binom{p-1}{k}k!=\frac{(p-1)!}{k!(p-(k+1))!}k!=\frac{(p-1)!}{(p-(k+1))!}$$

According to Wilson's theorem, $(p-1)! \equiv -1 \pmod p$..
But...what is equal $\mod p$ to $(p-(k+1))!$ ? (Thinking)

Could I show it maybe like that?

$$ \binom{p-1}{k}=\frac{(p-1)!}{k!(p-(k+1))!}=\frac{(p-k)(p-k+1) \cdots (p-1)}{k!} \equiv \frac{(p-1) \cdots (p-k+1)(p-k)}{k!} \equiv \frac{(-1) \cdots (-k+1)(-k)}{k!} \equiv \frac{(-1)^k k!}{k!} \equiv (-1)^k \pmod p $$ ?
(Nerd)
 
evinda said:
Could I show it maybe like that?

$$ \binom{p-1}{k}=\frac{(p-1)!}{k!(p-(k+1))!}=\frac{(p-k)(p-k+1) \cdots (p-1)}{k!} \equiv \frac{(p-1) \cdots (p-k+1)(p-k)}{k!} \equiv \frac{(-1) \cdots (-k+1)(-k)}{k!} \equiv \frac{(-1)^k k!}{k!} \equiv (-1)^k \pmod p $$ ?
(Nerd)

Looks good! (Nod)
 
I like Serena said:
Looks good! (Nod)

Nice,thank you very much! (Happy)
 
I have been insisting to my statistics students that for probabilities, the rule is the number of significant figures is the number of digits past the leading zeros or leading nines. For example to give 4 significant figures for a probability: 0.000001234 and 0.99999991234 are the correct number of decimal places. That way the complementary probability can also be given to the same significant figures ( 0.999998766 and 0.00000008766 respectively). More generally if you have a value that...

Similar threads

Replies
6
Views
3K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K