习题2.3
2.3.1 证明:首先证明对任何自然数n都有. 先看基础情形,由定义2.3.1知有
. 现归纳假设
,由定义2.3.1和假设知
. 这就完成了归纳.
再证明对任何自然数n,m有. 先看基础情形,由定义2.3.1知
. 现假设
,由定义2.3.1知
,再由归纳假设和引理2.2.3和定义2.2.1知
,再由定义2.3.1有
. 这就完成了归纳.
我们现在来证明对所有自然数n,m有. 对n进行归纳,由定义2.3.1和
有
. 现归纳假设有
,由定义2.3.1和
和假设我们有
. 这就完成了归纳.
2.3.2 证明:由定义2.3.1知若则
;由习题2.3.1中
知若
则
. 所以如果n,m中至少有一个为0,那么
.
如果. 我们假设
且
,即n,m都为正数. 由引理2.2.10知存在自然数a,b使得
和
. 故
. 由定义2.3.1和
知
. 由两自然数之和是自然数与两自然数之积也是自然数知
是自然数,由命题2.2.8知
是正的,则
,这与命题条件矛盾,故假设不成立,所以
或
.
2.3.3 证明:对b进行归纳. 由定义2.3.1和有
,以及有
. 这就完成了归纳奠基.
假设有,由定义2.3.1和
和命题2.3.4和假设有
,并且有
. 所以
,这就完成了归纳.
2.3.4 证明:由定义2.3.11和命题2.3.4知,再由引理2.3.2知
. 所以
.
2.3.5 证明:考虑基础情形,显然有. 归纳假设对自然数n命题成立,即有
且
(m,r为自然数,q为正数).
. 由
和命题2.2.12(e)知
. 若
,则
;若
,则
. 所以在任何情况下都有对n++命题成立. 这就完成了归纳.
文内补充
1.证明两个自然数的积仍是自然数.
证明:设n,m是自然数. 我们可以对任一变量进行归纳,比如对m进行归纳. 归纳基始——由定义2.3.1知,所以
是自然数. 归纳步骤——假设
的和是自然数. 由定义2.3.1知
,再由两自然数的和是自然数和归纳假设知
是自然数,所以
也是自然数. 这就完成了归纳. 其说明
结果都是自然数. 由n的任意性,我们知道任意两个自然数的积仍是自然数.