Поле C комплексных чисел
Геометрическая интерпретация обратного элемента
для
Если , то, как мы видели, zz=N(z)=|z|2=a2+b2,
![z^{-1}=\frac{\bar z}{|z|^2}=\overline{\left(\frac{z}{|z|^2}\right)}.](/sites/default/files/tex_cache/7e879bc348ce0ce141137e54d2d6daae.png)
а) инверсия относительно окружности единичного радиуса (
);
б) сопряжение .
Задача 2.8.1. Найти геометрическое множество точек z-1, где z пробегает прямую .
Упражнение 2.8.2.
Для ,
, имеем
![\left|\frac{w}{\bar w}\right|=\frac{|w|}{|\bar w|}=\frac{|w|}{|w|}=1,](/sites/default/files/tex_cache/c2eca75a69d1ce1c1fc2ea828aa87d56.png)
![\frac{w}{\bar w}\in T=\{z\in C\mid |z|=1\}.](/sites/default/files/tex_cache/58888d84009a8006a5486c287826980b.png)
Если , т. е. |z|=1,
, то
для некоторого
. Таким образом,
![\left\{\left.z=\frac{1+it}{1-it}\right|t\in R\right\}=T.](/sites/default/files/tex_cache/c3965df4ef0abc9449787bef6f1d94fe.png)
![w=\cos\theta+i\sin\theta](/sites/default/files/tex_cache/97b09a27e3222eeaf5e1d71bf780971a.png)
![\bar w\=\cos(-\theta)\+i\sin(-\theta)](/sites/default/files/tex_cache/c9dd6766160b3bcffaac191d574b9f9e.png)
![\frac{w}{\bar w}=\cos 2\theta + i\sin 2\theta= \cos\varphi+i\sin\varphi.](/sites/default/files/tex_cache/a8924b80571568697b7280e709dbcd5e.png)
![2\theta=\varphi](/sites/default/files/tex_cache/fbb05c48f84226b12dda1e1e433d5747.png)
![\theta\=\frac{\varphi}{2}](/sites/default/files/tex_cache/4cf27ad5a07e41ad2f1d45450e318323.png)
![w\=\cos\frac{\varphi}{2}\+i\sin\frac{\varphi}{2}](/sites/default/files/tex_cache/96c4ab265d943f67b9e494c3b92d4430.png)
Упражнение 2.8.3.
- Единичная окружность
с операцией умножения является группой (подгруппой мультипликативной группы
поля C комплексных чисел).
-
.
- Найти все
, для которых
.
- Найти все
, для которых |z+i|+|z-i|=2.
- Три различных комплексных числа
лежат на одной прямой в R2 тогда и только тогда, когда
- Четыре различных комплексных числа
, не лежащие на одной прямой в R2, лежат на одной окружности тогда и только тогда, когда их двойное отношение является вещественным числом:
- Рассмотрим отображение инфлексии
,
Показать, что:
(a) отображение
является биекцией, при этом
,
;
(б)
для
;
(в)
, в частности
для
.
Теорема 2.8.4 (формула Муавра о возведении в степень комплексного числа в тригонометрической форме). Пусть ,
, r>0,
. Тогда
![(r(\cos\varphi+i\sin\varphi))^n=r^n (\cos n\varphi+i\sin n\varphi).](/sites/default/files/tex_cache/2d2a8ac7d9a8c364c426590b84e6fbc3.png)
Доказательство. Утверждение теоремы - частный случай теоремы 2.7.1.
Упражнение 2.8.5. Так как для
![(\cos n\varphi+i\sin n\varphi)=(\cos\varphi+i\sin\varphi)^n,](/sites/default/files/tex_cache/f15f88f7b99cfc66360830c5f69699e8.png)
![\begin{align*} & \cos n\varphi =
\cos^n \varphi-C_n^2 \cos^{n-2}\varphi\sin^2\varphi+
C_n^4 \cos^{n-4}\varphi\sin^4\varphi-...,\\ & \sin n\varphi =
n\cos^{n-1}\varphi\sin\varphi\!-\!
C_n^3 \cos^{n-3}\varphi\sin^3\varphi\!+\!
C_n^5 \cos^{n-5}\varphi\sin^5\varphi\!-\!....
\end{align*}](/sites/default/files/tex_cache/99bbd0713082f924f2aea71cb32ed4d4.png)
Например:
![\begin{align*}
\cos 2\varphi &= \cos^2\varphi-\sin^2\varphi,\\
\cos 3\varphi &= \cos^3\varphi-3\cos\varphi\sin^2\varphi,\\
\cos 4\varphi &= \cos^4\varphi-6\cos^2\varphi\sin^2\varphi+
\sin^4\varphi,\\
\sin 2\varphi &= 2\cos\varphi\sin\varphi,\\
\sin 3\varphi &= 3\cos^2\varphi\sin\varphi-\sin^3\varphi,\\
\sin 4\varphi &= 4\cos^3\varphi\sin\varphi-4\cos\varphi\sin^3\varphi.
\end{align*}](/sites/default/files/tex_cache/5a9543b98653c2cb269892c058c4c3c5.png)
Упражнение 2.8.6. Если
![u=\cos\varphi+i\sin\varphi,\quad v=\bar u =\cos\varphi-i\sin\varphi,](/sites/default/files/tex_cache/e334a6abd41d867e2a594d09ac12596a.png)
![\begin{gath}
u+v=2\cos\varphi,\quad u-v=2i\sin\varphi,\quad uv=1,\\
u^m=\cos m\varphi+i\sin m\varphi,\\*
v^m=(\bar u)^m = \overline{(u^m)}=\cos m\varphi-i\sin m\varphi,
\end{gath}%
\begin{multl}
2^n\cos^n\varphi=(u+v)^n=
\sum_{k=0}^{n}C_n^k u^{n-k}v^k={}\\
{}=(u^n+v^n)+nuv(u^{n-2}+v^{n-2})+C_n^2u^2v^2(u^{n-4}+v^{n-4})+....
\end{multl}](/sites/default/files/tex_cache/a22fae9c1e55b5b1d94d283b6e2a13bf.png)
Если n=2k, то
![\begin{mul}
(-1)^{n/2}2^n\sin^n\varphi=(u-v)^n={}\\
{}=(u^n+v^n)-nuv(u^{n-2}+v^{n-2})+C_n^2u^2v^2(u^{n-4}+v^{n-4})-....
\end{mul}](/sites/default/files/tex_cache/38b1c6226a84cca33ef8e0e2a8115b06.png)
Если n=2k+1, то
![\begin{mul}
(-1)^{(n-1)/2}i2^n\sin^n\varphi=(u-v)^n={}\\
{}=(u^n-v^n)-nuv(u^{n-2}-v^{n-2})+C_n^2u^2v^2(u^{n-4}-v^{n-4})-....
\end{mul}](/sites/default/files/tex_cache/68b48f6cac3a67aff686e01355932bdf.png)
Отсюда: если n=2k, то
![\begin{align*} & 2^n\cos^n\varphi ={}
\\* & \quad {}=
2\cos n\varphi+2n\cos(n-2)\varphi+2C_n^2\cos(n-4)\varphi+...+
C_n^{n/2},\\ & (-1)^{n/2}2^n\sin^n\varphi ={}
\\ & \quad {}=
2\cos n\varphi-2n\cos(n-2)\varphi+
2C_n^2\cos(n-4)\varphi-...+
(-1)^{n/2}C_n^{n/2};
\end{align*}](/sites/default/files/tex_cache/78e7e85906236024913de6a3db3bc08d.png)
если n=2k+1, то
![\begin{align*} & 2^n\cos^n\varphi ={}
\\ & \quad {}=
2\cos n\varphi+2n\cos(n-2)\varphi+2C_n^2\cos(n-4)\varphi+...+{}
\\ & \quad {}+
2C_n^{(n-1)/2}\cos\varphi,\\ & (-1)^{(n-1)/2}2^n\sin^n\varphi ={}
\\ & \quad {}=
2\sin n\varphi-2n\sin(n-2)\varphi+
2C_n^2\sin(n-4)\varphi-...+{}
\\ & \quad {}+(-1)^{(n-1)/2}2C_n^{(n-1)/2}\sin\varphi.
\end{align*}](/sites/default/files/tex_cache/d076e3ceabf11a7dfc3060e908e4fa20.png)
Упражнение 2.8.7. Если ,
, то
![u+...+u^n=u\frac{u^n-1}{u-1}.](/sites/default/files/tex_cache/9d0f0788a7ed322953cba5aecac879ce.png)
![\begin{align*}
\sum_{k=1}^{n}\cos k\varphi &=
\frac{\sin \frac{n\varphi}{2}\cos \frac{(n+1)\varphi}{2}}%
{\sin\frac{\varphi}{2}};\\
\sum_{k=1}^{n}\sin k\varphi &=
\frac{\sin\frac{n\varphi}{2}\sin\frac{(n+1)\varphi}{2}}%
{\sin\frac{\varphi}{2}}.
\end{align*}](/sites/default/files/tex_cache/26638cf93687fdb7fa13105ed1b002a7.png)
Теорема 2.8.8 (извлечение корней n-й степени из комплексных чисел). Пусть ,
,
, r>0. Тогда существует ровно n различных корней n -й степени из z )таких
, что wn=z ) :
![w_k=\sqrt[n]{r}\left(\cos\frac{\varphi\!+\!2\pi k}{n}+ i\sin\frac{\varphi\!+\!2\pi k}{n}\right),\ k=0,1,2,...,n-1.](/sites/default/files/tex_cache/433f02094a8e5fef97f22862572c63b9.png)
![\rho=\sqrt[n]{r}](/sites/default/files/tex_cache/1c657e1b45d2636dd706218cc62544db.png)
![n](/sites/default/files/tex_cache/7b8b965ad4bca0e41ab51de7b31363a1.png)
![\frac{\varphi}{n}, \frac{\varphi+2\pi}{n}=\frac{\varphi}{n}+\frac{2\pi}{n},..., \frac{\varphi+2\pi(n-1)}{n}=\frac{\varphi}{n}+\frac{2\pi}{n}(n-1).](/sites/default/files/tex_cache/29f388dd2eea8942a41024617a3dc0ef.png)
Доказательство. Будем искать решения w уравнения wn=z в тригонометрической форме:
![w=\rho(\cos\theta+i\sin\theta),\quad\rho>0.](/sites/default/files/tex_cache/559d5b91ac06653bea1dc727273b9cc9.png)
![w^n=\rho^n(\cos n\theta+i\sin n\theta)= r(\cos\varphi+i\sin\varphi)=z,](/sites/default/files/tex_cache/865f3bb9250dcaaf8b84c5c0fd9aa260.png)
![\rho^n=r](/sites/default/files/tex_cache/42f19859ebae15ac44baecac06703fe7.png)
![\rho=\sqrt[n]{r}](/sites/default/files/tex_cache/1c657e1b45d2636dd706218cc62544db.png)
![n\theta=\varphi+2\pi k](/sites/default/files/tex_cache/282e27adf6ca177424d1e5b0c3e26a24.png)
![k\in Z](/sites/default/files/tex_cache/8d53d638c14570e2a91ab52a6abc403e.png)
![w_k=\sqrt[n]{r}\left(\cos\frac{\varphi+2\pi k}{n}+ i\sin\frac{\varphi+2\pi k}{n}\right),\quad k=0,1,2,...,n-1.](/sites/default/files/tex_cache/0fc3e671a3d0b988529238bb52e45265.png)
Упражнение 2.8.9. Найдем корни уравнения x2-(2+i)x+(-1+7i)=0 (в алгебраической форме):
![x_{1,2}=\frac{(2+i)\pm \sqrt{(2+i)^2-4(-1+7i)}}{2}= \frac{(2+i)\pm \sqrt{7-24i}}{2};](/sites/default/files/tex_cache/7737480f2db60e09d6bb53c0d6ade2ae.png)
![\sqrt{7-24i}=5\sqrt{\frac{7}{25}-\frac{24}{25}i}](/sites/default/files/tex_cache/800f791a5550224cfa365e2afa99cbfb.png)
![z=\frac{7}{25}-\frac{24}{25}i=\cos\varphi+i\sin\varphi](/sites/default/files/tex_cache/756cd713d62a535276cd088a1d364078.png)
![\cos\varphi=\frac{7}{25}](/sites/default/files/tex_cache/cca18524095654468f2be636732a290d.png)
![\sin\varphi=-\frac{24}{25}](/sites/default/files/tex_cache/29d45da9360a1358e8924687c7595d83.png)
![\sqrt{z}=\pm \left(\cos\frac{\varphi}{2}+i\sin\frac{\varphi}{2}\right)](/sites/default/files/tex_cache/42957a8bfb380ecc7ba055b67385222e.png)
![\sin\varphi<0](/sites/default/files/tex_cache/26a65e7159f2ff888bf69b1b0bbe5613.png)
![\cos\varphi>0](/sites/default/files/tex_cache/9ab10226fbe89ee9867c025922838687.png)
![\frac{3\pi}{2}<\varphi<2\pi](/sites/default/files/tex_cache/1049fe05ef463fa434a4aa9a24f66ec1.png)
![\frac{3\pi}{4}<\frac{\varphi}{2}<\pi](/sites/default/files/tex_cache/9bebf49c512ea3cd3fecfe811a4c23e2.png)
![\cos\frac{\varphi}{2}<0](/sites/default/files/tex_cache/fc31aa6f59f87d509bd8e45d690aed27.png)
![\sin\frac{\varphi}{2}>0](/sites/default/files/tex_cache/73308b1927803365c734bcf3f0f60da0.png)
![\cos\frac{\varphi}{2}=-\sqrt{\frac{1+\cos\varphi}{2}}=-\frac{4}{5}](/sites/default/files/tex_cache/2a5f39d77f4ba85ecf8270d2de68bbec.png)
![\sin\frac{\varphi}{2}=+\frac{1-\cos\varphi}{2}=\frac{3}{5}](/sites/default/files/tex_cache/5a073c305eb9189423d1ddfb0bbef3ae.png)
![\sqrt{z}=\pm
\left(-\frac{4}{5}+\frac{3}{5}i\right)](/sites/default/files/tex_cache/30a897761d9cdb61b1feb0036b522004.png)
![x_{1,2}=\frac{(2+i)\pm (-4+3i)}{2}](/sites/default/files/tex_cache/9b57d3919fff6e3bb2208b2c9666ed55.png)
Упражнение 2.8.10. Найти все корни третьей степени из . По формуле из теоремы все три корня из
имеют следующий вид:
![\begin{gat}
w_0 = \sqrt[3]{2}\left(\cos\frac{2\pi}{9}+i\sin\frac{2\pi}{9}\right);\\
w_1 = \sqrt[3]{2}\left(\cos\frac{8\pi}{9}+i\sin\frac{8\pi}{9}\right);\quad
w_2 = \sqrt[3]{2}\left(\cos\frac{14\pi}{9}+i\sin\frac{14\pi}{9}\right).
\end{gat}](/sites/default/files/tex_cache/20dcf07f368649dfafca793a7dc19810.png)
Упражнение 2.8.11. Найти все корни четвертой степени из i. Так как , по формуле из теоремы все четыре корня из i имеют следующий вид:
![\begin{gat}
w_0 = \cos\frac{\pi}{8}+i\sin\frac{\pi}{8};\quad
w_1 = \cos\frac{5\pi}{8}+i\sin\frac{5\pi}{8};\\
w_2 = \cos\frac{9\pi}{8}+i\sin\frac{9\pi}{8};\quad
w_3 = \cos\frac{13\pi}{8}+i\sin\frac{13\pi}{8}.
\end{gat}](/sites/default/files/tex_cache/1738342791cd05f16b31f15ccef39491.png)
Упражнение 2.8.12. Извлеките все корни
![\sqrt[6]{\frac{1-i}{\sqrt{3}+i}}.](/sites/default/files/tex_cache/12b909f38d4af59ac50398c7c6fc9d66.png)
Упражнение 2.8.13. Покажите, что
![\sqrt[4]{-\frac{18}{1+i\sqrt{3}}}= \biggl\{\pm\biggl(\frac{3}{2}+i\frac{\sqrt{3}}{2}\biggr), \pm\biggl(\frac{\sqrt{3}}{2}-\frac{3}{2}i\biggr)\biggr\}.](/sites/default/files/tex_cache/dfefd36cd511b6bfa9d882f199303f6d.png)