一、定义
升幂定理(Lift the Exponent,常简记为 LTE)根据相应乘法群的结构不同,升幂定理分为两部分,模为奇素数与模为 2,简记为LTEp和LTE2。
定理需要记为素数 p 在整数 n 中的个数,即恰好整除整数 n,不整除整数 。
由于其针对模数为素数的幂的强大威力,常出现在各种结论的快速证明中。
二、模为奇素数
前提条件:n 为正整数,整数 a 与 b 不被 p 整除,且模 p 同余。
定理为等式:
证明
设,则 ,p 不整除 m。
模 p 容易发现 p 不整除 。
问题转化为分析。只要 k 大于0,记 ,:
模 p 容易发现 p 整除 。若令 d=c+kp ,由二项式定理有:
因为 p 是奇素数,可以得知 不整除,因此也不整除。
利用归纳法,初始条件显然,从而证完了原命题。
C语言网提供由在职研发工程师或ACM蓝桥杯竞赛优秀选手录制的视频教程,并配有习题和答疑,点击了解:
一点编程也不会写的:零基础C语言学练课程
解决困扰你多年的C语言疑难杂症特性的C语言进阶课程
从零到写出一个爬虫的Python编程课程
只会语法写不出代码?手把手带你写100个编程真题的编程百练课程
信息学奥赛或C++选手的 必学C++课程
蓝桥杯ACM、信息学奥赛的必学课程:算法竞赛课入门课程
手把手讲解近五年真题的蓝桥杯辅导课程