Loading...
注:本节内容为《具体数学》(原书第二版) 第四章 数论 4.4 阶乘的因子 的旁注。 P93 引理:$k(n+1-k)\leq (k+1)(n-k), k\leq n/2$ 证明: 这样做的原因是: 我们已经证明了对于 $n!$,每个素数的贡献是小于 $2^n$ 的 $n!$ 由于是 $n$ 的阶乘,所以不可能有大于 $n$ 的素数成为贡献,也就是能贡献的素数个数就是 $\pi(n)$,...
注:本节内容为《具体数学》(原书第二版) 第四章 数论 4.3 素数的例子 的旁注。 P90 证明素数有无穷多个的补充 第一行写了如下的话: 这 $k$ 个素数没有一个能整除 $M$,因为他们都整除 $M-1$ 这个理由看起来不怎么好理解,我们这么看见就好了: 也就是 $M$ 模任何一个数都为 $1$。而最小的素数为 $2$,即不能被任何素数整除。 P90 欧几里得数的补充 为什么欧几...
注:本节内容为《具体数学》(原书第二版) 第四章 数论 4.2 素数 的旁注。 P88 关于唯一分解定理的证明 本页下方写道: 我们要证明 $p_1 = q_1$。如若不然,我们可以假设 $p_1 < q_1$ 突然冒出这句话让人非常不解。这里做出补充。 我们的最终目的是证明所有分解出的素数按照从小到大的顺序排列都是相同的。那么对于 所以我们证明了他们分别是公约数和公倍数。接下来...
Stern-Brocot Tree 我们主要研究下面几个问题: 为何出现在这棵树中的每个数都是最简分数,即 $m\perp n$ 为何所有可能的分数 $m/n$ 都恰好出现一次 为何所有的数从左到右都是递增的 介绍 参加具体数学 4.5 互素 Relative Primality 重要结论:$m'n-n'm=1$ 证明: 我们首先验证初始情况:$1\times 1-0\times 0=...
引言 再看扩展欧几里得的时候,我一直有一个疑问,即: 为什么扩欧一定有解? 我们可以通过说明欧几里得算法一定有解,来论证扩展欧几里得也一定有解。这显然是正确的,但是这个结论总感觉有点微妙。 我们不妨来考虑下面这个问题:对于方程 特例 注意:裴蜀定理有非常有用的特例: 方程 $ax+by=1$ 有整数解 $(x,y)$ 当且仅当 $a,b$ 互素,即 $\gcd(a,b)=1, ...
引言 昨晚帮以前的班主任恢复了写了一天的论文。已经不是第一次被拜托类似的需求了,遂特此记录以免日后忘记。 方法 具体流程参考这篇文章 几个问题 (1) 形如: 修改后缀名为 .doc 或 .docx 分别进行尝试。 (2) 形如: 将文件放入: Windows: ~\AppData\Local\Microsoft\Office\UnsavedFiles MacOS: ~/Library...