一、定义

升幂定理(Lift the Exponent,常简记为 LTE)根据相应乘法群的结构不同,升幂定理分为两部分,模为奇素数与模为 2,简记为LTEp和LTE2。

定理需要记升幂定理1为素数 p 在整数 n 中的个数,即升幂定理2恰好整除整数 n,升幂定理3不整除整数 。

由于其针对模数为素数的幂升幂定理4的强大威力,常出现在各种结论的快速证明中。


二、模为奇素数

前提条件:n 为正整数,整数 a 与 b 不被 p 整除,且模 p 同余。

定理为等式:

定理为等式5

证明

定理为等式6,则 定理为等式6,p 不整除 m。

定理为等式7

模 p 容易发现 p 不整除定理为等式8


问题转化为分析定理为等式9。只要 k 大于0,记 定理为等式10定理为等式11

定理为等式12

模 p 容易发现 p 整除定理为等式13 。若令 d=c+kp ,由二项式定理有:


 定理为等式14

因为 p 是奇素数,可以得知 定理为等式15 不整除定理为等式16,因此也不整除定理为等式17

利用归纳法,初始条件显然,从而证完了原命题。


点赞(0)

C语言网提供由在职研发工程师或ACM蓝桥杯竞赛优秀选手录制的视频教程,并配有习题和答疑,点击了解:

一点编程也不会写的:零基础C语言学练课程

解决困扰你多年的C语言疑难杂症特性的C语言进阶课程

从零到写出一个爬虫的Python编程课程

只会语法写不出代码?手把手带你写100个编程真题的编程百练课程

信息学奥赛或C++选手的 必学C++课程

蓝桥杯ACM、信息学奥赛的必学课程:算法竞赛课入门课程

手把手讲解近五年真题的蓝桥杯辅导课程

Dotcpp在线编译      (登录可减少运行等待时间)