使用戴德金分割法从有理数域构造实数域（下）

(由于平台对文章篇幅限制，此文分为上下两个部分，开头部分请参阅《使用戴德金分割法从有理数域构造实数域（上）》)

满足乘法与加法的分配律

  这里取任意$\alpha$，$\beta$，$\gamma \in R^{+}$，下面我们来证明对于$R^{+}$中乘法与加法满足分配律，也就是证明下式成立。
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  由于$\alpha >0^{\ast }$，由乘法与序公理我们知道$\alpha +\beta >0^{\ast }+\beta =\beta$，又$\beta >0^{\ast }$，于是$\alpha +\beta >0^{\ast }$，于是$\alpha +\beta \in R^{+}$，于是由$R^{+}$中乘法定义可知$\alpha (\beta +\gamma )>0^{\ast }$。另外，由$R^{+}$中乘法的定义，我们知道$\alpha \beta \in R^{+}$，$\alpha \gamma \in R^{+}$，于是，同样的便也有$\alpha \beta +\alpha \gamma \in R^{+}$。

  设$p\in \alpha (\beta +\gamma )$，如果$p\le 0$，便可知$p\in \alpha \beta +\alpha \gamma$。如果$p>0$，那么有$p=ab$，其中$a\in \alpha$且$a>0$，$b\in \beta +\gamma$且$b>0$，于是有$b=c+d$，其中$c\in \beta$且$c>0$，$d\in \gamma$且$d>0$，于是$p=ab=a(c+d)=ac+ad$，可以看出$ac\in \alpha \beta$，$ad\in \alpha \gamma$，于是$ac+ad\in \alpha \beta +\alpha \gamma$，于是$p\in \alpha \beta +\alpha \gamma$。于是$\alpha (\beta +\gamma )\subset \alpha \beta +\alpha \gamma$。

  设$p\in \alpha \beta +\alpha \gamma$，如果$p\le 0$，便可知$p\in \alpha (\beta +\gamma )$。如果$p>0$，那么有$p=a+b$，其中$a\in \alpha \beta$且$a>0$，$b\in \alpha \gamma$且$b>0$，于是有$a=cd$，其中$c\in \alpha$且$c>0$，$d\in \beta$且$d>0$，于是有$b=ef$，其中$e\in \alpha$且$e>0$，$f\in \gamma$且$f>0$。现在可分三种情况：

1. 如果$c=e$，于是$p=a+b=cd+ef=c(d+f)$，可以看出$d+f\in \beta +\gamma$，于是于是$p\in \alpha (\beta +\gamma )$。
2. 如果$c<e$，于是$p=a+b=cd+ef<ed+ef=e(d+f)$，可以看出$d+f\in \beta +\gamma$，于是$e(d+f)\in \alpha (\beta +\gamma )$，又$p<e(d+f)$，再由$R$定义的条件2可知$p\in \alpha (\beta +\gamma )$。
3. 如果$e<c$，于是$p=a+b=cd+ef<cd+cf=c(d+f)$，可以看出$d+f\in \beta +\gamma$，于是$c(d+f)\in \alpha (\beta +\gamma )$，又$p<c(d+f)$，再由$R$定义的条件2可知$p\in \alpha (\beta +\gamma )$。

  于是$\alpha \beta +\alpha \gamma \subset \alpha (\beta +\gamma )$。

  以上，我们便证明了：
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

在$R$中定义乘法

  在$R^{+}$中定义了乘法之后，我们结合加法负元的性质，便可以将乘法扩展到$R$中：

1. 对于$\alpha \in R$，规定$\alpha 0^{\ast }=0^{\ast }\alpha =0^{\ast }$；
2. 对于$\alpha \in R$且$\alpha >0^{\ast }$，$\beta \in R$且$\beta >0^{\ast }$，于是$\alpha \in R^{+}$，$\beta \in R^{+}$，规定$\alpha \beta$适用$R^{+}$中乘法规则；
3. 对于$\alpha \in R$且$\alpha >0^{\ast }$，$\beta \in R$且$\beta <0^{\ast }$，于是我们知道${\beta }^{-}>0^{\ast }$，规定$\alpha \beta =(\alpha {\beta }^{-}{)}^{-}$；
4. 对于$\alpha \in R$且$\alpha <0^{\ast }$，$\beta \in R$且$\beta >0^{\ast }$，于是我们知道${\alpha }^{-}>0^{\ast }$，规定$\alpha \beta =({\alpha }^{-}\beta {)}^{-}$；
5. 对于$\alpha \in R$且$\alpha <0^{\ast }$，$\beta \in R$且$\beta <0^{\ast }$，于是我们知道${\alpha }^{-}>0^{\ast }$，${\beta }^{-}>0^{\ast }$，规定$\alpha \beta ={\alpha }^{-}{\beta }^{-}$。

  由上面定义可知，对于$\alpha \in R$，$\beta \in R$，有$\alpha \beta \in R$。

满足乘法公理

  由于乘法定义扩大到了$R$中，于是我们需要重新证明$R$中乘法满足乘法公理。这里取任意$\alpha$，$\beta$，$\gamma \in R$，下面我们来证明对于$R$中乘法的定义满足乘法公理。

交换律

  当$\alpha$与$\beta$中至少有一个为$0^{\ast }$时，由乘法第1条规则可知，这时有
$$\alpha \beta =\beta \alpha$$

  当$\alpha$与$\beta$都不为$0^{\ast }$时，分以下4种情况：

1. 当$\alpha >0^{\ast }$，$\beta >0^{\ast }$时，这时适应$R^{+}$中的乘法规则，之前已经证明了是满足交换律的，也就是有
   $$\alpha \beta =\beta \alpha$$
2. 当$\alpha >0^{\ast }$，$\beta <0^{\ast }$时，这时有$\alpha \beta =(\alpha {\beta }^{-}{)}^{-}$，$\beta \alpha =({\beta }^{-}\alpha {)}^{-}$，由$R^{+}$中交换律可知$\alpha {\beta }^{-}={\beta }^{-}\alpha$，于是有
   $$\alpha \beta =\beta \alpha$$
3. 当$\alpha <0^{\ast }$，$\beta >0^{\ast }$时，这时有$\alpha \beta =({\alpha }^{-}\beta {)}^{-}$，$\beta \alpha =(\beta {\alpha }^{-}{)}^{-}$，由$R^{+}$中交换律可知${\alpha }^{-}\beta =\beta {\alpha }^{-}$，于是有
   $$\alpha \beta =\beta \alpha$$
4. 当$\alpha <0^{\ast }$，$\beta <0^{\ast }$时，这时有$\alpha \beta =({\alpha }^{-}{\beta }^{-}{)}^{-}$，$\beta \alpha =({\beta }^{-}{\alpha }^{-}{)}^{-}$，由$R^{+}$中交换律可知${\alpha }^{-}{\beta }^{-}={\beta }^{-}{\alpha }^{-}$，于是有
   $$\alpha \beta =\beta \alpha$$

  以上，我们便证明了
$$\alpha \beta =\beta \alpha$$

结合律

  当$\alpha$，$\beta$与$\gamma$中至少有一个为$0^{\ast }$时，由乘法第1条规则可知，这时有$(\alpha \beta )\gamma =0^{\ast }$，$\alpha (\beta \gamma )=0^{\ast }$，于是有
$$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$

  当$\alpha$，$\beta$与$\gamma$都不为$0^{\ast }$时，分以下8种情况：

1. 当$\alpha >0^{\ast }$，$\beta >0^{\ast }$，$\gamma >0^{\ast }$时，这时适应$R^{+}$中的乘法规则，之前已经证明了是满足结合律的，也就是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
2. 当$\alpha >0^{\ast }$，$\beta >0^{\ast }$，$\gamma <0^{\ast }$时，这时有$(\alpha \beta )\gamma =((\alpha \beta ){\gamma }^{-}{)}^{-}$，$\alpha (\beta \gamma )=\alpha (\beta {\gamma }^{-}{)}^{-}=(\alpha (\beta {\gamma }^{-}){)}^{-}$，由$R^{+}$中结合律可知$(\alpha \beta ){\gamma }^{-}=\alpha (\beta {\gamma }^{-})$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
3. 当$\alpha >0^{\ast }$，$\beta <0^{\ast }$，$\gamma >0^{\ast }$时，这时有$(\alpha \beta )\gamma =(\alpha {\beta }^{-}{)}^{-}\gamma =((\alpha {\beta }^{-})\gamma {)}^{-}$，$\alpha (\beta \gamma )=\alpha ({\beta }^{-}\gamma {)}^{-}=(\alpha ({\beta }^{-}\gamma ){)}^{-}$，由$R^{+}$中结合律可知$(\alpha {\beta }^{-})\gamma =\alpha ({\beta }^{-}\gamma )$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
4. 当$\alpha >0^{\ast }$，$\beta <0^{\ast }$，$\gamma <0^{\ast }$时，这时有$(\alpha \beta )\gamma =(\alpha {\beta }^{-}{)}^{-}\gamma =(\alpha {\beta }^{-}){\gamma }^{-}$，$\alpha (\beta \gamma )=\alpha ({\beta }^{-}{\gamma }^{-})$，由$R^{+}$中结合律可知$(\alpha {\beta }^{-}){\gamma }^{-}=\alpha ({\beta }^{-}{\gamma }^{-})$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
5. 当$\alpha <0^{\ast }$，$\beta >0^{\ast }$，$\gamma >0^{\ast }$时，这时有$(\alpha \beta )\gamma =({\alpha }^{-}\beta {)}^{-}\gamma =(({\alpha }^{-}\beta )\gamma {)}^{-}$，$\alpha (\beta \gamma )=({\alpha }^{-}(\beta \gamma ){)}^{-}$，由$R^{+}$中结合律可知$({\alpha }^{-}\beta )\gamma ={\alpha }^{-}(\beta \gamma )$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
6. 当$\alpha <0^{\ast }$，$\beta >0^{\ast }$，$\gamma <0^{\ast }$时，这时有$(\alpha \beta )\gamma =({\alpha }^{-}\beta {)}^{-}\gamma =({\alpha }^{-}\beta ){\gamma }^{-}$，$\alpha (\beta \gamma )=\alpha (\beta {\gamma }^{-}{)}^{-}={\alpha }^{-}(\beta {\gamma }^{-})$，由$R^{+}$中结合律可知$({\alpha }^{-}\beta ){\gamma }^{-}={\alpha }^{-}(\beta {\gamma }^{-})$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
7. 当$\alpha <0^{\ast }$，$\beta <0^{\ast }$，$\gamma >0^{\ast }$时，这时有$(\alpha \beta )\gamma =({\alpha }^{-}{\beta }^{-})\gamma$，$\alpha (\beta \gamma )=\alpha ({\beta }^{-}\gamma {)}^{-}={\alpha }^{-}({\beta }^{-}\gamma )$，由$R^{+}$中结合律可知$({\alpha }^{-}{\beta }^{-})\gamma ={\alpha }^{-}({\beta }^{-}\gamma )$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$
8. 当$\alpha <0^{\ast }$，$\beta <0^{\ast }$，$\gamma <0^{\ast }$时，这时有$(\alpha \beta )\gamma =({\alpha }^{-}{\beta }^{-})\gamma =(({\alpha }^{-}{\beta }^{-}){\gamma }^{-}{)}^{-}$，$\alpha (\beta \gamma )=\alpha ({\beta }^{-}{\gamma }^{-})=({\alpha }^{-}({\beta }^{-}{\gamma }^{-}){)}^{-}$，由$R^{+}$中结合律可知$({\alpha }^{-}{\beta }^{-}){\gamma }^{-}={\alpha }^{-}({\beta }^{-}{\gamma }^{-})$，于是有
   $$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$

  以上，我们便证明了
$$(\alpha \beta )\gamma =\alpha (\beta \gamma )$$

乘法单位元

  $R$中的乘法单位元还是$1^{\ast }$，下面来证明$\alpha 1^{\ast }=\alpha$。

  当$\alpha$为$0^{\ast }$时，由乘法的第一条规则，我们知道$\alpha 1^{\ast }=\alpha$成立。

  当$\alpha >0^{\ast }$时，这时适用$R^{+}$中乘法规则，之前已经证明$R^{+}$中$\alpha 1^{\ast }=\alpha$成立。

  当$\alpha <0^{\ast }$时，$\alpha 1^{\ast }=({\alpha }^{-}{1}^{\ast }{)}^{-}=({\alpha }^{-}{)}^{-}=\alpha$，于是$\alpha 1^{\ast }=\alpha$成立。

  以上，我们便证明了
$$\alpha 1^{\ast }=\alpha$$

乘法逆元

  在$R^{+}$中定义了乘法逆元之后，我们结合加法负元的性质，便可以将乘法逆元扩展到$R$中：

1. 对于$0^{\ast }$，没有乘法逆元；
2. 对于$\alpha \in R$且$\alpha >0^{\ast }$，于是$\alpha \in R^{+}$，规则其乘法逆元即是其在$R^{+}$中的乘法逆元；
3. 对于$\alpha \in R$且$\alpha <0^{\ast }$，于是${\alpha }^{-}>0$，规则其乘法逆元为$(({\alpha }^{-}{)}^{-1}{)}^{-}$。

  由以上定义可知，除$0^{\ast }$没有乘法逆元外，其它$R$中的元素的乘法逆元还是$R$中的元素。

  下面我们来证明$\alpha {\alpha }^{-1}=1^{\ast }$。

  当$\alpha >0$时，此时$\alpha \in R^{+}$，之前已经证明了在$R^{+}$中$\alpha {\alpha }^{-1}=1^{\ast }$是成立的。

  当$\alpha <0$时，$\alpha {\alpha }^{-1}=\alpha (({\alpha }^{-}{)}^{-1}{)}^{-}={\alpha }^{-}({\alpha }^{-}{)}^{-1}=1^{\ast }$，于是$\alpha {\alpha }^{-1}=1^{\ast }$是成立的。

  以上，我们便证明了
$$\alpha {\alpha }^{-1}=1^{\ast }$$

满足乘法与序公理

  由于$R$中乘法在$R^{+}$中就是使用的$R^{+}$的乘法规则，而乘法与序公理只涉及$R^{+}$中的元素，故在$R^{+}$中证明便是适用于$R$的，不再需要重新证明。

满足乘法与加法的分配律

  这里取任意$\alpha$，$\beta$，$\gamma \in R$，下面我们来证明对于$R$中乘法与加法满足分配律，也就是证明下式成立。
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha =0^{\ast }$时，显然有
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha \ne 0^{\ast }$，而$\beta =0^{\ast }$或者$\gamma =0^{\ast }$时，显然有
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha >0^{\ast }$，$\beta >0^{\ast }$，$\gamma >0^{\ast }$时，此时由$R^{+}$中分配律可知有
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha >0^{\ast }$，$\beta >0^{\ast }$，$\gamma <0^{\ast }$时，这时有${\gamma }^{-}>0^{\ast }$，有以下情况：

1. 若$\beta +\gamma =0^{\ast }$，有$\alpha (\beta +\gamma )=0^{\ast }$，还有$\beta ={\gamma }^{-}$，于是$\alpha \beta +\alpha \gamma =\alpha {\gamma }^{-}+\alpha \gamma =\alpha {\gamma }^{-}+(\alpha {\gamma }^{-}{)}^{-}=0^{\ast }$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
2. 若$\beta +\gamma >0^{\ast }$，有$\beta =(\beta +\gamma )+{\gamma }^{-}$，于是$\alpha \beta =\alpha ((\beta +\gamma )+{\gamma }^{-})=\alpha (\beta +\gamma )+\alpha {\gamma }^{-}$，于是$\alpha \beta +(\alpha {\gamma }^{-}{)}^{-}=\alpha (\beta +\gamma )$，又$\alpha \gamma =(\alpha {\gamma }^{-}{)}^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
3. 若$\beta +\gamma <0^{\ast }$，有$(\beta +\gamma {)}^{-}>0^{\ast }$，由于${\gamma }^{-}={\beta }^{-}+{\gamma }^{-}+\beta$，于是${\gamma }^{-}=(\beta +\gamma {)}^{-}+\beta$，于是$\alpha {\gamma }^{-}=\alpha (\beta +\gamma {)}^{-}+\alpha \beta$，于是$(\alpha (\beta +\gamma {)}^{-}{)}^{-}=(\alpha {\gamma }^{-}{)}^{-}+\alpha \beta$，又$\alpha (\beta +\gamma )=(\alpha (\beta +\gamma {)}^{-}{)}^{-}$，$\alpha \gamma =(\alpha {\gamma }^{-}{)}^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha >0^{\ast }$，$\beta <0^{\ast }$，$\gamma >0^{\ast }$时，这时有${\beta }^{-}>0^{\ast }$，有以下情况：

1. 若$\beta +\gamma =0^{\ast }$，有$\alpha (\beta +\gamma )=0^{\ast }$，还有$\beta ={\gamma }^{-}$，于是$\alpha \beta +\alpha \gamma =\alpha {\gamma }^{-}+\alpha \gamma =\alpha {\gamma }^{-}+(\alpha {\gamma }^{-}{)}^{-}=0^{\ast }$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
2. 若$\beta +\gamma >0^{\ast }$，有$\gamma =(\beta +\gamma )+{\beta }^{-}$，于是$\alpha \gamma =\alpha ((\beta +\gamma )+{\beta }^{-})=\alpha (\beta +\gamma )+\alpha {\beta }^{-}$，于是$\alpha \gamma +(\alpha {\beta }^{-}{)}^{-}=\alpha (\beta +\gamma )$，又$\alpha \beta =(\alpha {\beta }^{-}{)}^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
3. 若$\beta +\gamma <0^{\ast }$，有$(\beta +\gamma {)}^{-}>0^{\ast }$，由于${\beta }^{-}={\beta }^{-}+{\gamma }^{-}+\gamma$，于是${\beta }^{-}=(\beta +\gamma {)}^{-}+\gamma$，于是$\alpha {\beta }^{-}=\alpha (\beta +\gamma {)}^{-}+\alpha \gamma$，于是$(\alpha (\beta +\gamma {)}^{-}{)}^{-}=(\alpha {\beta }^{-}{)}^{-}+\alpha \gamma$，又$\alpha (\beta +\gamma )=(\alpha (\beta +\gamma {)}^{-}{)}^{-}$，$\alpha \beta =(\alpha {\beta }^{-}{)}^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha >0^{\ast }$，$\beta <0^{\ast }$，$\gamma <0^{\ast }$时，这时有$\beta +\gamma <0^{\ast }$，$(\beta +\gamma {)}^{-}>0^{\ast }$，${\beta }^{-}>0^{\ast }$，${\gamma }^{-}>0^{\ast }$，于是$\alpha ({\beta }^{-}+{\gamma }^{-})=\alpha {\beta }^{-}+\alpha {\gamma }^{-}$，于是$\alpha (\beta +\gamma {)}^{-}=\alpha {\beta }^{-}+\alpha {\gamma }^{-}$，于是$(\alpha {\beta }^{-}{)}^{-}+(\alpha {\gamma }^{-}{)}^{-}=(\alpha (\beta +\gamma {)}^{-}{)}^{-}$，又$\alpha \beta =(\alpha {\beta }^{-}{)}^{-}$，$\alpha \gamma =(\alpha {\gamma }^{-}{)}^{-}$，$\alpha (\beta +\gamma )=(\alpha (\beta +\gamma {)}^{-}{)}^{-}$，于是有
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha <0^{\ast }$，$\beta >0^{\ast }$，$\gamma >0^{\ast }$时，这时有${\alpha }^{-}>0^{\ast }$，$\beta +\gamma >0^{\ast }$，于是${\alpha }^{-}(\beta +\gamma )={\alpha }^{-}\beta +{\alpha }^{-}\gamma$，于是$({\alpha }^{-}\beta {)}^{-}+({\alpha }^{-}\gamma {)}^{-}=({\alpha }^{-}(\beta +\gamma ){)}^{-}$，又$\alpha \beta =({\alpha }^{-}\beta {)}^{-}$，$\alpha \gamma =({\alpha }^{-}\gamma {)}^{-}$，$\alpha (\beta +\gamma )=({\alpha }^{-}(\beta +\gamma ){)}^{-}$，于是有
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha <0^{\ast }$，$\beta >0^{\ast }$，$\gamma <0^{\ast }$时，这时有${\alpha }^{-}>0^{\ast }$，${\gamma }^{-}>0^{\ast }$，有以下情况：

1. 若$\beta +\gamma =0^{\ast }$，有$\alpha (\beta +\gamma )=0^{\ast }$，还有$\beta ={\gamma }^{-}$，于是$\alpha \beta +\alpha \gamma =\alpha {\gamma }^{-}+\alpha \gamma =\alpha {\gamma }^{-}+(\alpha {\gamma }^{-}{)}^{-}=0^{\ast }$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
2. 若$\beta +\gamma >0^{\ast }$，有$\beta =(\beta +\gamma )+{\gamma }^{-}$，于是${\alpha }^{-}\beta ={\alpha }^{-}((\beta +\gamma )+{\gamma }^{-})={\alpha }^{-}(\beta +\gamma )+{\alpha }^{-}{\gamma }^{-}$，于是$({\alpha }^{-}(\beta +\gamma ){)}^{-}=({\alpha }^{-}\beta {)}^{-}+{\alpha }^{-}{\gamma }^{-}$，又$\alpha (\beta +\gamma )=({\alpha }^{-}(\beta +\gamma ){)}^{-}$，$\alpha \beta =({\alpha }^{-}\beta {)}^{-}$，$\alpha \gamma ={\alpha }^{-}{\gamma }^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
3. 若$\beta +\gamma <0^{\ast }$，有$(\beta +\gamma {)}^{-}>0^{\ast }$，由于${\gamma }^{-}={\beta }^{-}+{\gamma }^{-}+\beta$，于是${\gamma }^{-}=(\beta +\gamma {)}^{-}+\beta$，于是${\alpha }^{-}{\gamma }^{-}={\alpha }^{-}(\beta +\gamma {)}^{-}+{\alpha }^{-}\beta$，于是${\alpha }^{-}{\gamma }^{-}+({\alpha }^{-}\beta {)}^{-}={\alpha }^{-}(\beta +\gamma {)}^{-}$，又$\alpha (\beta +\gamma )={\alpha }^{-}(\beta +\gamma {)}^{-}$，$\alpha \gamma ={\alpha }^{-}{\gamma }^{-}$，$\alpha \beta =({\alpha }^{-}\beta {)}^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha <0^{\ast }$，$\beta <0^{\ast }$，$\gamma >0^{\ast }$时，这时有${\alpha }^{-}>0^{\ast }$，${\beta }^{-}>0^{\ast }$，有以下情况：

1. 若$\beta +\gamma =0^{\ast }$，有$\alpha (\beta +\gamma )=0^{\ast }$，还有$\beta ={\gamma }^{-}$，于是$\alpha \beta +\alpha \gamma =\alpha {\gamma }^{-}+\alpha \gamma =\alpha {\gamma }^{-}+(\alpha {\gamma }^{-}{)}^{-}=0^{\ast }$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
2. 若$\beta +\gamma >0^{\ast }$，有$\gamma =(\beta +\gamma )+{\beta }^{-}$，于是${\alpha }^{-}\gamma ={\alpha }^{-}((\beta +\gamma )+{\beta }^{-})={\alpha }^{-}(\beta +\gamma )+{\alpha }^{-}{\beta }^{-}$，于是$({\alpha }^{-}(\beta +\gamma ){)}^{-}={\alpha }^{-}{\beta }^{-}+({\alpha }^{-}\gamma {)}^{-}$，又$\alpha (\beta +\gamma )=({\alpha }^{-}(\beta +\gamma ){)}^{-}$，$\alpha \gamma =({\alpha }^{-}\gamma {)}^{-}$，$\alpha \beta ={\alpha }^{-}{\beta }^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$
3. 若$\beta +\gamma <0^{\ast }$，有$(\beta +\gamma {)}^{-}>0^{\ast }$，由于${\beta }^{-}={\beta }^{-}+{\gamma }^{-}+\gamma$，于是${\beta }^{-}=(\beta +\gamma {)}^{-}+\gamma$，于是${\alpha }^{-}{\beta }^{-}={\alpha }^{-}(\beta +\gamma {)}^{-}+{\alpha }^{-}\gamma$，于是${\alpha }^{-}{\beta }^{-}+({\alpha }^{-}\gamma {)}^{-}={\alpha }^{-}(\beta +\gamma {)}^{-}$，又$\alpha (\beta +\gamma )={\alpha }^{-}(\beta +\gamma {)}^{-}$，$\alpha \beta ={\alpha }^{-}{\beta }^{-}$，$\alpha \gamma =({\alpha }^{-}\gamma {)}^{-}$，于是有
   $$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  当$\alpha <0^{\ast }$，$\beta <0^{\ast }$，$\gamma <0^{\ast }$时，这时有$\beta +\gamma <0^{\ast }$，$(\beta +\gamma {)}^{-}>0^{\ast }$，${\alpha }^{-}>0^{\ast }$，${\beta }^{-}>0^{\ast }$，${\gamma }^{-}>0^{\ast }$，由于${\alpha }^{-}({\beta }^{-}+{\gamma }^{-})={\alpha }^{-}{\beta }^{-}+{\alpha }^{-}{\gamma }^{-}$，于是${\alpha }^{-}(\beta +\gamma {)}^{-}={\alpha }^{-}{\beta }^{-}+{\alpha }^{-}{\gamma }^{-}$，又$\alpha (\beta +\gamma )={\alpha }^{-}(\beta +\gamma {)}^{-}$，$\alpha \beta ={\alpha }^{-}{\beta }^{-}$，$\alpha \gamma ={\alpha }^{-}{\gamma }^{-}$，于是有
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$

  综上，我们证明了
$$\alpha (\beta +\gamma )=\alpha \beta +\alpha \gamma$$