数论吧 关注:13,922贴子:79,332
  • 2回复贴,共1

请教大神一个题

只看楼主收藏回复

设p为素数,组合数p-1中选k个,证明C(p-1,k)≡(-1)^k(mod p),对k=0,1,…,p-1成立


1楼2012-07-07 09:57回复
    C(p-1,k)=(p-k)(p-k+1)……(p-1)/(k(k-1)……1)),将分子里的p约掉,即得(-1)^k.


    IP属地:浙江2楼2012-07-07 10:22
    回复
      -1≡(p-1)!
      =C(p-1,k)*(p-1-k)!k!
      =C(p-1, k) *(p-1-k)!(-k)(-k+1)(-k+2)...3*2*1 *(-1)^k
      ≡C(p-1, k) *(p-1-k)!(p-k)(p-k+1)(p-k+2)...(p-3)(p-2)(p-1) *(-1)^k
      ≡C(p-1,k) *(p-1)!(-1)^k
      ≡C(p-1,k) (-1)*(-1)^k
      两边乘以(-1)^(k+1)
      1≡C(p-1,k)
      


      3楼2012-07-07 14:38
      回复