Понятие комплексного числа

Комплексные числа вводятся в связи со следующей задачей. Известно, что действительных чисел недостаточно для того, чтобы решить любое квадратное уравнение с действительными коэффициентами. Простейшее из квадратных уравнений, не имеющих корней среди действительных чисел, есть

(1)

Стоящая перед нами задача такова: нужно расширить систему действительных чисел до такой системы чисел, в которой уравнение (1) уже обладало бы корнем.

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

Таким образом, мы хотим определить систему чисел, изображающихся всеми точками плоскости. До сих пор нам не приходилось складывать или перемножать точки плоскости, поэтому определение операций над точками мы имеем право выбирать, заботясь лишь о том, чтобы новая система чисел обладала всеми теми свойствами, ради которых мы ее создаем. Эти определения, особенно для произведения, покажутся на первый взгляд весьма искусственными. В курсе высшей алгебры показано, что никакие другие определения операций, на первый взгляд даже более естественные, не привели бы нас к цели, т.е. к построению расширения системы действительных чисел, содержащего корень уравнения (1). Так же показано, что замена точек плоскости в этом построении любым другим материалом не привела бы к системе чисел, по своим алгебраическим свойствам отличающейся от той системы комплексных чисел, которая строится ниже.

Пусть на плоскости выбрана прямоугольная система координат. Условимся обозначать точки плоскости буквами и записывать точку с абсциссой a и ординатой b через (a, b), т.е., несколько отступая от того, что принято в аналитической геометрии, писать . Если даны точки и , то суммой этих точек мы будем называть точку с абсциссой и ординатой , т.е.

; (2)

Произведением точек и будем называть точку с абсциссой и ординатой , т.е.

. (3)

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

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

Закон дистрибутивности вытекает из равенств

Рассмотрим вопрос об обратных операциях. Если даны точки и , то их разностью будет такая точка , что

Отсюда, ввиду (2),

Таким образом, разностью точек и служит точка

(4)

И эта разность однозначно определена. В частности, нулем будет служить начало координат , а точкой, противоположной для точки , будет точка

. (5)

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

Решая эту систему уравнений, мы получим

Таким образом, при частное существует и однозначно определено

. (6)

Полагая здесь , мы получим, что единицей при нашем умножении точек служит точка , лежащая на оси абсцисс на расстоянии 1 вправо от начала координат. Полегая, далее в (6), что , мы получим, что при точкой, обратной для , будет

. (7)

Таким образом, мы построили систему чисел, изображаемых точками плоскости, причем операции над этими числами определяются по формулам (2) и (3). Эта система чисел называется системой комплексных чисел.

Покажем, что система комплексных чисел является расширением системы действительных чисел. Для этой цели рассмотрим точки, лежащие на оси абсцисс, т.е. точки вида ; ставя в соответствие точке действительное число a, мы получаем, очевидно, взаимно однозначное соответствие между рассматриваемым множеством точек и множеством всех действительных чисел. Применение к этим точкам формул (2) и (3) дает равенства

т.е. точки складываются и перемножаются друг с другом так же, как соответствующие действительные числа. Таким образом, множество точек, лежащих на оси абсцисс, рассматриваемое как часть системы комплексных чисел, по своим алгебраическим свойствам ничем не отличается от системы действительных чисел, обычным способом изображенной точками прямой линии. Это позволяет не различать в дальнейшем точку и действительное число a , т.е. всегда полагать . В частности, нуль и единица системы комплексных чисел оказываются обычными действительными числами 0 и 1.

Теперь нужно показать, что среди комплексных чисел содержится корень уравнения (1), т.е. такое число, квадрат которого равен действительному числу -1. Это будет, например, точка (0,1), т.е. точка, лежащая на оси ординат на расстоянии 1 вверх от начала координат. Действительно, применяя (3), получаем

Условимся обозначать эту точку буквой , так что .

Покажем, наконец, что для построенных нами комплексных чисел может быть получена их обычная запись. Для этого найдем сначала произведение действительного числа b на точку :

;

это будет, следовательно, точка, лежащая на оси ординат и имеющая ординату b, причем все точки оси ординат представимы в виде таких произведений. Если теперь (a, b) - произвольная точка, то ввиду равенства

получаем

т.е. мы действительно приходим к обычной записи комплексных чисел; произведение и сумму в выражении a+bi следует понимать в смысле операций, определенных в построенной нами системе комплексных чисел.

Заметим, что проведенное выше построение системы комплексных чисел подсказывает следующий вопрос: нельзя ли так определить сложение и умножение точек трехмерного пространства, чтобы совокупность этих точек стала системой чисел, содержащей в себе систему комплексных чисел или хотя бы систему действительных чисел? Ответ на это вопрос оказывается отрицательным.

В соответствии с историческими традициями комплексное число i называется мнимой единицей, а числа вида bi – чисто мнимыми числами, хотя существование этих чисел не вызывает сомнений и можно указать те точки плоскости - точки оси ординат, - которыми эти числа изображаются. В записи комплексного числа в виде число а называется действительной частью числа , bi – его мнимой частью, а число b – коэффициентом мнимой части комплексного числа. Два комплексных числа равны между собой, когда их действительные части и коэффициенты мнимых частей равны между собой. Следует заметить, что для комплексных чисел понятия «больше» и «меньше» не могут быть разумно определены, так как эти числа, в отличие от действительных чисел располагаются не на прямой линии, линии, точки которой естественным образом упорядочены, а на плоскости. Поэтому, сами комплексные числа никогда нельзя соединять знаком неравенства. Плоскость, точки которой отождествлены с комплексными числами по изложенному выше способу, называется комплексной плоскостью. Ось абсцисс этой плоскости называется действительной осью, так как ее точки изображают действительные числа; соответственно ось ординат комплексной плоскости называется мнимой осью.

Сложение, умножение, вычитание и деление комплексных чисел, записанных в виде a+bi , производится следующим образом, как вытекает из формул (2), (4). (3) и (6)

, (8)

, (9)

, (10)

. (11)

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

Покажем, что с выражениями вида a+bi можно обращаться как с многочленами. В самом деле, по определению сложения:

или, в обычной записи:

Таким образом, комплексные числа a+bi, c+di складываются так, как складываются многочлены. Подобное же заключение можно вывести и относительно вычитания, а именно

Далее, по определению умножения:

или в обычной записи:

Перемножим теперь a+bi и c+di по правилу перемножения многочленов:

Но , поэтому

Остается разобрать деление. Мы знаем [см. формулу (6)], что

или в обычной записи

К этому же результату можно прийти иначе. Пусть дано комплексное число . Число a-bi, отличающееся от лишь знаком при мнимой части, называется числом, сопряженным с , и обозначается . Например, сопряжено с . Легко показать, что произведение двух сопряженных чисел есть действительное число; в самом деле

Постараемся теперь избавиться от мнимости в знаменателе дроби

Умножим для этой цели числитель и знаменатель на число, сопряженное со знаменателем

Видно, что получилось полное совпадение с формулой (11).

Примеры.

1. .

2. .

3. .

4. .

Рассмотрим теперь квадратное уравнение

с комплексными (а не только действительными) коэффициентами, решение которого дается формулой

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

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

Здесь u и v неизвестные, их надо определить. Если обе части уравнения возвести в квадрат, то получится

Но два комплексных числа равны, когда равны их действительные части и коэффициенты мнимых частей. Следовательно

(12)

Возводя в квадрат обе части каждого из равенств (12), а затем складывая их, получаем

откуда

;

Положительный знак взят потому, что числа u и v действительные, и поэтому левая часть равенства положительная. Из этого равенства и из первого из равенств (12) получаем

. (13)

Мы приходим, извлекая квадратные корни, к двум значениям для u, отличающимся друг от друга знаком, а также к двум значениям для v. Все эти значения будут действительными, так как квадратные корни будут извлекаться при любых a и b из положительных чисел. Полученные значения для u и v нельзя комбинировать между собой произвольным образом, так как, ввиду второго из равенств (12) знак произведения uv должен совпадать со знаком b. Это дает две возможные комбинации значений u и v, т.е. два числа вида , которые могут служить значениями квадратного корня из числа ; эти числа отличаются друг от друга знаком. Элементарная, хотя и громоздкая, проверка (возведением полученных чисел в квадрат, отдельно для случая и для случая ) показывает, что найденные числа действительно являются значениями квадратного корня из числа .Таким образом, извлечение квадратного корня из комплексного числа всегда возможно и дает два значения, отличающихся друг от друга знаком.

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