素数定理

1. 声音
   观察依据

   讲述者说：“小于某个整数 x 的素数有多少个？”

2. 公式
   观察依据

   屏幕文字显示：“小于 x 的素数个数 = ？”。

3. 公式
   观察依据

   图表横轴标注为“SIZE”，表格表头使用诸如100、1000、10000等值。

x

一个正整数搜索上限；视频中将其视为统计素数所达的最大尺寸。

正整数（如示例中所用）。

1. 公式
   观察依据

   屏幕文字显示：“小于 x 的素数个数 = ？”。

2. 公式
   观察依据

   表格表头为“素数个数”。

3. 公式
   观察依据

   图表纵轴标签为“素数个数”。

# primes / # PRIMES

小于所选整数 x 的素数个数；在图中以纵轴上的绘图量直观表示。

非负整数计数。

1. 公式
   观察依据

   表格表头为“SIZE”，对应行依次为100、1000、10000、100000、1000000、10000000、100000000。

2. 公式
   观察依据

   图表横轴标签为“SIZE”。

SIZE

搜索上限 x，即向整数中延伸查找的范围。

表格与图像中显示的正整数取值。

1. 公式
   观察依据

   居中分数显示为“# PRIMES”位于一条红色横线之上，“SIZE”位于该横线之下。

2. 公式
   观察依据

   后续叠加图层显示“$25/100$”和“$1229/10000$”。

# PRIMES / SIZE

前 SIZE 个整数中素数的密度，通过将找到的素数个数除以搜索范围大小而得到。

由所显示的计数值构成的有理数。

1. 声音
   观察依据

   讲述者说：“我们有旋转次数，将其记为 φ。”

2. 公式
   观察依据

   符号$\phi$在屏幕上显示为该图像纵轴的标签。

$\phi$

对数螺旋线的旋转次数。

实数

1. 声音
   观察依据

   讲述者说：“以及到中心的距离，将其记为 r。”

2. 公式
   观察依据

   符号$r$在屏幕上显示为该图像横轴的标签。

r

对数螺旋线到其中心的距离。

正实数

1. 声音
   观察依据

   讲述者说：“自然对数的图像通常用变量名 y 和 x 来表示。”

2. 公式
   观察依据

   符号$y$在屏幕上显示为$y = \ln(x)$的图像以及后续$y = \frac{1}{\ln(x)}$的图像中纵轴的标签。

y

表示$x$的自然对数或其倒数的因变量。

实数

1. 声音
   观察依据

   讲述者说道：“自然对数的图像通常用变量名 y 和 x 来表示。”

2. 公式
   观察依据

   符号$x$在屏幕上作为$y = \ln(x)$图像及后续$y = \frac{1}{\ln(x)}$图像中横轴的标签出现。

x

表示自然对数函数输入值的自变量。

正实数

1. 公式
   观察依据

   x 出现在 $y = 1/\ln (x)$ 中，#PRIMES / x ~ $1/\ln (x)$，以及 #primes(x) = $x/\ln (x)$。

2. 声音
   观察依据

   讲述者提到“不超过 x”、“在 1 到 100 万亿之间”以及“任意取值”。

x

用作考虑不超过 x 的素数时的正实数或正整数截断值（即上界）。

在所展示的公式中，x 用作 $\ln (x)$ 的正自变量；口述示例中则使用如 100 万亿这样的大正整数。

1. 声音
   观察依据

   讲述者称其为“x 的自然对数，即 ln x”。

2. 公式
   观察依据

   $\ln (x)$ 出现在 $1/\ln (x)$ 和 $x/\ln (x)$ 的分母中。

$\ln(x)$

x 的自然对数。

在所展示的公式中，x 用于正数情形。

1. 公式
   观察依据

   图像标签显示 $y = 1/\ln (x)$ 和 y = prime density(x)。

2. 声音
   观察依据

   讲述者将绿色图像称为“素数密度”的估计。

y

纵坐标，表示素数密度或其渐近估计值。

在此片段中，y 被绘制成 x 的递减函数。

1. 公式
   观察依据

   红色曲线标注为 y = 质数密度(x)。

2. 声音
   观察依据

   解说员称红色图像为“不超过 x 的质数密度”。

1. 质数密度的精确形式定义并未给出，仅通过与$1/\ln (x)$ 比较，并描述为一种可计数的量。

$\text{prime density}(x)$

不超过 x 的质数的经验密度，以第一张图中的红色曲线表示。

1. 声音
   观察依据

   旁白：“想象我们将所有整数按不断扩展的螺旋形排列，并将素数涂成蓝色，合数则保持黑色。”

2. 动画
   观察依据

   一个正方形网格从1开始以向外螺旋的方式填入整数；高亮单元格表示素数，其余单元格保持暗色。

本视频引入一种可视化模型：将所有整数置于不断扩展的正方形螺旋中，再用颜色区分素数与合数。这一设定引出一个关于素数相对于合数如何分布的问题。

1. 整数以不断扩展的螺旋方式排列。

2. 素数以蓝色或青色高亮显示。

3. 合数保持黑色/深色。

1. 声音
   观察依据

   旁白：“那么，让我们回到最初的问题：小于某个整数 x 的素数有多少个？”

2. 公式
   观察依据

   屏幕文字：“小于 x 的素数个数 = ？”

核心的定量问题是：有多少个素数位于给定整数 x 之下？本视频将此视为一个以搜索范围 x 为参数的计数问题。

1. x 是一个整数搜索上界。

1. 整数以螺旋方式排列，其中素数被高亮显示。

1. 声音
   观察依据

   旁白：“如果我们制作一张表格，就会发现素数的个数始终在增加；但随着搜索范围扩大，新发现的素数却越来越少。”

2. 公式
   观察依据

   表格表头：“范围”和“素数个数”。

3. 公式
   观察依据

   显示的行：100|25，1000|168，10000|1229，100000|9592，1000000|78498，10000000|664579，100000000|5761455。

视频列出了小于若干个十的幂的质数个数。这些计数随 SIZE 单调递增，但讲解者强调：随着搜索范围向外延伸，新质数的发现速率逐渐减慢。

1. 对所展示的各个上界，使用精确的素数个数。

2. 比较连续的十个幂。

1. 统计小于上界 x 的素数个数

1. 声音
   观察依据

   旁白：“我们把找到的素数个数画在纵轴上，把搜索范围 x 画在横轴上。”

2. 声音
   观察依据

   旁白：“当我们放大视图、纳入数十亿个数时，请注意这条曲线从未变平——它始终在上升，尽管上升得越来越缓慢。”

3. 图示
   观察依据

   一张图表，纵轴标为“素数个数”，横轴标为“范围”，图中有一条上升的红色曲线，曲线上标出若干点，对应表格中的各项数据。

计数数据被转化为一张图表，纵轴为“素数个数”，横轴为“范围”。图像趋势严格上升，但上升幅度越来越小，这支持了如下论断：总能发现更多素数，但其增长速率却在不断下降。

1. 纵轴表示找到的素数个数。

2. 横轴表示搜索范围 x。

3. 该曲线可视为一个单调递增函数。

1. 素数个数的数值表格
2. 统计小于上界 x 的素数个数

1. 声音
   观察依据

   旁白：“首先，让我们思考小于某个整数 x 的素数密度。”

2. 声音
   观察依据

   旁白：“我们可通过将找到的素数个数除以搜索范围，来求得该密度。”

3. 公式
   观察依据

   居中显示的分数形式为：分子是“# PRIMES”，分母是“SIZE”。

视频将素数密度以操作性方式定义为：所发现的素数个数与搜索范围大小的比值。这一做法将素数的绝对个数转化为所考察范围内素数占全体整数的比例。

1. 密度通过素数个数除以搜索范围大小来计算。

2. 分母即计数问题中所用的同一个〔x〕。

1. 统计小于上界 x 的素数个数
2. 素数个数随搜索范围变化的图像

1. 声音
   观察依据

   讲述者指出，在前1百万个整数中，有7.84% 是质数；而在前100百万个整数中，有5.76% 是质数。他指出，随着搜索范围扩大，质数密度持续下降，但下降速度逐渐变缓。

2. 公式
   观察依据

   视频展示了分数$78498/1000000$和$5761455/100000000$，及其对应的百分比7.84% 和5.76%。

3. 图示
   观察依据

   图像中横轴标为“大小”，纵轴标为“质数密度”；曲线起始位置较高，随后随“大小”增大而逐渐下降，趋近于零。

质数密度是指在给定整数范围内质数所占的比例。视频表明，随着整数范围扩大（即“大小”增长），其中质数所占比例（即“密度”）不断减小，并趋近于零。

1. 适用于正整数集合。

1. 声音
   观察依据

   讲述者提到，在自然界中发现了一种公式，它出现在星系、风暴、花朵乃至我们体内，被称为对数螺旋。他指出，该螺旋在旋转过程中会越来越远离中心。

2. 动画
   观察依据

   视频依次展示了星系、飓风、仙人掌和植物横截面的图像，均呈现螺旋结构；随后一条红线在黑色背景上绘制出一条对数螺旋。

对数螺旋线是一种在自然界中频繁出现的几何曲线。其核心特征是：当它绕中心点旋转时，到该中心的距离呈指数增长。

1. 声音
   观察依据

   讲解者指出，对数螺旋线的旋转速率与素数密度相关。他将$\phi$定义为旋转圈数，将$r$定义为中心距离。将$\phi$对$r$作图，可发现二者遵循自然对数关系$\phi = \ln(r)$。随后他将此式改写为$y = \ln(x)$。

2. 公式
   观察依据

   屏幕上显示方程$\phi = \ln(r)$和$y = \ln(x)$。

3. 图示
   观察依据

   屏幕上显示一幅图像：横轴为$r$（后改为$x$），纵轴为$\phi$（后改为$y$）。该曲线代表自然对数函数，从接近零处开始，缓慢上升。

自然对数函数记作$\ln(x)$，描述了对数螺旋线中到中心的距离（$r$或$x$）与旋转圈数（$\phi$或$y$）之间的关系。视频强调，其图像逐渐趋于平缓的方式，与素数密度下降的方式相似。

1. 对应的式子为：$x > 0$

1. 对数螺旋线

1. 声音
   观察依据

   讲解者指出，最后一步是将自然对数取反：将纵轴改为1除以x的自然对数。他指出，当整体缩放至远景时，所得曲线与素数密度图完全一致。

2. 公式
   观察依据

   屏幕上显示方程$y = \frac{1}{\ln(x)}$。

3. 图示
   观察依据

   屏幕上显示一幅图像：横轴为$x$，纵轴为$y$。绿色曲线代表$y = \frac{1}{\ln(x)}$，起始值较高，并逐渐递减趋近于零，视觉上与先前的素数密度图完全吻合。

视频将公式$y = \frac{1}{\ln(x)}$作为素数密度的数学描述。该公式通过对刻画对数螺旋的自然对数函数取倒数而得到。此公式能准确预测：随着整数增大，素数所占比例逐渐下降。

1. 对应的式子为：$x > 1$

1. 质数密度
2. 自然对数函数

1. 声音
   观察依据

   讲述者称绿色图像为 $y = 1$ 除以 x 的自然对数，红色图像为不超过 x 的素数密度，并称：“这被称为素数分布的渐近定律。”

2. 公式
   观察依据

   屏幕上显示 $y = 1/\ln (x)$、y = prime density(x) 以及 $\lim_{x \to \infty}$。

该片段将素数分布的渐近定律定义为如下观察：不超过 x 的经验素数密度随 x 增大而趋近于曲线$1/\ln (x)$。直观上，红色曲线 prime density(x) 与绿色曲线$1/\ln (x)$ 在缩放视野变大时越来越接近，讲述者明确指出了这一行为。

1. 在所展示的图像中，x 被视为一个不断增大的正自变量。

2. 该命题是以渐近比较的形式呈现，而非有限精确等式。

1. 声音
   观察依据

   旁白说道：“不超过某个整数 x 的素数密度近似等于1除以 x 的自然对数，即 ln x。”

2. 公式
   观察依据

   屏幕显示：#PRIMES / x ~ $1/\ln (x)$。

不超过 x 的素数密度可通过将不超过 x 的素数个数除以 x 来近似，该比值在渐近意义上趋近于$1/\ln (x)$。视频将此作为估算素数密度的实用公式，无需逐一计数所有素数。

1. 在口述表述中，x 是一个正整数。

2. 该关系是近似的／渐近的，并非对有限的 x 精确成立。

1. 素数分布的渐近定律

1. 声音
   观察依据

   旁白指出素数个数等于密度曲线下的面积，再通过假设密度为常数来简化，接着说明：“素数个数等于尺寸乘以密度，即 x 除以 ln x。这就是素数定理。”

2. 公式
   观察依据

   屏幕显示：#primes(x) = 尺寸 × 密度，随后显示 #primes(x) = $x/\ln (x)$。

1. 视频中的推导是启发式的：它用‘尺寸乘以常数密度’代替了‘变化密度曲线下面积’，并未证明这一步的合理性。

视频从素数密度估计出发，将不超过 x 的素数个数视为尺寸乘以密度，从而推导出素数定理。其中尺寸取为 x，密度取为$1/\ln (x)$，最终得到的估计式为 #primes(x) = $x/\ln (x)$。

1. 沿用了先前的密度近似式$1/\ln (x)$。

2. 视频中的推导为简化起见，假设密度在该区间内为常数。

1. 素数密度近似公式

1. 声音
   观察依据

   解说员：“注意，素数的颜色在中心区域较为密集，随着距离增大而缓慢减弱，但似乎永无尽头。”

2. 声音
   观察依据

   解说员：“这正是我们在考察越来越大的整数时所观察到的现象：我们总能不断发现新的素数，尽管越往远处看，新发现的素数数量逐渐减少。”

3. 动画
   观察依据

   在螺旋图上持续拉远视野，仍能在更远的距离上看到零星分布的高亮素数格子，而非出现一段空白的尾部。

1. 视频通过可视化与解说直观呈现这一现象，而非借助形式化证明。

当人们考察越来越大的整数时，素数持续出现，尽管其出现频率逐渐降低。

1. 考虑整数范围越来越大

对于任意大的搜索范围，视频断言其中仍可找到素数。

1. 声音
   观察依据

   解说员：“如果我们制作一张表格，就会发现质数的个数始终在增加……”

2. 声音
   观察依据

   ……注意这条曲线永远不会变平，它始终在上升，尽管上升得比较缓慢。

3. 公式
   观察依据

   表格中的数值依次从25增加到168、再到1229、再到9592、再到78498、再到664579、最后到5761455。

4. 图示
   观察依据

   图中绘制的红色曲线在整个显示范围内持续上升。

当x在显示的数值范围内增大时，小于x的质数个数始终增加。

1. 请参考质数个数随SIZE值增大而变化的表格／图像。

对于所显示的一组递增的x值，质数个数严格递增。

1. 声音
   观察依据

   解说员：“在前100个正整数中，我们找到25个质数，因此质数占比为25%。”

2. 声音
   观察依据

   解说员：“在前1,000个正整数中，我们找到1229个质数，质数占比为12.29%。”

3. 公式
   观察依据

   叠加图显示：$25/100 = 25$%。

4. 公式
   观察依据

   叠加图显示：$1229/10000 = 12.29$%。

1. 口述句子为“前1，000个整数”，而屏幕上显示的分数和百分比分别对应10、000；屏幕上的数值示例在内部与$1229/10000$一致。

在例题中，素数所占比例从25%（前100个整数中）下降到12.29%（前10,000个整数中）。

1. 用（素数个数）除以（总数）来计算密度。

2. 使用屏幕上显示的两个计数：$25/100$ 和 $1229/10000$。

对于屏幕上显示的两个样本量，其密度值呈下降趋势。

1. 声音
   观察依据

   讲述者说道：“令人惊讶的是，对数螺旋的旋转速率与素数密度存在如下关系。”

对数螺旋的旋转速率在数学上与素数密度相关。

原文中未出现任何量词。

1. 声音
   观察依据

   解说员说：“这个结果偏差为0.1%，而当我们检验越来越大的数时，这一偏差趋近于零。”

2. 公式
   观察依据

   屏幕对比 3.2% 与 3.1%，其中 x 取值为 100000000000000。

1. 该结论是通过口头陈述给出的，适用于越来越大的数，但视频片段中并未展示一般性证明。

对于例子 $x = 100000000000000$，实际密度为 3.2%，估计值为 3.1%，二者相差 0.1%；讲解者指出，当检验的数越来越大时，这一差值趋近于零。

1. 使用密度近似公式 #PRIMES/x ~ $1/\ln (x)$。

2. 将实际统计得到的密度与该估计值在 x 越来越大时进行比较。

当 x 越来越大时（非正式地说，即 x 无限增大）。

1. 声音
   观察依据

   讲解者说：“这就是素数定理。”

2. 公式
   观察依据

   屏幕显示：# primes (x) = $x/\ln (x)$。

视频中将公式 #primes(x) = $x/\ln (x)$ 确认为素数定理。

1. 接受前述密度近似，以及从密度过渡到计数的启发式推导。

该定理针对不超过 x 的素数个数而陈述。

1. 声音
   观察依据

   这就是素数定理。

2. 公式
   观察依据

   当 x 趋于无穷大时，$π(x)$ 与 $x/\ln (x)$ 的比值的极限等于 1

当 x 趋向无穷大时，实际小于或等于 x 的素数个数与估计值 $x/\ln (x)$ 的比值趋近于 1。

1. x 是一个正整数

对任意正整数 x，当 x 趋于无穷大时的极限

1. 声音
   观察依据

   讲解员口头陈述了这两个密度的计算过程。

2. 公式
   观察依据

   屏幕先显示“$25/100$”，再显示“25%”。

3. 公式
   观察依据

   屏幕先显示“$1229/10000$”，再显示“12.29%”。

1. 第二个示例的音频表述为“前1，000个整数”，而屏幕上可见的公式使用的是10000。

1. 公式

   $$\frac{25}{100}=25\%$$
   解释

   取小于100的素数个数，并除以搜索范围大小100。

   步骤依据

   使用密度定义：素数个数 / 区间大小，并结合表格中区间大小 = 25 时的值100。

   视频直接表达
2. 公式

   $$\frac{1229}{10000}=12.29\%$$
   解释

   取小于 10,000 的质数个数，再除以搜索区间大小 10,000。

   步骤依据

   使用相同的密度定义，并结合图示中区间大小 = 1229 时的计数值10000。

   视频直接表达

屏幕上展示的例子表明，随着搜索范围增大，质数密度从 25% 下降至 12.29%。

1. 声音
   观察依据

   讲述者解释了推导步骤：先为螺旋定义变量，再绘图以发现其与自然对数的关系，最后对该关系取倒数，使其与素数密度曲线吻合。

2. 公式
   观察依据

   屏幕上依次展示的公式为$\phi = \ln(r)$、$y = \ln(x)$和$y = \frac{1}{\ln(x)}$。

3. 图示
   观察依据

   从螺旋图像到素数密度图像的视觉过渡，印证了该公式的推导过程。

1. 公式

   $$\phi = \ln(r)$$
   解释

   利用自然对数，建立对数螺旋的旋转次数（$\phi$）与到中心距离（$r$）之间的关系。

   步骤依据

   由螺旋性质的图像中观察得出。

   视频直接表达
2. 公式

   $$y = \ln(x)$$
   解释

   使用标准函数记号重写自然对数关系。

   步骤依据

   绘制函数图像时的标准数学惯例。

   视频直接表达
3. 公式

   $$y = \frac{1}{\ln(x)}$$
   解释

   通过对自然对数函数取倒数来求其反函数，以建模素数密度的递减趋势。

   步骤依据

   讲述者明确指出，这是使素数密度曲线相匹配的最后一步。

   视频直接表达

素数密度的公式是$y = \frac{1}{\ln(x)}$。

1. 声音
   观察依据

   讲解者解释：素数个数等于密度曲线下的面积；为简化，假设密度恒定；因此素数个数等于大小乘以密度，即 x 除以 ln x。

2. 公式
   观察依据

   屏幕先显示 # primes (x) = 大小 × 密度，再代入 x 和 $1/\ln (x)$，得到 # primes (x) = $x/\ln (x)$。

1. 用‘区间长度乘以常数密度’来近似变化曲线下面积的这一步是启发式的，在本视频片段中并未给出严格证明。

1. 公式

   $$$$
   解释

   从文字表述出发：不超过 x 的素数个数等于素数密度曲线下的面积。

   步骤依据

   叙述者在屏幕上显示 $y = 1/\ln (x)$ 下方阴影区域时直接陈述。

   视频直接表达
2. 公式

   $$\#\text{primes}(x) = \text{size} \times \text{density}$$
   解释

   通过假设密度在该区间内为常数，将累积过程简化为乘法运算，从而简化面积思想。

   步骤依据

   叙述中明确指出，并在屏幕上显示为 #primes(x) = 区间长度 × 密度。

   视频直接表达
3. 公式

   $$\text{size} = x$$
   解释

   将不超过 x 的区间长度识别为 x 本身。

   步骤依据

   在叙述和屏幕上的公式构建过程中完成上下文替换。

   视频直接表达
4. 公式

   $$\text{density} = \frac{1}{\ln(x)}$$
   解释

   代入本视频片段此前已建立的素数密度渐近估计。

   步骤依据

   由先前展示的公式 #PRIMES/x ~ $1/\ln (x)$ 直接得出。

   视频直接表达
5. 公式

   $$\#\text{primes}(x) = x \times \frac{1}{\ln(x)} = \frac{x}{\ln(x)}$$
   解释

   将区间长度与密度相乘，得到素数个数的估计值。

   步骤依据

   对前述代入结果进行代数化简，屏幕显示并由叙述者口述。

   视频直接表达

视频通过将区间长度 x 乘以渐近密度 $1/\ln (x)$，得到素数定理估计式 #primes(x) = $x/\ln (x)$。

1. 声音
   观察依据

   Narrator computes “one divided by ln of 100 万亿的自然对数，结果为 3.1%”，并将其与实际结果 3.2% 进行对比。

2. 公式
   观察依据

   屏幕上显示 $x = 100000000000000$，然后显示 #PRIMES/x ~ $1/\ln (100000000000000)$，接着是 $1/32.23$，然后是 3.1%，最后是 3.2% ~ 3.1%。

1. 中间数值 32.23 在屏幕上显示，但讲述中未口头说明其为 ln(100 万亿)；其作用需从屏幕上显示的代入过程推断。

1. 公式

   $$x = 100000000000000$$
   解释

   将示例上限设为 100 万亿。

   步骤依据

   在屏幕上明确展示，并在讲述中明确陈述。

   视频直接表达
2. 公式

   $$\frac{\#\text{PRIMES}}{x} \sim \frac{1}{\ln(100000000000000)}$$
   解释

   将示例数值代入密度近似公式。

   步骤依据

   直接代入此前已展示的公式 #PRIMES/x ~ $1/\ln (x)$。

   视频直接表达
3. 公式

   $$\frac{1}{32.23}$$
   解释

   将 $\ln (100000000000000)$ 替换为所显示的数值 32.23。

   步骤依据

   在计算过程中于屏幕上显示。

   视频直接表达
4. 公式

   $$3.1\%$$
   解释

   计算倒数，从而得到估计的密度。

   步骤依据

   由旁白口述并同时显示在屏幕上。

   视频直接表达
5. 公式

   $$3.2\% \sim 3.1\%$$
   解释

   将实际统计得到的密度与估算值进行比较。

   步骤依据

   旁白指出，对所有质数计数所得的实际结果为3.2%，屏幕显示为3.2% ~ 3.1%。

   视频直接表达

当 $x = 100$万亿时，视频估算质数密度为3.1%，并与实际值3.2%进行比较，指出存在0.1%的偏差。

1. 声音
   观察依据

   100万亿除以100万亿的自然对数等于3.1万亿。将其与实际计数3.2万亿作比较。该近似值的准确率超过99.99%

2. 公式
   观察依据

   约等于100000000000000除以32.2，约为3.1万亿；实际计数为3.2万亿；准确率为99.996875%

1. 公式

   $$\frac{10^{14}}{\ln(10^{14})} \approx \frac{10^{14}}{32.2} \approx 3.1 \times 10^{12}$$
   解释

   使用公式 $x/\ln (x)$ 计算素数个数的估计值。

   步骤依据

   素数计数近似公式

   视频直接表达
2. 公式

   $$\text{Actual count} = 3.2 \times 10^{12}$$
   解释

   陈述不超过100万亿的素数的真实个数。

   步骤依据

   视频音频与文字中已给出

   视频直接表达
3. 公式

   $$\frac{3.1}{3.2} \approx 0.99996875$$
   解释

   将估计值与实际计数相比较，求出准确率百分比。

   步骤依据

   算术除法

   依据视频推导

近似公式 $x/\ln (x)$ 给出的估计值比实际值高 99.99%，当 $x = 100$ 万亿时。

1. 公式
   观察依据

   表格列出了区间大小（SIZE）与对应质数个数（# PRIMES）的成对数据。

2. 声音
   观察依据

   讲解员说明：质数个数始终在增加，但越往远处，新发现的质数越少。

记录在若干个递增的搜索区间大小之下各出现多少个质数。

1. 区间大小 SIZE = 100, 1000, 10000, 100000, 1000000, 10000000, 100000000。

比较随着区间大小 SIZE 增大而累积的质数个数。

1. 公式

   $$100 \mapsto 25$$
   解释

   有 25 个质数小于 100。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达
2. 公式

   $$1000 \mapsto 168$$
   解释

   168 个质数小于 1000。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达
3. 公式

   $$10000 \mapsto 1229$$
   解释

   1229 个质数小于 10000。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达
4. 公式

   $$100000 \mapsto 9592$$
   解释

   9592 个质数小于 100000。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达
5. 公式

   $$1000000 \mapsto 78498$$
   解释

   78498 个质数小于 1000000。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达
6. 公式

   $$10000000 \mapsto 664579$$
   解释

   664579 个质数小于 10000000。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达
7. 公式

   $$100000000 \mapsto 5761455$$
   解释

   5761455 个质数小于 100000000。

   步骤依据

   直接从屏幕上的表格中读取。

   视频直接表达

各尺寸对应的数量分别为25、168、1229、9592、78498、664579和5761455。

表格中每一行均清晰可见，且该序列严格递增。

1. 声音
   观察依据

   旁白：“在前100个整数中，我们找到25个质数，因此质数占比为25%。”

2. 公式
   观察依据

   叠加显示“$25/100$”，随后显示“25%”。

求前100个整数中质数的密度。

1. 小于100的质数个数为25。

2. 搜索范围大小为100。

将（质数个数）除以（范围大小），再换算为百分比。

1. 公式

   $$\frac{25}{100}$$
   解释

   用质数个数除以搜索范围大小。

   步骤依据

   应用屏幕上所示的密度定义。

   视频直接表达
2. 公式

   $$25\%$$
   解释

   将分数转换为百分比。

   步骤依据

   对$25/100$进行算术化简。

   视频直接表达

对应的式子为：25%

与屏幕上叠加显示及之前表格中 SIZE = 100 的条目一致。

1. 声音
   观察依据

   旁白说：“在前1,000个整数中，我们找到1229个质数，其中12.29%是质数。”

2. 公式
   观察依据

   叠加显示为“$1229/10000$”，随后变为“12.29%”。

1. 口述短语为“前1,000个整数”，但屏幕上显示的分母是10000；可见的计算过程为$1229/10000 = 12.29$%。

利用屏幕上显示的质数个数，求前10,000个整数中质数的密度。

1. 小于10,000的质数个数为1229。

2. 屏幕上显示的搜索规模为10000。

将质数个数除以规模，再换算为百分比。

1. 公式

   $$\frac{1229}{10000}$$
   解释

   用质数个数除以搜索规模。

   步骤依据

   应用密度定义：质数个数除以总数。

   视频直接表达
2. 公式

   $$12.29\%$$
   解释

   将分数转换为百分数。

   步骤依据

   对$1229/10000$进行算术化简。

   视频直接表达

对应的式子为：12.29%

与屏幕上叠加显示的内容及表格中 SIZE = 10000 的条目一致。

1. 声音
   观察依据

   旁白提问：1至100万亿之间的质数密度是多少？随后计算 $1/\ln$(100万亿) = 3.1%，并与实际值3.2%进行比较。

2. 公式
   观察依据

   屏幕显示：$x = 100000000000000$，#PRIMES/x ~ $1/\ln (100000000000000)$，$1/32.23$，3.1%，以及3.2% ~ 3.1%。

1. 口述内容为“在1至100万亿之间”，而屏幕上显示的公式采用的是不超过 x 的密度；该片段未单独说明端点取法的依据。

估算不超过100万亿的质数密度，并将该估算值与实际统计得到的密度进行比较。

1. x 等于100000000000000。

2. 密度近似公式：#PRIMES/x ~ $1/\ln (x)$。

3. 屏幕上显示的中间值：$\ln (100000000000000) = 32.23$。

4. 实际统计得出的密度为3.2%。

计算估计密度，并将其与真实密度进行比较。

1. 公式

   $$\frac{\#\text{PRIMES}}{100000000000000} \sim \frac{1}{\ln(100000000000000)}$$
   解释

   将密度公式应用于特定值 $x = 100$万亿。

   步骤依据

   直接代入视频中先前展示的公式。

   视频直接表达
2. 公式

   $$\frac{1}{32.23}$$
   解释

   使用屏幕上显示的对数值。

   步骤依据

   在例题演算过程中显示于屏幕。

   视频直接表达
3. 公式

   $$3.1\%$$
   解释

   求倒数以得到估计密度。

   步骤依据

   由讲解员口述并同时显示在屏幕上。

   视频直接表达
4. 公式

   $$3.2\% \sim 3.1\%$$
   解释

   将实际密度与估计值并列，以便比较。

   步骤依据

   讲解员明确将计数全部素数所得的实际结果与估计值进行比较。

   视频直接表达

估计密度：3.1%；实际密度：3.2%；差值：0.1%。

视频通过将估计值与统计所得的3.2%直接进行数值比较来验证该估计，并指出对于更大的数，这一偏差会缩小。

1. 声音
   观察依据

   旁白说道：“这是蓝色曲线表示的函数 y 等于 x 除以 ln x 的图像，黄色曲线表示实际的素数计数。注意，当我们不断放大视野（即向无穷远处观察）时，这两条曲线最终会重合。”

2. 图示
   观察依据

   最终图像标注显示：$y = x/\ln (x)$ 和 y = #primes(x)，蓝线与黄线在放大视野过程中逐渐收敛。

1. 此次最终对比未展示任何数值表格；验证方式为图像化。

通过图像，将公式 $x/\ln (x)$ 与不超过 x 的实际素数个数进行对比。

1. 蓝色曲线：$y = x/\ln (x)$。

2. 黄色曲线：y = #primes(x)。

3. 缩放视野的动画，展示两条曲线逐渐靠近。

以视觉方式表明该估计值在渐近意义上与实际计数吻合。

1. 公式

   $$y = \frac{x}{\ln(x)}$$
   解释

   将理论估计值绘制成蓝色曲线。

   步骤依据

   图像中明确标出并由旁白点明名称。

   视频直接表达
2. 公式

   $$y = \#\text{primes}(x)$$
   解释

   将实际素数个数绘制成黄色曲线。

   步骤依据

   在屏幕上明确标注，并在旁白中加以描述。

   视频直接表达
3. 公式

   $$$$
   解释

   沿x轴向外缩放，观察两条曲线逐渐靠近。

   步骤依据

   旁白指出，当我们看向无穷远时，这两条线最终会重合。

   视频直接表达

蓝色曲线 $y = x/\ln (x)$ 与黄色曲线 y = #primes(x) 随着x增大在视觉上趋于收敛。

缩放后图形上的重叠被用作视频中的确认性证据。

1. 声音
   观察依据

   假设我们需要知道小于100万亿的素数个数

2. 公式
   观察依据

   质数个数（100000000000000）

求小于100万亿的质数的近似个数，并将其与实际个数进行比较。

1. $x = 100$,000,000,000,000（100万亿）

2. ln(100万亿) ≈ 32.2

3. 实际质数个数 = 3.2万亿

计算估计值，并确定其准确率百分比。

1. 公式

   $$\text{Estimate} = \frac{100,000,000,000,000}{32.2}$$
   解释

   将 x 及其自然对数代入质数计数公式。

   步骤依据

   公式应用

   视频直接表达
2. 公式

   $$\text{Estimate} \approx 3.1 \text{ trillion}$$
   解释

   执行除法运算，得到近似值。

   步骤依据

   算术计算

   视频直接表达
3. 公式

   $$\text{Accuracy} = \frac{3.1}{3.2} \times 100\% \approx 99.996875\%$$
   解释

   用估计值除以实际个数，求得相对准确率。

   步骤依据

   百分比比较

   依据视频推导

该估计值为 3.1 万亿，与实际计数 99.996875% 准确，而实际计数为 3.2 万亿。

视频在比较后明确在屏幕上显示“99.996875%准确”。

1. 动画
   观察依据

   数字以螺旋方式填入正方形网格，起始点为1，并由内向外扩展。

2. 动画
   观察依据

   某些格子以青色/蓝色高亮显示，其余格子保持深色。

1. 正方形网格

2. 按螺旋顺序排列的整数

3. 高亮显示的质数格子

4. 深色的合数格子

1. 螺旋的可见部分向外扩展。

2. 随着视野变宽，出现越来越多的整数。

3. 高亮显示的单元格在更大的半径处持续出现。

1. 排列方式始终保持为正方形螺旋。

2. 素数单元格在视觉上始终区别于合数单元格。

该可视化将素数在整数中的分布以空间方式编码，使局部密度与长程稀疏性清晰可见。

1. 声音
   观察依据

   解说员将中心比作一棵无限高的树，其飘落的树叶代表素数。

2. 动画
   观察依据

   一道黄色垂直光束从螺旋中心升起，随后切入树木与落叶的真实影像。

1. 螺旋中心的黄色垂直光束

2. 树木

3. 飘落的树叶

4. 铺满落叶的地面

1. 抽象的螺旋上叠加了一条垂直光束。

2. 画面切换至真实的树木，再切至地面上的落叶。

1. 中心始终是该隐喻的源点。

2. 落叶被用来象征素数。

该隐喻传达出：素数在原点附近较为密集，随着远离原点而逐渐稀疏，却永远不会完全消失。

1. 图示
   观察依据

   一条红色曲线绘制在标有“素数个数”和“大小”的坐标轴上。

2. 动画
   观察依据

   图像视图向外缩放，以包含大得多的横坐标值。

1. 纵轴：素数个数

2. 横轴：大小

3. 绘制的红色曲线

4. 标出的数据点

1. 横轴刻度扩大，以包含更大的 x 值。

2. 曲线在放大后的刻度下仍清晰可见，但相对该刻度显得趋于平缓。

1. 曲线在整个显示范围内持续上升。

2. 坐标轴标签保持不变。

缩放外推凸显了累积质数计数始终在增长，即使其增速已变得缓慢。

1. 动画
   观察依据

   一个红色方框高亮螺旋图的某区域，并依次叠加分数$25/100$和25%。

2. 动画
   观察依据

   稍后一个更大的红色方框依次叠加$1229/10000$和12.29%。

1. 螺旋图上的红色方框区域

2. 分数叠加

3. 百分比叠加

1. 高亮区域从较小的面积变为较大的面积。

2. 显示的比值从$25/100$更新为$1229/10000$。

1. 底层螺旋在覆盖层后方始终可见。

2. 比值格式保持为质数个数除以范围大小。

覆盖层将抽象的密度公式与整数螺旋中的具体区域联系起来。

1. 图示
   观察依据

   绘制一幅图像，横轴为“数值大小”，纵轴为“素数密度”；一条黄色线条连接各数据点，呈现出随数值大小增加而下降、且下降趋势逐渐平缓的规律。

1. 坐标轴

2. 黄色曲线

3. 数据点

1. 该曲线从左向右绘制。

2. 画面沿横轴向外拉远，以展示更大的数值大小。

1. y轴表示素数密度。

2. x轴表示整数区间的大小。

该图像直观地表明：随着所考虑的整数区间变大，素数所占比例逐渐减小。

1. 动画
   观察依据

   一组图像蒙太奇依次呈现：螺旋星系、飓风、仙人掌以及植物茎部的微观横截面图，均突出显示了螺旋结构。

1. 星系

2. 飓风

3. 仙人掌

4. 植物横截面

1. 图像快速依次切换。

1. 每幅图像中均可见明显的螺旋结构。

这一序列说明了对数螺旋模式在自然界不同尺度上的普遍存在。

1. 动画
   观察依据

   一条红色线条在黑色背景上动态绘制，从中心点向外画出一条对数螺旋线。

1. 红色线条

2. 黑色背景

1. 红色线条持续延伸，形成螺旋形状。

1. 该螺旋线起源于一个单一的中心点。

此动画聚焦于对数螺旋线的几何形态，为观众后续进行其数学分析做好准备。

1. 图示
   观察依据

   显示一幅坐标图，横轴标有$r$（后改为$x$），纵轴标有$\phi$（后改为$y$）；一条红色曲线表示函数$y = \ln(x)$。

1. 坐标轴

2. 红色曲线

3. 坐标轴标签（$\phi$、$r$、$y$、$x$）

1. 坐标轴标签从$\phi$和$r$变为$y$和$x$。

2. 视图沿x轴向外缩放。

1. 红色曲线表示自然对数函数。

该图像展示了对数螺旋线中到中心距离与旋转圈数之间的数学关系。

1. 图示
   观察依据

   图像中x轴上标有$x$，y轴上标有$y$；一条绿色曲线表示函数$y = \frac{1}{\ln(x)}$。

1. 坐标轴

2. 绿色曲线

3. 方程$y = \frac{1}{\ln(x)}$

1. 屏幕上显示的方程变为$y = \frac{1}{\ln(x)}$。

2. 曲线颜色由红色变为绿色。

3. 视图沿x轴向外缩放。

1. 绿色曲线表示自然对数函数的倒数。

该图像直观地证实了公式$y = \frac{1}{\ln(x)}$产生的形状与先前的素数密度图像相同。

1. 图示
   观察依据

   一个黑色坐标平面显示一条绿色曲线，标注为 $y = 1/\ln (x)$，以及一条红色曲线，标注为 y = prime density(x)。

2. 动画
   观察依据

   视图沿x轴向外缩放，使两条曲线看起来更加接近。

1. 标有x和y的笛卡尔坐标轴。

2. 绿色曲线 $y = 1/\ln (x)$。

3. 红色曲线 y = prime density(x)。

4. 白色文字 $\lim_{x \to \infty}$。

1. x轴的刻度扩展至更大的数值。

2. 绿色曲线与红色曲线之间的垂直间距在视觉上减小。

3. 极限记号出现在缩放远离序列的末尾附近。

1. 绿色曲线始终表示模型$1/\ln (x)$。

2. 红色曲线始终表示经验素数密度图。

该动画展示了当x变得很大时，经验素数密度与理论曲线$1/\ln (x)$之间的渐近一致性。

1. 动画
   观察依据

   一个红色方块出现在青色点阵图案中，随后填充整个画面，成为一块深红色纹理面板。

2. 公式
   观察依据

   文字逐步呈现：从#PRIMES / x，到#PRIMES / x ~ $1/\ln (x)$，再代入$x = 100000000000000$并计算得出3.1%，最后显示3.2% ~ 3.1%。

1. 周围的青色点阵仅为装饰性元素；该片段未赋予其明确的数学含义。

1. 红色方块／深红色纹理面板。

2. 公式文字：#PRIMES / x ~ $1/\ln (x)$。

3. 数值代入：$x = 100000000000000$。

4. 比较文字：3.2% 与 3.1%。

1. 公式逐项构建而成。

2. 符号表达式被数值计算所替代。

3. 实际百分比与估算百分比之间的最终比较结果被呈现出来。

1. 核心信息始终是用 $1/\ln (x)$ 近似刻画素数密度。

这一可视化过程将抽象的密度规律转化为具体的数值实例，并用实际计数数据加以验证。

1. 图示
   观察依据

   $y = 1/\ln (x)$ 的图像再次出现，曲线下方区域以红色阴影标出。

2. 公式
   观察依据

   文字先后变为“小于等于 x 的素数个数 = 区间长度 × 密度”，再变为“小于等于 x 的素数个数 = $x/\ln (x)$”。

1. 未出现积分符号；面积含义通过阴影填充与旁白叙述来传达。

1. $y = 1/\ln (x)$ 的图像。

2. 曲线下的红色阴影区域。

3. 公式文字：质数个数(x) = 大小 × 密度。

4. 最终公式：质数个数(x) = $x/\ln (x)$。

1. 曲线下的面积已被高亮显示。

2. 乘法公式由大小和密度构建而成。

3. 最终简化后的计数公式替换了中间表达式。

1. 密度曲线在整个过渡过程中始终保持为 $y = 1/\ln (x)$。

本视频利用阴影面积来说明：在某一区间上对密度进行累积，即可得到计数；随后将该累积过程简化为 $x/\ln (x)$。

1. 声音
   观察依据

   讲述者将“我们总能找到更多质数”与“我们找到的质数数量随观察范围变远而逐渐减少”进行对比。

2. 公式
   观察依据

   表格显示计数递增，而密度示例则显示百分比递减。

人们可能推断：既然在更大的范围内能找到更多质数，那么每个整数中质数出现的频率也必然上升。

视频区分了累计计数与密度：小于 x 的质数总数在增加，但示例中其比例（质数个数）/（范围大小）却在下降。

1. 声音
   观察依据

   讲述者：“注意，这条曲线从未趋于水平，它始终在上升，尽管上升得十分缓慢。”

2. 图示
   观察依据

   即使放大视野，红色图像仍持续向上延伸。

一条增长非常缓慢的曲线，在放大观察时可能看起来几乎呈水平状。

视频明确指出，该图像从未变为水平直线；它始终在上升，只是上升得更加平缓。

1. 声音
   观察依据

   旁白说道：“在前1,000个整数中，我们找到1229个质数，其中12.29%是质数。”

2. 公式
   观察依据

   屏幕叠加显示$1229/10000 = 12.29$%。

1. 这一不一致之处是通过比对音频与公式识别出来的；视频本身并未对此作出评论。

听众可能因旁白叙述而误以为第二个密度示例使用的是前1,000个整数。

屏幕上可见的计算过程和表格条目对应的是10,000，而非1,000；$1229/10000 = 12.29$%。

1. 公式
   观察依据

   屏幕上在 #PRIMES / x ~ $1/\ln (x)$ 和 3.2% ~ 3.1% 中使用符号 ~ 而非 =。

2. 声音
   观察依据

   解说员反复强调“约等于”，并指出该例中误差为 0.1%。

有人可能将 $1/\ln (x)$ 或 $x/\ln (x)$ 理解为对每个有限 x 都给出精确的素数密度或精确的素数个数。

视频始终用 ~ 标注这些关系，并明确比较 3.2% 与 3.1%，表明这些公式仅为近似，且随着 x 增大而愈发精确。

1. 声音
   观察依据

   讲述者指出，密度曲线下的面积可通过‘假设密度为常数’来简化。

2. 公式
   观察依据

   屏幕上显示质数个数(x) = 区间长度 × 密度，随后代入$1/\ln (x)$。

1. 该片段未讨论这种常密度简化在何种条件下成立，仅将其用作直观推导。

从曲线下面积到‘区间长度 × 密度’这一步，可能被误认为是对实际变化密度也成立的严格恒等式。

视频中将其呈现为一种用于建立直观理解的简化假设，而非已被证明的精确变换。

1. 声音
   观察依据

   螺旋结构的引入直接引出问题：“质数与合数相比有多少？”进而引出：“小于某个整数x的质数有多少个？”。

空间螺旋可视化方式激发了对某一上界以下质数个数的定量计数问题。

1. 声音
   观察依据

   提出问题后，讲述者说道：“如果我们制作一张表格……”

通过列出若干特定规模下的精确数值，将抽象的计数问题具体化。

1. 声音
   观察依据

   讲述者从表格转向“我们来绘制所发现的素数个数……”

2. 图示
   观察依据

   图上的点对应表格中的各项数据。

离散的表格数据被转化为看似连续的图像，以揭示其变化趋势。

1. 声音
   观察依据

   在讨论了这条上升但平缓的曲线之后，讲述者转而探讨“小于某个整数 x 的素数密度”。

2. 公式
   观察依据

   密度公式中使用的量，与图像坐标轴上所绘制的量相同。

密度将图像中所绘的计数重新置于规模的参照系下，把绝对增长转变为比例性度量。

1. 公式
   观察依据

   表格显示素数个数持续增加。

2. 公式
   观察依据

   密度叠加图显示百分比持续下降。

视频将素数的累计个数与其在全体整数中所占的相对频率进行对比。

1. 声音
   观察依据

   讲述者解释说，绘制螺旋的旋转角度与距离关系，可揭示其与自然对数的关联。

对数螺旋的几何性质由自然对数函数在数学上建模。

1. 声音
   观察依据

   讲述者指出，最后一步是将自然对数取倒数，以匹配素数密度曲线。

素数定理公式通过对自然对数函数取倒数而导出。

1. 图示
   观察依据

   公式$y = \frac{1}{\ln(x)}$的最终图像被展示为与初始的素数密度图像完全一致。

公式$y = \frac{1}{\ln(x)}$被呈现为描述素数密度递减这一观测现象的数学等价表达。

1. 声音
   观察依据

   讲述者先在比较曲线时点明渐近规律，再给出密度公式：质数个数/x ~ $1/\ln (x)$。

2. 公式
   观察依据

   从图像标注 $y = 1/\ln (x)$、y = 质数密度(x) 过渡到代数表述：质数个数 / x ~ $1/\ln (x)$。

口头与图像呈现的渐近规律被具体化为红色面板上所示的质数密度显式公式。

1. 声音
   观察依据

   讲述者利用密度估计推导出计数公式，随后将其命名为素数定理。

2. 公式
   观察依据

   屏幕依次展示：质数个数/x ~ $1/\ln (x)$，再变为质数个数(x) = 区间长度 × 密度，最后变为质数个数(x) = $x/\ln (x)$。

将密度近似值与区间长度 x 相乘，从而得到质数计数估计。

1. 声音
   观察依据

   讲述者指出，素数的个数等于密度曲线下的面积，然后将其简化为‘大小 × 密度’。

2. 图示
   观察依据

   阴影区域位于 $y = 1/\ln (x)$ 曲线下方，紧接在公式 #primes(x) = 大小 × 密度之前。

这种启发式的面积解释被用作从密度曲线通向计数公式 $x/\ln (x)$ 的桥梁。

1. 公式
   观察依据

   在陈述 #primes(x) = $x/\ln (x)$ 后，下一幅图标注了 $y = x/\ln (x)$ 和 y = #primes(x)。

2. 声音
   观察依据

   讲述者将最终的图像介绍为公式与实际素数个数之间的比较。

通过将素数定理公式与实际的素数计数函数绘于同一图中，以可视化方式检验该公式。

1. 公式
   观察依据

   文字显示为“小于 x 的素数个数 = ？”。

1. 统计小于上界 x 的素数个数

1. 公式
   观察依据

   表格行显示10000 | 1229。

1. 素数个数的数值表格

1. 声音
   观察依据

   讲述者指出，该曲线永远不会趋于水平，而是一直上升，尽管上升得十分缓慢。

1. 素数个数随搜索范围变化的图像
2. 小于x的质数的累计个数随x增大而增加。

1. 公式
   观察依据

   分数以“质数个数除以总数”形式呈现。

1. x 以下的素数密度

1. 公式
   观察依据

   叠加图显示$25/100 = 25$%。

1. x 以下的素数密度
2. 前100个整数的密度示例

1. 公式
   观察依据

   叠加图显示$1229/10000 = 12.29$%。

1. 音频说“前1,000个整数”，而屏幕上显示的分母是10000。

1. x 以下的素数密度
2. 前10,000个整数的密度示例

1. 声音
   观察依据

   讲述者描述了一棵无限高的树，其叶子代表质数。

1. 素数无限延续，但变得越来越稀疏
2. 素数分布的树与树叶隐喻

1. 声音
   观察依据

   讲述者讨论了不同整数区间中素数所占的百分比。

1. 质数密度

1. 声音
   观察依据

   讲述者列举了自然界中对数螺旋的实例。

1. 对数螺旋线

1. 声音
   观察依据

   讲解者阐释了对数螺旋与素数密度之间的数学联系。

1. 对数螺旋线
2. 自然对数函数
3. 素数定理公式

1. 公式
   观察依据

   公式$y = \frac{1}{\ln(x)}$被呈现为最终公式。

1. 素数定理公式

1. 声音
   观察依据

   讲述者说：“这被称为素数分布的渐近定律。”

2. 公式
   观察依据

   图中标注了 $y = 1/\ln (x)$ 和 y = prime density(x)。

1. 素数分布的渐近定律