Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

2. Геометрическое представление комплексных чисел

Уже в XVI столетии в математических работах появляются квадратные корни из отрицательных чисел в формулах, дающих решения квадратных уравнений. Но в те времена математики затруднились бы объяснить точный смысл этих выражений, к которым относились почти с суеверным трепетом. Сам термин "мнимый" до сих пор напоминает нам о том, что эти выражения рассматривались как нечто искусственное, лишенное реального значения. И только в начале XIX в., когда уже выяснилась роль комплексных чисел в различных областях математики, было дано очень простое геометрическое истолкование комплексных чисел и операций с ними, и этим был положен конец сомнениям в возможности их законного употребления. Конечно, с современной точки зрения формальные операции с комплексными числами полностью оправдываются на основе формальных определений, так что геометрическое представление логически не является необходимым. Но такое представление, предложенное почти одновременно Весселем (1745- 1818), Арганом (1768-1822) и Гауссом, позволило рассматривать комплексные числа и действия с ними как нечто вполне естественное с интуитивной точки зрения и, кроме того, имеющее чрезвычайно большое значение в приложениях комплексных чисел как в самой математике, так и в математической физике.

Геометрическая интерпретация комплексных чисел заключается в том, что комплексному числу z = х + yi сопоставляется точка на плоскости с координатами х, у. Именно действительная часть числа мыслится как х-координата, а мнимая - как y-координата. Таким образом устанавливается взаимно однозначное соответствие между комплексными числами и точками "числовой плоскости", подобно тому как нами было установлено раньше (см. § 2) соответствие между действительными числами и точками "числовой оси". Точкам на оси х в числовой плоскости соответствуют действительные числа х = x + 0i, а точкам на оси у - чисто мнимые числа z = 0 + yi. Если

z = х + yi

есть какое-то комплексное число, то число

z = х - yi

мы называем сопряженным с числом z. В числовой плоскости точка 7 получается из точки z посредством зеркального отражения относительно оси х. Если мы условимся расстояние точки z от начала обозначать через р, то на основании теоремы Пифагора

р2 = x2 + у2 = (x + yi)(x - yi) = z*z.

Действительное число называется модулем z и обозначается

ρ = |z|.

Если z лежит на действительной оси, то модуль совпадает с абсолютной величиной z. Комплексные числа с модулем 1 изображаются точками, лежащими на "единичной окружности" с центром в начале и радиусом 1.

Если |z| = 0, то z = 0. Это следует из определения |z| как расстояния точки z от начала. Далее, модуль произведения двух комплексных чисел равен произведению модулей

|z1*z2| = |z1|*|z2|.

Это вытекает как следствие из более общей теоремы, которая будет доказана на стр. 124.

Упражнения. 1) Доказать последнюю теорему, исходя непосредственно из определения умножения двух комплексных чисел z1 = х1 + у1i и z2 = х2 + у2i

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

Согласно определению сложения двух комплексных чисел z1 = x1 + y1i и z2 = х2 + y2i мы имеем:

z1 + z2 = (x1 + x2) + (y1 + y2)i.

Таким образом, точка z1 + z2 изображается в числовой плоскости четвертой вершиной параллелограмма, у которого тремя первыми вершинами являются точки 0, z1, z2. Этот простой способ построения суммы двух комплексных чисел ведет ко многим важным следствиям. Из него мы заключаем, что модуль суммы двух комплексных чисел не превышает суммы модулей (ср. стр. 83):

|z1 + z2|≤|z1| + |z2|.

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

Упражнение. В каких случаях имеет место равенство |z1 + z2| = |z1| + |z2|?

Рис. 22. Геометрическое представление комплексных чисел. Точка z имеет прямоугольные координаты х, y
Рис. 22. Геометрическое представление комплексных чисел. Точка z имеет прямоугольные координаты х, y

Угол между положительным направлением оси х и отрезком Oz называется аргументом z и обозначается буквой φ (см. рис. 22). Числа и z имеют один и тот же модуль

|| = |z|,

но их аргументы противоположны по знаку:


Рис. 23. Сложение комплексных чисел по правилу параллелограмма
Рис. 23. Сложение комплексных чисел по правилу параллелограмма

Конечно, аргумент z определяется не однозначно, так как к нему можно прибавлять или из него вычитать любой угол, кратный 360°, не изменяя направления отрезка Oz. Итак, углы


графически дают один и тот же аргумент.

Так как, согласно определению синуса и косинуса,

х = ρcosφ, y = ρsinφ,

то любое комплексное число z выражается через его модуль и аргумент следующим образом:

z = х + yi = ρ (соs φ + i sinφ). (8)

Например,


так что


Читатель может проверить эти утверждения посредством подстановки числовых значений тригонометрических функций.

Тригонометрическим представлением (8) очень полезно воспользоваться, чтобы уяснить себе геометрический смысл умножения двух комплексных чисел. Если

z = ρ (cos φ + i sin φ)

и

z' = ρ' (cos φ' + i sin φ'),

то zz' = ρρ' {(cos φ cos φ' - sin φ - sin φ') + (cos φ sin φ' + sin φ соs φ')i}.

Нов силу основных теорем сложения для синуса и косинуса

cos φ cos φ' - sin φ sin φ' = cos' (φ + φ'),
cos φ sin φ' + sin φ соs φ' = sin (φ + φ').

Итак,

zz' = ρρ' {cos (φ + φ') + sin (φ + φ'}. (9)

В правой части последнего равенства мы видим написанное в тригонометрической форме комплексное число с модулем ρρ' и аргументом φ + φ'. Значит, мы можем отсюда заключить, что при умножении двух комплексных чисел их модули перемножаются, а аргументы складываются (рис. 24). Таким образом, мы видим, что умножение комплексных чисел как-то связано с вращением.

Рис. 24. Умножение комплексных чисел: аргументы складываются, модули перемножаются
Рис. 24. Умножение комплексных чисел: аргументы складываются, модули перемножаются

Установим точнее, в чем тут дело. Назовем направленный отрезок, идущий из начала в точку z, вектором точки z; тогда модуль ρ = |z| есть его длина. Пусть z' - какая-нибудь точка единичной окружности, так что ρ' = 1. В таком случае умножение z на z' просто поворачивает вектор z на угол φ'. Если же ρ'&$8800;1, то, помимо вращения, длина вектора должна быть умножена на ρ'. Рекомендуем читателю самостоятельно проиллюстрировать эти факты, умножая различные комплексные числа на z1 = i (вращение на 90°); z2 = -i (то же вращение на 90°, но в обратном направлении); z3 = 1 + i и z4 = 1 - i.

Формула (9) в особенности представляет интерес, если z = z'; в этом случае имеем:

z2 = ρ2 (cis 2φ + i sin 2φ).

Умножая снова на z, будем иметь:

z3 = ρ3 (cos 3φ + i sin 3φ);

и, вообще, для любого z, повторяя операцию, получим:

zn = ρn (cos nφ + i sin nφ). (10)

В частности, если точка z находится на единичной окружности, так что ρ = 1, мы приходим к формуле, открытой французским математиком А. де-Муавром (1667-1754):

(соs φ + i sin φ)n = cos nφ + i sin nφ. (11)

Эта формула - одно из самых замечательных и полезных соотношений в элементарной математике. Поясним это примером. Возьмем n = 3 и разложим левую часть по формуле бинома

(u + v)3 = u3 + 3u2v + 3uv2 + v3.

Тогда получим:

cos 3φ + i sin 3φ = cos3φ - 3 cos φ sin2 φ + i (3 cos2 φ sin φ - sin3 φ).

Одно такое комплексное равенство равносильно двум равенствам, связывающим действительные числа. В самом деле, если два комплексных числа равны, то в отдельности равны их действительные части и их мнимые части. Итак, можно написать

cos 3φ = cos3 φ - 3 cos φ sin2 φ, sin 3φ = 3 cos2 φ sin φ - sin3 φ.

Пользуясь затем соотношением

cos2 φ + sin2 φ = 1,

получим окончательно:

cos 3φ = cos3 φ - 3 cos φ (1 - cos2 φ = 4 cos2 φ - 3 cos φ.
sin 3φ = - 4 sin3 φ + 3sin φ.

Подобного рода формулы, выражающие sin nφ и cos nφ соответственно через sin φ и cos φ, легко получить при каком угодно целом значении n.

Упражнения.

  1. Написать аналогичные формулы для sin 4φ и cos 4φ.
  2. Предполагая, что точка z находится на единичной окружности, z = cos φ + i sin φ, показать, что
  3. Без вычислении установить, что модуль числа равен единице.
  4. Доказать: если z1 и z2 - два комплексных числа, то аргумент z1 - z2 равен углу между положительным направлением действительной оси и вектором, идущим от z2 к z1.
  5. Дан треугольник с вершинами z1, z2, z3; установить геометрический смысл аргумента числа
  6. Доказать, что отношение двух комплексных чисел с одинаковым аргументом есть действительное число.
  7. Доказать, что если аргументы чисел и равны между собой, то четыре точки z1, z2, z3, z4 лежат на окружности или на прямой линии, и обратно.
  8. Доказать: четыре точки z1, z2, z3, z4 лежат на окружности или на прямой линии в том и только в том случае, если число

    действительное.
предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2017
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru