Поле C комплексных чисел
Тригонометрическая форма ненулевого комплексного числа
Используя полярные координаты, модуль и аргумент
, для комплексного числа z=a+bi и принимая во внимание, что
,
, получаем тригонометрическую форму:
![z=r\cos\varphi+r\sin\varphi\, i=r(\cos\varphi+i\sin\varphi).](/sites/default/files/tex_cache/066395d9f46c092bc9c0f733d71c3307.png)
Примеры 2.6.1.
-
;
-
;
-
,
,
,
,
, поэтому
-
.
Теорема 2.6.2 (о единственности тригонометрической формы). Если и
![z=r_1(\cos\varphi_1+i\sin\varphi_1)=r_2(\cos\varphi_2+i\sin\varphi_2),](/sites/default/files/tex_cache/248c0c062b38f03330092be216c626f1.png)
![R\ni r_1>0](/sites/default/files/tex_cache/b4853082324338b431cb1391cee22f90.png)
![R\ni r_2>0](/sites/default/files/tex_cache/dae9c424fe9ead82af15ba686b152080.png)
![r_1=r_2\quad \text{и}\quad \varphi_1-\varphi_2=2\pi k,\ \ k\in Z.](/sites/default/files/tex_cache/5f846b9e765cb5590708d28094a78a78.png)
Доказательство. Из единственности алгебраической формы имеем
![a=r_1\cos\varphi_1=r_2\cos\varphi_2,\quad b=r_1\sin\varphi_1=r_2\sin\varphi_2.](/sites/default/files/tex_cache/e42ec78fb98c6f9a3c4d5bdfcbf9013a.png)
![r_1^2=r_1^2(\cos^2\varphi_1+\sin^2\varphi_1)= r_2^2(\cos^2\varphi_2+\sin^2\varphi_2)=r_2^2.](/sites/default/files/tex_cache/320f30af06624715619564735cbe6193.png)
![\cos\varphi_1=\cos\varphi_2](/sites/default/files/tex_cache/947edd5faf2cdfb964081ce2578963ba.png)
![\sin\varphi_1\=\sin\varphi_2](/sites/default/files/tex_cache/18796da693536fce6ba6b8102e0034e7.png)
![\varphi_1-\varphi_2=2\pi k](/sites/default/files/tex_cache/10dcd765a788e45b69e6b4d0657276f0.png)
![k\in Z](/sites/default/files/tex_cache/8d53d638c14570e2a91ab52a6abc403e.png)
Следствие 2.6.3. Если
![0\neq z=a+bi\in C,\quad z=r(\cos\varphi+i\sin\varphi),\ \ R\ni r>0,](/sites/default/files/tex_cache/fa3b39317d6b1fb11d112ff2af230761.png)
![r=|z|=\sqrt{a^2+b^2},\quad \varphi=\arg z](/sites/default/files/tex_cache/ec77295e97f00c27e420059d541aaceb.png)
![\arg z=\varphi+2\pi k](/sites/default/files/tex_cache/77cecb5e6120f9922ecbdfc27367b52f.png)
![k\in Z](/sites/default/files/tex_cache/8d53d638c14570e2a91ab52a6abc403e.png)
Упражнение 2.6.4. Если , r>0, то
![\begin{align*}
-z &= r(\cos(\varphi+\pi)+i\sin(\varphi+\pi)),\\
\bar z &= r(\cos(-\varphi)+i\sin(-\varphi)).
\end{align*}](/sites/default/files/tex_cache/e7d9fcbcfc9499867d348934df3634f2.png)
Умножение комплексных чисел в тригонометрической форме
Алгебраическая форма записи комплексных чисел удобна для операций сложения и разности. Как мы сейчас убедимся, тригонометрическая форма записи ненулевых комплексных чисел удобна для операции умножения (и как следствие - для деления, возведения в степень, извлечения корней).
Теорема 2.7.1. Если
![z_1=r_1(\cos\varphi_1+i\sin\varphi_1),\quad z_2=r_2(\cos\varphi_2+i\sin\varphi_2),](/sites/default/files/tex_cache/dc6703d5777591ee5b983dd57e8b855d.png)
![r_1,r_2\in R](/sites/default/files/tex_cache/0c82d35ab620dcecd6e18782cef14ad1.png)
![z_1z_2=(r_1r_2)(\cos(\varphi_1+\varphi_2)+i\sin(\varphi_1+\varphi_2)),](/sites/default/files/tex_cache/8c9123e343aa86e3a5dd77fb0b11c2b4.png)
![\arg z_1z_2=(\varphi_1+\varphi_2)+2\pi k](/sites/default/files/tex_cache/f7fab683b2d94722b2a7bc97bb15ad3e.png)
Доказательство.
![\begin{align*} &
z_1z_2=(r_1r_2)((\cos\varphi_1\cos\varphi_2-\sin\varphi_1\sin\varphi_2)+{}
\\ & \quad {}+
i(\cos\varphi_1\sin\varphi_2+\sin\varphi_1\cos\varphi_2))={}
\\ & \quad
{}=(r_1r_2)(\cos(\varphi_1+\varphi_2)+i\sin(\varphi_1+\varphi_2)),
\end{align*}](/sites/default/files/tex_cache/fcee19cc1508e9cdac81a0fd91dd3270.png)
![|z_1z_2|=r_1r_2=|z_1|\,|z_2|,\quad\arg z_1z_2=(\varphi_1+\varphi_2)+2\pi k.](/sites/default/files/tex_cache/654bf8416682bb435a995f783b0673e7.png)
Следствие 2.7.2. для
,
,
. В частности, |z-1|=|z|-1,
.
Доказательство. Если , |z1|=r1,
,
, |z2|=r2,
, то
![r_2(\cos\varphi_2+i\sin\varphi_2)\cdot
\smash[b]{\frac{r_1}{r_2}}
(\cos(\varphi_1-\varphi_2)+i\sin(\varphi_1-\varphi_2))={}
\\
{}=r_1(\cos\varphi_1+i\sin\varphi_1),](/sites/default/files/tex_cache/dbf38521920643ef5fbaab0e68c639ef.png)
![\frac{z_1}{z_2}=\frac{r_1}{r_2}(\cos(\varphi_1-\varphi_2)+ i\sin(\varphi_1-\varphi_2)),\quad \frac{r_1}{r_2}>0,](/sites/default/files/tex_cache/673b811a551086c0d5a4c5ce71c46164.png)
![\left|\frac{z_1}{z_2}\right|=\frac{r_1}{r_2}=\frac{|z_1|}{|z_2|},\quad \arg \frac{z_1}{z_2}=(\varphi_1-\varphi_2)+2\pi k,\ \ k\in Z.](/sites/default/files/tex_cache/77e0c2f1bc494bd411e0d3344e9f4038.png)
![z=r(\cos\varphi+i\sin\varphi),\quad r>0,](/sites/default/files/tex_cache/08d89e09a09b27e5ac1696427dd6390f.png)
![z^{-1}=\frac{1}{r}(\cos(-\varphi)+i\sin(-\varphi)),](/sites/default/files/tex_cache/42aa0730816ecf0661550837074374e5.png)
![|z^{-1}|=\frac{1}{r}=|z|^{-1},\quad \arg z^{-1}=-\varphi+2\pi k,\ \ k\in Z.](/sites/default/files/tex_cache/35f7c9550fb5677881c2cceae3c5bffc.png)
Следствие 2.7.3. Умножение комплексного числа z на комплексное число , r>0, означает "растяжение" вектора z в r раз и поворот полученного вектора на угол
(т. е. умножение модуля |z| на r, а затем прибавление
к
).
В частности, умножение комплексного числа на равносильно повороту на
)умножение на
означает поворот плоскости вокруг начала координат на
).
Упражнение 2.7.4 (экспоненциальная форма Эйлера записи комплексного числа). Рассмотрим последовательность
![c_n=a_n+ib_n\in C,](/sites/default/files/tex_cache/f5b515c05ec237385b21d0b12f549c40.png)
![a_n,b_n\in R](/sites/default/files/tex_cache/961f2fbbd388646dd63546274a686940.png)
![\lim_{n\to\infty}a_n=a\in R,\quad \lim_{n\to\infty}b_n=b\in R,](/sites/default/files/tex_cache/3bd68976cbacd4c9f88e026e60cfb4d4.png)
![\lim_{n\to\infty}(a_n+ib_n)=a+ib\in C](/sites/default/files/tex_cache/d90f2cab88af695a2ccf67db68dcfb6e.png)
![z\in C](/sites/default/files/tex_cache/622a48c9ceb6cb4d3feca3d17e1d6447.png)
Покажите, что
![\lim_{n\to\infty}\left(1+\frac{a+bi}{n}\right)^n= e^a(\cos b+i\sin b).](/sites/default/files/tex_cache/833a5555246ab22fdf20f4543b606c2b.png)
![e^{bi}=\cos b+i\sin b.](/sites/default/files/tex_cache/2fee10f5ff701418120ab97b361103e5.png)
![z,w\in C](/sites/default/files/tex_cache/fb45f0864e03afed5721329ad05a3324.png)
![e^z\cdot e^w=e^{z+w}](/sites/default/files/tex_cache/32a9b24ab9143353d13d9cbdbbfab723.png)