Профессиональные математические пакеты
8.КОМПЛЕКСНЫЕ ВЫЧИСЛЕНИЯ
8.1.Теория чисел. Краткий обзор.
Развитие цивилизации требует развития абстрактных научных взглядов на
объекты природы, в первую очередь это относится к математике. Развитие теории чисел определяется теми операциями, которые необходимо производить с числами.
На заре человечества требовалось лишь операция «счет» для которого было достаточно натуральных чисел 1, 2, 3, ... . Натуральные числа можно было только складывать, однако, появление операции «вычитание» определило множество целых чисел 0, 1, 1, 2, 2, ... . Для целых чисел применимы операции «умножения», «деления нацело» и «остаток от деления». Появление операции «дробь» или «деление» обусловило появление множества рациональных чисел a / b, где а, b целые числа .
Рациональные числа можно умножать, делить и возводить в степень, но извлекать корень – нельзя. Операция «извлечение корня из положительного числа» определила
множество иррациональных (или действительных) чисел , , изображаемых
обычно в виде числовой прямой.
Ясно, что каждое последующее числовое множество включает в себя все предыдущие. Но как же быть с корнем из отрицательного числа? Придется построить очередное расширение множества вещественных чисел, но в математике существует строгая теорема, доказывающая, что никаких других чисел кроме действительных на числовой прямой нет.
Подойдем с другой стороны. Понятно, что 
16 
16 ( 1) 
16 
1 4
1 и понятно, что любой корень из отрицательного числа может быть представлен в виде
произведения некоторого действительного числа на 
1 . Таким образом, корни из положительных и корни из отрицательных чисел могут быть получены друг из друга
|
|
|
умножением на 1 , но при этом не смешиваются. Ясно, что определив |
1 мы |
|
сможем расширить множество чисел до множества комплексных чисел. |
|
|
8.2. Комплексные числа |
|
Комплексным числом называется число вида z x i y , где |
x Re(z) и |
y Im(z ) – вещественные числа, а i – мнимая единица, определяемая равенством
i2 1 или i 
1 . Геометрическая интерпретация комплексного числа очевидна – каждому комплексному числу z соответствует точка на комплексной плоскости с координатами (x, y). Ось абсцисс называется действительной осью, ось ординат –
мнимой.
Im(z) |
z |
|
y |
||
|
||
|
|z| |
arg(z) Re(z) x
Рис. 24 – Представление комплексного числа в MathCAD
При вводе комплексных чисел в программе на MathCAD для ввода комплексной единицы необходимо всегда набирать 1i или 1j, в противном случае MathCAD
61
Глава 8. Комплексные вычисления в MathCAD
истолкует i или j как переменную. Когда курсор покидает выражение, содержащее 1i или 1j, MathCAD скрывает невидимую 1 и оставляет только i.
Понятно, что любую точку на плоскости можно записать в декартовых (x, y) координатах или в полярных , . Расстояние ρ от точки z до начала координат
называется модулем числа z и обозначается z . Угол между положительным
направлением действительной оси и радиус-вектором точки z называется аргументом числа z и обозначается arg(z). По определению,
|
|
|
|
|
|
|
tg y x |
|
|
|
z |
|
|
x2 y2 , |
(26) |
||
|
|
|||||||
Если радиус-вектор числа z совершит полное число оборотов вокруг начала координат, то он совпадает с первоначальным положением, а угол увеличится на число кратное 2 . Совокупность всех этих углов называется полным значением аргумента и обозначается
Arg(z) 2k, k- целое . |
(27) |
||
Из множества значений аргумента особо выделяется главное значение |
|||
аргумента arg(z), удовлетворяющее неравенству arg(z) , при этом: |
|
||
arctg( y |
x) , |
x 0; |
|
|
x) , |
x 0, y 0; |
(28) |
arg(z) arctg( y |
|||
|
x) , |
x 0, y 0. |
|
arctg( y |
|
||
Тригонометрическая и показательная форма комплексного числа
Кроме алгебраической формы z x iy часто используют тригонометрическую
форму записи того же самого комплексного числа (здесь arg(z) ): |
|
||||||||
z |
|
z |
|
cos( ) i sin( ) . |
(29) |
||||
|
|
||||||||
Пользуясь формулой Эйлера ei cos( ) i sin( ) , можно получить |
показательную |
||||||||
форму любого комплексного числа, кроме z 0 i 0 : |
|
||||||||
|
|
|
|
z |
|
z |
|
ei . |
(30) |
|
|
|
|
|
|
||||
Нужно отдавать себе отчет, что классическое декартовое представление
комплексного числа z x i y , тригонометрическая форма (29) и показательная
форма (30) определяют одно и то же комплексное число!
Рис. 25 иллюстрирует возможность перехода между этими тремя формами записи одного и того же числа.
Рис. 25 – Тригонометрическая и показательная форма комплексного числа
62
Профессиональные математические пакеты
8.3.Операции над комплексными числами
|
|
|
|
Сложение |
|
и |
|
|
вычитание комплексных |
|
чисел |
|
z1 x1 |
iy1 и |
z2 |
x2 iy2 |
|||||||||||||||||||||||||||||||||||||||||||
осуществляются |
по |
|
формулам |
|
|
|
z1 z2 |
|
(x1 x2 ) i( y1 |
y2 ) . Умножение, деление и |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ei 1 и |
||||||||||||||||||
возведение в степень удобнее производить в показательной форме. Пусть |
z |
z |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
ei 2 , тогда произведение и частное: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
z |
2 |
|
z |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ei( 1 2 ) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ei( 1 2 ) . |
|
|
|
|
|||||||||||||||
|
|
|
|
|
z z |
2 |
|
z |
|
|
|
z |
2 |
|
|
|
|
z |
z |
2 |
|
|
z |
|
|
z |
2 |
|
|
|
|
(31) |
|||||||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
(x1 i y1) (x2 i y2 ) x1x2 y1 y2 i y2 x1 y1x2 |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 i y1 |
|
x1x2 y1 y2 |
|
|
i |
x2 y1 x1 y2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x2 i y2 |
|
|
|
x2 y2 |
|
|
|
|
|
x2 |
y2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
С помощью |
|
формулы |
Муавра |
|
|
|
|
cos( ) i sin( ) n cos(n ) i sin(n ) |
можно |
||||||||||||||||||||||||||||||||||||||||||||||
получить формулу для степени числа: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
zn |
|
z |
|
ei n |
|
z |
|
n ein |
|
z |
|
n cos(n ) i sin(n ) . |
|
|
|
|
(32) |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Корень n-ной степени из комплексного |
|
числа |
имеет n |
различных |
значений |
||||||||||||||||||||||||||||||||||||||||||||||||||
( k 0,1,..., n 1): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2k |
|
|
|
|
|
2k |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
wk n |
|
|
|
cos( ) i sin( ) n |
|
|
|
|
|
|
i sin |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
z |
z |
|
cos |
|
|
|
|
|
|
|
|
. |
|
|
|
(33) |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
||||
|
|
|
|
Геометрически эти n значений корня изображаются вершинами правильного |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
arg(z) 2k |
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
n-угольника с полярными координатами n |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
, (см. Рис. 28). |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Рис. 26 – Операции над комплексными числами
8.4.Понятие комплексных функций
Сточки зрения MathCAD нет разницы между вычислением вещественнозначной или комплексной функции. Трудности состоят в том, что обычный человек не может визуально представить себе функцию размерности больше 3, а комплексные функции отображают точку из двумерной комплексной плоскости в двумерную комплексную плоскость, т.е. четырехмерное изображение. Поэтому при работе с комплексными функциями пользуются аналитическими или табличными представлениями функций, но не графиками.
На рисунке (Рис. 27) схематично изображено множество В, называемое образом множества A при воздействии на все его точки функцией (z) w, z A, B= ( A) .
Множество А называется прообразом множества В. От функции (z) .
По виду результирующего множества ( A) В , (образа множества А) можно догадываться о поведении функции ψ и о ее свойствах (см. Рис. 27).
63
Глава 8. Комплексные вычисления в MathCAD
Рис. 27 – Представление комплексных функций
Комплексная переменная w (z) u(z) i v(z) называется функцией комплексной переменной z x i y , если каждому значению z из комплексной плоскости соответствует одно или несколько значений w. Здесь u(z) u(x, y) –
вещественная и v(z) v(x, y) – мнимая части функции w (z) .
Многозначные функции
При использовании в комплексной области многие функции, о которых мы привыкли думать как о возвращающих одно значение, становятся многозначными, как, например в (33) для функции «корень n-ной степени из комплексного числа».
Общее правило состоит в том, что для многозначной функции MathCAD всегда возвращает значение, составляющее на комплексной плоскости самый маленький положительный угол с положительным направлением действительной оси. Оно называется главным значением аргумента. Единственное исключение из этого правила
– оператор корня n-ной степени, описанный в (33) – этот оператор возвращает вещественный корень всякий раз, когда это возможно.
Например, если требуется вычислить 3
1 , MathCAD вернёт -1, хотя кубическим корнем из -1, кроме того, являются числа 0.5+0.866i и 0.5-0.866i.
Рис. 28 – Пример многозначной функции 3
2 3i
Рассмотрим свойства некоторых элементарных функций комплексной переменной.
64
Профессиональные математические пакеты
Линейная функция
w(z) a z b , где a и b – постоянные комплексные числа. Это отображение
преобразует прямые в прямые (углы между прямыми сохраняются) и окружности в окружности.
Дробно-линейная функция
w(z) |
a z b |
, где a, b, c и d – постоянные комплексные числа. Это |
|
c z d |
|||
|
|
отображение преобразует окружность или прямую в окружность или прямую. Внутренняя область отображаемой окружности переходит во внутреннюю или во внешнюю область образа. Частный случай этой функции (a=d=0, b=с=1) – функция w(z) 1 z , называется инверсией.
Экспонента |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Экспоненциальная |
|
функция |
ez ex iy ex cos( y) i sin( y) |
обладает |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
ez |
|
ex , arg(ez ) y . Линии x = const |
|
|
|
|
||||||||||||
следующими |
свойствами: |
|
преобразуются |
в |
|||||||||||||||||||||||
|
|
|
|
|
|
const , а линии y = const |
– в лучи arg(w) const . |
|
|
|
|
|
|||||||||||||||
окружности |
w |
|
|
|
|
|
|||||||||||||||||||||
Тригонометрические и гиперболические функции |
|
|
|
|
|
|
|
||||||||||||||||||||
cos(z) |
1 |
ei z e i z , sin(z) |
1 |
ei z e i z , tg(z) |
sin(z) |
, |
ctg(z) |
cos(z) |
, |
|
|||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
2i |
|
|
|
|
cos(z) |
|
|
|
|
sin(z) |
|
|
||||
ch(z) |
1 |
ez |
e z , sh(z) |
|
1 |
ez |
e z , |
th(z) |
sh(z) |
, cth(z) |
ch(z) |
. |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||
2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
ch(z) |
|
sh(z) |
|
|
|||||||||
Логарифмическая функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||
Ln(z) ln |
z |
i (arg(z) 2k ), k |
определяется |
как |
|
|
обратная |
к |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
экспоненциальной, бесконечнозначная функция. Дополнительно принимается, что
Ln(0) , и Ln( ) .
Значение логарифма при k=0 называется главным значением логарифма и
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
обозначается ln(z) ln |
z |
i arg(z) . Поэтому Ln(z) ln(z) 2k i. . |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
Обратные гиперболические и тригонометрические функции |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
1 |
Ln iz |
|
|
, Arccos(z) |
|
1 |
|
z |
|
|
, Arctg(z) |
1 |
Ln |
1 iz |
|
|
|||||||||||||||||
Arcsin(z) |
|
|
1 z2 |
|
Ln |
|
z2 1 |
, |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
2i |
1 iz |
|
|
||||||
|
|
|
1 |
|
|
|
z i |
, Arsh(z) Ln z |
|
, |
Arch(z) Ln z |
|
|
|
|
|
||||||||||||||||||||
Arcctg(z) |
|
Ln |
z2 1 |
z2 1 |
, |
|
|
|||||||||||||||||||||||||||||
|
2i |
z i |
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Arth(z) |
1 |
Ln |
|
1 z |
, Arcth(z) |
1 |
Ln |
z 1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
2 |
|
|
|
|
1 z |
|
|
|
|
|
2 z 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Степенная и показательная функции |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Если |
и – два комплексных числа, 0 , то степенная функция w , |
|
||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||
в силу основного логарифмического тождества |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ln( ) |
|
(ln 2k i) |
. |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
||||
Когда – целое вещественное число, то степень имеет одно значение, т.к.
e2 k i 1. Если – несократимая рациональная дробь |
p q, q 1, то степень имеет |
ровно q различных значений (33). Во всех других случаях степень имеет бесконечное множество значений.
65