【实分析】【二】2.3 乘法及其性质

---

前言

前面我们已经定义了自然数，建立了自然数的基本运算——增长运算。然后又基于增长运算，递归地定义了加法运算。现在，我们继续重复这种方式，递归地定义乘法运算

---

一、乘法定义

我们已经知道了，加法就是递归重复地进行增长运算，让一个数m加上数n，就是对n重复m次增长运算。乘法的定义也是类似，即重复地进行加法运算，其具体定义如下：

设m是自然数，为把0乘到m上，定义 $0\times m:=0$。设已经定义好了如何把n乘到m上，那么我们归纳地有 $(n++)\times m:=n\times m+m$。

为了免去括号，我们约定先乘法后加法的运算顺序，并且将 $m\times n$ 简写为 $mn$ 。可以看到，相比加法运算，乘法运算的效率又一次提高了。我们先证明一下，乘法运算是个对自然数封闭的运算：

证明：对n进行归纳，证明自然数的乘法运算结果 $nm仍然是自然数$。
$P(0):0\times m=0$ 为真
设 $P(n)$ 为真：$n\times m$ 为自然数
$P(n++):(n++)\times m=n\times m+m$
$\because n\times m,m$ 均为自然数
由加法封闭性可知 $n\times m+m$ 为自然数，因此 $P(n++)$ 为真。

下面我们来看看乘法运算具有哪些性质。

二、乘法交换律

乘法具有交换律：设m和n是自然数，则有 $m\times n=n\times m$。证明乘法交换律与加法交换律一样，通过归纳法求证。然而 $0\times n=n\times 0$ 并不是可以直接证到的，所以我们先归纳证明这个起始条件。

证明：对n进行归纳，证明 $0\times n=n\times 0$
$P(0):0\times 0=0\times 0=0$ 为真
设 $P(n)$ 为真：$0\times n=n\times 0=0$
$P(n++)$: 左边 $=0\times (n++)=0(乘法定义)$
右边 $(n++)\times 0=n\times 0+0=0\times n+0=0$
因此 $P(n++)$ 为真

现在，我们对原交换律进行归纳：

证明：对m进行归纳，证明 $m\times n=n\times m$
$P(0):0\times n=n\times 0$ 上述已证为真
设 $P(m)$ 为真：$m\times n=n\times m$
$P(m++)$: 左边 $=(m++)\times n=mn+n $
右边 $=n\times (m++)$
$⟺n\times (m++)=mn+n$
$⟺n\times (m++)=nm+n$

这里遇到了加法交换律证明中一样的问题，即我们的乘法定义中只定义了把m++乘到n上，但是并没有定义了把n乘到m++上。所以我们还是需要再对此进行归纳证明：

证明：对n进行归纳，证明 $n\times (m++)=nm+n$
$P(0):0\times (m++)=0=0\times m+0$ 为真
设 $P(n)$ 为真：$n\times (m++)=nm+n$
$P(n++)$: 左边 $=(n++)\times (m++)=n\times (m++)+m++$
$=nm+n+m++$
右边 $=(n++)\times m+n++=nm+m+n++=nm+n+1+m=nm+n+m++$
因此，$P(n++)$ 为真

由此，我们就得到了乘法交换律的证明。有了加法相关性质推导证明的经验，我们可以乘胜追击，把乘法的其他性质规律也一并证掉。

三、乘法的其他性质

3.1 正自然数的乘法

命题：设n,m是自然数，则有 $nm=0$ 当且仅当其中至少一个为零。特别地，若m和n均为正，则nm也为正。

证明：用反证法，假设存在自然数m, n均不为零，且 $nm=0$。
因为m,n均为正，则存在自然数x,y, 满足 $m=x++,n=y++$
$\therefore (y++)(x++)=y(x++)+x++=yx+y+x++=0$
因为 $yx+y$ 为自然数，$x++$ 为正，所以 $x+y+x++$ 为正，矛盾！所以m,n不均为正。即m、n中至少一个为0。

证明过程中用到了加法的一些性质。

3.2 分配律

设a,b,c为自然数，则有 $a(b+c)=ab+ac$ 以及 $(b+c)a=ba+ca$。由乘法具有交换律，我们只需要证明其中一个等式成立即可。我们来证一下第一个：

证明：对a进行归纳：
$P(0):0\times (b+c)=0=0\times b+0\times c=0+0=0$ 为真
设 $P(a)$ 为真：$a(b+c)=ab+ac$
$P(a++)$: 左边 $=(a++)\times (b+c)=a(b+c)+b+c=ab+ac+b+c$
右边 $=(a++)b+(a++)c=ab+b+ac+c=ab+ac+b+c$ = 左边
因此，$P(a++)$ 为真。

3.3 乘法结合律

乘法是结合的：设a,b,c为自然数，则有 $(ab)c=a(bc)$

证明：对a进行归纳：
$P(0):(0\times b)c=0\times c=0=0\times (bc)=0$ 为真
设 $P(a)$ 为真：$(ab)c=a(bc)$
$P(a++)$: 左边 $=((a++)\times b)c=(ab+b)c$
由分配律有： $(ab+b)c=(ab)c+bc$
右边 $=(a++)(bc)=a(bc)+bc$
KaTeX parse error: Undefined control sequence: \becasue at position 1: \̲b̲e̲c̲a̲s̲u̲e̲ ̲(ab)c=a(bc)
$\therefore$ 左边=右边，因此，$P(a++)$ 为真。

证明过程中，注意不要漏掉括号，导致没有用上 $P(a)$ 为真的条件而造成伪证。

3.4 乘法保序

设a、b是自然数，若 $a<b$，$c>0$，则有 $ac<bc$。

证明：$\because a<b$
$\therefore \exists x>0,a+x=b$
$\therefore bc=(a+x)c=ac+xc$
$\because x>0,c>0$
$\therefore xc>0,bc=ac+xc>ac$

3.5 消去律

设a、b、c是自然数，满足 $ac=bc$ 且 $c\ne 0$，则有 $a=b$。

证明：用反证法，假设$a\ne b$
由序的三歧性，可知 $a<b$ 或者 $a>b$ 必有一个成立。
不妨设 $a<b$ 成立。
$\therefore \exists x>0,b=a+x$
$ac=bc=(a+x)c=ac+xc$
$\because x>0,c>0$
$\therefore xc>0,bc=ac+xc>ac$，矛盾！
因此，$a=b$。

四、欧几里得算法及指数运算

4.1 欧几里得算法

接触过一点数论的朋友，应该很熟悉欧几里得算法，即把一个自然数n分解成 $mq+r$的形式。任意一个自然数均可以找到自然数 $m,r$ 作这样的分解，其中 $q>0,0\le r<q$，m、r均为自然数。我们来证明一下这件事：

证明：对自然数n进行归纳：
$P(0): 取 $m=r=0$, $q$ 取任意正数，有 $0=0\times q+0=0+0=0$ 为真。
设 $P(n)$ 为真：$n=mq+r$
$P(n++):n++=mq+r++$
$\because 0\le r<q$
$\therefore r++\le q$
若 $r++=q$，则有 $n++=mq+q=(m++)q+0$，取 $m^{\prime }=m++,r^{\prime }=0$ 即可。
若 $r++<q$，则直接取 $m^{\prime }=m,r^{\prime }=r++$即可。

这个分解过程，其实就是我们从小所熟知的带余除法。

4.2 指数运算

类似的，我们可以递归地定义指数运算为乘法运算的重复：设m是自然数，为把m升到0此幂，我们定义$m^0:=1$，设已经定义好$m^n$，那么归纳的定义有$m^{(}n++):=m^n\times m$。

根据《陶哲轩实分析》中的安排，在定义了整数与比例数（有理数）之后，再讨论指数运算。

---

附录

习题部分除了2.3.4外，全都是之前的命题与性质规律的证明，因此这里只补上该题的证明供参考。

习题2.3.4：证明等式 $(a+b{)}^2=a^2+2ab+b^2$
证明：$(a+b{)}^2=(a+b)(a+b)=a(a+b)+b(a+b)$
$=a^2+ab+ba+b^2=a^2+1\times ab+ab+b^2=a^2+(1++)ab+b^2=a^2+2ab+b^2$