实数系和复数系-习题

出去有明确的相反的说明以外，本习题中所提到的数，都理解为实数

1.如果$r\left(r\ne 0\right)$是有理数而$x$是无理数，证明$r+x$及$rx$是无理数
证明：
假设$r+x$是有理数，则$x=r+x-r$是有理数，矛盾
假设$rx$是有理数，则$x=rx/r$是有理数，矛盾

2.证明不存在平方为12的有理数
证明：
假设$p,q\in \mathbb{Q},gcd\left(p,q\right)=1,{\left(\frac{p}{q}\right)}^2=12$
则
$$p^2=12q^2$$
则$3\mid p^2$进而$3\mid p$，令$p=3k$
$$3k^2=4q^2$$
同理$3\mid q$，与$gcd\left(p,q\right)\ne 1$，矛盾

3.证明1.15 命题 乘法公理包含着以下几个述语：
(a)如果$x\ne 0$，且$xy=xz$，就有$y=z$
(b)如果$x\ne 0$，且$xy=x$，就有$y=1$
©如果$x\ne 0$，且$xy=1$，就有$y=\frac{1}{x}$
(d)如果$x\ne 0$，就有$\frac{1}{\frac{1}{x}}=x$
证明：
(a)
$$y=1y=\left(\frac{1}{x}x\right)y=\frac{1}{x}\left(xy\right)=\frac{1}{x}\left(xz\right)=\left(\frac{1}{x}x\right)z=1z=z$$
(b)$z=1$代入(a)
©$z=\frac{1}{x}$代入(a)
(d)$\frac{1}{x}x=1$,代入©

4.设$E$是某有序集的非空子集，又设$\alpha$是$E$的下界，而$\beta$是$E$的上界。证明$\alpha \le \beta$
证明：
$\forall x\in E,\alpha \le x\le \beta$

5.设$A$是非空实数集，下有界。令$-A$是所有$-x$的集，$x\in A$。证明
$$\inf A=-\sup \left(-A\right)$$
证明：
$\exists a,\forall x\in A,a\le x\Rightarrow -x\le -a$，从而$-A$有上界，进而有上确界$\alpha$
$\forall x\in A,-x\le \alpha \Rightarrow x\ge -\alpha$
对于$\beta <\alpha$，$\exists x\in A,-x>\beta \Rightarrow x<-\beta$ ，从而$-\beta$不是$A$的下确界
因此
$$\inf A=-\sup \left(-A\right)$$6. 固定$b>1$
(a)如果$m,n,p,q$是整数，$n>0,q>0$，且$r=\frac{m}{n}=\frac{p}{q}$。证明
$${\left(b^m\right)}^{\frac{1}{n}}={\left(b^p\right)}^{\frac{1}{q}}$$
因此，定义$b^r={\left(b^m\right)}^{\frac{1}{n}}$
(b)证明，如果$r$与$s$是有理数，那么$b^{r+s}=b^r\cdot b^s$
©如果$x$是实数。定义$B\left(x\right)$为所有数$b^t$的集，这里$t$是有理数并且$t\le x$.
证明
$$b^r=\sup B\left(r\right)$$
这里$r$是有理数。由此，对于每个实数$x$，定义
$$b^x=\sup B\left(x\right)$$
是合理的
(d)证明，对于一切实数$x$及$y$，$b^{x+y}=b^x{b}^y$
证明：
(a)
(应该有$b>0$，则$b^{-n}>0$（$n\in \mathbb{N}$）)
存在唯一正实数$r_1,r_2$，使得
$$r_1^n=b^m,r_2^q=b^p$$
$$r_1^n=b^m=b^{nr}$$
而
$$r_2^q=b^p=b^{qr}$$
进而
$$r_1^{nq}=b^{nrq}=r_2^{qn}$$

由定理1.21, $r_1=r_2=b^r$
(b)
设$r=\frac{m}{n},s=\frac{p}{q},m,n,p,q\in \mathbb{Z}$
$b^{r+s}={\left(b^{mq+pn}\right)}^{\frac{1}{nq}}={\left(b^{mq}\cdot b^{pn}\right)}^{\frac{1}{nq}}$
由定理1.21推论
$$b^{r+s}={\left(b^{mq}\right)}^{\frac{1}{nq}}\cdot {\left(b^{pn}\right)}^{\frac{1}{nq}}=b^r\cdot b^s$$

©
B ( r ) = { b t : t ∈ Q , t ≤ r } B\left( r \right) = \left\{ b^{t}:t \in \mathbb{Q},t \le r \right\} B(r)={bt:t∈Q,t≤r}
令$p,q,m,n\in \mathbb{Z},t=\frac{p}{q},r=\frac{m}{n},t\le r$，则
$${\left(b^t\right)}^{qn}={\left(b^{\frac{p}{q}}\right)}^{qn}=b^{pn}\le b^{qm}$$
由
$$b^n-a^n=\left(b-a\right)\left(b^{n-1}+b^{n-2}a+\cdots +a^{n-1}\right)$$
因此
$${\left(b^{tn}\right)}^q-{\left(b^m\right)}^q=\left(b^{tn}-b^m\right)T\left(q\right)$$
由于$T\left(q\right)>0$，因此
$${\left(b^{tn}\right)}^q-{\left(b^m\right)}^q\iff b^{tn}-b^m$$
而$b^m=b^{rn}$
因此
$${\left(b^{tn}\right)}^q-{\left(b^m\right)}^q\iff b^{tn}-b^m\iff b^t\le b^r$$
所以$b^r$是$B\left(r\right)$的上界
显然$b^r\in B\left(r\right)$，并且若$\alpha <b^r$，$\alpha$不是$B\left(r\right)$的上界，因此
$$b^r=\sup B\left(r\right)$$
(d)
b x + y = sup ⁡ B ( x + y ) = sup ⁡ { b u : u ∈ Q , u ≤ x + y } = sup ⁡ { b s + t : s ∈ Q , t ∈ Q , s + t ≤ x + y } = sup ⁡ { b s + t : s ∈ Q , t ∈ Q , s ≤ x , t ≤ y } = sup ⁡ { b s b t : s ∈ Q , t ∈ Q , s ≤ x , t ≤ y } = sup ⁡ { b s : s ∈ Q , s ≤ x } sup ⁡ { b t : t ∈ Q , t ≤ y } = B ( x ) B ( y ) \begin{aligned} b^{x + y} &= \sup B \left( x + y \right) \\ &= \sup \left\{ b^{u}: u \in \mathbb{Q}, u \le x + y \right\} \\ &= \sup \left\{ b^{s + t}: s \in \mathbb{Q}, t \in \mathbb{Q}, s + t \le x + y \right\}\\ &= \sup \left\{ b^{s+t}: s \in \mathbb{Q}, t \in \mathbb{Q}, s \le x, t \le y \right\}\\ &= \sup \left\{ b^{s} b^{t}: s \in \mathbb{Q}, t \in \mathbb{Q}, s \le x, t \le y \right\}\\ &= \sup\left\{ b^{s}:s\in \mathbb{Q}, s \le x \right\} \sup \left\{ b^{t}: t \in \mathbb{Q}, t \le y \right\} \\ &= B\left( x \right)B\left( y \right) \end{aligned} bx+y​=supB(x+y)=sup{bu:u∈Q,u≤x+y}=sup{bs+t:s∈Q,t∈Q,s+t≤x+y}=sup{bs+t:s∈Q,t∈Q,s≤x,t≤y}=sup{bsbt:s∈Q,t∈Q,s≤x,t≤y}=sup{bs:s∈Q,s≤x}sup{bt:t∈Q,t≤y}=B(x)B(y)​
第4个等号是因为找的是$b^{s+t}$的上界，这样改一下，加起来的范围不变
第5个等号利用了(b)

7.固定$b>1,y>0$，按照下面的提纲来证明，存在唯一的实数$x$使$b^x=y$
(这$x$叫做以$b$为底$y$的对数)
(a)对每个正整数$n$，$b^n-1\ge n\left(b-1\right)$
(b)因之$b-1\ge n\left(b^{\frac{1}{n}}-1\right)$
©如果$t>1$且$n>\frac{b-1}{t-1}$，那么$b^{\frac{1}{n}}<t$
(d)如果$w$使$b^w<y$。那么对于足够大的$n$，$b^{w+\frac{1}{n}}<y$。为了证明这一点，应用©而取$t=y\cdot b^{-w}$
(e)如果$b^w>y$，那么对于足够大的$n$，$b^{w-\frac{1}{n}}>y$
(f)设$A$是所有使$b^w<y$成立的$w$的集，证明$x=\sup A$满足方程$b^x=y$
(g)证明这个$x$是唯一的

证明：
(a)
$$b^n-1^n=\left(b-1\right)\left(b^{n-1}+b^{n-2}+\cdots +1\right)\ge n\left(b-1\right)$$
(b)$b^{\frac{1}{n}}$代入(a)中的$b$
©
$$t>\frac{b-1}{n}+1\ge b^{\frac{1}{n}}-1+1=b^{\frac{1}{n}}$$
(d)
$b^w<y\Rightarrow t=y\cdot b^{-w}>1$
足够大的$n$，因此$n>\frac{b-1}{t-1}$
代入©成立
(e)
$b^w>y\Rightarrow t=\frac{b^w}{y}>1$
足够大的$n$，因此$n>\frac{b-1}{t-1}$
代入©$b^{\frac{1}{n}}<\frac{b^w}{y}$
因此$b^{w-\frac{1}{n}}>y$
(f) A = { w : b w < y } A = \left\{ w:b^{w} < y \right\} A={w:bw<y}
若$b^x>y$，则根据(e)，对于足够大的$n$，$b^{x-\frac{1}{n}}>y$，与$x=\sup A$矛盾
若$b^x<y$，则根据(d)，对于足够大的$n$，$b^{x+\frac{1}{n}}<y$，与$x=\sup A$矛盾
因此$b^x=y$
(g)假设$x<z$
$$b^z=b^{x+\left(z-x\right)}=b^x{b}^{z-x}>b^x=y$$
8.证明在复数域中不能定义顺序关系以使其变成有序域。
提示：-1是平方数
证明：
若$i>0$，则$-1=\left(i\right)\left(i\right)>0$，矛盾
若$i<0$，则$-i>0$，进而$-1=\left(-i\right)\left(-i\right)>0$，矛盾
进而$i=0$，矛盾

9.设$z=a+bi,w=c+di$。若$a<c$或者$a=c$但$b<d$，就规定$z<w$。
证明这能使得所有复数的集变成有序集。（这种顺序关系叫做字典顺序或辞典编纂顺序，其理由是明显的）。这种顺序关系有没有最小上界性呢？
证明：
$z=w\iff a=c,b=d$，因此$z<w$，$z=w$，$z>w$只有一个成立

设$x=a+bi,y=c+di,z=e+fi,x<y,y<z$
若$a<c$，由于$c\le e$，有$x<z$
若$a=c,b<d$，若$c<e$，则$x<z$，若$c=e,d<f$，则$b<f$，进而$x<z$
因此$x<y<z$

不妨假设$S$非空有上界
令 A = { a : z = a + b i ∈ S } A = \left\{ a:z =a+bi \in S \right\} A={a:z=a+bi∈S}
B = { b : z = a + b i ∈ S , a = sup ⁡ A } B = \left\{ b: z=a+bi \in S, a=\sup A \right\} B={b:z=a+bi∈S,a=supA}
进而$\sup S=\left(\sup A,\sup B\right)$

10.$z=a+bi,w=u+vi$，而
$$a={\left(\frac{\left|w\right|+u}{2}\right)}^{\frac{1}{2}},b={\left(\frac{\left|w\right|-u}{2}\right)}^{\frac{1}{2}}$$
证明：如果$v\ge 0$，那么$z^2=w$，而若$v\ge 0$那么${\left(\bar{z}\right)}^2=w$
由此断定每个复数(只有一个例外)有两个复平方根

证明：
显然

11.如果$z$是复数。证明存在$r\ge 0$及复数$w$，$\left|w\right|=1$，使$z=rw$。是否$w$及$r$永远由$z$唯一确定
证明：
$r=\left|z\right|,w=\frac{z}{|z|}$
两边取模，所以$r$唯一，进而$w$唯一

12.如果$z_1,z_2,\cdots ,z_n$是复数，试证
$$\left|z_1+z_2+\cdots +z_n\right|\le \left|z_1\right|+\left|z_2\right|+\cdots +\left|z_n\right|$$
证明：
$n=2$时显然
假设$n=k$时成立，当$n=k+1$时
$$\left|z_1+z_2+\cdots +z_k+z_{k+1}\right|\le \left|z_1+z_2+\cdots +z_k\right|+\left|z_{k+1}\right|\le \left|z_1\right|+\left|z_2\right|+\cdots +\left|z_k\right|+\left|z_{k+1}\right|$$
有数学归纳法成立

13.如果$x,y$是复数，试证
$$\left|\left|x\right|-\left|y\right|\right|\le \left|x-y\right|$$
证明：
$$\left|x\right|=\left|x-y+x\right|\le \left|x-y\right|+\left|y\right|$$
因此$\left|x\right|-\left|y\right|\le \left|x-y\right|$
同理$\left|y\right|-\left|x\right|\le \left|x-y\right|$
因此成立

14.如果$z$是复数，且$\left|z\right|=1$，即$z\bar{z}=1$，计算
$${\left|1+z\right|}^2+{\left|1-z\right|}^2$$
证明：
$$\begin{array}{rl}& {\left|1+z\right|}^2+{\left|1-z\right|}^2\\ =& \left(1+z\right)\left(1+\bar{z}\right)+\left(1-z\right)\left(1-\bar{z}\right)\\ =& 1+z+\bar{z}+z\bar{z}+1-z-\bar{z}+z\bar{z}\\ =& 4\end{array}$$
15.在什么条件下Schwarz不等式中的等式成立？
解：
$a_i=0,i=1,2,\cdots ,n$
或者$b_i=0,i=1,2,\cdots ,n$
或者$\left|B{a}_i-C{b}_i\right|=0$即$B{a}_i=C{b}_i$

16.设$k\ge 3$，$\mathbf{x},\mathbf{y}\in {\mathbb{R}}^k,\left|\mathbf{x}-\mathbf{y}\right|=d>0$且$r>0$。试证：
(a)如果$2r>d$，就有无穷多个$\mathbf{z}\in {\mathbb{R}}^k$，使得
$$\left|\mathbf{z}-\mathbf{x}\right|=\left|\mathbf{z}-\mathbf{y}\right|=r$$
(b)如果$2r=d$，就恰好有一个这样的$\mathbf{z}$
©如果$2r<d$，就没有这样的$\mathbf{z}$
如果$k$是2或1，这些命题应该怎样修正

证明：
$$\mathbf{z}=\frac{\mathbf{x}+\mathbf{y}}{2}+\sqrt{r^2-\frac{d^2}{4}}\mathbf{e}$$
其中$\mathbf{e}$为单位向量
(a)单位向量有无穷个
(b)后半个为零向量，所以唯一
©显然

$k=2$，若$2r>d$只有两个，其他一样
$k=1$，若$2r>d$则无解，其他一样

17.如果$\mathbf{x}\in {\mathbb{R}}^k,\mathbf{y}\in {\mathbb{R}}^k$。试证
$${\left|\mathbf{x}+\mathbf{y}\right|}^2+{\left|\mathbf{x}-\mathbf{y}\right|}^2=2{\left|\mathbf{x}\right|}^2+2{\left|\mathbf{y}\right|}^2$$
用几何的说法，把它解释成平行四边形的命题

证明：
显然

18.如果$k\ge 2$，且$\mathbf{x}\in {\mathbb{R}}^k$，试证存在$\mathbf{y}\in {\mathbb{R}}^k$，使得$\mathbf{y}\ne 0$，但$\mathbf{x}\cdot \mathbf{y}=0$，如果$k=1$，这还对不对？
证明：
若$x_i=0,i=1,2,\cdots ,k$，则令$y_1=1,y_i=0,i=2,3,\cdots ,k$
若$x_i\ne 0,i=1,2,\cdots ,k$, 则令$y_1=1,y_2=-\frac{x_1{y}_1}{x_2},y_i=0,i=3,\cdots ,k$

如果$k=1$，不存在

19.设$\mathbf{a}\in {\mathbb{R}}^k,\mathbf{b}\in {\mathbb{R}}^k$，求$\mathbf{c}\in {\mathbb{R}}^k$和$r>0$使得
$$\left|\mathbf{x}-\mathbf{a}\right|=2\left|\mathbf{x}-\mathbf{b}\right|$$
当且仅当$\left|\mathbf{x}-\mathbf{c}\right|=r$
(答案： $3\mathbf{c}=4\mathbf{b}-\mathbf{a},3r=2\left|\mathbf{b}-\mathbf{a}\right|$)
证明：显然

20.关于附录，设把性质（Ⅲ）从分划的定义中删去，保留顺序及假发的原来定义，证明所得的有序集有最小上界性，加法满足公理(A1)到(A4)（零元稍有不同！）但(A5)不成立

证明：
$\mathbb{R}$的元是$\mathbb{Q}$的确定的子集，称为分划，规定分划是具有以下三种性质的任意集$\alpha \subseteq \mathbb{Q}$

(Ⅰ)$\alpha \ne \varnothing ,\alpha \ne \mathbb{Q}$
(Ⅱ)如果$p\in \alpha ,q\in \mathbb{Q}$且$q<p$,那么$q\in \alpha$

令$A$是$\mathbb{R}$的非空子集，$\beta \in \mathbb{R}$是$A$的上界
令$\gamma ={\bigcup }_{\alpha \in A}\alpha$
$p\in \gamma \iff \exists \alpha \in A,p\in A$

$A\ne \varnothing$,因此存在${\alpha }_0\in A$，这个${\alpha }_0\ne \varnothing$
因此${\alpha }_0\subset \gamma ,\gamma \ne \varnothing$
$\forall \alpha \in A,\alpha \subset \beta$，因此$\gamma \subset \beta ,\gamma \ne \mathbb{Q}$，进而满足(Ⅰ)
取$p\in \gamma$，$\exists {\alpha }_1\in A,p\in {\alpha }_1$
如果$q<p$，则$q\in {\alpha }_1$,因此$q\in \gamma$，进而满足(Ⅱ)，因此$\gamma \in \mathbb{R}$

$\forall \alpha \in A,\alpha \le \gamma$
假设$\delta <\gamma$。那么存在$s\in \gamma ,s\notin \delta$。因为$s\in \gamma ,\exists \alpha \in A,s\in \alpha$
因此$\gamma <\alpha$，$\gamma$不是$A$的上界
因此$\gamma =\sup A$
因此有最小上界性

(A1)
显然$\alpha +\beta$是$\mathbb{Q}$的非空子集
令$r^{\prime }\notin \alpha ,s^{\prime }\notin \beta$，则$\forall r\in \alpha ,s\in \beta ,r^{\prime }+s^{\prime }>r+s$，因此$r^{\prime }+s^{\prime }\notin \alpha +\beta$。满足(Ⅰ)
令$p\in \alpha +\beta$，$p=r+s,r\in \alpha ,s\in \beta$
如果$q<p$，则$q<r+s\Rightarrow q-s<r$，进而$q-s\in \alpha$
因此$q=\left(q-s\right)+s\in \alpha +\beta$，满足(Ⅱ)

(A2) α + β = { r + s : r ∈ α , s ∈ β } \alpha + \beta = \left\{ r+s:r\in\alpha, s \in \beta \right\} α+β={r+s:r∈α,s∈β}
β + α = { s + r : s ∈ β , r ∈ α } \beta + \alpha = \left\{s + r:s \in \beta, r \in \alpha \right\} β+α={s+r:s∈β,r∈α}
$\forall r\in \mathbb{Q},s\in \mathbb{Q}$，有$r+s=s+r$，进而$\alpha +\beta =\beta +\alpha$

(A3)显然

(A4) 0 ∗ = { p ∈ Q : p ≤ 0 } 0^{*} = \left\{ p \in \mathbb{Q}: p \le 0 \right\} 0∗={p∈Q:p≤0}
如果$r\in \alpha ,s\in 0^{\ast }$，则$r+s\le r$，进而$r+s\in \alpha$。因此$\alpha +0^{\ast }\subset \alpha$
令$p\in \alpha$,则$p=p+0\in \alpha +0^{\ast }$，因此$\alpha \subset \alpha +0^{\ast }$
因此$\alpha +0^{\ast }=\alpha$

(A5)
令 O ′ = { r ∈ Q : r < 0 } O^{\prime} = \left\{ r\in \mathbb{Q}:r <0 \right\} O′={r∈Q:r<0}
不存在$\alpha$使得$\alpha +O^{\prime }=0^{\ast }$
令$x=r+s\in \alpha +O^{\prime },r\in \alpha ,s\in O^{\prime }$
存在$t\in O^{\prime },t>s$，并且$r+t\in \alpha +O^{\prime },r+t>s$ 即$\alpha +O^{\prime }$没有最大值
然而$O^{\ast }$有最大值$0$，矛盾