2021-12-1数论学习-数学归纳法练一

最新推荐文章于 2024-09-23 21:41:10 发布

云声风语

最新推荐文章于 2024-09-23 21:41:10 发布

阅读量404

点赞数 1

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

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

版权

数学归纳法整数性质证明逻辑推理数学基础

关键词由CSDN通过智能技术生成

数论学习专栏收录该内容

4 篇文章 0 订阅

订阅专栏

2021-12-1数论学习-数学归纳法练一

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

证明：设有 $\color{red}\forall m\in N$ ， $n=m+k_0-1$ ，
$Q(m)=P(n)=P(m+k_0-1)$ ,
当 $\color{red}m=1$ 时
$Q(1)=P(1+k_0-1)=P(k_0)$ ，根据条件 $(i)$ 可知 $\color{red}Q(1)$ 成立，
$\because$ 条件 $(i i)$ 可知 $P (n)$ 成立可推出 $P (n + 1)$ 成立，
$Q(m)=P(n)=P(m+k_0-1)$
$Q(m+1)=P(n+1)=P(m+1+k_0-1)$
$\therefore$ $\color{red}Q(m)$ 成立可推出 $\color{red}Q(m+1)$ 成立
由以上 $\color{red}标红式子$ 应用第一章 $\text{\sect}1$ 定理1(数学归纳法)，
可知 $Q (m)$ 对 $\forall m\in N$ 成立
$P(m+k_0-1)$ 对 $\forall m\in N$ 成立
$m+k_0-1=n$
$m-1=n-k_0$
$\because m\geqslant1$
$\therefore m-1=n-k_0\geqslant0$
$n\geqslant k_0$
$P (n)$ 对于所有整数 $n\geqslant k_0$ 成立，证毕。