关于 φ\varphiφ与Φ\PhiΦ函数与序列中分数个数的讨论

序列0/n,1/n⋯(n−1)/n0/n,1/n\cdots (n-1)/n0/n,1/n⋯(n−1)/n中分数个数

  • 考虑序列0n,1n,2n⋯n−1n\frac{0}{n},\frac{1}{n},\frac{2}{n}\cdots\frac{n-1}{n} n0​,n1​,n2​⋯nn−1​
    其中分数有两类{分子、分母可以约分分子、分母不可约分(最简):有φ(n)个\begin{cases} 分子、分母可以约分\\ 分子、分母不可约分(最简): 有\varphi(n)个 \end{cases} {分子、分母可以约分分子、分母不可约分(最简):有φ(n)个​
  • 因为分子分母不可约分就相当于它们互素,所以φ(n)=\varphi(n)=φ(n)= 分母为nnn的最简真分数的个数
  • 对于前者,考虑分数mn\cfrac{m}{n}nm​,其中d=gcd(m,n)d=gcd(m,n)d=gcd(m,n)
    • 即分子、分母可以且最多约去ddd,从而mn=m/dn/d(m/d⊥n/d)\frac{m}{n}=\frac{m/d}{n/d}\quad (m/d\perp n/d) nm​=n/dm/d​(m/d⊥n/d)
    • 此时分子⊥分母分子\perp 分母分子⊥分母,不可再约
    • 这样的mn\cfrac{m}{n}nm​有φ(n/d)\varphi(n/d)φ(n/d)个
    • 总结: 约去d→分母为n/d→φ(n/d)d\to 分母为n/d\to\varphi(n/d)d→分母为n/d→φ(n/d)个
  • 注意到d,  n/dd,\;n/dd,n/d是对称的,n/dn/dn/d同样是nnn的因子
  • 换句话说: 约分后分母为d→φ(d)d\to\varphi(d)d→φ(d)个
  • 因为序列中所有分数化简后分母只能是nnn的因子,且所有因子都能取到
  • 所以n=∑d∣nφ(d)n=\sum_{d|n}\varphi(d) n=d∣n∑​φ(d)

Farey级数Fn\mathcal{F}_nFn​中分数个数

  • Fn\mathcal{F}_nFn​中包含了01∼11\cfrac{0}{1}\sim\cfrac{1}{1}10​∼11​的所有分母不超过nnn的最简真分数
  • 其个数为Φ(n)+1\Phi(n)+1Φ(n)+1
    • 其中Φ(x)=∑1≤k≤xφ(k)\Phi(x)=\sum_{1\leq k\leq x}\varphi(k)Φ(x)=1≤k≤x∑​φ(k)
      表示所有分母不超过xxx的最简真分数个数
    • 之所以“+1”是因为级数中还包含了11\cfrac{1}{1}11​

所有满足0≤m&lt;n≤x0\leq m&lt;n\leq x0≤m<n≤x的基本分数mn\cfrac{m}{n}nm​个数

  • 显然,一共有12⌊x⌋(⌊x⌋+1)个\frac{1}{2}\lfloor x\rfloor(\lfloor x\rfloor+1)个21​⌊x⌋(⌊x⌋+1)个
  • 这些分数中同样有两类{分子、分母可以约分分子、分母不可约分(最简)\begin{cases} 分子、分母可以约分\\ 分子、分母不可约分(最简) \end{cases} {分子、分母可以约分分子、分母不可约分(最简)​
  • 但所有分数中分子、分母必定是有一个最大公约数的
  • 将所有分数mn\cfrac{m}{n}nm​按分子、分母的最大公约数分类
  • 如对于所有满足d=gcd(m,n)d=gcd(m,n)d=gcd(m,n)的分数:
    • 有mn=m/dn/d,(0≤m/d&lt;n/d≤x/d)\frac{m}{n}=\frac{m/d}{n/d},\quad\quad (0\leq m/d &lt; n/d \leq x/d) nm​=n/dm/d​,(0≤m/d<n/d≤x/d)
    • 这样的分数的个数即为所有分母不超过⌊xd⌋\left\lfloor\cfrac{x}{d}\right\rfloor⌊dx​⌋的最简真分数个数
    • 个数=Φ(xd)=Φ(⌊xd⌋)=\Phi\left(\cfrac{x}{d}\right)=\Phi\left(\left\lfloor\cfrac{x}{d}\right\rfloor\right)=Φ(dx​)=Φ(⌊dx​⌋)
  • 于是∑d≥1Φ(xd)=12⌊x⌋(⌊x⌋+1)\sum_{d\geq 1}\Phi\left(\frac{x}{d}\right)=\frac{1}{2}\lfloor x\rfloor(\lfloor x\rfloor+1) d≥1∑​Φ(dx​)=21​⌊x⌋(⌊x⌋+1)

总结

  • φ(n)=\varphi(n)=φ(n)= 分母为 nnn 的最简真分数的个数
  • Φ(x)=\Phi(x)=Φ(x)=分母不超过 xxx 的最简真分数的个数
  • n=∑d∣nφ(d)n=\sum_{d|n}\varphi(d)n=∑d∣n​φ(d)
  • Φ(x)=∑1≤k≤xφ(k)\Phi(x)=\sum_{1\leq k\leq x}\varphi(k)Φ(x)=∑1≤k≤x​φ(k)
  • ∑d≥1Φ(xd)=12⌊x⌋(⌊x⌋+1)\sum_{d\geq 1}\Phi\left(\cfrac{x}{d}\right)=\frac{1}{2}\lfloor x\rfloor(\lfloor x\rfloor+1)∑d≥1​Φ(dx​)=21​⌊x⌋(⌊x⌋+1)

关于φ与Φ函数与序列中分数个数的讨论相关推荐

  1. R语言nchar函数统计字符串中字符个数实战

    R语言nchar函数统计字符串中字符个数实战 目录 R语言nchar函数统计字符串中字符个数实战 #基础语法

  2. python内置函数返回序列中最大元素_Python 内置函数 ____________ 用来返回序列中的最大元素。_学小易找答案...

    [单选题]5. an official group of people who have joined together for a particular purpose [单选题]Excel 201 ...

  3. python内置函数返回序列中最大元素_Python之路(第八篇)Python内置函数、zip()、max()、min()...

    一.python内置函数 abs() 求绝对值 例子 print(abs(-2)) all() 把序列中每一个元素做布尔运算,如果全部都是true,就返回true, 但是如果是空字符串.空列表也返回t ...

  4. python自定义一个函数求序列中的偶数_使用range函数创建一个从2到10的偶数列表 alist...

    [多选题]在Python中添加注释可以使用哪些符号? [简答题]给定一个包含若干个整数的列表alist,要求返回输出列表blist,blist中的元素为 与alist对应位置上的元素之外其余各元素的乘 ...

  5. C语言简单题-求整数序列中出现次数最多的数

    7-2 求整数序列中出现次数最多的数 (15分) 本题要求统计一个整型序列中出现次数最多的整数及其出现次数. 输入格式: 输入在一行中给出序列中整数个数N(0<N≤1000),以及N个整数.数字 ...

  6. JAVA-求整数序列中出现次数最多的数

    R7-3 JAVA-求整数序列中出现次数最多的数 (10 分) 要求统计一个整型序列中出现次数最多的整数及其出现次数. 输入格式: 在一行中给出序列中整数个数N(0<N≤1000),依次给出N个 ...

  7. 7-55 求整数序列中出现次数最多的数 (15 分)

    7-55 求整数序列中出现次数最多的数 (15 分) 本题要求统计一个整型序列中出现次数最多的整数及其出现次数. 输入格式: 输入在一行中给出序列中整数个数N(0<N≤1000),以及N个整数. ...

  8. 定义一个函数,求序列中的偶数,并求出偶数的个数。

    定义一个函数,求序列中的偶数,并把结果打印出来 代码如下: 结果如下: 定义一个函数,求序列中的偶数的个数. 代码如下: 结果如下:

  9. python内置函数可以返回数值型序列中所有元素之和_Python内置函数________________用来返回数值型序列中所有元素之和。...

    [单选题]表达式 ','.join('a     b  ccc\n\n\nddd     '.split()) 的值为______________. [单选题]表达式 'abcabcabc'.coun ...

最新文章

  1. python拟合求参_机器学习作业(四)神经网络参数的拟合——Python(numpy)实现
  2. 《LeetCode力扣练习》第10题 C语言版 (做出来就行,别问我效率。。。。)
  3. Spring Boot(十七):使用Spring Boot上传文件
  4. 正则表达式及其在python上的应用
  5. Python数据分析-初识numpy、pandas、scipy、matplotlib和Scikit-Learn等数据处理库
  6. POJ 1915 经典马步 双向bfs
  7. gdb进行多线程调试
  8. 昨天跟朋友聊天谈技术工作,竟然吹了4个小时
  9. 迄今为止2020年AI的奋斗与成功
  10. php无限分类排序,重新研究这个问题:php无限分类的子分类如何再排序
  11. ASP.NET MVC 学习第三天
  12. linux操作系统中ssh的默认端口号,sshd服务的默认端口号
  13. 计算机网络原理笔记精整理(汇总)
  14. 双十一,稳!2小时1000亿,阿里的技术露大脸了
  15. CTeX 中文 beamer 模板
  16. Windows 由于无法验证发布者,windows阻止控件安装怎么办
  17. 三菱编程软件GX Works2
  18. TOPSIS模型原理和MATLAB代码实现
  19. spotlight on linux 安装及配置
  20. Nancy之区域和分部视图的使用

热门文章

  1. 解决canvas导出图片模糊问题
  2. 厦大C语言上机1381
  3. 单手杀穿经典链表题Pt.2——LeetCode天梯渡劫(倒数第k节点,合并链表,链表分割,回文结构)
  4. 关于 git pull 和 git pull origin develop 的区别
  5. Oracle 18c:拉里·埃里森亲自支招,数据库自动化之后,DBA何去何从?
  6. Tableau技巧(五)帕累托分布(二八原则)
  7. Thinkphp实现超级漂亮实用的淘宝客平台源码
  8. vue高德地图绘制行政区边界
  9. ⭐算法入门⭐《动态规划 - 串匹配》困难02 —— LeetCode 72. 编辑距离
  10. 鼠标右键转圈圈_电脑一右键就一直转圈怎么办_win10鼠标一点右键就转圈圈的解决方法...