Интегральное исчисление/Краткие сведения о комплексных числах

← Некоторые часто используемые формулы | Краткие сведения о комплексных числах


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

Формально, комплексное число  — это упорядоченная пара вещественных чисел с введёнными на них операциями сложения и умножения вида:

(Д2.1)
(Д2.2)

и операцией приравнивания

(Д2.3)

Историческая справка

править

Термин «комплексное число» впервые использовал французский математик Л. Карно (1753—1823) в 1803 году, но широкое употребление ему придал К. Ф. Гаусс (1777—1855) в 1831 году.

Впервые же мнимые величины, скорее всего, нашли отражение в известном труде Дж. Кардано (1501—1576) «Великое искусство, или об алгебраических правилах» (1545), но он счёл их непригодными для использования в математической практике. Применение мнимых величин для решения кубических уравнений нашли в работах Р. Бомбелли (ок. 1526—1572). Он также разработал базовые правила действий с ними.

Хотя выражения вида  , появляющиеся при решении квадратных и кубических уравнений, стали называть «мнимыми» ещё в XVI—XVII веках, но всё же для многих крупных ученых XVII века их алгебраическая и геометрическая сущность была не ясна. Долгое время было неясно, можно ли, проводя математические операции над комплексными числами, получить числа какого-то нового типа. Так задача о выражении корней  -ой степени была решена только в начале XVIII века в работах А. де Муавра (1667—1754) и Р. Котса (1682—1716).

Геометрическое истолкование комплексных чисел и действий над ними появилось впервые в работе К. Весселя (1745—1818), но зачатки этого представления были сделаны ещё в 1685 году Дж. Валлисом (1616—1703). Современное геометрическое представление, так называемую диаграмму Аргана, предложил в опубликованной в 1806 года работе Ж. Р. Арган (1768—1822), независимо повторивший выводы Весселя.

Символ   был предложен Л. Эйлером в 1777 году. Это первая буква слова лат. imaginarius — мнимый. Он также распространил области значения всех стандартных функций на комплексную область. Эйлер также высказал в 1751 году мысль об алгебраической замкнутости поля комплексных чисел. Чуть ранее, в 1747 году, к этому же выводу пришёл и Ж. Л. Д’Аламбер (1717—1783), но его доказательство было не безукоризненным. Первое строгое доказательство этого факта было дано Гауссом в 1799 году в его докторской диссертации. В последствие Гаусс даже предложил 4 различных доказательства основной теоремы алгебры.

Непротиворечивая модель комплексных чисел была создана в 1837 году У. Р. Гамильтоном (1806—1865). В рамках неё комплексные числа рассматривались как упорядоченные пары действительных чисел. Он же в 1843 году предложил и обобщение комплексных чисел — кватернионы, получив тем самым гиперкомплексные числа. Позже были получены ещё несколько видов гиперкомплексных чисел, например, числа Кэли.

Алгебраическая форма комплексного числа

править

Арифметическая модель комплексных чисел как пар действительных чисел, предложенная У. Р. Гамильтоном, хотя и непротиворечива, но не удобна в вычислениях, поэтому для манипуляций с ними используют различные их представления.

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

Рассмотрим следующее выражение:

 (Д2.4)

Применяя формулу (Д2.2), получаем:

 (Д2.5)

Следовательно, число   можно определить также как  . Так как и сделал Л. Эйлер, но это не вполне корректно, так как арифметический квадратный корень определяется только для неотрицательных чисел. Есть другой путь определения мнимой единицы: мнимой единицей называется решение уравнения

 (Д2.6)

однако и он не безупречен, так как этому уравнению удовлетворяет не только  , но  . Это легко проверить, подставив   в уравнение (Д2.6) и вычислив по формуле (Д2.2). Кроме того, наличие двух корней у уравнения (Д2.6) необходимо следует из основной теоремы алгебры. Здесь имеет смысл говорить о так называемых сопряжённых комплексных числах. С формальной точки зрения, совершенно безразлично, какую пару принимать за определение мнимой единицы — условились, что мнимая единица имеет вид  , а пара   является сопряжённой к ней.

Исходя из модели Гамильтона, выведем алгебраическую форму комплексного числа, для этого рассмотрим комплексное число  . Сделаем в нём следующее преобразование:

 (Д2.7)

На основании формулы (Д2.1) можно написать, что

 (Д2.8)

Во втором слагаемом сделаем ещё одно преобразование:

 (Д2.9)

Воспользовавшись формулой (Д2.2), будем иметь:

 (Д2.10)

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

 (Д2.11)

Это и есть алгебраическая форма комплексного числа. Если в формуле (Д2.11) положить  , то выражение

 (Д2.12)

будет называться чисто мнимым числом, или просто мнимым числом.

Условно комплексное число обозначают одной буквой, чаще всего  , то есть  .

Первую проекцию[1]   комплексного числа   называют действительной (вещественной) частью числа   и обозначают   (от лат. realis — действительный). Вторая проекция   комплексного числа   называется мнимой частью числа   и обозначается   (от лат. imaginarius — мнимый). В иностранной литературе действительную и мнимую части часто обозначают, используя заглавные готические буквы, соответственно   и  .

В терминах алгебраической формы можно переформулировать определение равенства комплексных чисел (Д2.3):

 (Д2.13)

или, если применить условные обозначения:

 (Д2.14)

В частности, комплексное число равно нулю, когда его действительная и мнимая части равны нулю:

  или  (Д2.15)

Аналогичным путём можно получить алгебраическую форму для комплексно сопряжённого числа:  . Подробнее, см. ниже.

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

править

Алгебраическая форма очень удобна для выполнения арифметических действий, так как в рамках её комплексные числа можно рассматривать как линейные двучлены, роль   в которых играет   с дополнительным равенством  .

Сложение двух комплексных чисел   и   выполняется по следующему правилу:

 (Д2.16)

Оно непосредственно следует из формулы (Д2.1).

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

 (Д2.17)

Если рассматривать с формальной точки зрения, то следует записать следующее выражение:

 (Д2.18)

Теперь в левой части применим формулу суммы комплексных чисел:

 (Д2.19)

По определению сравнения двух комплексных пар будем иметь следующую систему:

 (Д2.20)

решением которой являются действительные числа   и  , то есть можно записать, что:

 (Д2.21)

Если применять алгебраическую форму, то вычитание будет более наглядным:

 (Д2.22)

Рассмотрим теперь произведение двух комплексных чисел   и   в алгебраической форме:

 (Д2.23)

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

 (Д2.24)

Найдём произведение в левой части:

 (Д2.25)
 (Д2.26)

Сравнивая его с числом в правой части, будем иметь систему:

 (Д2.27)

Решением будут служить числа:

 (Д2.28)

Следовательно, можно записать следующее правило:

 (Д2.29)

Выведем теперь правила деления комплексных чисел в алгебраической форме:

 (Д2.30)

Домножим числитель и знаменатель дроби на комплексно сопряжённое знаменателя —   (это возможно, так как по условию знаменатель не обращается в нуль, и соответственно, это справедливо для его комплексно сопряжённого):

 (Д2.31)

В числителе раскроем скобки, а в знаменателе воспользуемся формулой разности квадратов:

 (Д2.32)

После упрощений и почленного деления окончательно будем иметь:

 (Д2.33)

В частности,

 (Д2.34)

и

 (Д2.35)

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

 (Д2.36)

Для   последовательно будем иметь:

 (Д2.37)

Продолжая умножение, можно получить следующее обобщение:

 (Д2.38)

где  

При возведение в степень числа   в натуральную степень   воспользуемся формулой бинома Ньютона:

 (Д2.39)

Теперь, упрощая каждый моном по формулам (Д2.38) и группируя члены, содержащие и не содержащие  , в итоге получим некое комплексное число  . Таким образом, натуральная степень комплексного числа, у которого действительная часть отлична от нуля, также является комплексным числом. Степень чисто мнимого числа может быть и действительным числом.

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

 (Д2.40)

то нужно сначала возвести в степень   по формуле (Д2.39), а затем найти обратную величину по формуле (Д2.34).

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

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

Итак, по определению, квадратным корнем из комплексного числа   называется такое комплексное число  , что имеет место равенство  , то есть:

 (Д2.41)

или, раскрывая скобки,

 (Д2.42)

Сравнивая действительные и мнимые части комплексных чисел, приходим к системе уравнений:

 (Д2.43)

решая которую будем иметь:

 (Д2.44)

Выражения   неотрицательны при любых действительных   и  , следовательно, числа   и   всегда можно найти из (Д2.44); при этом они будут действительны. При извлечении арифметических корней в (Д2.44) необходимо учитывать знаки таким образом, чтобы выполнялось соотношение  , которое задаёт два различных набора действительных чисел. Соответственно, извлечение корня из   даёт два комплексных числа   и  .

Замечание. Из выражений (Д2.16) и (Д2.23) становится ясным, почему формулы (Д2.1) и (Д2.2) соответственно имеют такой вид. Возникает законный вопрос, почему нельзя в качестве определения сразу принять, что комплексным числом   называется выражение вида  , где  , или  , и действия над ним выполняются как над двучленами. К сожалению, этот путь ошибочен, так как в выражении   имеются несколько неопределённых моментов: во-первых, как мы уже видели в начале главы, в рамках действительных чисел не возможно корректно определить мнимую единицу  ; во-вторых, здесь присутствуют неопределённые ещё операции над мнимой единицей, то есть умножение её на действительное число и сложение этого результата с другим действительным числом. Если же выражение   считать единым формальным выражением, где   и   — действительные числа,   — некоторый символ, обладающий свойством  , то и в этом случае построение модели комплексных чисел будет не полным, так как из этого определения невозможно будет вывести правила действий над комплексными числами и их свойства.

Основные законы действий над комплексными числами

править

На комплексные числа распространяются все основные законы действия над действительными числами. Они легко выводятся из определения арифметических операций.

 (Д2.45)
 (Д2.46)
 (Д2.47)
 (Д2.48)
 (Д2.49)
 (Д2.50)
 (Д2.51)
 (Д2.52)
 (Д2.53)
 (Д2.54)
 (Д2.55)

Здесь в общем случае  . Формулы (Д2.50)—(Д2.54) легко доказываются из определения степени для натуральных показателей. На целые показатели они обобщаются с помощью формул (Д2.55). Свойства при рациональных показателях следуют из определения извлечения корня из комплексного числа. Возведение в действительную и комплексную степень требует введение дополнительных понятий, поэтому оставим этот факт пока без доказательства.

Замечание. Как будет показано ниже, при возведении в комплексную степень некоторые формулы (Д2.45)—(Д2.55) могут не выполняться в общем виде.

Комплексно сопряжённое число

править

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

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

 (Д2.56)

Рассмотрим основные свойства комплексного сопряжения:

Свойство Д2.1. Комплексно сопряжённое от комплексно сопряжённого числа   равно самому комплексному числу  :

 (Д2.57)

Это следует из определения операции.

Свойство Д2.2. Сопряжённое к действительному числу   равно самому числу  . В частности,  .

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

Свойство Д2.3. Комплексное сопряжение алгебраической суммы равно алгебраической сумме комплексно сопряжённых:

 (Д2.58)

Свойство Д2.4. Комплексное сопряжение произведения равно произведению комплексно сопряжённых:

 (Д2.62)

Свойство Д2.5. Комплексное сопряжение частного равно частному комплексно сопряжённых:

 (Д2.65)

Свойство Д2.7. Вообще, комплексное сопряжение комплексного многочлена равно многочлену от комплексно сопряжённых:

 (Д2.69)

где   — многочлен от комплексного аргумента с комплексными коэффициентами.

Это непосредственно следует из свойств (Д2.3) и (Д2.4).

Свойство Д2.8. Сумма комплексного числа и его сопряжённого есть число действительное, разность — чисто мнимое:

 (Д2.70)

На основе этого свойства можно записать:

 (Д2.71)

Геометрическая интерпретация комплексного числа

править

Рассмотрим декартову систему координат на плоскости (рисунок Д2.1), где по оси абсцисс отложена действительная часть   комплексного числа, а по оси ординат — мнимая  . Таким образом задаётся так называемая комплексная плоскость. Тогда любое комплексное число можно представить в виде точки на этой плоскости или же изобразить число как радиус-вектор к точке на ней. Это представляет собой диаграмму Аргана (см. «Историческая справка»).

 
Рисунок Д2.1. Геометрическая интерпретация комплексного числа.
 
 
Рисунок Д2.2. Геометрическое представление сопряжённых чисел.

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

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

править

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

Модулем (абсолютной величиной, амплитудой)   комплексного числа   называется длина радиус-вектора соответствующей точки комплексной плоскости (на рисунке Д2.1 обозначен буквой  ).

По теореме Пифагора получаем, что

 (Д2.72)

или

 (Д2.73)

Причём здесь используется арифметический корень. Непосредственно из (Д2.72) следует, что для вещественных   совпадает с абсолютной величиной этого числа.

Свойства модуля комплексного числа

править

Свойство Д2.9. Из определения модуля следует, что  , при этом  , только когда  .

Свойство Д2.10. Для модулей суммы и разности комплексных чисел справедливы следующие неравенства:

 (Д2.74)

 (Д2.75)

 (Д2.76)

 (Д2.77)

более того

 (Д2.78)

 (Д2.79)

Справедливы также обобщённые выражения:

 (Д2.80)

 (Д2.81)

В (Д2.74)—(Д2.81) равенство достигается только при  .

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

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

 (Д2.82)

В частности, верно равенство  , где  ,  .

По индукции можно доказать более общее равенство:

 (Д2.86)

Откуда можно в частности получить:

 (Д2.87)

Свойство Д2.12. Модуль отношения комплексных чисел равен отношению модулей:

 (Д2.88)

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

 (Д2.92)

которое совпадает с формулой для расстояния между двумя точками (метрикой) на евклидовой плоскости.

Свойство Д2.14. Модули комплексного числа и его сопряжённого равны:

 (Д2.93)

Это легко доказать:

 (Д2.94)

Под аргументом   комплексного числа   понимается угол (в радианах), который составляет радиус-вектор, соответствующий числу, с осью абсцисс (осью действительных значений); угол отсчитывается против часовой стрелки. На рисунке Д2.1 обозначается как  .

 
Рисунок Д2.3. Неоднозначность определения аргумента комплексного числа.

Однако, из определения следует, что угол задаётся неоднозначно — с точностью до  , где   (рисунок Д2.3). В связи с этим вводится понятие главного значения аргумента   — значение угла  , которое принадлежит полуинтервалу  :

 (Д2.95)

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

Из определения тригонометрических функций можно получить, что аргумент комплексного числа равен, такому значению  , что одновременно

 (Д2.96)

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

 (Д2.97)

Свойства аргумента комплексного числа

править

Свойство Д2.15. Аргумент (в общем смысле) произведения комплексных чисел равен сумме аргументов этих чисел:

 (Д2.98)

Это свойство (и аналогичные) справедливо и для главных ююзначений, если привести   к полуинтервалу  .

Методом математической индукции можно также доказать, что

 (Д2.99)

Эта формула приводит к такому выражению для натуральной степени комплексного числа:

 (Д2.100)

Свойство Д2.16. Аргумент отношения комплексных чисел равен разности аргументов:

 (Д2.101)

Здесь предполагает, что   и  , иначе значение аргумента не определено.

В частности, справедливо

 (Д2.102)

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

Свойство Д2.17. Аргумент комплексно сопряжённого числа равен противоположному значению аргумента комплексного числа:

 (Д2.103)

Это свойство наглядно доказывается из рисунка Д2.2: так как операция комплексного сопряжения соответствует симметричному отражению, относительно оси абсцисс, то угол, который составляет радиус-вектор комплексно сопряжённого будет иметь противоположный знак (если свести его к стандартному полуинтервалу  ).

Геометрическая интерпретация арифметических действий с комплексными числами

править

Изображение комплексных чисел как радиус-векторов на комплексной плоскости позволяет наглядно выполнять основные арифметические операции над комплексными числами. Так сложение и вычитание двух комплексных чисел в геометрическом виде (рисунок Д2.4) сводится к сложению по правилу параллелограмма радиус-векторов этих чисел.

 
Рисунок Д2.4. Геометрическое представление сложения комплексных чисел.
 
 
Рисунок Д2.5. Геометрическое представление умножения комплексных чисел.
 
 
Рисунок Д2.6. Геометрическое представление деления комплексных чисел.

Результатом умножения двух комплексных чисел, согласно (Д2.82) и (Д2.98), является такой радиус-вектор (рисунок Д2.5), у которого модуль равен произведению модулей исходных комплексных чисел, а аргумент — сумме аргументов этих чисел. При делении двух комплексных чисел, согласно (Д2.88) и (Д2.101), нужно построить такой радиус-вектор (рисунок Д2.6), что модуль его будет равен отношению модулей, а аргумент — разности аргументов этих чисел. При этом предполагается, что используется главное значение аргумента результата.

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

править

Введённые выше модуль и аргумент позволяют записать комплексное число в тригонометрической форме. Для этого выразим из (Д2.96) действительную и мнимую части комплексного числа через тригонометрические функции:

 (Д2.104)

где  .

Тогда получим такое выражение:

 (Д2.105)

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

Такое представление имеет любое комплексное число, кроме   (из-за неопределенности  ).

В таком представление можно просто доказать выражения, связанные с модулем комплексных чисел (см. свойство Д2.10).

Свойство Д2.18. При вычислении целой степени комплексного числа справедлива формула Муавра:

 (Д2.114)

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

Свойство Д2.19. Операция извлечения корня  -ой степени из комплексного числа даёт   (возможно совпадающих) комплексных значений, которые в тригонометрической записи будут иметь вид:

 (Д2.116)

где  

Пример Д2.1. Рассмотрим извлечение кубического корня из единицы на множестве комплексных чисел (подробнее см. статью «Корни из единицы»):

 
Рисунок Д2.7. Геометрическое представление кубического корня из единицы.

Представим 1 в тригонометрической форме:

 (Д2.123)

По формуле извлечения корня (Д2.116) получим:

 (Д2.123)

или

 (Д2.124)

Перейдя к алгебраической форме, имеем:

 (Д2.125)

Графически данный результат можно представить в виде равностороннего треугольника, вписанного в единичную окружность (рисунок Д2.7).

Таким образом, формула (Д2.116) позволяет найти все комплексные решения уравнения

 (Д2.126)

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

править

Применение формулы Эйлера для определения комплексной экспоненты

 (Д2.127)

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

 (Д2.128)

позволяет получить показательную форму комплексного числа:

 (Д2.129)

Такая запись является более компактной по сравнению с тригонометрической, но является ей эквивалентной (при правильном использовании аргумента).

В показательной форме, например, удобно провести доказательства свойств Д2.15 и Д2.16.

Показательная форма комплексного числа удобно позволяет определить показательную и логарифмическую функции комплексного аргумента.

Показательная и логарифмическая функция комплексного аргумента

править

Показательную форму комплексного числа   можно переписать и так:

 (Д2.135)

поэтому формально логарифм комплексного числа можно определить как

 (Д2.136)

Не стоит, однако, забывать, что   не ограничивается главным значением аргумента, поэтому определённый выше логарифм является главным значением логарифмической функции комплексного аргумента:

 (Д2.137)

которая является многозначной.

Переход от логарифма по основанию   к логарифму по основанию   осуществляется по формуле

 (Д2.138)

Формулу (Д2.138), а также другие логарифмические тождества для комплексных чисел нужно применять только с учётом их многозначности, в противном случае, это может привести к ошибочному результату.

Экспоненту комплексного числа в алгебраической форме вычисляется по формуле:

 (Д2.139)

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

 (Д2.140)

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

Общие замечания

править

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

Пример Д2.2: Рассмотрим такое равенство:

 (Д2.141)

которое является явно неверным. Выражение (Д2.141) ошибочно, потому что в нём применяется формула логарифма степени   без учёта, того что она справедлива при рассмотрении всего бесконечного набора значений комплексного логарифма, а не только его главного значения.

Пример Д2.3: Другим известным софизмом является такой:

 (Д2.142)

При доказательстве этого «тождества» не учтено, что не только  , но и  , поэтому корень из минус единицы имеет два значения   и   (см. выше). Также следует заметить, что применение формулы   требует выбора правильного главного значения аргумента.

Примечания

править
  1. См. статью «Пара».