跳到内容
返回探索
代数 / 英语

【数论特别篇】初中生都能听懂的欧拉函数!!!

封无义 · 哔哩哔哩 · 3:07

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本片段以“1 到 6 中与 6 互质的数有哪些”引入互质和最大公因数判定,枚举得到 1、5 共 2 个。随后把问题扩大到 φ(100)φ(100),指出逐个枚举成本高,并给出欧拉算法 φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40。视频正式定义欧拉函数 φ(n)φ(n) 为 1 到 n 中与 n 互质的整数个数,先从质数 p 推出 φ(p)=p−1φ(p)=p-1,再由排除 p 的倍数得到质数幂公式 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}。结尾引入唯一分解定理,为一般整数情形做准备。 本片段用黑底白字的板书式推导,先声明欧拉函数 φ 在互质条件下具有积性,再把任意正整数 n 写成不同质数幂的乘积。随后利用积性将 φ(n)φ(n) 拆成各质数幂处函数值的乘积,代入先前得到的质数幂公式 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1},再通过提取每个因子中的 pikip_i^{k_i},把剩余的质数幂乘积识别回 n,最终得到欧拉函数的一般公式 φ(n)=n∏i=1m(1−1/pi)φ(n)=n\prod _{i=1}^m(1-1/p_i)。片段末尾以黄框强调结论,并进入致谢收尾。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00提出问题:1 到 6 中与 6 互质的数0:04枚举并用最大公因数判断互质0:27扩大到 1 到 100 与欧拉算法0:51定义欧拉函数 φ(n)φ(n)1:01质数情形 φ(p)=p−1φ(p)=p-11:12质数幂情形 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}1:35引入唯一分解定理2:00欧拉函数的积性2:08质因数分解与拆分2:32代入质数幂公式2:39提出 n 并整理2:51连乘形式的一般公式3:01结论强调与结尾

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

片段先提出一个具体计数问题:在 1 到 6 中,有哪些整数与 6 互质。这里的“互质”不是孤立术语,后面会立即用最大公因数来判定。

视频采用枚举法,把候选集合写成 1,2,3,4,5,6。对每个整数 a,判断标准是 gcd⁡(a,6)=1\gcd(a,6)=1;若成立,则 a 与 6 互质。

枚举结果是只有 1 和 5 与 6 互质,因此符合条件的整数个数为 2。这个数量正是后面欧拉函数定义在 n=6n=6 时的具体体现。

问题随即扩大到 1 到 100 中与 100 互质的整数个数。画面铺满 1 到 100 的数字阵列,用来说明继续逐个枚举行事成本很高。

视频引入莱昂哈德·欧拉给出的算法,并直接写出 φ(100)=100×12×45=40\varphi(100)=100\times\frac12\times\frac45=40。本片段只展示该乘法结果,未解释两个分数因子的来源。

由此进入正式定义:欧拉函数 φ(n)\varphi(n) 表示 1 到 n 中与 n 互质的整数个数。也就是说,前面的 1 到 6 例子是在计算 φ(6)\varphi(6),1 到 100 例子是在计算 φ(100)\varphi(100)。

接下来从最简单的质数情形开始。设 p 为质数,1 到 p 中除 p 本身以外的整数都不含因子 p,因此都与 p 互质。共有 p-1 个这样的整数,所以 φ(p)=p−1\varphi(p)=p-1。

再把质数 p 推广到质数幂 pkp^k。在 1 到 pkp^k 中,一个数与 pkp^k 不互质当且仅当它能被 p 整除;这些 p 的倍数共有 pk−1p^{k-1} 个。

因此用总数 pkp^k 减去不互质的 pk−1p^{k-1} 个,得到互质数个数 pk−pk−1p^k-p^{k-1},即 φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}。这一步把质数情形的计数思想扩展到了质数幂。

最后,视频说明一般整数 n 的情形更复杂,需要先引入重要性质。第一个工具是唯一分解定理:若 n 为大于 1 的正整数,则 n 可写成 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m} 的质数幂乘积形式。

本片段在此结束于唯一分解定理的陈述,尚未继续展示如何用它推导一般 φ(n)\varphi(n) 的完整公式。

片段开头先给出一个关键性质:欧拉函数 φ\varphi 是积性函数。画面同时写出条件 gcd⁡(n,m)=1\gcd(n,m)=1 与结论 φ(nm)=φ(n)⋅φ(m)\varphi(nm)=\varphi(n)\cdot\varphi(m),说明只有在两个正整数互质时,才能把乘积处的函数值拆成函数值的乘积。

接着把研究对象推广到任意正整数 nn。视频写出 n=p1k1⋅p2k2⋅p3k3⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdot p_3^{k_3}\cdots p_m^{k_m},也就是将 nn 分解成不同质数的幂。这个分解式是后续所有变形的起点。

然后把分解式代入 φ(n)\varphi(n),得到 φ(n)=φ(p1k1⋅p2k2⋯pmkm)\varphi(n)=\varphi(p_1^{k_1}\cdot p_2^{k_2}\cdots p_m^{k_m})。由于不同的 pikip_i^{k_i} 来自不同质数,它们两两互质,所以可以反复使用前面的积性,把一个大括号里的函数值拆成 φ(p1k1)⋅φ(p2k2)⋯φ(pmkm)\varphi(p_1^{k_1})\cdot\varphi(p_2^{k_2})\cdots\varphi(p_m^{k_m})。

接下来视频引用先前已经得到的质数幂公式:对质数 pp 和正整数 kk,有 φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}。于是每个因子都被替换,式子变成 (p1k1−p1k1−1)⋅(p2k2−p2k2−1)⋯(pmkm−pmkm−1)(p_1^{k_1}-p_1^{k_1-1})\cdot(p_2^{k_2}-p_2^{k_2-1})\cdots(p_m^{k_m}-p_m^{k_m-1})。

随后做代数整理。每个差式都可以提出对应的最高次幂:piki−piki−1=piki(1−1pi)p_i^{k_i}-p_i^{k_i-1}=p_i^{k_i}\left(1-\frac{1}{p_i}\right)。把所有 pikip_i^{k_i} 提到前面后,剩下的就是各个 (1−1pi)\left(1-\frac{1}{p_i}\right) 的乘积。画面此时用红色标出 p1k1p2k2⋯pmkmp_1^{k_1}p_2^{k_2}\cdots p_m^{k_m},提醒观众这部分正好等于原来的 nn。

把红色部分代回 nn,就得到 φ(n)=n(1−1p1)(1−1p2)⋯(1−1pm)\varphi(n)=n\left(1-\frac{1}{p_1}\right)\left(1-\frac{1}{p_2}\right)\cdots\left(1-\frac{1}{p_m}\right)。这一步的意义是把分散在各质因数上的修正因子统一挂到 nn 上。

最后,视频用连乘符号压缩写法,得到一般公式 φ(n)=n∏i=1m(1−1pi)\varphi(n)=n\prod_{i=1}^{m}\left(1-\frac{1}{p_i}\right)。其中 p1,…,pmp_1,\dots,p_m 是 nn 的全部不同质因数。画面用黄框强调这一结论,表示这就是本段推导的目标。

之后进入结尾,屏幕显示“谢谢观看!”,旁白说明本期结束、下期再见。此处不再引入新的数学内容。

知识卡片

01

用最大公因数判断互质

视频在 1 到 6 的例子中说明:若一个整数与 6 的最大公因数为 1,则它与 6 互质。一般写作 gcd⁡(a,n)=1\gcd(a,n)=1 时,a 与 n 互质。这是理解欧拉函数计数条件的基础。

gcd⁡(a,n)=1⟺a且nare coprime\gcd(a,n)=1 \Longleftrightarrow a\text{且}n\text{are coprime}
02

欧拉函数 φ(n)φ(n) 的定义

欧拉函数 φ(n)\varphi(n) 定义为 1 到 n 中与 n 互质的整数个数。视频先用 φ(6)=2\varphi(6)=2 的枚举例子建立直觉,再用 φ(100)=40\varphi(100)=40 引出正式定义。

φ(n)=#{a∈Z:1≤a≤n, gcd⁡(a,n)=1}\varphi(n)=\#\{a\in\mathbb{Z}:1\le a\le n,\ \gcd(a,n)=1\}
03

质数处欧拉函数取值

若 p 为质数,则 1 到 p 中除 p 本身外的所有整数都与 p 互质,因此共有 p-1 个。由欧拉函数定义得到 φ(p)=p−1\varphi(p)=p-1。

φ(p)=p−1\varphi(p)=p-1
04

质数幂处欧拉函数公式

若 p 为质数,1 到 pkp^k 中与 pkp^k 不互质的数正是 p 的倍数,视频给出其个数为 pk−1p^{k-1}。用总数 pkp^k 减去不互质数个数,得到 φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}。

φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}
05

φ(100)φ(100) 的欧拉算法示例

视频问 1 到 100 中有多少个数与 100 互质,并给出欧拉算法 φ(100)=100×12×45=40\varphi(100)=100\times\frac12\times\frac45=40。本片段没有解释 12\frac12 与 45\frac45 的来源,只把它作为引出欧拉函数的动机例子。

φ(100)=100×12×45=40\varphi(100)=100\times\frac12\times\frac45=40
06

唯一分解定理的引入

为处理一般整数 n,视频引入唯一分解定理:若 n 为大于 1 的正整数,则 n 可唯一写成质数幂乘积 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}。本片段只陈述该定理,未继续推导一般欧拉函数公式。

n=p1k1⋅p2k2⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdots p_m^{k_m}
07

欧拉函数的积性

若两个正整数 nn 与 mm 互质,即 gcd⁡(n,m)=1\gcd(n,m)=1,则欧拉函数满足 φ(nm)=φ(n)φ(m)\varphi(nm)=\varphi(n)\varphi(m)。本片段正是依靠这一性质,把 φ(n)\varphi(n) 按质因数分解拆开。

φ(nm)=φ(n)φ(m),gcd⁡(n,m)=1\varphi(nm)=\varphi(n)\varphi(m),\quad \gcd(n,m)=1
08

质因数分解的书写形式

任意正整数 nn 可写成不同质数幂的乘积 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}。这里 pip_i 是互不相同的质数,kik_i 是对应指数。该形式为后续代入 φ\varphi 提供基础。

n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}
09

为什么可以拆成多个 φ 的乘积

因为不同质数的幂 pikip_i^{k_i} 与 pjkjp_j^{k_j} 在 i≠ji\neq j 时互质,所以可以反复使用积性,把 φ(p1k1⋯pmkm)\varphi(p_1^{k_1}\cdots p_m^{k_m}) 写成 φ(p1k1)⋯φ(pmkm)\varphi(p_1^{k_1})\cdots\varphi(p_m^{k_m})。

φ(p1k1⋯pmkm)=φ(p1k1)⋯φ(pmkm)\varphi(p_1^{k_1}\cdots p_m^{k_m})=\varphi(p_1^{k_1})\cdots\varphi(p_m^{k_m})
10

质数幂处的欧拉函数公式

视频引用先前结论:若 pp 为质数、kk 为正整数,则 φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}。本段把这个公式逐一代入每个质因数幂。

φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}
11

从差式提取公因子的关键一步

对每个质因数幂,有 piki−piki−1=piki(1−1pi)p_i^{k_i}-p_i^{k_i-1}=p_i^{k_i}\left(1-\frac{1}{p_i}\right)。把所有 pikip_i^{k_i} 提出来后,前面的乘积正好恢复成 nn,剩下的就是各质因数对应的修正因子。

piki−piki−1=piki(1−1pi)p_i^{k_i}-p_i^{k_i-1}=p_i^{k_i}\left(1-\frac{1}{p_i}\right)
12

欧拉函数一般公式

若 p1,…,pmp_1,\dots,p_m 是 nn 的全部不同质因数,则 φ(n)=n∏i=1m(1−1pi)\varphi(n)=n\prod_{i=1}^{m}\left(1-\frac{1}{p_i}\right)。这是本片段最终推出的标准闭式表达。

φ(n)=n∏i=1m(1−1pi)\varphi(n)=n\prod_{i=1}^{m}\left(1-\frac{1}{p_i}\right)

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 12

φ(n)\varphi(n)

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“那就要说到我们的欧拉函数 φ(n)φ(n) 了”。

  2. 公式
    观察依据

    画面显示“欧拉函数 φ(n)φ(n)”以及“φ(n)φ(n): 1-n中与n互质的数的个数”。

符号

φ(n)\varphi(n)

含义

欧拉函数,表示从 1 到 n 中与 n 互质的整数个数。

适用范围

n 为正整数;视频后续讨论 n>1n>1 的唯一分解情形。

p

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“设 p 是质数”。

  2. 公式
    观察依据

    画面显示“设 P 为质数”“∴ 1到P中与P互质的数有 P-1 个”“∴ φ(P)=P−1φ(P)=P-1”。

待核验内容
  1. 画面中大写 P 与音频中小写 p 的大小写不一致,但数学含义均为质数。

符号

p

含义

质数,用于研究欧拉函数在质数和质数幂处的取值。

适用范围

p 为质数。

k

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“1 到 p 的 k 次方的数中除 p 的倍数外都与 p 的 k 次方互质”。

  2. 公式
    观察依据

    画面显示“1到PkP^k中与PkP^k不互质的数有 Pk−1P^{k-1} 个”和“∴ φ(Pk)=Pk−Pk−1φ(P^k)=P^k-P^{k-1}”。

待核验内容
  1. 视频未明确说明 k 的取值范围;按质数幂语境通常理解为正整数。

符号

k

含义

质数 p 的幂指数,出现在 pkp^k 与 pk−1p^{k-1} 中。

适用范围

视频未说明;按上下文应为正整数。

n

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“若 n 为大于 1 的正整数,那么 n 一定能唯一分解成多个质数之积的形式”。

  2. 公式
    观察依据

    画面显示“唯一分解定理:若 n 为大于1的正整数,n=p1k1⋅p2k2⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdots p_m^{k_m}”。

符号

n

含义

唯一分解定理中的大于 1 的正整数。

适用范围

n>1n>1 且 n 为整数。

pip_i

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示分解式中的因子 p1p_1,p2p_2,…\ldots,pmp_m。

  2. 声音
    观察依据

    旁白说“即 n=p1n=p1 的 k1 次方乘 p2 的 k2 次方乘 p3 的 k3 次方一直乘到 pm 的 km 次方”。

符号

pip_i

含义

唯一分解定理中 n 的质因数,i=1i=1,2,…\ldots,m。

适用范围

pip_i 为质数。

kik_i

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示指数 k1k_1,k2k_2,…\ldots,kmk_m。

  2. 声音
    观察依据

    旁白逐项读出“k1 次方、k2 次方、k3 次方……km 次方”。

待核验内容
  1. 视频未明确说明 kik_i 是否为正整数;唯一分解定理语境下通常为正整数。

符号

kik_i

含义

质因数 pip_i 在 n 的唯一分解中的指数。

适用范围

视频未说明;按上下文应为正整数。

m

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示分解式末尾为 pmkmp_m^{k_m}。

  2. 声音
    观察依据

    旁白说“一直乘到 pm 的 km 次方”。

待核验内容
  1. 视频未明确说明 m 的范围;按上下文应为不同质因数的个数。

符号

m

含义

n 的不同质因数个数。

适用范围

视频未说明;按上下文应为正整数。

φ\varphi

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面中多次出现 φ(n)φ(n)、φ(nm)、φ(piki)φ(p_i^{k_i}) 等表达式。

符号

φ\varphi

含义

欧拉函数,表示小于等于给定正整数且与该数互质的正整数个数。

适用范围

正整数

n, m

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示 gcd(n,m)=1 与 φ(nm)=φ(n)⋅φ(m)φ(n)\cdot φ(m)。

符号

n, m

含义

两个正整数,在积性性质讨论中要求互质。

适用范围

正整数

gcd

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示 gcd(n,m)=1。

符号

gcd

含义

最大公约数;gcd(n,m)=1 表示 n 与 m 互质。

适用范围

整数对

∏i=1m\prod_{i=1}^m

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    最终公式使用 ∏i=1m(1−1/pi)\prod _{i=1}^m (1 - 1/p_i)。

符号

∏i=1m\prod_{i=1}^m

含义

连乘符号,表示从 i=1i=1 到 m 的因子相乘。

适用范围

有限乘积

pip_i, kik_i

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示 n=p1k1⋅p2k2⋅p3k3⋅⋅⋅pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdot p_3^{k_3}\cdot \cdot \cdot p_m^{k_m}。

符号

pip_i, kik_i

含义

pip_i 为第 i 个不同质因数,kik_i 为其在 n 的质因数分解中的指数。

适用范围

pip_i 为质数,kik_i 为正整数

知识点 · 7

互质通过最大公因数判断

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“如果这个数与 6 的最大公因数为 1,那么它就和 6 互质”。

  2. 图示
    观察依据

    画面列出 1 到 6,并用高亮方式逐个检查这些整数。

定义
解释

视频用具体对象“这个数与 6”说明:若一个整数与 6 的最大公因数为 1,则它与 6 互质。该判断方法适用于枚举 1 到 n 中与给定整数 n 互质的数。

公式
gcd⁡(a,n)=1⟺a且nare coprime\gcd(a,n)=1 \Longleftrightarrow a\text{且}n\text{are coprime}
适用条件
  1. a 与 n 为整数

  2. 视频示例中 n=6n=6

欧拉函数 φ(n)φ(n) 的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“我们定义 φ(n)φ(n) 为 1-n 中与 n 互质的数的个数”。

  2. 公式
    观察依据

    画面显示“欧拉函数 φ(n)φ(n)”和“φ(n)φ(n): 1-n中与n互质的数的个数”。

定义
解释

欧拉函数 φ(n)φ(n) 被定义为从 1 到 n 的整数中,与 n 互质的整数个数。前面的 1 到 6 例子正是该定义的具体化:统计 1 到 6 中与 6 互质的数。

公式
φ(n)=#{a∈Z:1≤a≤n, gcd⁡(a,n)=1}\varphi(n)=\#\{a\in\mathbb{Z}:1\le a\le n,\ \gcd(a,n)=1\}
适用条件
  1. n 为正整数

  2. 计数范围为 1 到 n

先修条目
  1. 互质通过最大公因数判断

质数幂处欧拉函数公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“所以 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}”。

  2. 公式
    观察依据

    画面显示“∴ φ(Pk)=Pk−Pk−1φ(P^k)=P^k-P^{k-1}”。

待核验内容
  1. 视频未明确说明 k 的取值范围;按质数幂语境通常理解为正整数。

公式
解释

当 p 为质数时,1 到 pkp^k 中与 pkp^k 不互质的数恰为 p 的倍数,共有 pk−1p^{k-1} 个;因此互质数个数等于总数 pkp^k 减去不互质数个数 pk−1p^{k-1}。

公式
φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}
适用条件
  1. p 为质数

  2. k 按上下文为正整数

先修条目
  1. 欧拉函数 φ(n)φ(n) 的定义
  2. 互质通过最大公因数判断

欧拉函数的积性

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说明“其次欧拉函数是积性函数,即对于互质两个 n m 而言 φ(nm)=φ(n)φ(m)φ(n)φ(m)”。

  2. 公式
    观察依据

    画面写出 φ(n)φ(n)是积性函数、gcd(n,m)=1、φ(nm)=φ(n)⋅φ(m)φ(n)\cdot φ(m)。

定义
解释

视频把欧拉函数 φ 的性质表述为积性:当两个正整数 n 与 m 互质时,φ(nm) 等于 φ(n)φ(n) 与 φ(m)φ(m) 的乘积。该性质是本片段后续把 φ(n)φ(n) 按质因数分解拆开的关键依据。

公式
φ(nm)=φ(n)⋅φ(m),gcd⁡(n,m)=1\varphi(nm)=\varphi(n)\cdot\varphi(m),\quad \gcd(n,m)=1
适用条件
  1. n 与 m 为正整数

  2. gcd(n,m)=1,即 n 与 m 互质

正整数的质因数分解形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“因为 n=p1n=p1 的 k1 次方乘 p2 的 k2 次方乘 p3 的 k3 次方一直乘到 pm 的 km 次方”。

  2. 公式
    观察依据

    画面写出 n=p1k1⋅p2k2⋅p3k3⋅⋅⋅pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdot p_3^{k_3}\cdot \cdot \cdot p_m^{k_m}。

定义
解释

视频将一般正整数 n 写成若干不同质数的幂的乘积。这里的 pip_i 表示互不相同的质因数,kik_i 表示对应质因数的指数。

公式
n=p1k1⋅p2k2⋅p3k3⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdot p_3^{k_3}\cdots p_m^{k_m}
适用条件
  1. pip_i 为质数

  2. 不同 pip_i 两两不同

  3. kik_i 为正整数

质数幂处欧拉函数公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“套入我们第二种质数的情况”。

  2. 公式
    观察依据

    画面将 φ(piki)φ(p_i^{k_i}) 替换为 piki−piki−1p_i^{k_i}-p_i^{k_i-1}。

待核验内容
  1. 视频未在本片段内重新证明质数幂公式,只引用前面内容。

公式
解释

视频引用先前得到的质数幂情形:对质数 p 和正整数 k,φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}。本片段把它代入每个质因数幂,以得到一般公式。

公式
φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}
适用条件
  1. p 为质数

  2. k 为正整数

先修条目
  1. 正整数的质因数分解形式

欧拉函数一般公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“最终使用连乘符号进行简化”“最终我们就推出了欧拉函数的一般形式了”。

  2. 公式
    观察依据

    画面最终写出 φ(n)=n∏i=1m(1−1/pi)φ(n)=n\prod _{i=1}^m(1-1/p_i),并用黄色框强调。

公式
解释

由质因数分解和积性推出:若 n 的不同质因数为 p1p_1,...,pmp_m,则 φ(n)φ(n) 等于 n 乘以每个质因数对应因子 (1−1/pi1-1/p_i) 的连乘积。

公式
φ(n)=n∏i=1m(1−1pi)\varphi(n)=n\prod_{i=1}^{m}\left(1-\frac{1}{p_i}\right)
适用条件
  1. n 为正整数

  2. p1p_1,...,pmp_m 是 n 的全部不同质因数

先修条目
  1. 欧拉函数的积性
  2. 正整数的质因数分解形式
  3. 质数幂处欧拉函数公式
定理与条件 · 3

质数处欧拉函数取值

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“因为 1 到 p 中除 p 之外的数都与 p 互质,所以 1 到 p 中与 p 互质的数有 p-1 个,所以 φ(p)=p−1φ(p)=p-1”。

  2. 公式
    观察依据

    画面显示“设 P 为质数”“∴ 1到P中与P互质的数有 P-1 个”“∴ φ(P)=P−1φ(P)=P-1”。

命题
命题

若 p 为质数,则 φ(p)=p−1φ(p)=p-1。

前提
  1. p 为质数

  2. φ(p)φ(p) 按 1 到 p 中与 p 互质的整数个数定义

量词

对所有质数 p 成立。

唯一分解定理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“首先是唯一分解定理。若 n 为大于 1 的正整数,那么 n 一定能唯一分解成多个质数之积的形式”。

  2. 公式
    观察依据

    画面显示“唯一分解定理:若 n 为大于1的正整数,n=p1k1⋅p2k2⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdots p_m^{k_m}”。

待核验内容
  1. 视频未展开证明唯一分解定理,也未明确说明 pip_i 互不相同、kik_i 为正整数的完整表述。

定理
命题

若 n 为大于 1 的正整数,则 n 可以唯一分解为质数幂的乘积 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}。

前提
  1. n 为大于 1 的正整数

量词

对所有满足 n>1n>1 的正整数 n 成立。

不同质数幂两两互质

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“又因为 p 两两互质”。

  2. 公式
    观察依据

    上下文中的 pikip_i^{k_i} 来自不同质数的幂。

命题
命题

若 pip_i 与 pjp_j 是不同的质数,则 pikip_i^{k_i} 与 pjkjp_j^{k_j} 互质,因此可对它们使用欧拉函数的积性。

前提
  1. pip_i 与 pjp_j 为不同质数

  2. kik_i,kjk_j 为正整数

量词

对所有不同的质因数指标 i≠ji\ne j 成立。

推导与证明 · 4

枚举 1 到 6 中与 6 互质的数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“显然我们可以枚举 1 到 6 中每一个整数”,随后说“通过枚举我们可以很容易地得到只有 1、5 和 6 互质”。

  2. 图示
    观察依据

    画面先显示“1 到 6 中与 6 互质的数有哪些?”,再列出“1 2 3 4 5 6”,最后显示大号数字“2”。

数值验证
步骤
  1. 公式
    解释

    提出计数问题:在 1 到 6 中找出与 6 互质的整数。

    步骤依据

    视频开头直接给出问题“1 到 6 中与 6 互质的数有哪些”。

    视频直接表达
  2. 公式
    gcd⁡(a,6)=1\gcd(a,6)=1
    解释

    对每个候选整数 a,用最大公因数判断它是否与 6 互质。

    步骤依据

    旁白说明“如果这个数与 6 的最大公因数为 1,那么它就和 6 互质”。

    视频直接表达
  3. 公式
    a∈{1,2,3,4,5,6}a\in\{1,2,3,4,5,6\}
    解释

    枚举范围为 1 到 6 的全部整数。

    步骤依据

    画面列出“1 2 3 4 5 6”,旁白说可以枚举每一个整数。

    视频直接表达
  4. 公式
    {1,5}\{1,5\}
    解释

    得到与 6 互质的数是 1 和 5。

    步骤依据

    旁白明确说“只有 1、5 和 6 互质”。

    视频直接表达
  5. 公式
    22
    解释

    与 6 互质的数共有 2 个。

    步骤依据

    旁白说“与 6 互质的数有两个”,画面最后显示大号数字“2”。

    视频直接表达
结论

1 到 6 中与 6 互质的整数为 1 和 5,因此该范围内互质数的个数是 2。

由质数性质推出 φ(p)=p−1φ(p)=p-1

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“因为 1 到 p 中除 p 之外的数都与 p 互质,所以 1 到 p 中与 p 互质的数有 p-1 个”。

  2. 公式
    观察依据

    画面逐行写出“设 P 为质数”“∴ 1到P中与P互质的数有 P-1 个”“∴ φ(P)=P−1φ(P)=P-1”。

严格证明
步骤
  1. 公式
    pis a prime numberp\text{is a prime number}
    解释

    设定研究对象 p 是质数。

    步骤依据

    画面和旁白均以“设 p 是质数”开始。

    视频直接表达
  2. 公式
    ∀a∈{1,2,…,p−1}, gcd⁡(a,p)=1\forall a\in\{1,2,\ldots,p-1\},\ \gcd(a,p)=1
    解释

    1 到 p 中除 p 以外的整数都与 p 互质。

    步骤依据

    旁白说“因为 1 到 p 中除 p 之外的数都与 p 互质”。

    视频直接表达
  3. 公式
    p−1p-1
    解释

    满足 1≤a≤p1\le a\le p 且 gcd(a,p)=1 的整数个数为 p-1。

    步骤依据

    从 1 到 p 共 p 个数,排除 p 本身后剩 p-1 个。

    视频直接表达
  4. 公式
    φ(p)=p−1\varphi(p)=p-1
    解释

    由欧拉函数定义得到质数处的取值。

    步骤依据

    φ(p)φ(p) 定义为 1 到 p 中与 p 互质的数的个数。

    视频直接表达
结论

若 p 为质数,则 φ(p)=p−1φ(p)=p-1。

由质数幂中 p 的倍数个数推出 φ(pk)φ(p^k)

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“同时因为 p 是质数,所以 1 到 p 的 k 次方的数中除 p 的倍数外都与 p 的 k 次方互质”,接着说“不互质的数有 p 的 k-1 次方个”,最后说“用总数量减去不互质的个数就是互质的个数”。

  2. 公式
    观察依据

    画面显示“1到PkP^k中除P的倍数之外的数都与PkP^k互质”“1到PkP^k中与PkP^k不互质的数有 Pk−1P^{k-1} 个”“∴ φ(Pk)=Pk−Pk−1φ(P^k)=P^k-P^{k-1}”。

待核验内容
  1. 视频未明确说明 k 的取值范围;按质数幂语境通常理解为正整数。

  2. 视频未展开证明“1 到 pkp^k 中 p 的倍数恰有 pk−1p^{k-1} 个”。

严格证明
步骤
  1. 公式
    pis a prime numberp\text{is a prime number}
    解释

    沿用上一段对质数 p 的设定。

    步骤依据

    画面仍保留“设 P 为质数”。

    视频直接表达
  2. 公式
    gcd⁡(a,pk)=1 ⟺ p∤a\gcd(a,p^k)=1\ \Longleftrightarrow\ p\nmid a
    解释

    在 1 到 pkp^k 中,除 p 的倍数外,其余数都与 pkp^k 互质。

    步骤依据

    旁白说“1 到 p 的 k 次方的数中除 p 的倍数外都与 p 的 k 次方互质”。

    视频直接表达
  3. 公式
    pk−1p^{k-1}
    解释

    1 到 pkp^k 中与 pkp^k 不互质的数有 pk−1p^{k-1} 个。

    步骤依据

    画面写出“1到PkP^k中与PkP^k不互质的数有 Pk−1P^{k-1} 个”,旁白同步说明。

    视频直接表达
  4. 公式
    pk−pk−1p^k-p^{k-1}
    解释

    互质数个数等于总数 pkp^k 减去不互质数个数 pk−1p^{k-1}。

    步骤依据

    旁白说“用总数量减去不互质的个数就是互质的个数”。

    视频直接表达
  5. 公式
    φ(pk)=pk−pk−1\varphi(p^k)=p^k-p^{k-1}
    解释

    得到质数幂处欧拉函数公式。

    步骤依据

    由 φ(n)φ(n) 的定义和上一步计数得出。

    视频直接表达
结论

若 p 为质数且 k 按上下文为正整数,则 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}。

从质因数分解推出欧拉函数一般公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面依次写出 n 的质因数分解、φ(n)=φ(p1k1⋅⋅⋅pmkm)φ(n)=φ(p_1^{k_1}\cdot \cdot \cdot p_m^{k_m})、拆成乘积、代入质数幂公式、提出 n、写成连乘。

  2. 声音
    观察依据

    旁白逐步说明“由于欧拉函数是积性函数”“所以能拆成这么一大堆”“整理提出一下”“最终使用连乘符号进行简化”。

严格证明
步骤
  1. 公式
    n=p1k1⋅p2k2⋅p3k3⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdot p_3^{k_3}\cdots p_m^{k_m}
    解释

    先把正整数 n 写成不同质数幂的乘积。

    步骤依据

    视频直接给出的质因数分解形式。

    视频直接表达
  2. 公式
    φ(n)=φ(p1k1⋅p2k2⋅p3k3⋯pmkm)\varphi(n)=\varphi(p_1^{k_1}\cdot p_2^{k_2}\cdot p_3^{k_3}\cdots p_m^{k_m})
    解释

    将 n 的分解式代入 φ(n)φ(n)。

    步骤依据

    等量代换。

    视频直接表达
  3. 公式
    φ(n)=φ(p1k1)⋅φ(p2k2)⋅φ(p3k3)⋯φ(pmkm)\varphi(n)=\varphi(p_1^{k_1})\cdot\varphi(p_2^{k_2})\cdot\varphi(p_3^{k_3})\cdots\varphi(p_m^{k_m})
    解释

    把 φ 作用在乘积上的形式拆成各个质数幂处函数值的乘积。

    步骤依据

    使用欧拉函数的积性;不同质数幂两两互质。

    视频直接表达
  4. 公式
    φ(n)=(p1k1−p1k1−1)⋅(p2k2−p2k2−1)⋯(pmkm−pmkm−1)\varphi(n)=(p_1^{k_1}-p_1^{k_1-1})\cdot(p_2^{k_2}-p_2^{k_2-1})\cdots(p_m^{k_m}-p_m^{k_m-1})
    解释

    对每个质数幂使用先前公式 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}。

    步骤依据

    视频引用“第二种质数的情况”。

    视频直接表达
  5. 公式
    φ(n)=p1k1p2k2⋯pmkm(1−1p1)(1−1p2)⋯(1−1pm)\varphi(n)=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}\left(1-\frac{1}{p_1}\right)\left(1-\frac{1}{p_2}\right)\cdots\left(1-\frac{1}{p_m}\right)
    解释

    从每个因子 piki−piki−1p_i^{k_i}-p_i^{k_i-1} 中提出 pikip_i^{k_i},剩余部分化为 1−1/pi1-1/p_i。

    步骤依据

    代数因式分解:piki−piki−1=piki(1−1/pi)p_i^{k_i}-p_i^{k_i-1}=p_i^{k_i}(1-1/p_i)。

    视频直接表达
  6. 公式
    φ(n)=n(1−1p1)(1−1p2)⋯(1−1pm)\varphi(n)=n\left(1-\frac{1}{p_1}\right)\left(1-\frac{1}{p_2}\right)\cdots\left(1-\frac{1}{p_m}\right)
    解释

    把提出的质数幂乘积识别回 n。

    步骤依据

    由第一步 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}。

    视频直接表达
  7. 公式
    φ(n)=n∏i=1m(1−1pi)\varphi(n)=n\prod_{i=1}^{m}\left(1-\frac{1}{p_i}\right)
    解释

    用连乘符号压缩所有质因数对应的因子。

    步骤依据

    连乘记号定义。

    视频直接表达
结论

得到欧拉函数关于任意正整数 n 的一般公式 φ(n)=n∏i=1m(1−1/pi)φ(n)=n\prod _{i=1}^m(1-1/p_i)。

例题详解 · 1

用欧拉给出的乘法计算 φ(100)φ(100)

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白问“那么 1 到 100 中有多少个数与 100 互质呢?”,随后说“莱昂哈德·欧拉曾经提出这样一个算法,用 100 乘 1/21/2 乘 4/54/5 得 40”。

  2. 公式
    观察依据

    画面显示“那 1 到 100 有几个与 100 互质的数?”以及“φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40”。

  3. 图示
    观察依据

    画面铺满 1 到 100 的数字阵列,并出现莱昂哈德·欧拉肖像。

待核验内容
  1. 视频没有在本片段内解释 1/21/2 与 4/54/5 分别来自 100 的哪些质因数,也没有给出枚举验证过程。

题目

求 1 到 100 中有多少个整数与 100 互质。

已知条件
  1. 范围是 1 到 100

  2. 目标对象是 100

  3. 视频给出欧拉的算法 φ(100)=100×1/2×4/5φ(100)=100\times 1/2\times 4/5

目标

计算与 100 互质的整数个数。

步骤
  1. 公式
    φ(100)=?\varphi(100)=?
    解释

    把问题转化为求欧拉函数 φ(100)φ(100)。

    步骤依据

    旁白定义 φ(n)φ(n) 为 1 到 n 中与 n 互质的数的个数。

    依据视频推导
  2. 公式
    φ(100)=100×12×45\varphi(100)=100\times\frac12\times\frac45
    解释

    使用视频给出的欧拉算法进行乘法计算。

    步骤依据

    画面直接显示该公式,旁白同步读出“用 100 乘 1/21/2 乘 4/54/5”。

    视频直接表达
  3. 公式
    =40=40
    解释

    算出结果为 40。

    步骤依据

    画面显示等式末端为 40,旁白说“得 40”。

    视频直接表达
结果

40

检验

视频称“当你枚举后惊奇地发现这竟然是正确的”,但本片段没有展示实际枚举验证。

图示与动画 · 5

1 到 6 的枚举筛选动画

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    画面先显示问题“1 到 6 中与 6 互质的数有哪些?”,随后列出“1 2 3 4 5 6”。

  2. 动画
    观察依据

    数字逐个被高亮或变色,最后画面切到大号数字“2”。

待核验内容
  1. 个别高亮数字的颜色在不同帧中不易稳定辨认,但视觉功能是标记枚举与筛选过程。

图中对象
  1. 问题文字“1 到 6 中与 6 互质的数有哪些?”

  2. 数字序列 1,2,3,4,5,6

  3. 结果数字 2

变化过程
  1. 数字序列逐个出现并被高亮,表示对 1 到 6 中每个整数进行检查。

  2. 画面最后用大号数字 2 表示符合条件的整数个数。

不变量
  1. 枚举范围始终是 1 到 6。

  2. 判断标准由旁白给出:与 6 的最大公因数为 1。

数学含义

该动画把抽象的 φ(6)φ(6) 计数过程具体化为逐个检查 1 到 6 的整数,并把结果数量突出显示为 2。

1 到 100 阵列与欧拉公式引入

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    画面显示“那 1 到 100 有几个与 100 互质的数?”,随后铺满 1 到 100 的数字阵列。

  2. 动画
    观察依据

    欧拉肖像出现并移到左上角,随后显示公式 φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40。

图中对象
  1. 1 到 100 的数字阵列

  2. 莱昂哈德·欧拉肖像

  3. 公式 φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40

变化过程
  1. 数字阵列从局部扩展到完整 1 到 100,强调逐个枚举行不通。

  2. 欧拉肖像出现后,画面转向乘法公式,给出结果 40。

不变量
  1. 问题对象始终是 100。

  2. 计数范围始终是 1 到 100。

数学含义

视觉上用密集数字阵列表现枚举成本,再用欧拉肖像和乘法公式引出更高效计算 φ(100)φ(100) 的方法。

质数与质数幂推导板书

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面逐行写出“设 P 为质数”“∴ φ(P)=P−1φ(P)=P-1”“1到PkP^k中除P的倍数之外的数都与PkP^k互质”“∴ φ(Pk)=Pk−Pk−1φ(P^k)=P^k-P^{k-1}”。

  2. 动画
    观察依据

    文字按推导顺序逐行出现,欧拉肖像保持在左上角。

图中对象
  1. 欧拉肖像

  2. 质数假设文字

  3. P 的欧拉函数值等于 P 减去 1

  4. PkP^k 相关文字

  5. P 的 k 次方的欧拉函数值等于 P 的 k 次方减去 P 的 k 减 1 次方

变化过程
  1. 画面从质数情形推进到质数幂情形。

  2. 每一行结论在前一行基础上逐层增加。

不变量
  1. 讨论对象始终是质数 p 及其幂 pkp^k。

  2. 欧拉函数定义保持不变。

数学含义

该视觉过程把证明组织成逐行板书:先得到质数处公式,再通过排除 p 的倍数得到质数幂处公式。

唯一分解定理公式呈现

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面显示“唯一分解定理:若 n 为大于1的正整数,n=p1k1⋅p2k2⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdots p_m^{k_m}”。

  2. 动画
    观察依据

    公式逐字符出现,欧拉肖像仍在左上角。

图中对象
  1. 标题“唯一分解定理”

  2. 条件文字“若 n 为大于1的正整数”

  3. 分解式 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}

变化过程
  1. 公式从标题和条件逐步展开到完整乘积形式。

不变量
  1. n 的范围条件保持为大于 1 的正整数。

  2. 表达形式为质数幂乘积。

数学含义

画面为后续一般整数情形准备工具:先把任意 n>1n>1 分解为质数幂乘积。

推导过程的逐行显示与高亮

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    公式逐行出现并向下扩展,最后旧行淡出,只保留最终公式。

  2. 图示
    观察依据

    在约 39 秒后,p1k1⋅⋅⋅pmkmp_1^{k_1}\cdot \cdot \cdot p_m^{k_m} 部分以红色标出,提示其等于 n。

图中对象
  1. 质因数分解式

  2. φ 的乘积展开式

  3. 质数幂代入式

  4. 提出 n 后的表达式

  5. 最终连乘公式

变化过程
  1. 公式从 n 的分解开始逐行增加。

  2. 红色高亮标出 p1k1⋅⋅⋅pmkmp_1^{k_1}\cdot \cdot \cdot p_m^{k_m}。

  3. 最终公式被黄色框强调。

  4. 中间步骤随后淡出,仅保留结论。

不变量
  1. 左上角人物画像始终存在。

  2. 推导主线始终是同一个 φ(n)φ(n) 表达式的等价变形。

数学含义

视觉编排强调每一步都是对 φ(n)φ(n) 的等价改写,并把“红色部分就是 n”作为从展开式回到 n∏(1−1/pi)n\prod (1-1/p_i) 的关键观察。

易错点 · 2

误以为大范围也应逐个枚举

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“我猜弹幕里有人会说那还不简单,一个一个枚举不就行了,但那还是太吃操作了”。

  2. 图示
    观察依据

    画面铺满 1 到 100 的数字阵列。

误区

面对 1 到 100 中与 100 互质的数有多少个,认为可以像 1 到 6 那样一个一个枚举。

说明

视频用密集的 1 到 100 数字阵列说明逐个枚举“太吃操作”,并转而引入欧拉函数和乘法算法。

积性不是对任意乘积都成立

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面在给出 φ(nm)=φ(n)⋅φ(m)φ(n)\cdot φ(m) 前先写明 gcd(n,m)=1。

误区

可能误以为对任意 n,m 都有 φ(nm)=φ(n)φ(m)φ(n)φ(m)。

说明

视频明确把条件写成 gcd(n,m)=1,说明该乘法拆分只在互质情形下使用。

概念关系 · 8

互质通过最大公因数判断 → 欧拉函数 φ(n)φ(n) 的定义

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    先用“最大公因数为 1”解释与 6 互质,随后定义 φ(n)φ(n) 为 1 到 n 中与 n 互质的数的个数。

  2. 公式
    观察依据

    画面从枚举 1 到 6 转到“φ(n)φ(n): 1-n中与n互质的数的个数”。

先修
解释

欧拉函数的计数对象由“互质”决定,而视频用最大公因数为 1 来界定互质,因此该判定方法是理解 φ(n)φ(n) 的先修概念。

欧拉函数 φ(n)φ(n) 的定义 → 质数处欧拉函数取值

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面先给出 φ(n)φ(n) 定义,再在质数假设下写出 φ(P)=P−1φ(P)=P-1。

  2. 声音
    观察依据

    旁白先定义 φ(n)φ(n),随后说“从简单的质数开始研究欧拉函数的性质”。

证明依赖
解释

φ(p)=p−1φ(p)=p-1 的结论依赖 φ(n)φ(n) 的计数定义:先确定 1 到 p 中哪些数与 p 互质,再数其个数。

质数处欧拉函数取值 → 质数幂处欧拉函数公式

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面在已有“设 P 为质数”和“φ(P)=P−1φ(P)=P-1”的基础上继续写出 PkP^k 相关行。

  2. 声音
    观察依据

    旁白说“同时因为 p 是质数,所以 1 到 p 的 k 次方……”。

推广
解释

质数幂公式把质数情形从 p 推广到 pkp^k,仍围绕质数 p 的倍数来排除不互质数。

欧拉函数 φ(n)φ(n) 的定义 → 用欧拉给出的乘法计算 φ(100)φ(100)

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面先显示 φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40,随后显示“欧拉函数 φ(n)φ(n)”和定义。

  2. 声音
    观察依据

    旁白先问 1 到 100 中有多少个数与 100 互质,再定义 φ(n)φ(n)。

应用
解释

φ(100)φ(100) 的例子是欧拉函数定义的具体应用:求 1 到 100 中与 100 互质的整数个数。

唯一分解定理 → 欧拉函数 φ(n)φ(n) 的定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“对于一般的情况就有点复杂了,我会先说明两个比较重要的性质来讲解。首先是唯一分解定理”。

  2. 公式
    观察依据

    画面随后给出 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}。

待核验内容
  1. 本片段只引入唯一分解定理,未展示它如何进一步用于一般 φ(n)φ(n) 公式。

应用
解释

视频把唯一分解定理作为处理一般整数 n 的欧拉函数问题的前置工具,虽然本片段尚未完成后续推导。

欧拉函数的积性 → 从质因数分解推出欧拉函数一般公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“由于欧拉函数是积性函数……所以能拆成这么一大堆”。

  2. 公式
    观察依据

    画面从 φ(p1k1⋅⋅⋅pmkm)φ(p_1^{k_1}\cdot \cdot \cdot p_m^{k_m}) 变为各 φ(piki)φ(p_i^{k_i}) 的乘积。

证明依赖
解释

积性是把 φ(n)φ(n) 按质因数分解拆成多个质数幂因子的依据。

质数幂处欧拉函数公式 → 欧拉函数一般公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“套入我们第二种质数的情况”。

  2. 公式
    观察依据

    画面把每个 φ(piki)φ(p_i^{k_i}) 替换为 piki−piki−1p_i^{k_i}-p_i^{k_i-1}。

证明依赖
解释

一般公式的推出依赖质数幂情形的公式作为代入模块。

正整数的质因数分解形式 → 欧拉函数一般公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    画面先给出 n 的质因数分解,后面又把 p1k1⋅⋅⋅pmkmp_1^{k_1}\cdot \cdot \cdot p_m^{k_m} 高亮为 n。

应用
解释

质因数分解提供了公式中 n 和所有 pip_i 的来源。

问题定位 · 9

欧拉函数 φ(n)φ(n) 是怎么定义的?

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面显示“φ(n)φ(n): 1-n中与n互质的数的个数”。

  2. 声音
    观察依据

    旁白说“我们定义 φ(n)φ(n) 为 1-n 中与 n 互质的数的个数”。

涉及知识点
  1. 欧拉函数 φ(n)φ(n) 的定义
  2. 互质通过最大公因数判断

怎样用最大公因数判断两个数是否互质?

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    旁白说“如果这个数与 6 的最大公因数为 1,那么它就和 6 互质”。

涉及知识点
  1. 互质通过最大公因数判断

为什么质数 p 满足 φ(p)=p−1φ(p)=p-1?

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面显示“∴ φ(P)=P−1φ(P)=P-1”。

  2. 声音
    观察依据

    旁白解释 1 到 p 中除 p 之外的数都与 p 互质。

涉及知识点
  1. 质数处欧拉函数取值
  2. 欧拉函数 φ(n)φ(n) 的定义

φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1} 是如何推出来的?

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面显示“∴ φ(Pk)=Pk−Pk−1φ(P^k)=P^k-P^{k-1}”。

  2. 声音
    观察依据

    旁白说用总数量减去不互质的个数就是互质的个数。

涉及知识点
  1. 质数幂处欧拉函数公式
  2. 由质数幂中 p 的倍数个数推出 φ(pk)φ(p^k)

1 到 100 中有多少个数与 100 互质?

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面显示“φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40”。

  2. 声音
    观察依据

    旁白问 1 到 100 中有多少个数与 100 互质,并给出结果 40。

待核验内容
  1. 本片段未解释 1/21/2 和 4/54/5 的来源。

涉及知识点
  1. 用欧拉给出的乘法计算 φ(100)φ(100)
  2. 欧拉函数 φ(n)φ(n) 的定义

唯一分解定理在本视频中怎样表述?

依据清楚
依据视频推导
来源依据
  1. 公式
    观察依据

    画面显示“唯一分解定理:若 n 为大于1的正整数,n=p1k1⋅p2k2⋯pmkmn=p_1^{k_1}\cdot p_2^{k_2}\cdots p_m^{k_m}”。

涉及知识点
  1. 唯一分解定理

为什么 φ(p1k1p2k2⋅⋅⋅pmkm)φ(p_1^{k_1}p_2^{k_2}\cdot \cdot \cdot p_m^{k_m}) 可以拆成 φ(p1k1)φ(p2k2)⋅⋅⋅φ(pmkm)φ(p_1^{k_1})φ(p_2^{k_2})\cdot \cdot \cdot φ(p_m^{k_m})?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白解释“由于欧拉函数是积性函数,又因为 p 两两互质,所以能拆成这么一大堆”。

涉及知识点
  1. 欧拉函数的积性
  2. 不同质数幂两两互质
  3. 从质因数分解推出欧拉函数一般公式

欧拉函数的一般公式是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    最终公式被黄框强调。

涉及知识点
  1. 欧拉函数一般公式

推导中为什么可以把红色部分直接替换成 n?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    旁白说“注意到红色的部分就是我们的 n”。

  2. 图示
    观察依据

    p1k1⋅⋅⋅pmkmp_1^{k_1}\cdot \cdot \cdot p_m^{k_m} 被红色标出。

涉及知识点
  1. 正整数的质因数分解形式
  2. 从质因数分解推出欧拉函数一般公式
覆盖情况与待核验内容

已覆盖 · 开场提出问题“1 到 6 中与 6 互质的数有哪些”,为后续互质与欧拉函数定义设置对象。

已覆盖 · 通过枚举 1 到 6 并用最大公因数为 1 判断互质,得到 1 和 5,共 2 个。

已覆盖 · 把问题扩大到 1 到 100,指出逐个枚举成本高,并给出欧拉算法 φ(100)=100×1/2×4/5=40φ(100)=100\times 1/2\times 4/5=40。

已覆盖 · 正式定义欧拉函数 φ(n)φ(n) 为 1 到 n 中与 n 互质的数的个数。

已覆盖 · 设 p 为质数,说明 1 到 p 中除 p 外都与 p 互质,得到 φ(p)=p−1φ(p)=p-1。

已覆盖 · 推广到 pkp^k,排除 p 的倍数,得到 φ(pk)=pk−pk−1φ(p^k)=p^k-p^{k-1}。

已覆盖 · 过渡说明一般情况更复杂,将先讲两个重要性质;本段为引入唯一分解定理的口播铺垫。

已覆盖 · 给出唯一分解定理:若 n 为大于 1 的正整数,则 n=p1k1p2k2⋯pmkmn=p_1^{k_1}p_2^{k_2}\cdots p_m^{k_m}。

已覆盖 · 给出欧拉函数积性及互质条件。

已覆盖 · 写出 n 的质因数分解。

已覆盖 · 利用积性把 φ(n)φ(n) 拆成质数幂处的乘积。

已覆盖 · 代入质数幂公式。

已覆盖 · 提出公因子并把质数幂乘积识别为 n。

已覆盖 · 用连乘符号写出最终一般公式并强调结论。

已覆盖 · 结尾致谢与下期再见,无数学新内容。

探索视频中的知识

已审核的主题路径

这个视频解答的问题

认识概念

↗
理解原因

↗
认识概念

↗
掌握方法

↗