WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 16 | 17 || 19 | 20 |   ...   | 76 |

Простейшая процедура, требующая применения комплексных чисел, есть решение квадратных уравнений. Напомним, как обстояло дело с линейным уравнением ax = b, когда нужно было определить удовлетворяb ющее ему значение неизвестной величины x. Решение имеет вид x =, a и введение дробных чисел как раз обусловливается требованием, чтобы всякое линейное уравнение с целыми коэффициентами (при a = 0) было разрешимо. Уравнения вроде x2 = 2 (1) не имеют решения в области рациональных чисел, но имеют таковое в расширенном поле всех действительных чисел. Но даже поле действительных чисел недостаточно обширно, чтобы в нем можно было построить полную и законченную теорию квадратных уравнений. Например, следующее очень простое уравнение x2 = -1 (2) не имеет действительных решений, так как квадрат действительного числа никак не может быть отрицательным. Нам приходится или удовольствоваться тем положением, что такие простые уравнения неразрешимы, или следовать по уже знакомому пути — расширять числовую область и вводить новые числа, с помощью которых удастся решить уравнение. Именно это самое и делается, когда вводят новый символ i и принимают, в качестве определения, что i2 = -1. Разумеется, этот объект — «мнимая единица» — не имеет ничего общего с числом как орудием счета. Это — отвлеченный символ, подчиненный основному закону i2 = -1, и ценность его зависит исключительно от того, будет ли достигнуто 118 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II в результате его введения действительно полезное расширение числовой системы.

Так как мы хотим складывать и умножать с помощью символа i так же, как с обыкновенными числами, то естественно пользоваться символами вроде 2i, 3i, -i, 2 + 5i, вообще, a + bi, где a и b — действительные числа. Раз эти символы должны подчиняться коммутативному, ассоциативному и дистрибутивному законам, то должны быть возможны, например, такие вычисления:

(2 + 3i) + (1 + 4i) = (2 + 1) + (3 + 4)i = 3 + 7i;

(2 + 3i) · (1 + 4i) = 2 + 8i + 3i + 12i2 = (2 - 12) + (8 + 3)i = -10 + 11i.

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

символ вида a + bi, где a и b — два действительных числа, носит название комплексного числа с действительной частью a и мнимой частью b.

Операции сложения и умножения совершаются над этими числами так, как будто бы i было обыкновенное действительное число, однако с условием заменять i2 на -1. Точнее говоря, сложение и умножение определяются по формулам (a + bi) + (c + di) = (a + c) + (b + d)i, (3) (a + bi)(c + di) = (ac - bd) + (ad + bc)i.

В частности, мы получаем (a + bi)(a - bi) = a2 - abi + abi - b2i2 = a2 + b2. (4) Основываясь на этих определениях, легко проверить, что для комплексных чисел справедливы коммутативный, ассоциативный и дистрибутивный законы. Далее, не только сложение и умножение, но также и вычитание и деление, будучи применены к двум комплексным числам, приводят снова к комплексным числам того же вида a + bi, так что комплексные числа образуют поле (см. стр. 75):

(a + bi) - (c + di) = (a - c) + (b - d)i, (5) a + bi (a + bi)(c - di) ac + bd bc - ad = = + i.

c + di (c + di)(c - di) c2 + d2 c2 + d(Второе равенство теряет смысл, если c + di = 0 + 0i, так как тогда c2 + + d2 = 0. Значит, и на этот раз нужно исключить деление на нуль, т. е.

на 0 + 0i.) Например, (2 + 3i) - (1 + 4i) = 1 - i, 2 + 3i 2 + 3i 1 - 4i 2 - 8i + 3i + 12 14 = · = = - i.

1 + 4i 1 + 4i 1 - 4i 1 + 16 17 Поле комплексных чисел включает поле действительных чисел в качестве «подполя», так как комплексное число a + 0i отождествляется с § 5 КОМПЛЕКСНЫЕ ЧИСЛА действительным числом a. Заметим, с другой стороны, что комплексное число вида 0 + bi = bi называется «чисто мнимым».

(1 + i)(2 + i)(3 + i) Упражнения. 1) Представьте в форме a + bi.

(1 - i) 2) Представьте 1 - + i 2 в форме a + bi.

3) Представьте в форме a + bi следующие выражения:

(4 - 5i)1 + i 1 + i 1,,,,.

1 - i 2 - i (-2 + i)(1 - 3i) - 3i)i5 ( 4) Вычислите 5 + 12i. (Указание: напишите 5 + 12i = x + yi, возведите в квадрат и приравняйте действительные части и мнимые части.) Вводя символ i, мы расширили поле действительных чисел и получили поле символов a + bi, в котором квадратное уравнение x2 = -имеет два решения: x = i и x = -i. В самом деле, согласно определению, i · i = (-i)(-i) = i2 = -1. Нужно сказать, что мы приобрели гораздо больше: можно легко проверить, что теперь каждое квадратное уравнение ax2 + bx + c = 0 (6) становится разрешимым. В самом деле, выполняя над равенством (6) ряд преобразований, мы получаем:

b c x2 + x = -, a a b b2 b2 c x2 + x + = -, a 4a2 4a2 a 2 b2 4ac b x + =, 2a 4a b ± b2 - 4ac x + =, 2a 2a -b ± b2 - 4ac x =. (7) 2a Заметим теперь, что если b2 - 4ac 0, то b2 - 4ac есть обыкновенное действительное число и корни уравнения (6) действительные; если же - 4ac < 0, то тогда 4ac - b2 > 0, и следовательно, b2 - 4ac = b = -(4ac - b2) = 4ac - b2 · i, так что уравнение (6) имеет в качестве корней мнимые числа. Так, например, уравнение x2 - 5x - 6 = 5 ± 25 - 24 5 ± имеет действительные корни x = = = 3 или 2, тогда 2 как уравнение x2 - 2x + 2 = 120 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II 2 ± 4 - 8 2 ± 2i имеет мнимые корни x = = = 2 = 1 + i или 1 - i.

2 2. Геометрическое представление комплексных чисел. Уже в XVI столетии в математических работах появляются квадратные корни из отрицательных чисел в формулах, дающих решения квадратных уравнений. Но в те времена математики затруднились бы объяснить точный смысл этих выражений, к которым относились почти с суеверным трепетом. Сам термин «мнимый» до сих пор напоминает нам о том, что эти выражения рассматривались как нечто искусственное, лишенное реального значения. И только в начале XIX в., когда уже выяснилась роль комплексных чисел в различных областях математики, было дано очень простое геометрическое истолкование комплексных чисел и операций с ними, и этим был положен конец сомнениям в возможности их законного употребления. Конечно, с современной точки зрения, формальные операции с комплексными числами полностью оправдываются на основе формальных определений, так что геометрическое представление логически не является необходимым.

Но такое представление, предложенное почти одновременно Весселем (1745–1818), Арганом (1768–1822) и Гауссом, позволило рассматривать комплексy z ные числа и действия с ними как нечто вполне естественное с интуитивной точки зрения и, кроме того, имеющее чрезвычайно большое значение в приложениях комплексных чисел как в самой математике, x O так и в математической физике.

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

Если z = x + yi есть какое-то комплексное число, то мы называем число z = x - yi § 5 КОМПЛЕКСНЫЕ ЧИСЛА сопряженным с числом z. В числовой плоскости точка z получается из точки z посредством зеркального отражения относительно оси x. Если мы условимся расстояние точки z от начала обозначать через, то на основании теоремы Пифагора = x2 + y2 = (x + yi)(x - yi) = z · z.

Действительное число = x2 + y2 называется модулем z и обозначается = |z|.

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

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

|z1 · z2| = |z1| · |z2|.

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

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

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

(Указание: основывайтесь при доказательстве на двух последних теоремах.) Согласно определению сложения двух комплексных чисел z1 = x1 + y1i y и z2 = x2 + y2i, мы имеем zzz1 + z2 = (x1 + x2) + (y1 + y2)i.

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

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

122 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II Достаточно сослаться на то, что длина стороны треугольника не превышает суммы длин двух других сторон.

Упражнение. В каких случаях имеет место равенство |z1 + z2| = |z1| + |z2| Угол между положительным направлением оси x и отрезком Oz называется аргументом z и обозначается буквой (см. рис. 22). Числа z и z имеют один и тот же модуль |z| = |z|, но их аргументы противоположны по знаку:

= -.

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

- 360, - 720, - 1080,...

графически дают один и тот же аргумент. Так как, согласно определению синуса и косинуса, x = cos, y = sin, то любое комплексное число z выражается через его модуль и аргумент следующим образом:

z = x + yi = (cos + i sin ). (8) Например, в случае z = i мы имеем = 1, = 90, » » z = 1 + i » » = = 45, 2, » » z = 1 - i » » = 2, = -45, » » z = -1 + 3i » » = 2, = 120, так что i = 1(cos 90 + i sin 90), 1 + i = 2(cos 45 + i sin 45), 1 - i = 2(cos(-45) + i sin(-45)), -1 + 3i = 2(cos 120 + i sin 120).

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

Тригонометрическим представлением (8) очень полезно воспользоваться, чтобы уяснить себе геометрический смысл умножения двух комплексных чисел. Если z = (cos + i sin ) § 5 КОМПЛЕКСНЫЕ ЧИСЛА и z = (cos + i sin ), то zz = (cos cos - sin sin ) + (cos sin + sin cos )i.

Но, в силу основных теорем сложения синуса и косинуса, cos cos - sin sin = cos( + ), cos sin + sin cos = sin( + ).

Итак, zz = {cos( + ) + i sin( + )}. (9) В правой части последнего равенства мы видим написанное в триго нометрической форме комплексное число с модулем и аргументом +. Значит, мы можем отсюда заключить, что при умножении двух комплексных чисел их модули перемножаются, а аргументы склады- y zz ваются (рис. 24). Таким образом, мы видим, что умножение комплексных чисел как-то связано с вращением.

Установим точнее, в чем тут де- z z ло. Назовем направленный отрезок, идущий из начала в точку z, вектором точки z; тогда модуль = |z| есть его длина. Пусть z — какаяx O нибудь точка единичной окружно сти, так что = 1. В таком случае умножение z на z просто повора чивает вектор z на угол. Если Рис. 24. Умножение комплексных же = 1, то, помимо вращения, дли чисел: аргументы складываются, на вектора должна быть умножена модули перемножаются на. Рекомендуем читателю самостоятельно проиллюстрировать эти факты, умножая различные комплексные числа на z1 = i (вращение на 90); z2 = -i (тоже вращение на 90, но в обратном направлении); z3 = 1 + i и z4 = 1 - i.

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

z2 = (cos 2 + i sin 2 ).

Умножая снова на z, будем иметь z3 = (cos 3 + i sin 3 );

и, вообще, для любого n, повторяя операцию, получим n zn = (cos n + i sin n ). (10) 124 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II В частности, если точка z находится на единичной окружности, так что = 1, мы приходим к формуле, открытой французским математиком А. де Муавром (1667–1754):

(cos + 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 - 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 cos3 - 3 cos, sin 3 = -4 sin3 + 3 sin.

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

Упражнения. 1) Напишите аналогичные формулы для sin 4 и cos 4.

2) Предполагая, что точка z находится на единичном круге: z = cos + i sin, покажите, что = cos - i sin.

z a + bi 3) Без вычислений установите, что модуль числа равен единице.

a - bi 4) Докажите: если z1 и z2 — два комплексных числа, то аргумент z1 - zравен углу между положительным направлением действительной оси и вектором, идущим от z2 к z1.

5) Дан треугольник с вершинами z1, z2, z3; установите геометрический z1 - zсмысл аргумента числа.

z1 - z6) Докажите, что отношение двух комплексных чисел с одинаковым аргументом есть действительное число.

z3 - z1 z4 - z7) Докажите, что если аргументы чисел и равны между z3 - z2 z4 - zсобой, то четыре точки z1, z2, z3, z4 лежат на окружности или на прямой линии, и обратно.

§ 5 КОМПЛЕКСНЫЕ ЧИСЛА 8) Докажите: четыре точки z1, z2, z3, z4 лежат на окружности или на прямой линии, если число z3 - z1 z4 - z:

z3 - z2 z4 - zдействительное.

Pages:     | 1 |   ...   | 16 | 17 || 19 | 20 |   ...   | 76 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.