Комплексные числа: различия между версиями

Содержимое удалено Содержимое добавлено
м Откат правок 85.221.189.186 (обс.) к версии Arbnos
мНет описания правки
Строка 1:
== Какие числа бывают ==
[[Файл:complex1.jpg|400x400px400x400пкс]]
 
Прежде, чем изучать новые, комплексные числа, давайте вспомним числа,
Строка 188:
Их обозначают <math>\,\! Re\ z </math> и <math>\,\! Im\ z </math> соответственно:
<center> <math>\,\! a = Re\ z, \quad b= Im\ z. </math></center>
{{Конец рамки}}
{{Акмар}}
Таким образом, комплексное число задается двумя действительными числами.
Если интерпретировать эти числа как декартовы координаты, то
Строка 255:
как если бы мнимая единица <math>\,\! i </math> была переменной (а комплексные числа — многочленами от этой переменной),
при этом <math>\,\! i^2=-1 </math>.
{{Конец рамки}}
{{Акмар}}
 
==== Задача 7[9] ====
Строка 386:
<center> <math>\,\! \overline{z}=a-b\cdot i </math></center>
называется ''''' комплексно-сопряженным''''' или просто ''''' сопряженным''''' к числу <math>\,\! z </math>.
{{Конец рамки}}
{{Акмар}}
Комплексное число <math>\,\! z </math> и комплексно-сопряженное к нему число <math>\,\! \overline{z} </math>
отличаются знаком мнимой части, действительная часть у них одинаковая:
Строка 501:
<center> <math>\,\! |z| = \sqrt{a^2+b^2} = \sqrt{z\cdot \overline{z}} </math></center>
— длина отрезка <math>\,\! Oz </math> на комплексной плоскости.
{{Конец рамки}}
{{Акмар}}
Посмотрите на рисунок 2. Модуль числа <math>\,\! |z| </math> — это длина
отрезка <math>\,\! Oz </math>.
Строка 508:
<i>Модуль комплексного числа есть неотрицательное действительное число.
Модуль равен нулю тогда и только тогда, когда само число равно нулю.</i>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 36[8] ====
Строка 531:
{{Рамка}}
''Модуль произведения комплексных чисел равен произведению их модулей.''
{{Конец рамки}}
{{Акмар}}
 
=== Деление ===
Строка 559:
— на него мы делить умеем:</i>
<center> <math>\,\! \frac{v}{w}=\frac{v\overline{w}}{w\overline{w}}=\frac{v\overline{w}}{|w|^2}. </math></center>
{{Конец рамки}}
{{Акмар}}
 
== Абстрактный подход ==
Строка 581:
<center> <math>\,\!
(a_1,\; b_1)\times (a_2,\; b_2) = (a_1\cdot a_2 - b_1\cdot b_2, \;\; a_1\cdot b_2 + b_1\cdot a_2). </math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 38[9] ====
Строка 613:
[1]<center> <math>\,\! z\times v = w </math></center>
относительно <math>\,\! z </math> имеет ровно одно решение.
{{Конец рамки}}
{{Акмар}}
 
Это решение обозначим как частное: <center> <math>\,\! \frac{w}{v}. </math></center>
Строка 938:
Комплексное число с модулем <math>r</math> и аргументом <math>\phi</math>
мы будем обозначать как <center><math>r\cdot e^{i \phi}.</math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 57[9] ====
Строка 951:
{{Рамка}}
<center><math>e^{i \phi} = \cos \phi + i \sin \phi.</math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 58[9] ====
Строка 990:
При умножении двух комплексных чисел их модули умножаются а аргументы складываются:
<center><math>(r_1\cdot e^{i \phi_1})\cdot (r_2\cdot e^{i \phi_2}) = (r_1\cdot r_2)\cdot e^{i(\phi_1+\phi_2)}.</math></center>
{{Конец рамки}}
{{Акмар}}
 
Доказательство теоремы отложим на потом.
Строка 1108:
где <math>w</math> — некоторое комплексное число. Найдите все комплексные числа <math>z</math>,
удовлетворяющие этому уравнению.
{{Конец рамки}}
{{Акмар}}
 
[[Файл:complex13.jpg]]
Строка 1189:
 
<center><math>z_k = z_0\cdot e^{k\frac{2\pi}{n}}, \quad k=1,\,2, \ldots, n-1.</math></center>
{{Конец рамки}}
{{Акмар}}
 
Докажите эту теорему самостоятельно.
Строка 1319:
 
<center><math>P(x) = Q(x) \cdot D(x).</math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 72[9] ====
Строка 1688:
и операция умножения — обычное умножение многочленов, после которого берется остаток
при делении результата умножения на <math>p(x)</math>.
{{Конец рамки}}
{{Акмар}}
 
==== Задача 89[9] ====
Строка 1701:
<center><math>q(x)\; {\rm mod} \; p(x)</math></center>
означает остаток при делении <math>q(x)</math> на <math>p(x)</math>.
{{Конец рамки}}
{{Акмар}}
 
==== Задача 90[9] ====
Строка 1735:
Многочлен называется ''''' неприводимым''''', если он не может быть разложен в произведение
многочленов степени больше <math>0</math>.
{{Конец рамки}}
{{Акмар}}
 
==== Задача 95[11] ====
Строка 1785:
<center><math>A+B = \begin{pmatrix}a_{11} + b_{11} & a_{12} + b_{12} \\ a_{21}+ b_{21} & a_{22} + b_{22}\end{pmatrix}.</math></center>
<center><math>A \times B = \begin{pmatrix}a_{11}b_{11} + a_{12}b_{21} & a_{11}b_{12}+a_{12}b_{22} \\ a_{21}b_{11} + a_{22}b_{21} & a_{21}b_{12}+a_{22}b_{22} \end{pmatrix}.</math></center>
{{Конец рамки}}
{{Акмар}}
'''Примечание'''
 
Строка 1815:
Матрица
 
<center><math>E=\begin{pmatrix}1 & 0 \\ 0 & 1 \end{pmatrix} </math></center> называется ''''' единичной матрицей'''''.{{АкмарКонец рамки}}
 
==== Задача 98[9] ====
Строка 1829:
Введем обозначение:
<center><math>\mathbb{I}=\begin{pmatrix}0 & 1 \\ -1 & 0 \end{pmatrix}.</math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 99[9] ====
Строка 1841:
Например:
<center><math>2\cdot \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} = \begin{pmatrix}2 & 4 \\ 6 & 8 \end{pmatrix}, \quad a\cdot \begin{pmatrix}1 & 2 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} a & 2a \\ 0 & a \\ \end{pmatrix}.</math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 100[9] ====
Строка 1884:
Матрица <math>B</math> называется ''''' обратной''''' к матрице <math>A</math>, если
<center><math>A\times B = B\times A = E.</math></center>
{{Конец рамки}}
{{Акмар}}
 
==== Задача 106[9] ====