数论基本定理

  • 一个数 aa 想成为另外一个数 bb 的因子,能整除另一个数,该 a≤b/2a\leq b/2,因为 bb 的因子如果有的话,它最大为 b/2b/2(比如对于 100 而言,100 的因子不可能大于 50 )
    但对于判断一个数是否为素数,只需要遍历到 a√\sqrt a 即可,

    100=1*100,2*50,4*25,10*10

  • 互质的两个数不必都是质数,比如 9191 与 10001000

  • 两个质数之间,必然互质;


10≡1(mod3)⇓10n≡1(mod3)⇓10n−1≡0(mod3)

10\equiv 1\quad(\mathrm{mod}\; 3)\\ \Downarrow\\ 10^n\equiv 1\quad (\mathrm{mod}\;3)\\ \Downarrow\\ 10^n-1\equiv 0\quad (\mathrm{mod}\;3)

用的是幂运算性质,也即如果 a≡b(modm)⇒an≡bn(modm)a\equiv b \quad(\mathrm{mod}\;m)⇒ a^n\equiv b^n\quad(\mathrm{mod}\;m)

m|a,m|b⇒m|(a±b)

m|a,\;m|b\Rightarrow\;m|(a\pm b)

证明:

m|a⇒a=k1mm|b⇒b=k2m⇓a±b=(k1±k2)m⇒m|(a±b)

m|a\Rightarrow a=k_1m\\ m|b\Rightarrow b=k_2m\\ \Downarrow\\ a\pm b=(k_1\pm k_2)m\Rightarrow m|(a\pm b)

周期性

  • imod4i \mod 4 的值显然是以 4 为周期在循环(随着 ii 的递增),

  • imod7i\mod 7 的值显然是以 77 为周期在循环。

质数(prime)

如果两个正整数的最大公约数为1,我们就说这两个数是互质的。这是一个非常重要的概念,如果 aa 和 bb 互质,

  • 意味着分数 a/ba/b 已经不能再约分了,

  • 意味着 a×ba\times b 的棋盘的对角线不会经过中间的任何交叉点

  • 意味着循环长度分别为 aa 和 bb 的两个周期性事件一同上演,则新的循环长度最短为 a×ba\times b(最小公倍数).

对 a×ba\times b 构成的循环我们稍作解释,举些例子,假如有 1路和 2路两种公交车,其中1路车每6分钟一班,2路车每8分钟一班。如果某一时刻也即公交公司的首发时间,两趟车同时出发,那么下一次再遇到(周期性)这样的两车齐发的事情是多少分钟以后?6×8=486\times 8=48,这是一个正确答案。不过实际上在第24分钟就已经出现了两车同时出发(如果是两首歌的话就是出现“和声”)的情况了,此时1路车正好是第4班,而2路车是第三班。但如果把例子中的6分钟和8分钟分别改成4分钟和7分钟,则必须到第 4×7=284\times 7=28分钟后才有重复,循环现象不会提前发生。

究其原因在数学上的最小公倍数,也即,对于两个数,其乘积一定是它们的一个公倍数,但若这两个数互质,则它们的乘积一定是它们的最小公倍数

数论基本定理及应用(二)相关推荐

  1. 数论基本定理及应用(四)

    数论基本定理 数论基本定理及应用(二) 数论基本定理及应用(三) 1. 一些小定理 1.1 成比例 ba=dc⇒b+aa=d+cc \frac ba=\frac dc ⇒ \frac{b+a}a=\f ...

  2. 数论基本定理及应用(三)

    数论基本定理 数论基本定理及应用(二) 质数 mm 为质数,对于任何 z∈Zmz\in \mathbb Z_m(Zm\mathbb Z_m 表示对 mm 取余后的整数),对于任何 z≢0z\not ...

  3. 数论概论笔记(二)勾股数组

    毕达哥拉斯定理(即勾股定理) a2+b2=c2a^2+b^2=c^2a2+b2=c2 显然勾股数组有无穷个,对存在的勾股数组每个数乘上一个正整数d即可得到新的勾股数组. 因此我们关注两两互质的三元组, ...

  4. 【更新完毕】《算法竞赛中的初等数论》(ACM / OI / MO)前言、后记、目录索引(十五万字符的数论书)

    整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 <算法竞赛中的初等数论>的全部内容的 Portable Document Format 版 ...

  5. UVA11752 The Super Powers【超级幂+暴力+数论】

    We all know the Super Powers of this world and how they manage to get advantages in political warfar ...

  6. GOOD BYE OI

    大米饼正式退役了,OI给我带来很多东西 我会的数学知识基本都在下面了 博客园的评论区问题如果我看到了应该是会尽力回答的... 这也是我作为一个OIer最后一次讲课的讲稿 20190731 多项式乘法 ...

  7. 7月书讯:看风景的人

    你站在桥上看风景,看风景的人在楼上看你.明月装饰了你的窗子,你装饰了别人的梦. --<断章>卞之琳 本月有11本新书: 经典巨著<计算机程序设计艺术 卷2:半数值算法(第3版)> ...

  8. 关于第十三届蓝桥杯大赛校内选拔赛的通知

    关于第十三届蓝桥杯大赛校内选拔赛的通知 注:使用Python语言参加校赛并取得参加省赛资格的同学,跟我联系一下,我可以辅导你们参加蓝桥杯的省赛. 下面是我在蓝桥云课的讲课视频,我可以给你们再讲一遍. ...

  9. 【数学】用C语言实现函数的定积分—— 把 “定积分定义计算出的值” 和 “牛顿-莱布尼兹公式计算出的值” 两者进行误差比较

    因为考研数学看到定积分的定义以及"牛顿-莱布尼兹公式" 突然心血来潮,想用C语言把它们实现出来并对比. 1.用 "定积分定义" 计算得出数值 以及 " ...

最新文章

  1. 加密解密_使用RSA密钥对加密解密数据
  2. java遍历两个日期_java 已知两个日期,遍历出两个日期之间所有的日期,重点是::包括第一个日期!!...
  3. Hadoop 分布式集群搭建步骤
  4. android dialog 横向全屏,Dialog全屏,去掉状态栏的方式
  5. SpringBoot 整合 Shiro Thymeleaf Mysql 动态授权
  6. linux新建自定义命令,Linux 创建自定义命令
  7. Zipkin-1.19.0学习系列13: Brave-Web-Filter的filter机制分析
  8. python内置函数分类_注意 Python 内置函数并不是万能的!
  9. c#开发Mongo笔记第九篇
  10. App Transport Security has blocked a cleartext
  11. gradle错误 dependency.systemPath‘ for com.alibaba:jconsole:jar must specify an absolute path
  12. 【GCC】Linux GCC 常用命令和EFF文件格式
  13. 杂谈---一个项目经理的自我反省
  14. 权力纷争必须上演公章大战?其实duck不必
  15. java网络编程--UDP程序设计
  16. 计算机刚启动时的背景怎样改,通达信启动界面图片怎么改,怎么修改系统登陆时候欢迎界面的背景图片?...
  17. h5将数字翻译为大写汉字_JS将数字转换为大写汉字人民币
  18. 物联网---网络通信协议
  19. RedHat7.4安装
  20. python文件另存为快捷键_Word文件另存为快捷键ctrl加什么?

热门文章

  1. python计算信息增益_利用Python提取ABAQUS的计算结果(ODB)信息、体积、应变等变化(一)...
  2. android4.1 l36h,索尼 L36h跌破3K 升Android 4.3机型推荐(6)-搜狐数码
  3. LeetCode 303. 区域和检索 - 数组不可变(动态规划)
  4. Qt总结之二十二:Qt控件QObject
  5. TensorFlow实现流行的机器学习算法教程
  6. 聚类算法教程(3):层次聚类算法Hierarchical Clustering Algorithms
  7. GridView上同时定义了 DataSource 和 DataSourceId
  8. 红米note3支持html,红米note3如何检测硬件信息?指令代码说明
  9. Tosca :配置环境参数
  10. 小技巧——直接在目录中输入cmd然后就打开cmd命令窗口