lucas定理的证明
2015-07-11 11:31
239 查看
http://baike.baidu.com/link?url=jJgkOWPSRMobN7Zk4kIrQAri8m0APxcxP9d-C6qSkIuembQekeRwUoEoBd6bwdidmoCRQB_dBklDffpzM_87iSPMyiph2iAXCTyv19YpuuG
看一下这个冯志刚的初等数论证明
对最后的补充
(1+x)的a0次方展开式中每一项的形式可以写成C(a0,b0)x的b0次方的形式。每一项是相加的
同理可得
(1+xp)的a1次方展开式中的每一项的形式可以写成C(a1,b1)(x的P次方)的b1次方的形式。每一项是相加的
....
因为(1+x)的a0次方和(1+x的p次方)的a1次方是相乘的形式。所以可以抽象为一个多项式(x1+x2+..)*(y1+y2+y3++...)*(z1+z2+z3+....)*...把括号去掉之后的每一项都有x有y有z即每一项的形式都是(x*y*z*....)+....
调用上面的形式把同余恒等式的右边写出来的形式是C(a0,b0)x的b0次方*C(a1,b1)(x的P次方)的b1次方
....再次可以化为C(a0,b0)*C(a1,b1)*...*x的(b0+b1*P+b2*P的平方+b3*p的3次方....),x的指数刚好是b的p进制的形式因为b0,b1,b2...的序列是唯一的,所以有唯一的序列使得又有上面的f(x)同余g(x)则f(ai)同余g(bi)所以同余是左边C(a,b)x的b和同余式右边的C(a0,b0)*C(a1,b1)*.....*x的(b=b0+b1*P+b2*P的平方+b3*p的3次方....)的次方的系数应该是同余的即结论成立
看一下这个冯志刚的初等数论证明
对最后的补充
(1+x)的a0次方展开式中每一项的形式可以写成C(a0,b0)x的b0次方的形式。每一项是相加的
同理可得
(1+xp)的a1次方展开式中的每一项的形式可以写成C(a1,b1)(x的P次方)的b1次方的形式。每一项是相加的
....
因为(1+x)的a0次方和(1+x的p次方)的a1次方是相乘的形式。所以可以抽象为一个多项式(x1+x2+..)*(y1+y2+y3++...)*(z1+z2+z3+....)*...把括号去掉之后的每一项都有x有y有z即每一项的形式都是(x*y*z*....)+....
调用上面的形式把同余恒等式的右边写出来的形式是C(a0,b0)x的b0次方*C(a1,b1)(x的P次方)的b1次方
....再次可以化为C(a0,b0)*C(a1,b1)*...*x的(b0+b1*P+b2*P的平方+b3*p的3次方....),x的指数刚好是b的p进制的形式因为b0,b1,b2...的序列是唯一的,所以有唯一的序列使得又有上面的f(x)同余g(x)则f(ai)同余g(bi)所以同余是左边C(a,b)x的b和同余式右边的C(a0,b0)*C(a1,b1)*.....*x的(b=b0+b1*P+b2*P的平方+b3*p的3次方....)的次方的系数应该是同余的即结论成立
相关文章推荐
- 支付宝支付
- GNU make 总结 (五)
- 依赖倒转原则
- 2-3树—检索数据类型
- 微信支付
- C语言及程序设计[套餐]课程主页
- BJOI2015 Day2
- 静态库与动态库详细剖析
- 奇妙的算法—把有界凸空间中所有点输出的算法讨论
- UI3_UILabel
- TFS(Team Foundation Server)敏捷使用教程(四):工作项跟踪(1)
- [BZOJ 4103] [Thu Summer Camp 2015] 异或运算 【可持久化Trie】
- SWIFT中正则表达式验证邮箱
- jquery Validate
- java synchronized详解
- [LeetCode][Java] Substring with Concatenation of All Words
- iOS常见警告解决
- SQL集合运算
- 精选9个值得学习的 HTML5 效果【附源码】
- 《Memcache技术学习》系列技术文章整理收藏