Processing math: 100%

Формула Муавра

Теорема. Допустим z=r(cosϕ+isinϕ) и n принадлежит множеству целых чисел. Тогда можно считать, что zn=rn(cos(nϕ)+isin(nϕ)).

Пусть n=2, где nZ — база индукции. Тогда z2=r(cosϕ+isinϕ)r(cosϕ+isinϕ)=r2(cos(2ϕ)+isin(2ϕ)).

Допустим, что теорема верна nm,m2 и докажем, что она так же верна и для n=m+1. Тогда zm+1=zmz=rm(cos(mϕ)+isin(mϕ))r(cosϕ+isinϕ)=
=rm+1(cos(m+1)ϕ+isin(m+1)ϕ).
Для n=1 формула простая, а если n=0, то z=1, то есть z0=r0(cos(0ϕ)+isin(0ϕ))=1(cos0+isin0)=1.
Следовательно, теорема справедлива n0. Докажем, что она так же справедлива n<0. Тогда zn=1zn=1(r(cosϕ+isinϕ))n=
=1rn(cos(nϕ)+isin(nϕ))=rncos(nϕ)isin(nϕ)cos(nϕ)2+sin(nϕ)2=
=r1cos(nϕ)+isin(nϕ)1=rn(cos(nϕ)+isin(nϕ)).
Теорема доказана.

Следствие.|zn|=|z|nnZ,Arg(zn)=nArg(z)+2πk,kZ,nZ.

Примеры

Рассмотрим несколько примеров с использованием формулы Муавра.

  1. Вычислить 5(1+i)3(3+i)4i1323.
    Решение

    Найдём сначала r для (1+i)3: r=(1)2+12=2.

    Теперь найдём аргумент z для (1+i)3. Для этого нужно найти угол α: tanα=1,α=π4+kπ,kZ.
    Так как sinα<0 и cosα<0, то α=3π4.
    Теперь найдём r и z для (3+i)4: r=32+12=4=2.
    Найдём z:
    tanβ=13,β=π6+sπ,sZ.
    Так как sinβ>0 и cosβ>0, то β=π6. (1+i)3(3+i)4=(cos(9π4+4π6))+isin(9π4+4π6)=
    =cosπ12+isinπ12,
    i1323=i.
    По формуле ϕ+2πkn, где n=5, k=¯0,4 получаем:w0=52316(cos(π125)+isin(π125))=52316(cos(π60)+
    +isin(π60)),
    w1=52316(cos(π12+2π5)+isin(π12+2π5))=
    =52316(cos(25π60)+isin(25π60)),
    w2=52316(cos(π12+4π5)+isin(π12+4π5))=
    =52316(cos(49π60)+isin(49π60)),
    w3=52316(cos(π12+6π5)+isin(π12+6π5))=
    =52316(cos(73π60)+isin(73π60)),
    w4=52316(cos(π12+8π5)+isin(π12+8π5))=
    =52316(cos(97π60)+isin(97π60)).

  2. Вычислить (3+i)2020.
    Решение

    tanα=33,α=π6+kπ,kZ.

    Так как sinβ>0 и cosβ>0, то β=π6. (3+i)2020=(2(cosπ6+isinπ6))2020=
    =22020(cos(2018+26π)+isin(2018+26π))=
    =22020(cosπ3+isinπ3)=22020(12+i32).

Смотрите также

  1. А.И. Кострикин Введение в алгебру. Основы алгебры. — Москва: Физматлит, 1994. -320с. (с. 201-202).
  2. Личный конспект, основанный на лекциях Г. С. Белозёрова.

Формула Муавра

Проверим как Вы усвоили материал.

Извлечение корней из комплексных чисел

Корень степени n из комплексного числа

Определение Пусть z=r(cosφ+isinφ). Тогда корнем степени n из комплексного числа z называется комплексное число w, для которого верно равенство wn=z.

Легко заметить, что при z=0w=0. Поэтому предположим, что z0
Пусть w=ρ(cosψ+isinψ), чему тогда равны ρ,ψ?

Распишем равенство wn=z,z=r(cosφ+isinφ) (ρ(cosψ+isinψ))n=r(cosφ+isinφ)

Воспользуемся формулой Муавра:ρn(cosnψ+isinnψ)=r(cosφ+isinφ)
Из равенства комплексных чисел следует равенство их аргументов и модулей. ρ=nr
ψ=φn+2πkn,k=0,1,..,n1
Тогда: wk=nr(cos(φn+2πkn)+isin(φn+2πkn))
Пришли к зависимости корня от параметра k. Рассмотрим лемму.

Лемма. wk=wl(kl)n

wk=wl равные комплексные числа, а значит их аргументы равны φn+2πkn=φn+2πln+2πt

2π(kl)=2πntkl=nt(kl)n

W={w0,w1,,wn1} — множество корней степени n из z. В силу вышеизложенной леммы все корни попарно различны. Значит мы имеем только n различных значений аргумента, при этом модули корней равны |nz|=n|z|

Argnz=Argz+2πkn,k=¯0,n1
Общий вид корня степени n nz={nr(cos(φn+2πkn)+isin(φn+2πkn))},
где kN,k=¯0,n1

Замечание. φn называется фазой, 2πkn называется сдвигом по фазе.

Следствие. Так как все значения корня имеют одинаковый модуль, то есть одинаковое расстояние от начала координат (равное модулю этих корней), все они вписаны в окружность с центром в начале координат. Множество всех корней степени n из комплексного числа изображается как правильный n-угольник.

Квадратный корень из комплексного числа

Извлечь квадратный корень из комплексного числа можно и без перехода к тригонометрической форме. Рассмотрим теорему

Теорема. Если z=a+bi,(a2+b20), то существует ровно 2 корня

  1. b=0,a>0w=±a
  2. b=0,a<0w=±ia
  3. b0w=±(a2+b2+a2+isignba2+b2a2)

Пусть w=x+yi, где x,yR w2=z(x+yi)2=a+bi

x2y2+2xyi=a+bi
Получили x2y2=a
2xy=b
Если b=0, тогда или x=0, или y=0.

  1. b=0,y=0. Тогда получим x2=ax±a
  2. b=0,x=0. Тогда получим y2=aa<0. Тогда y2=ay2=ai2y=±ai
  3. b0,x0.

    Выразим y из равенства y=b2x

    Подставим значение y в равенство, получим: x2b24x2=a
    Домножим обе части равенства на 4x2 4x44x2ab2=0

    Воспользуемся формулой дискриминанта, тогда x21,2=2a±4a2+4b24=a±a2+b22,x21,2R

    x21=a+a2+b22>0
    x22=aa2+b22<0,
    так как x22R не имеет решений x=±a+a2+b22

    Выразим y2 из равенства y2=a+a2+b22a=a2+b2a2

    Тогда y=±a2+b2a2
    Из равенства следует, что signxy=signb. Значит, если signb>0 то signx=signy, если же signb<0, то signx=signy. Откуда следует: w=±(a2+b2+a2+isignba2+b2a2)

Примеры решения задач

  1. Найти общий вид корней третьей степени из z=3+i
    Решение
  2. Найти значения квадратных корней из z=34i
    Решение
  3. Решите уравнение z2=2i
    Решение
  4. Будет ли z1=42(cos14π24+isin14π24) корнем четвертой степени из z=3+i?
    Решение

Извлечение корней из комплексных чисел

Тест на знание темы «Извлечение корней из комплексных чисел»

Смотрите также

  1. Курош А.Г. Курс высшей алгебры М.: Наука, 1968, Глава 4, § 19, «Дальнейшее изучение комплексных чисел» (стр. 123-127)
  2. К. Д. Фадеев Лекции по алгебре М.: Наука, 1984, Глава 2, §3, «Обоснование комплексных чисел»(стр. 39-42)
  3. А. И. Кострикин Введение в алгебру М.: Наука, 1994, Глава 5, §1, «Обоснование комплексных чисел»(стр. 202-203)

Геометрическая интерпретация комплексных чисел

Любое комплексное число [latex] z=(a,b)[/latex] можно изобразить как точку на комплексной плоскости с координатами [latex]a[/latex] и [latex]b[/latex], где ось абсцисс называется вещественной, а ось ординат — мнимой.
Точка на плоскости

Определение 1:

Модулем комплексного числа называется корень суммы квадратов его действительной и мнимой частей. [latex]z=a+ib[/latex], [latex]|z|=\sqrt{a^2+b^2}=[/latex] [latex]\sqrt{(Re\;z)^{2}+(Im\;z)^{2}}[/latex],
[latex]|z|\ge 0,\; |z|= [/latex] [latex]0 \Leftrightarrow z=0.[/latex]

Определение 2:

Величина угла, который образует вектор изображающий данное число на комплексной плоскости с вещественной осью называется аргументом этого комплексного числа [latex](\arg z), z\ne 0.[/latex]
Угол, отсчитываемый от оси против часовой стрелки — отрицательный, по — положительный.
Углы, отличающиеся на [latex]2\pi k,k \in Z[/latex], соответствуют одному и тому же числу и записываются как:
[latex]\mathrm{Arg}\;z=[/latex] [latex]\arg z +2\pi k,k \in Z[/latex] , [latex]0\le \arg z < 2\pi[/latex].

Определение 3:

У комплексного числа существует тригонометрическая форма записи [latex]z=r(\cos \varphi + i\sin\varphi),[/latex] [latex] r=|z|.[/latex]

Примеры:

Найти геометрическое место точек (ГМТ):
  1. [latex]|z|\le 1[/latex]
  2. ex1

  3. [latex]|z+1|>1[/latex]

[latex]|z+1|=|x+iy+1|=[/latex] [latex]|(x+1)+iy|=[/latex] [latex]\sqrt{(x+1)^{2}+y{2}}=[/latex] [latex]\sqrt{(x+1)^{2}+(y+0)^{2}}>1[/latex]
ex2

Формула Муавра:

[latex]z^n=[/latex] [latex]r^n(\cos(n\varphi)+i\sin(n\varphi)).[/latex]

Лемма 1:

Для любых двух комлексных чисел [latex]z_1,z_2\;\in C[/latex] справедливо неравенство [latex]\left||z_1|-|z_2|\right|\le |z_1\pm z_2|[/latex] [latex]\le |z_1|+|z_2|[/latex]

Доказательство:

Пусть [latex]z_1\ne 0, z_2\ne 0[/latex],[latex]z_1=r_1(\cos\varphi_1+i\sin\varphi_1),[/latex] [latex]z_2=r_2(\cos\varphi_2+i\sin\varphi_2).[/latex]
[latex]|z_1+z_2|=[/latex] [latex]|r_1(\cos\varphi_1+i\sin\varphi_1)+r_2(\cos\varphi_2+i\sin\varphi_2)|=[/latex] [latex]|(r_1\cos\varphi_1+r_2\cos\varphi_2)+i(r_1\sin\varphi_1+r_2\sin\varphi_2)|=[/latex] [latex]\sqrt{r_1\cos\varphi_1+r_2\cos\varphi_2)^{2}+i(r_1\sin\varphi_1+r_2\sin\varphi_2)^{2}}=[/latex] [latex]\sqrt{r_{1}^{2}(\cos^{2}\varphi_1+\sin^{2}\varphi_1)+r_2^{2}(\cos^{2}\varphi_2+\sin^{2}\varphi_2)+2r_{1}r_{2}(\cos\varphi_1\cos\varphi_2+\sin\varphi_1\sin\varphi_2)}=[/latex](*)
[latex]\cos^{2}\varphi_1+\sin^{2}\varphi_1 = 1[/latex]
[latex]cos^{2}\varphi_2+\sin^{2}\varphi_2 = 1[/latex]
(*)=[latex]\sqrt{r_{1}^{2}+r_{2}^{2}+2r_1r_2\cos(\varphi_1-\varphi_2)}\le[/latex] [latex] \sqrt{r_{1}^{2}+r_{2}^{2}+2r_1r_2}=[/latex] [latex]\sqrt{(r_1+r_2)^2}=[/latex] [latex]r_1+r_2=|z_1|+|z_2|.[/latex]

Литература:

Геометрическая интерпретация комплексных чисел

Тест на тему «Геометрическая интерпретация комплексных чисел»: