>>59
(2)の左辺の最後は(-1)^m*C[n,m]だよな?
　　　　　　　　　　　　　　 ^^^
どっちも帰納法かな
(1)はC[n,k]+C[n,k-1]=C[n+1,k]
(2)は上を移項したC[n-1,k]-C[n,k+1]=-C[n-1,k+1]
を使う