初等数学研究答案第一到第三章.docx

PAGE

PAGE10

习题一

1、数系扩展的原则是什么？有哪两种扩展方式？（P9——P10）答：设数系A扩展后得到新数系为B，则数系扩展原则为：

（1）A?B

（2）A的元素间所定义的一些运算或几本性质，在B中被重新定义。而且对于A的元素来说，重新定义的运算和关系与A中原来的意义完全一致。

在A中不是总能实施的某种运算，在B中总能施行。

在同构的意义下，B应当是A的满足上述三原则的最小扩展，而且有A唯一确定。

数系扩展的方式有两种：

添加元素法。

构造法。

2、对自然数证明乘法单调性：设a,b,c?N,则

若a?b,则ac?bc;

若a?b,则ac?bc;

若a?b,则ac?bc；

证明：（1）设命题能成立的所有C组成集合M。

?a?b,a?a?1,b?b?1, （P13规定）

?a?1?b?1

?1?M

假设c?M,即ac?bc

?ac??a(c?1)?ac?a,bc??b(c?1)?bc?b

又?ac?bc,a?b

?ac?a?bc?b

?ac??bc?

?c??M.

由归纳公理知，M?N,所以命题对任意自然数成立。

若a?b,则有b?a?k,k?N. （P17定义9）由（1）有bc?(a?k)c

?ac?kc

?ac?bc （P17.定义9）

或：若a?b,则有b?a?k,k?N. bc?(a?k)c?ac?kc

?ac?ac?kc?(a?k)c?bc

?ac?bc.

若a?b,则有a?b?k,k?N.

ac?(b?k)c?bc?kc.

?ac?bc

3、对自然数证明乘法消去律：设a,b,c?N,则

若ac?bc,则a?b;

若ac?bc，则a?b；

若ac?bc，则a?b。

证明（1）（用反证法）

假设a?b,则有a?b或a?b.

若a?b,有ac?bc和ac?bc矛盾。若a?b,有ac?bc,也和ac?bc矛盾。故假设a?b不真，所以a?b.

方法同上。

方法同上。

4、依据序数理论推求：

（1）3?5， （2）3?5

解：（1）先求3?1，3?1?3??4，

（P16.例1）再求3?2，3?2?3?1??(3?1)??4??5,

再求3?3，3?3?3?2??（3?2）??5??6，

如此等等，直至3?5?3?4??（3?4）??7??8.

（2）先求3?1，3?1?3，

再求3?2，3?2?3?1??3?1?3?6，

再求3?3，3?3?3?2??3?2?3?6?3?9，

如此等等，直至3?5?3?4??3?4?3?12?3?15.

5、设n?N，证明4n?15n?1是9的倍数。

证明：①当n?1时，41?15?1?1?18是9的倍数,故n?1时命题成立。

②假设当n?k时，命题成立。即4k?15k?1是9的倍数。

则当n=k+1时：

4k?1?1（5k?1）?1

?（44k?15k?1）?3?15k?18。

?（44k?15k?1）?9(5k?2)

4k?15k?9是9的倍数，9(5k?2)是9的倍数

?（44k?15k?1）-（95k?2）是9的倍数

?4k?1?15(k?1)?1是9的倍数

?当n?k?1时，命题成立。由①，②知，对于任一自然数n成立。

6、用数学归纳法证明下式对于任意自然数都成立：

（1-4）（1-4）（1-

4）??（?

1- 4 ）?1?2n.

1 9 25

（2n?1）2

1?2n

证明：

?当n?1时，左边?1-4?-3，右边?1?2?1?-3.左边?右边。

1

故当n?1时，等式成立。

?假设当n?k时，等式成立，即：

1-2?1

（1-4）（1-4）（1-

4）??（?1-

4 )?1?2k.

1 9 25 （2k?1）2

则当n?k?1时，有：

1?2k

（1-4）（1-4）（1-4）??（?1- 4 )(1? 1 )

1 9 25 (2k?1)2 (2k?1)2

?1?2k?(1?

1?2k

1(2k?1)2

)?(2k?1)(2k?3)?1?2(k?1)?(1?