Dotcpp  >  编程教程  >  数学相关  >  如何证明升幂定理?

如何证明升幂定理?

点击打开在线编译器,边学边练

一、定义

升幂定理(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

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



知识点标签:数学 数论


本文固定URL:https://www.dotcpp.com/course/1091

算法竞赛教程
第一章 算法基础
第二章 搜索算法
第三章 排序算法
第四章 字符串相关
第五章 数学相关
第六章 动态规划
第七章 数据结构
第八章 图论
第九章 计算几何
第十章 其他算法
Dotcpp在线编译      (登录可减少运行等待时间)