2021-11-17初等数论（潘承洞）第一章习题一1

云声风语

已于 2023-10-12 23:10:48 修改

阅读量498

点赞数

分类专栏：数论学习文章标签：数学

于 2021-11-07 16:39:42 首次发布

本文链接：https://blog.csdn.net/weixin_44230906/article/details/121193319

版权

数论学习专栏收录该内容

4 篇文章 0 订阅

订阅专栏

在这里插入图片描述
最难的应该是构造1和n+1这一步，须深刻领会。
2023年10月10日 23时22分37秒
时隔两年，翻书的时候又看不懂了，重新记录下，慢慢拾起初等数论。

题目《初等数论》（潘承洞、潘承彪）习题一 1

设 $k_0$ 是给定的整数， $P (n)$ 是关于整数n的一种性质或命题。
如果：
(i).当 $n=k_0$ 时， $P(k_0)$ 成立；
(ii).由 $P (n)$ 成立可推出 $P (n + 1)$ 成立，
那么 $P (n)$ 对所有整数 $n\geqslant{k_0}$ 成立。

证明

$\begin{align} &设：n=m+{k_0}-1\nonumber\\ \ {}\nonumber\\ &P(n)=P(m+{k_0}-1)=P^*(m)\nonumber\\ &m=1\nonumber\\ &P^*(1)=P(1+{k_0}-1)=P(k_0)\nonumber\\ &P(k_0){成立}\nonumber\\ &P^*(1){成立} \\ {}\nonumber\\ &P(n)成立，\nonumber\\ &P(n)=P(m+{k_0}-1)=P^*(m)\nonumber\\ &P(m)成立\tag{2-1}\\ &P^*(m+1)=P(m+1+k_0-1)=P(n+1)\nonumber\\ &P(n+1)成立\nonumber\\ &P(m+1)成立\tag{2-2}\\ \nonumber\\ &由(1)、(2-1)、(2-2)式可知，P^*(m)对所有自然数m成立\nonumber\\ &n=m+k_0-1\nonumber\\ &m=n-k_0+1\nonumber\\ &m\geqslant1\nonumber\\ &n-k_0+1\geqslant{1}\nonumber\\ &n\geqslant{k_0} \tag{3}\\ &P(n)对所有正整数n\geqslant{k_0}成立\notag \end{align}$