分类技术下的文章

具体数学阶乘的因子旁注

注：本节内容为《具体数学》(原书第二版) 第四章数论 4.4 阶乘的因子的旁注。 P93 引理： $k (n + 1 - k) \leq (k + 1) (n - k), k \leq n / 2$ 证明：这样做的原因是：我们已经证明了对于 $n!$ ，每个素数的贡献是小于 $2^{n}$ 的 $n!$ 由于是 $n$ 的阶乘，所以不可能有大于 $n$ 的素数成为贡献，也就是能贡献的素数个数就是 $π (n)$ ，...

gyro永不抽风

2022 年 03 月 08 日

暂无评论

具体数学素数的例子旁注

注：本节内容为《具体数学》(原书第二版) 第四章数论 4.3 素数的例子的旁注。 P90 证明素数有无穷多个的补充第一行写了如下的话：这 $k$ 个素数没有一个能整除 $M$ ，因为他们都整除 $M - 1$ 这个理由看起来不怎么好理解，我们这么看见就好了：也就是 $M$ 模任何一个数都为 $1$ 。而最小的素数为 $2$ ，即不能被任何素数整除。 P90 欧几里得数的补充为什么欧几...

gyro永不抽风

2022 年 03 月 08 日

暂无评论

具体数学素数旁注

注：本节内容为《具体数学》(原书第二版) 第四章数论 4.2 素数的旁注。 P88 关于唯一分解定理的证明本页下方写道：我们要证明 $p_{1} = q_{1}$ 。如若不然，我们可以假设 $p_{1} < q_{1}$ 突然冒出这句话让人非常不解。这里做出补充。我们的最终目的是证明所有分解出的素数按照从小到大的顺序排列都是相同的。那么对于所以我们证明了他们分别是公约数和公倍数。接下来...

gyro永不抽风

2022 年 03 月 08 日

暂无评论

Stern-Brocot Tree 性质的证明

Stern-Brocot Tree 我们主要研究下面几个问题：为何出现在这棵树中的每个数都是最简分数，即 $m ⊥ n$ 为何所有可能的分数 $m / n$ 都恰好出现一次为何所有的数从左到右都是递增的介绍参加具体数学 4.5 互素 Relative Primality 重要结论： $m^{'} n - n^{'} m = 1$ 证明：我们首先验证初始情况：$1\times 1-0\times 0=...

gyro永不抽风

2022 年 03 月 06 日

5 条评论

深藏功与名——MS Word 文件恢复

引言昨晚帮以前的班主任恢复了写了一天的论文。已经不是第一次被拜托类似的需求了，遂特此记录以免日后忘记。方法具体流程参考这篇文章几个问题 (1) 形如：修改后缀名为 .doc 或 .docx 分别进行尝试。 (2) 形如：将文件放入： Windows: ~\AppData\Local\Microsoft\Office\UnsavedFiles MacOS: ~/Library...

gyro永不抽风

2022 年 03 月 06 日

暂无评论

欧几里得算法

欧几里得算法与扩展欧几里得算法注：本节可以独立阅读，但同时也是《具体数学》(原书第二版) 4.1 整除性的旁注。一个基本事实记 $n = a m + b$ ，其中 $n, m, a, b \in Z$ ，则 $d$ 为 $m, n$ 的公因数当且仅当 $d$ 为 $m, b$ 的公因数。证明：充分性：若 $d ∣ m$ ， $d ∣ n$ 则必有是一个等价结论，所...