复变函数B 习题解答 第一章

第一章:复数和平面点集

1. 计算

  1. 原式 =32+32=12=3^2+\sqrt{3}^2=12
  2. 原式 =(xiy)(xiy)iy(xiy)=x2yixyy=x22yixy\begin{aligned}=&(x-i\sqrt{y})(-x-i\sqrt{y})-i\sqrt{y}(x-i\sqrt{y})\\=&-x^2-y-ix\sqrt{y}-y\\=&-x^2-2y-ix\sqrt{y}\\[-32pt]\end{aligned}
  3. 原式 =(34i)(43i)25=121225i25=i=\frac{(3-4i)(4-3i)}{25}=\frac{12-12-25i}{25}=-i
  4. 原式 =5i(2+3i)5=3+2i=\frac{5i(\sqrt{2}+\sqrt{3}i)}{5}=-\sqrt{3}+\sqrt{2}i

2. 用三角式及指数式表示下列复数,并求辐角一般值

  1. z=22(cosπ4+isinπ4)=22ei(π4)\begin{aligned}z=&2\sqrt{2}(\cos-\frac{\pi}{4}+i\sin-\frac{\pi}{4})\\=&2\sqrt{2}e^{i(-\frac{\pi}{4})}\\[-19pt]\end{aligned}
    Argz=argz+2kπ=2kππ4(kZ)Arg z=\arg z+2k\pi=2k\pi-\frac{\pi}{4}(k\in\mathbb{Z})
  2. z=3(cosπ2+isinπ2)=3ei(π2)\begin{aligned}z=&\sqrt{3}(\cos-\frac{\pi}{2}+i\sin-\frac{\pi}{2})\\=&\sqrt{3}e^{i(-\frac{\pi}{2})}\\[-19pt]\end{aligned}
    Argz=argz+2kπ=2kππ2(kZ)Arg z=\arg z+2k\pi=2k\pi-\frac{\pi}{2}(k\in\mathbb{Z})
  3. z=132|z|=\frac{\sqrt{13}}{2}
    argz=π+arctan31/2=π+arctan23\arg z=-\pi+\arctan\frac{\sqrt{3}}{1/2}=-\pi+\arctan2\sqrt{3}
    z=22(cos(π+arctan23)+isin(π+arctan23))=22ei(π+arctan23)\begin{aligned}z=&2\sqrt{2}(\cos(-\pi+\arctan2\sqrt{3})+i\sin(-\pi+\arctan2\sqrt{3}))\\=&2\sqrt{2}e^{i(-\pi+\arctan2\sqrt{3})}\\[-19pt]\end{aligned}
    Argz=argz+2kπ=2kππ+arctan23(kZ)Arg z=\arg z+2k\pi=2k\pi-\pi+\arctan2\sqrt{3}(k\in\mathbb{Z})
  4. θ=θ0+2nπ(nZ,0θ0<2π)\theta=\theta_0+2n\pi(n\in\mathbb{Z},0\le\theta_0<2\pi)
    θ0=0\theta_0=0z=0z=0,辐角无意义
    θ00\theta_0\not=0 时,argz=arctansinθ01cosθ0=arctan1tan(θ0/2)=πθ02\arg z=\arctan\frac{\sin\theta_0}{1-\cos\theta_0}=\arctan\frac{1}{\tan(\theta_0/2)}=\frac{\pi-\theta_0}{2}
    z=(1cosθ0)2+sin2θ0=2sinθ02|z|=\sqrt{(1-\cos\theta_0)^2+\sin^2\theta_0}=2\sin\frac{\theta_0}{2}
    z=2sinθ02(cosπθ02+isinπθ02)=2sinθ02ei(πθ02)\begin{aligned}z=&2\sin\frac{\theta_0}{2}(\cos\frac{\pi-\theta_0}{2}+i\sin\frac{\pi-\theta_0}{2})\\=&2\sin\frac{\theta_0}{2}e^{i(\frac{\pi-\theta_0}{2})}\\[-19pt]\end{aligned}
    Argz=argz+2kπ=2kπ+πθ02(kZ)Arg z=\arg z+2k\pi=2k\pi+\frac{\pi-\theta_0}{2}(k\in\mathbb{Z})

3. 利用复数三角式或指数式计算

  1. 原式 =eiπ22ei(π3)2eiπ6=4eiπ3\begin{aligned}=&e^{i\cdot\frac{\pi}{2}}\cdot2e^{i(-\frac{\pi}{3})}\cdot2e^{i\cdot\frac{\pi}{6}}\\=&4e^{i\cdot\frac{\pi}{3}}\\[-19pt]\end{aligned}
  2. 原式 =(2eiπ6)3=18ei(π2)=i8\begin{aligned}=&(2e^{i\cdot\frac{\pi}{6}})^{-3}\\=&\frac{1}{8}e^{i(-\frac{\pi}{2})}=-\frac{i}{8}\\[-24pt]\end{aligned}
  3. 原式 =2eiπ43=26ei(π12+2πk3)(k=0,1,2)\begin{aligned}=&\sqrt[3]{\sqrt{2}e^{i\cdot\frac{\pi}{4}}}\\=&\sqrt[6]{2}\cdot e^{i(\frac{\pi}{12}+\frac{2\pi k}{3})}(k=0,1,2)\\[-19pt]\end{aligned}

4. 解方程

  1. 原式 =2ei(π3)3=23ei(π9+2πk3)(k=0,1,2)\begin{aligned}=&\sqrt[3]{2e^{i(-\frac{\pi}{3})}}\\=&\sqrt[3]{2}\cdot e^{i(-\frac{\pi}{9}+\frac{2\pi k}{3})}(k=0,1,2)\\[-19pt]\end{aligned}
  2. 原式 =ei(π2)3=ei(π6+2πk3)(k=0,1,2)\begin{aligned}=&\sqrt[3]{e^{i(-\frac{\pi}{2})}}\\=&e^{i(-\frac{\pi}{6}+\frac{2\pi k}{3})}(k=0,1,2)\\[-19pt]\end{aligned}
  3. 原式 =eiπ4=ei(π4+πk2)(k=0,1,2,3)\begin{aligned}=&\sqrt[4]{e^{i\pi}}\\=&e^{i(\frac{\pi}{4}+\frac{\pi k}{2})}(k=0,1,2,3)\\[-19pt]\end{aligned}

5. 证明题

ω3=1\omega^3=1(1ω)(1+ω+ω2)=0(1-\omega)(1+\omega+\omega^2)=0
又由 ω\omega 是复根,即 ω1\omega\not=11+ω+ω2=01+\omega+\omega^2=0

6. 求 x, y

两边平方,x2y2+2xyi=a+ibx^2-y^2+2xyi=a+ib
{x2y2=a2xy=b\therefore\begin{cases}x^2-y^2=a\\2xy=b\end{cases}
4x2y2=b2\therefore 4x^2y^2=b^2
4x2(x2a)=b2\therefore 4x^2(x^2-a)=b^2
解得 {x2=a+a2+b22y2=a+a2+b22\begin{cases}x^2=\frac{a+\sqrt{a^2+b^2}}{2}\\y^2=\frac{-a+\sqrt{a^2+b^2}}{2}\end{cases}
根据实际情况,最终可得{x=±a+a2+b22y=±a+a2+b22\begin{cases}x=\pm\sqrt{\frac{a+\sqrt{a^2+b^2}}{2}}\\y=\pm\sqrt{\frac{-a+\sqrt{a^2+b^2}}{2}}\end{cases}
其中 b>0b>0x,yx,y 同号,b<0b<0x,yx,y 异号

7. 证明等式

z=k=1ncoskθ+isinkθ=eiθ1einθ1eiθ=(cosθ+isinθ)(1cosθ+isinθ)(1cosnθisinnθ)22cosθ=cosθ1+isinθ22cosθ\begin{aligned} z=&\sum\limits_{k=1}^n\cos k\theta+i\sin k\theta\\ =&e^{i\theta}\cdot\frac{1-e^{in\theta}}{1-e^{i\theta}}\\ =&\frac{(\cos\theta+i\sin\theta)(1-\cos\theta+i\sin\theta)(1-\cos n\theta-i\sin n\theta)}{2-2cos\theta}\\ =&\frac{\cos\theta-1+i\sin\theta}{2-2\cos\theta}\\[-78pt] \end{aligned}

则有:(1)=Rez=(cosθ1)(1cosnθ)+sinθsinnθ22cosθ=12+(cosθ1)cosnθsinθsinnθ2cosθ2=12+cos(n+1)θcosnθ2cosθ2=122sin(n+12)θsin12θ2cosθ2=12+2sin(n+12)θsin12θ2(2sin212θ)=12+sin(n+12)θ2sin12θ\begin{aligned} (1)=\operatorname{Re} z=&\frac{(\cos\theta-1)(1-\cos n\theta)+\sin\theta\sin n\theta}{2-2\cos\theta}\\ =&-\frac{1}{2}+\frac{(\cos\theta-1)\cos n\theta-\sin\theta\sin n\theta}{2\cos\theta-2}\\ =&-\frac{1}{2}+\frac{\cos(n+1)\theta-\cos n\theta}{2\cos\theta-2}\\ =&-\frac{1}{2}-\frac{2\sin(n+\frac{1}{2})\theta\sin\frac{1}{2}\theta}{2\cos\theta-2}\\ =&-\frac{1}{2}+\frac{2\sin(n+\frac{1}{2})\theta\sin\frac{1}{2}\theta}{2(2\sin^2\frac{1}{2}\theta)}\\ =&-\frac{1}{2}+\frac{\sin(n+\frac{1}{2})\theta}{2\sin\frac{1}{2}\theta}\\[-137pt] \end{aligned}

以及:(2)=Imz=(cosθ1)(sinnθ)+sinθ(1cosnθ)22cosθ=sinnθ+sinθsin(n+1)θ22cosθ=(sinnθsin(n+1)θ)+sinθ22cosθ=(2cos(n+12θ)sin12θ)+2sin12θcos12θ2(2sin212θ)=12cotθ2cos(n+12)θ2sin12θ\begin{aligned} (2)=\operatorname{Im} z=&\frac{(\cos\theta-1)(-\sin n\theta)+\sin\theta(1-\cos n\theta)}{2-2\cos\theta}\\ =&\frac{\sin n\theta+\sin\theta-\sin(n+1)\theta}{2-2\cos\theta}\\ =&\frac{(\sin n\theta-\sin(n+1)\theta)+\sin\theta}{2-2\cos\theta}\\ =&\frac{(-2\cos(n+\frac{1}{2}\theta)\sin\frac{1}{2}\theta)+2\sin\frac{1}{2}\theta\cos\frac{1}{2}\theta}{2(2\sin^2\frac{1}{2}\theta)}\\ =&\frac{1}{2}\cot\frac{\theta}{2}-\frac{\cos(n+\frac{1}{2})\theta}{2\sin\frac{1}{2}\theta}\\[-111pt] \end{aligned}

8. 证明等式

argz1z2=θ\arg\frac{z_1}{z_2}=\theta 则有
{z1z22=z12+z222z1z2cosθz1+z22=z12+z22+2z1z2cosθ\begin{cases} |z_1-z_2|^2=|z_1|^2+|z_2|^2-2|z_1||z_2|\cos\theta\\ |z_1+z_2|^2=|z_1|^2+|z_2|^2+2|z_1||z_2|\cos\theta \end{cases}
两式相加得 z1+z22+z1z22=2(z12+z22)|z_1+z_2|^2+|z_1-z_2|^2=2(|z_1|^2+|z_2|^2)
几何意义:

  1. 平行四边形各边平方和等于对角线平方和
  2. 三角形两边平方和的一半,等于对边中线的平方与对边的一半的平方的和

9. 求最大值

对任意复数 tt 满足 t1|t|\le 1, 若有 zn=tz^n=t,易知 zz 可取 tnei1nargt\sqrt[n]{|t|}e^{i\frac{1}{n}\arg t},且此时 z1|z|\le 1

即:znz^n 可以组成所有模长 1\le 1 的复数的集合,即其方向任意且模长最大为 1

因此 zn+amax=znmax+a=a+1|z^n+a|_{\max}=|z^n|_{\max}+|a|=|a|+1

最大值在 z=ei1nargtz=e^{i\frac{1}{n}\arg t} 时取得

10. 证明

  1. za1az=1az1az=1az1az=1az1az=1az1az=1\left|\frac{z-a}{1-\overline{a}z}\right|=\left|\frac{1-\frac{a}{z}}{1-\overline{a}z}\right|=\left|\frac{1-a\overline{z}}{1-\overline{a}z}\right|=\left|\frac{1-\overline{\overline{a}z}}{1-\overline{a}z}\right|=\left|\frac{\overline{1-\overline{a}z}}{1-\overline{a}z}\right|=1

  2. 原式直接平方,即证 za2<1az2|z-a|^2<|1-\overline{a}z|^2
    即证 z2+a2azaz<1+az2azaz|z|^2+|a|^2-\overline{a}\cdot z-a\cdot\overline{z}<1+|\overline{a}z|^2-\overline{a}\cdot z-a\cdot\overline{z}
    即证 z2+a2<1+az2|z|^2+|a|^2<1+|\overline{a}z|^2
    即证 (z21)(a21)>0(|z|^2-1)(|a|^2-1)>0
    z<1,a<1|z|<1,|a|<1 时显然


    如果使用 (1) 中式子,我们还有这样较为复杂的证明方法:
    首先设 s=1zs=\frac{1}{|z|},显然 s>1s>1
    我们先证明不等式:k>1,v<1|k|>1,|v|<1kv>1kv|k-v|>|1-kv|
    证:两边平方,即证 k2+v22kv>1+(kv)22kv|k|^2+|v|^2-2|k|\cdot|v|>1+(|k|\cdot|v|)^2-2|k|\cdot|v|
    即证 k2+v2>1+(kv)2|k|^2+|v|^2>1+(|k|\cdot|v|)^2
    即证 (k21)(v21)<0(|k|^2-1)(|v|^2-1)<0
    k>1,v<1|k|>1,|v|<1 时显然成立

    代入:k=s,v=szak=s,v=sz\overline{a} 可得 ssza>1s2za|s-sz\overline{a}|>|1-s^2z\overline{a}|
    可得 szsassza<szsa1szsa=1\left|\frac{sz-sa}{s-sz\overline{a}}\right|<\left|\frac{sz-sa}{1-sz\cdot s\overline{a}}\right|=1 (此处由 (1) 可得)
    上下同除以 ssza1za<1\left|\frac{z-a}{1-z\overline{a}}\right|<1
    证毕

11. 证明

  1. 首先我们有 aba+ba+b|a|-|b|\le|a+b|\le|a|+|b|,这是易证的,可以通过几何意义或者两端平方证得。反复运用此式,我们有:

    • z2+z3++znz2+z3++znz2+z3++zn|z_2+z_3+\cdots+z_n|\le|z_2|+|z_3+\cdots+z_n|\le\cdots\le|z_2|+|z_3|+\cdots+|z_n|
    • z1+(z2+z3++zn)z1z2+z3++zn|z_1+(z_2+z_3+\cdots+z_n)|\ge|z_1|-|z_2+z_3+\cdots+z_n|

    因此可得 z1+(z2+z3++zn)z1z2+z3++znz1z2z3zn|z_1+(z_2+z_3+\cdots+z_n)|\ge|z_1|-|z_2+z_3+\cdots+z_n|\ge|z_1|-|z_2|-|z_3|-\cdots-|z_n|

  2. 注意到 (1z)P(z)=an+(an1an)z++(a0a1)zna0zn+1|(1-z)P(z)|=|a_n+(a_{n-1}-a_{n})z+\cdots+(a_0-a_1)z^n-a_0z^{n+1}|, 且有ai+1ai0,i=0n1a_{i+1}-a_{i}\geq0,i=0\cdots n-1

    由第一问结论,原式 an(an1an)z(a0a1)zna0zn+1an(anan1)(a1a0)a0zn+1=a0(1zn+1)>0\geq|a_n|-|(a_{n-1}-a_{n})z|-\cdots-|(a_0-a_1)z^n|-a_0|z|^{n+1}\geq a_n - (a_{n}-a_{n-1})-\cdots-(a_1-a_0)-a_0|z|^{n+1}=a_0(1-|z|^{n+1})>0

    z<1|z|<1, 故 z1>0|z-1|>0, 因此有 P(z)>0|P(z)|>0, 即 P(z)=0P(z)=0z<1|z|<1 内无根。

12. 证明:充分必要条件

我们只需证明 三点共线 ⇔ (3) ⇔ (1) ⇔ (2) 即可 (当然有别的做法,这只是一种证明路径)

证明:三点共线 ⇔ (3)

我们已知:对于向量 v1,v2,v3v_1,v_2,v_3,若三点共线,必有 v1=λv2+(1λ)v3(λR)v_1=\lambda v_2+(1-\lambda)v_3(\lambda\in\mathbb{R})。显然,对复数而言,本结论也成立。

不妨设 λ10\lambda_1\not=0,那么 z1=λ2λ1z2λ3λ1z3z_1=-\frac{\lambda_2}{\lambda_1}z_2-\frac{\lambda_3}{\lambda_1}z_3,且 (λ2λ1)+(λ3λ1)=λ2+λ3λ1=λ1λ1=1(-\frac{\lambda_2}{\lambda_1})+(-\frac{\lambda_3}{\lambda_1})=-\frac{\lambda_2+\lambda_3}{\lambda_1}=-\frac{-\lambda_1}{\lambda_1}=1

因此 (3) \Rightarrow 三点共线

又有:若三点共线,必有 z1=λz2+(1λ)z3(λR)z_1=\lambda z_2+(1-\lambda)z_3(\lambda\in\mathbb{R})。此时,取 λ1=1,λ2=λ,λ3=1λ\lambda_1=-1,\lambda_2=\lambda,\lambda_3=1-\lambda 即可。

因此 三点共线 \Rightarrow (3)

证明:(1) ⇔ (3)

z1z2z2z3=k\frac{z_1-z_2}{z_2-z_3}=k。那么可以取 λ1=1,λ2=k1,λ3=k\lambda_1=1,\lambda_2=-k-1,\lambda_3=k,显然符合 (3) 中条件,因此 (1) \Rightarrow (3)。

λ10\lambda_1\not=0,那么可得 z1z2z2z3=λ2z2+λ3z3(λ2+λ3)z2z2z3=λ3λ2+λ3\frac{z_1-z_2}{z_2-z_3}=\frac{-\frac{\lambda_2z_2+\lambda_3z_3}{-(\lambda_2+\lambda_3)}-z_2}{z_2-z_3}=-\frac{\lambda_3}{\lambda_2+\lambda_3}
λ1=0,λ20\lambda_1=0,\lambda_2\not=0,那么可得 λ2+λ3=0\lambda_2+\lambda_3=0λ2z2+λ3z3=0\lambda_2z_2+\lambda_3z_3=0,因此有 z2=z3z_2=z_3,产生共点情况,排除。
显然不可能有 λ1=0,λ2=0\lambda_1=0,\lambda_2=0 的情况,因为若如此,必有 λ3=0\lambda_3=0,矛盾。
因此 (3) \Rightarrow (1)。

证明:(1) ⇔ (2)

z1z2z2z3=k\frac{z_1-z_2}{z_2-z_3}=k
两边同时乘以 z2z3\overline{z_2-z_3} 得到 (z1z2)(z2z3)=kz2z32(z_1-z_2)(\overline{z_2}-\overline{z_3})=k|z_2-z_3|^2
展开移项得到 z1z2+z2z3z1z3=kz2z32+z22z_1\overline{z_2}+z_2\overline{z_3}-z_1\overline{z_3}=k|z_2-z_3|^2+|z_2|^2
因为 Im(z1z3)=Im(z3z1)\operatorname{Im}(-z_1\overline{z_3})=\operatorname{Im}(z_3\overline{z_1})
所以 z1z2+z2z3+z3z1=kz2z32+z22+2Re(z3z1)z_1\overline{z_2}+z_2\overline{z_3}+z_3\overline{z_1}=k|z_2-z_3|^2+|z_2|^2+2\operatorname{Re}(z_3\overline{z_1})

因此 (1) \Rightarrow (2)

(2) \Rightarrow (1) 同理易证,只需将这个过程反过来即可

13. 证明题

z1+z2+z3=0z_1+z_2+z_3=0z1+z2=z3z_1+z_2=-z_3,因此 z1+z2=z3=1|z_1+z_2|=|-z_3|=1
利用余弦定理有 z12+z222z1z2cos(180argz1z2)=12|z_1|^2+|z_2|^2-2|z_1||z_2|\cos(180^\circ-\arg\frac{z_1}{z_2})=1^2
因此 cosargz1z2=12\cos\arg\frac{z_1}{z_2}=\frac{1}{2},所以 argz1z2=±120\arg\frac{z_1}{z_2}=\pm 120^\circ
同理 argz1z3=argz2z3=±120\arg\frac{z_1}{z_3}=\arg\frac{z_2}{z_3}=\pm 120^\circ
唯一的可能是 z1,z2,z3z_1,z_2,z_3 两两之间夹角均为 120120^\circ,即 z1,z2,z3z_1,z_2,z_3 构成了内接正三角形。显然该正三角形内接于单位圆。

14. 证明题

因为 z1+z2z_1+z_2 为实数,即 (Rez1+Rez2)+i(Imz1+Imz2)(\operatorname{Re}z_1+\operatorname{Re}z_2)+i(\operatorname{Im}z_1+\operatorname{Im}z_2) 为实数,即 Imz1+Imz2=0\operatorname{Im}z_1+\operatorname{Im}z_2=0
因为 z1z2z_1z_2 为实数,即 (Rez1Rez2Imz1Imz2)+i(Rez1Imz2+Rez2Imz1)(\operatorname{Re}z_1\operatorname{Re}z_2-\operatorname{Im}z_1\operatorname{Im}z_2)+i(\operatorname{Re}z_1\operatorname{Im}z_2+\operatorname{Re}z_2\operatorname{Im}z_1) 为实数,即 Rez1Imz2+Rez2Imz1=0\operatorname{Re}z_1\operatorname{Im}z_2+\operatorname{Re}z_2\operatorname{Im}z_1=0。由 Imz1+Imz2=0\operatorname{Im}z_1+\operatorname{Im}z_2=0 易知 Rez1=Rez2\operatorname{Re}z_1=\operatorname{Re}z_2

综上所述,显然有 z1=z2z_1=\overline{z_2},即 z1z_1z2z_2 或者都为实数,或者为一对共轭复数。

15. 求另二顶点

a,ba,b 是俩相邻顶点:考虑可以用 i(ba)i(b-a) 构造出正方形的垂直于 bab-a 的边,因此答案为 a+i(ba),b+i(ba)a+i(b-a), b+i(b-a) 或者 a+i(ab),b+i(ab)a+i(a-b), b+i(a-b)

a,ba,b 为俩对角顶点:仍然考虑另一条对角线的构造(应为 i(ba)i(b-a)),并用 a,ba,b 的中点定位求出另俩个顶点,答案为 a+b2+iba2,a+b2+iab2\frac{a+b}{2}+i\frac{b-a}{2},\frac{a+b}{2}+i\frac{a-b}{2}(另解:可以仍从 aa 点出发,利用 12eπ4i\frac{1}{\sqrt{2}}e^{\frac{\pi}{4}i} 对对角线作旋转与缩放得到另外的节点。此方法的答案为 a+ba2eπ4i,a+ba2eπ4ia+\frac{b-a}{\sqrt{2}}e^{\frac{\pi}{4}i},a+\frac{b-a}{\sqrt{2}}e^{-\frac{\pi}{4}i}

共 3 个答案

16. 复数列求极限

请注意:下方并非由模长极限为 0 得出数列极限为 0(没有该定理),实际上是由 limn+zn0=0\lim\limits_{n\rightarrow+\infty}|z_n-0|=0 得出数列极限为0

  1. 通项:zn=(3+4i6)nz_n=\left(\frac{3+4i}{6}\right)^n
    模长通项:zn=(56)n|z_n|=\left(\frac{5}{6}\right)^n
    模长极限:limn+zn=0\lim\limits_{n\rightarrow+\infty}|z_n|=0
    因此原式有极限,极限为 limn+zn=0\lim\limits_{n\rightarrow+\infty}z_n=0
  2. 通项:zn=in1nz_n=\frac{i^{n-1}}{n}
    模长通项:zn=1n|z_n|=\frac{1}{n}
    模长极限:limn+zn=0\lim\limits_{n\rightarrow+\infty}|z_n|=0
    因此原式有极限,极限为 limn+zn=0\lim\limits_{n\rightarrow+\infty}z_n=0
  3. 通项:zn=in1z_n=i^{n-1},且有性质 zx+1zx=2(x=1,2,)|z_{x+1}-z_x|=\sqrt{2}(x=1,2,\cdots)
    若复数列有极限 z0z_0,不妨设 n>Nn>Nznz0<12|z_n-z_0|<\frac{1}{2}。那么我们有 2=zn+2zn+1zn+2z0+zn+1z0<1\sqrt{2}=|z_{n+2}-z_{n+1}|\le|z_{n+2}-z_0|+|z_{n+1}-z_0|<1,从而导出矛盾,故该复数列无极限

17. 证明题

  1. 对任意 ε>0\varepsilon>0,有一个 NN 使 n>Nn>Nznz0<ε|z_n-z_0|<\varepsilon。取 N=NN^\prime=N,则 n>Nn>N^\primeznz0=znz0=znz0<ε|\overline{z_n}-\overline{z_0}|=|\overline{z_n-z_0}|=|z_n-z_0|<\varepsilon,从而 znz0\overline{z_n}\rightarrow\overline{z_0}

  2. z0z_0 不为 0 或者负数时,对任意 0<ε<πargz00<\varepsilon<\pi-|\arg z_0|,取 δ=z0sinε\delta=|z_0|\sin\varepsilon,则存在 NN 使 n>Nn>Nznz0<δ|z_n-z_0|<\delta。注意到 argznargz0arcsinznz0z0|\arg z_n-\arg z_0|\le\arcsin\frac{|z_n-z_0|}{|z_0|}(在 zn,z0z_n,z_0 没有分居 yy 轴负半轴两侧时),因此 argznargz0<ε|\arg z_n-\arg z_0|<\varepsilon。故:argznargz0\arg z_n\rightarrow\arg z_0

    z0=0z_0=0argz0\arg z_0 无意义
    z0z_0 为负数时不一定有 argznargz0\arg z_n\rightarrow\arg z_0。反例:zn=eiπ(n1n)z_n=e^{-i\pi\cdot(\frac{n-1}{n})}z0=1z_0=-1argznπ\arg z_n\rightarrow-\piargz0=π\arg z_0=\pi

  3. 对于 (1) 中结论,仍然成立
    对于 (2) 中结论,arg\arg\infty 无意义,结论的成立与否无意义

18. 曲线作图题

本题仅给出图像,计算过程略
第 3,4,5 题误删了坐标轴,图像仅供参考

  1. 由距离相等,易知是点 a,ba,b 连线的中垂线
  2. 是椭圆的一种定义,为焦点是 a,ba,b 的椭圆
  3. 与 y 轴相切于原点的圆族及 y 轴(α=0\alpha=0 时)
    请注意:图像在原点不连续
  4. 经过点 (±1,0)(\pm1,0) 的圆族及 x 轴(α=0\alpha=0 时)
    (可以形象为:两个钉子,一把三角尺卡住移动(旋转),直观感受为圆形)
  5. 以点 (±1,0)(\pm1,0) 为对称点的圆族及 y 轴(α=1\alpha=1 时)
    (对称的 Apollonius 圆族)

19. 画出点集图像

本题略去过程,仅阐述结论

  1. 是区域;边界为 {PxP=2}\{P\mid x_P=2\}
  2. 不是区域;边界为 {PyP=3}\{P\mid y_P=3\}
  3. 是区域;边界为 {PxP=yPxP=yP,xP0}\{P\mid x_P=y_P\vee x_P=-y_P,x_P\ge0\}
  4. 是区域;边界为 {PrP=1rP=2,π4<θP<π3}{PyP=xP,22xP2}{PyP=3xP,12xP1}\{P\mid r_P=1\vee r_P=2,\frac{\pi}{4}<\theta_P<\frac{\pi}{3}\}\cup\{P\mid y_P=x_P,\frac{\sqrt{2}}{2}\le x_P\le\sqrt{2}\}\cup\{P\mid y_P=\sqrt{3}x_P,\frac{1}{2}\le x_P\le1\}
  5. 是区域;边界为 {PyP=1yP=12xP+1,xP0}\{P\mid y_P=1\vee y_P=\frac{1}{2}x_P+1,x_P\ge0\}
  6. 不是区域;边界为 {PxP=2,3yP22}{PxP=32,yP112}{PrP=2rP=3,2xP32}\{P\mid x_P=-2,\sqrt{3}\le |y_P|\le2\sqrt{2}\}\cup\{P\mid x_P=\frac{3}{2},|y_P|\le\frac{\sqrt{11}}{2}\}\cup\{P\mid r_P=2\vee r_P=3,-2\le x_P\le\frac{3}{2}\}
  7. 是区域;边界为 {PrP=2(x2)2+y2=2,xP1}\{P\mid r_P=2\vee\sqrt{(x-2)^2+y^2}=2,x_P\ge1\}
  8. 是区域;边界为 {PrP=2,xP1}{PxP=1,yP3}\{P\mid r_P=2,x_P\ge1\}\cup\{P\mid x_P=1,|y_P|\le\sqrt{3}\}
  9. 不是区域;边界为 {PyP=y1yP=y2}\{P\mid y_P=y_1\vee y_P=y_2\}
  10. 是区域;边界为 {PxP=0}\{P\mid x_P=0\}

20. 证明题

因为任意直线可以视为一条垂直平分线,即存在复数a,ba,b,使直线方程为zazb=1\frac{|z-a|}{|z-b|}=1,两边平方化简得:(aˉbˉ)z+(ab)zˉ=a2b2(\bar a -\bar b)z+(a-b)\bar z=|a|^2-|b|^2,再令aˉbˉ=α,c=a2b2\bar a -\bar b=\alpha,c=|a|^2-|b|^2 即得证

21. 求曲线

可以看成 x=Rez,y=Imzx=\operatorname{Re} z,y=\operatorname{Im} z 的参数方程来求解

  1. x=t,y=t,<t<+x=t,y=t,-\infty<t<+\infty 因此曲线为 y=xy=x,一根经过原点的直线
  2. x=acost,y=bsint,0t2πx=a\cos t,y=b\sin t,0\le t\le 2\pi 因此曲线为 x2a2+y2b2=1\frac{x^2}{a^2}+\frac{y^2}{b^2}=1,是以 (0,0)(0,0) 为中心,a,ba,b 分别为半长轴与半短轴的椭圆
  3. x=t,y=1t,t0x=t,y=\frac{1}{t},t\not=0 因此曲线为 y=1xy=\frac{1}{x},双曲线
  4. x=t2,y=1t2,t>0x=t^2,y=\frac{1}{t^2},t>0 因此曲线为 y=1xy=\frac{1}{x}x>0x>0 部分,为双曲线的一支

22. 证明题

带入 x=(z+zˉ)/2,y=(zzˉ)/2x=(z+\bar z)/2,y=(z-\bar z)/2,原式可化为:

(z+1)2+(zˉ+1)2=4(z +1)^2+(\bar z +1)^2=4

注意到 x2+xˉ2=2((Rex)2+(Imx)2)=2x2x^2+\bar x^2=2((\operatorname{Re} x)^2+(\operatorname{Im} x)^2)=2|x|^2

所以 2z+12=42|z+1|^2=4

简化可得 z+1=2|z+1|=\sqrt{2}