КОМПЛЕКСНЫЕ ЧИСЛА2015

КОМПЛЕКСНЫЕ ЧИСЛА

Построение системы комплексных чисел

Комплексные числа вводятся в связи со следующей задачей. Известно, что действительных чисел недостаточно для того, чтобы решить любое квадратное уравнение с действительными коэффициентами. В частности, в R не имеет решений уравнение x2 1 0. Это обстоятельство стимулировало необходимость расширения системы действительных чисел R до такой системы чисел, в которой это уравнение уже обладало бы корнем. С другой стороны, определенные на множестве R операции сложения и умножения обладают «хорошими» свойствами. На прошлой лекции мы поняли, что группоид является группой, а группоид полугруппой с единицей.

Хотелось бы, чтобы операции, определенные в новой системе чисел, обладали бы аналогичными свойствами.

Таким образом, задача, стоящая перед нами такова: построить такое новое множество чисел, чтобы

1.в новой системе уравнение x2 1 0 имело бы корень,

2.множество R являлось бы подмножеством нового множества,

3.операции сложения и умножения, определенные на новом множестве, обладали бы всеми основными свойствами, какими обладают операции в системе действительных чисел (обе они ассоциативны и коммутативны, связаны законами дистрибутивности и для них существуют обратные операции – вычитание и деление, кроме деления на нуль.).

Оказывается, что множество чисел С= a bi | a,b R операции сложения и умножения в котором определяются так, как указано ниже, удовлетворяет всем вышеперечисленным свойствам. Здесь i – некоторый

символ, не принадлежащий R такой, что i2 1. Доказательство существования поля комплексных чисел можно найти в учебном пособии «Алгебра и теория чисел» Мартынова Л.М.

Алгебраическая форма комплексного числа. Действия над комплексными числами в алгебраической форме.

Таким образом, под комплексным числом будем понимать формальное выражение вида a+bi. При этом число a называется действительной частью, а b – мнимой частью этого комплексного числа. Букву i называют

мнимой единицей.

Свойства сопряженных комплексных чисел.

1)z w z w , т.е. сопряженное к сумме равно сумме сопряженных;

2)z w z w , т.е. сопряженное к произведению равно произведению сопряженных;

3)z z R, т.е. сумма комплексного числа и его сопряженного есть действительное число;

4)z z R, т.е. произведения комплексного числа на сопряженное есть действительное число;

5)z z z R, т.е. сопряженное к комплексному числу совпадает с этим числом тогда и только тогда, когда оно является действительным числом.

Геометрическая интерпретация комплексных чисел. Модуль и аргумент комплексного числа.

Действительные числа геометрически изображаются точками числовой прямой. Комплексное число a+bi можно рассматривать как пару действительных чисел (a;b) . Поэтому естественно комплексные числа

изображать точками плоскости. Пусть на плоскости задана прямоугольная система координат. Комплексное число z a bi изображается точкой плоскости с координатами (a;b) ; эту точку условимся обозначать той же

буквой z (рис.1).

Y

Такое соответствие между комплексными числами и точками плоскости взаимно-однозначно: каждому комплексному числу z=a+bi соответствует одна точка плоскости с координатами (a;b) и, наоборот, каждой точке

плоскости с координатами (a;b) соответствует одно комплексное число

z=а+bi. Поэтому слова «комплексное число» и «точка плоскости» часто употребляются как синонимы. Плоскость, на которой изображаются комплексные числа, называют комплексной.

При такой интерпретации действительные числа а, т.е. комплексные числа вида a+0i, изображаются точками с координатами (a; ) , т.е. точками

оси абсцисс. Поэтому ось абсцисс называют действительной осью. Чисто мнимые числа 0+bi изображаются точками с координатами ( ;b) , т.е.

точками оси ординат, вследствие этого ось ординат называют мнимой осью. Можно также считать, что комплексному числу z=a+bi соответствует

вектор с координатами (a;b) . Тогда, например, можно находить сумму комплексных чисел по правилу параллелограмма сложения векторов.

Сопряженные комплексные числа z и z a bi симметричны относительно действительной оси.

Определение 1. Модулем комплексного числа z a bi называется длина соответствующего этому числу вектора.

Обозначение:. | z |

Понятно, что | z | a2 b2 .

! Модуль комплексного числа совпадает с абсолютной величиной числа только для действительных чисел.

Геометрически очевидно, что комплексное число z 0 будет задано, если помимо модуля указать еще и направление вектора, задав, например величину угла .

Y

Определение 2. Аргументом комплексного числа z 0 называется величина угла между положительным направлением действительной оси и вектором z .

Обозначение: arg z =α.

Замечание. 1) Аргументов комплексного числа z 0 бесконечно много, все они являются. Все они отличаются на величину, кратную 2 .

2) Заданием | z | и arg z комплексное число z 0

определяются однозначно.

3) Для числа z 0 аргумент не определяется.

Действительная и мнимая части комплексного числа z a bi выражаются через его модуль z = r и аргумент следующим образом

a r cosα , b r sin α .

Таким образом, аргумент комплексного числа может быть найден из системы

Тригонометрическая форма комплексного числа

Каждое комплексное число z a bi , z 0 , может быть записано в виде

Это так называемая тригонометрическая форма комплексного числа

z .

Представление комплексного числа в тригонометрической форме однозначно с точностью до углов, кратных π .

Значение аргумента, которое находится в промежутке от 0 до 2 , будем называть главным значением аргумента и обозначать через Arg z . Легко

понять, что любое комплексное число z 0 можно однозначно представить в тригонометрической форме

где = Arg z .

Действия над комплексными числами в тригонометрической форме

С помощью тригонометрической формы можно легко выполнять умножение и деление комплексных чисел, возведение их в степень и извлечение корня любой степени.

1. Умножение и деление.

Теорема. Модуль произведения двух комплексных чисел равен произведению их модулей, т.е.

Другими словами, при умножении комплексных чисел их модули

перемножаются, а аргументы складываются.

Теорема Модуль частного комплексных чисел равен частному их модулей, т.е.

аргумент частного равен разности аргументов, т.е.

Другими словами, при делении комплексных чисел их модули делятся,

а аргументы вычитаются.

2. Возведение в степень.

Для умножения комплексных чисел следует перемножить их модули и сложить аргументы. Ясно, что это правило остается в силе и для любого конечного числа сомножителей. Следовательно, для любого комплексного

Теорема Для любого целого числа n и любого комплексного числа

Пример. Вычислить (1 i3)6 .

Имеем 1 i 3 2(cos 3 i sin 3 ) . Применим формулу Муавра: (1 i3)6

= 26 (cos2 i sin 2 ) 26 64.

4. Извлечение корня.

k , , , ...,n .

Учитывая, что модули всех корней одинаковы и равны nr , а аргументы отличаются на слагаемые, кратные nπ , легко дать им геометрическую

интерпретацию: все корни n -й степени из данного ненулевого комплексного

числа расположены на окружности радиуса nr с центром в начале координат и делят эту окружность на n равных частей (т.е. находятся в вершинах правильного n-угольника, вписанного в эту окружность).

Пример. Вычислить 3 i .

k , , .

Отсюда

4. Корни n-й степени из единицы. Поскольку (cos isin ) , из формулы (8 ) получаем, что все корни n-й степени из 1 имеют вид

Действительные значения корня n-й степени из 1 получаются из формулы

На комплексной плоскости корни n-й степени из 1 расположены на окружности единичного радиуса с центром в начале координат и делят эту окружность на n равных частей. Понятно, что одной из точек деления служит число 1. Отсюда следует, что те корни, которые не являются действительными, расположены симметрично относительно действительной оси, т.е. попарно сопряжены.

Пример. Вычислить 41 .

По формуле (9) имеем

-i

Пример. Вычислить 31 . По формуле (9) имеем

ek 31 cos 23k i sin 23k , k 0,1, 2 . Отсюда e0 cos0 isin 0 1,

e1 cos 23 i sin 23 12 i 23 , e2 cos 43 i sin 43 12 i 23 .

Таким образом,

кубические корни из 1.

Значение корней n-й степени из 1 подчеркивает следующая

Теорема Все корни n-й степени из комплексного числа z можно получить умножением одного из них w на все корни n-й степени из 1.

Пусть e0 ,e1,...,en 1 – корни n-й степени из 1. Рассмотрим комплексные числа

= wnein z 1 z ), их n и все они попарно различны. Следовательно, в (10) содержатся все корни n-й степени из z .

Пример. Вычислить 416 .

Одним из значений 416 является число w 2 . Учитывая теорему 5 и пример 3, заключаем, что 2, 2,2i, 2i – все корни 4-й степени из числа 16.