Комплексные числа

1. Введение.

1.1. ИСТОРИЧЕСКАЯ СПРАВКА

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

2. Комплексные числа в алгебраической форме.

2.1. ПОНЯТИЕ КОМПЛЕКСНОГО ЧИСЛА

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

Так для решимости равнений вида X<+A<=B X<+A<=B # "# ##0" положительных чисел недостаточно. Например, равнение X<+5=2а не имеет положительных корней. Поэтому приходится вводить отрицательные числа и нуль.

На множестве рациональных чисел разрешимы алгебраические равнения первой степени, т.е. равнения вид AX<+B<=0 (Aа Однако алгебраические равнения степени выше первой могут не иметь рациональных корней. Например, такими являются равнения X²=2, X³=5. Необходимость решения таких равнений явилось одной из причин введения иррациональных чисел. Рациональные и иррациональные числа образуют множество действительных чисел.

Однако и действительных чисел недостаточно для того, чтобы решить любое алгебраическое равнение. Например, квадратное равнение с действительными коэффициентами и отрицательным дискриминантом не имеет действительных корней. Простейшее из них - равнение X²+1=0. Поэтому приходится расширять множество действительных чисел, добавляя к нему новые числа. Эти новые числа вместе с действительными числами образуют множество, которое называют множеством комплексных чисел.

Выясним предварительно, какой вид должны иметь комплексные числа. Будем считать, что на множестве комплексных чисел равнение X²+1=0 имеет корень. Обозначим этот корень буквой 2= Ц1.

Как и для действительных чисел, нужно ввести операции сложения и множения комплексных чисел так, чтобы сумма и произведение их были бы комплексными числами. Тогда, в частности, для любых действительных чисел A и B выражение A<+B
Комплексными числами аназывают выражения вида A<+B2= Ц1, и обозначают буквой Z.

Число A называется действительной частью комплексного числа A<+B
Например, действительная часть комплексного числа 2+3<
Для строгого определения комплексного числа нужно ввести для этих чисел понятие равенства.

Два комплексных числа A<+B
Пусть дано комплексное число Z<=A<+B

A - B

2.2. ГЕОМЕТРИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ

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

Рисунок SEQ Рисунок * ARABIC 1

Действительные числа геометрически изображаются точками числовой прямой. Комплексное число A<+B

Рисунок SEQ Рисунок * ARABIC 2<

Не менее важной и добной является интерпретация комплексного числа A<+B
O(0;0) и с концом в точке М(A;B) (рисунок 2).

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

2.3.МОДУЛЬ КОМПЛЕКСНОГО ЧИСЛА

Пусть дано комплексное число Z<=A<+B

A - B
Отметим, что A<+B<=Z.

Модулем комплексного числа Z<=A<+Bаи обозначается

(1)

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

Из формулы (1) следует, что адля любого комплексного числа Z, причема а Z<=0, т.е. когда A<=0 и B<=0.

2.4. СЛОЖЕНИЕ И МНОЖЕНИЕ КОМПЛЕКСНЫХ ЧИСЕЛ

Суммой двух комплексных чисел A<+B
Произведением двух комплексных чисел A<+B
(A + B
Из формул вытекает, что сложение и умножение можно выполнять по правилам действий с многочленами, считая 2= Ц1. Операции сложения и множения комплексных чисел обладают свойствами действительных чисел. Основные свойства:

Переместительное свойство:

Z₁+Z₂=Z₂+Z₁, Z₁Z₂=Z₂Z₁

(A+B

(A + B
Сочетательное свойство:

(Z₁+Z₂)+Z₃=Z₁+(Z₂+Z₃), (Z₁Z₂)3=Z₁(Z₂Z₃)

((A+B

((A + B

Распределительное свойство:

Z₁(Z₂+Z₃)=Z₁Z₂+Z₁Z_3а

(A + B

2.5. Геометрическое изображение суммы комплексных чисел

Рисунок SEQ Рисунок * ARABIC 3

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

Сумма двух векторов с координатами (A₁;B₁) и (A₂;B₂) есть вектор с координатами (A₁+A₂;B₁+B₂). Поэтому, чтобы найти вектор, соответствующий сумме комплексных чисел Z₁ и Z₂ нужно сложить векторы, соответствующие комплексным числама Z₁ и Z₂.

2.6. ВЫЧИТАНИЕ И ДЕЛЕНИЕ КОМПЛЕКСНЫХ ЧИСЕЛ

Вычитание комплексных чисел - это операция, обратная сложению: для любых комплексных чисел Z₁ и Z₂ существует, и притом только одно, число Z, такое, что:

Z + Z₂=Z₁

Если к обеим частям равенства прибавить (ЦZ₂), апротивоположное числу Z₂:

Z<+Z₂+(ЦZ₂)=Z₁+(ЦZ₂), откуда

Z = Z₁Ц Z₂

Число Z<=Z₁+Z₂ называют аразностью чисел Z₁ и Z₂, т.е.

Z=(A+B

Деление вводится как операция, обратная множению:

Z<×Z₂=Z₁

Разделив обе части на Z₂ получим:

Z<=

Из этого равнения видно, что Z₂

Z= E+ F<<2 + D²) = (AC + BD)/(C²+ D²) + (AD - BC)2 + D²) = E+ F

2.7. Геометрическое изображение разности комплексных чисела

Рисунок SEQ Рисунок * ARABIC 4

Разности Z_2аЦ Z₁ комплексных чисел Z₁ и Z₂, соответствует разность векторов, соответствующих числам Z₁ и Z₂. Модуль аразности двух комплексных чисел Z₂ и Z₁ по определению модуля есть длина вектора Z_2аЦ Z₁. Построим этот вектор, как сумму векторов Z₂ и (ЦZ₁) (рисунок 4). Таким образом, модуль разности двух комплексных чисел есть расстояние между точками комплексной плоскости, которые соответствуют этим числам.

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

2. 8. Возведение в степень и корень из комплексного числа.

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

ⁿ = ZZZZZZЕ -

Квадратным корнем из комплексного числа называется выражение вида

W² = Z

а<= X<+Y

Возведем в квадрат и приравняем обе части, откуда и находятся X и Y.

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

         Операций сопряжения:

1.

2.

3.

4.

5.

         Свойства модуля:

1.      Если Z, то асовпадает с понятием действительного числа

2.

3.

4.

5.

3.ТРИГОНОМЕТРИЧЕСКАЯ ФОРМА

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

Запись комплексного числа Z в виде A<+B
Рисунок SEQ Рисунок * ARABIC 1

Рассмотрим тригонометрическую форму записи комплексного числа. Действительная и мнимая части комплексного числа Z<=A<+B<= r и аргумент
A= r
Число Z можно записать так:

Z= r<
Z = r(
Эта запись называется тригонометрической формой комплексного числа.

r =Ц модуль комплексного числа.

Число

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

Для числа Z<=0 аргумент не определяется, и только в этом случае число задается только своим модулем.

Как же говорилось выше <= r =

A<+B<<
cos (3)

Если (4)

Эту формулу добней использовать для нахождения аргумента

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

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

j при этом называется полярным глом, r - полярным радиусом, причем

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

3.1.СВОЙСТВА МОДУЛЯ И АРГУМЕНТА

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

Комплексные числа равны Z₁ = Z₂ аr₁₌r₂и

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

Пусть Z₁= r₁(cos1 + i<1), Z₂= r₂(cos2 + i<2). Тогда:

Z₁Z₂= r₁r₂[cos12 Ц sin12 + i<( sin12 + cos12)]=

= r₁r₂[1 + 2) + 1 + 2)].

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

Z₁Z₂= r₁r₂[cos(1 + 2) + i<1 + 2)] (5)

Из формулы (5) следует, что при умножении комплексных чисел их модули перемножаются, аргументы складываются.

Вывод: 1Z₂) = 1+2

Если Z₁=Z₂ то получим:

Z²=[r(cos2= r²(cos2
Z³=Z²Z= r²(cos2
= r³(
Вообще для любого комплексного числа Z<= r( и любого натурального числа
Zⁿ=[ r(cosn= rⁿ<( cosn
которую называют формулой Муавра.

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

1 - 2) + i<1 - 2)]. (7)

2) + i<2)

Используя формулу 5

1 + i<1)<×( cos(Ц2) + i<2)) =

cos(1 Ц 2) + i<1 - 2).

Вывод: 1-arg Z₂

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

Выражение вида:а аназывается формулой Эйлера, где r<-модуль, а<- аргумент.

Z=A+Bа<+ isin)=

При r =1, получим а<+ а<- тождество Эйлера.

Ну сопряж. ему а<= а<-

Если их сложить или вычисть, то получим следующее:

cos а,

При

4.ВОЗВЕДЕНИЕ В СТЕПЕНЬ И ИЗВЛЕЧЕНИЕ КОРНЯ.

Многочлены деления круга.

Из формулы 6 видно, что возведение комплексного числ r(
[ r(cosn= rⁿ<( cos n
Число Z называется корнем степени Zⁿ=
Из данного определения вытекает, что каждое решение равнения Zⁿ= n= n= Z0, а, следовательно, и Z и
Z = r(cos
Уравнение Zⁿ=
rⁿ<( cos n
Два комплексных числа равны тогда и только тогда, когда равны их модули, аргументы отличаются слагаемыми, кратными 2
n=
и
Итак, все решения могут быть записаны следующим образом:

Z_K=[cos() + i<)],
Формулу 8 называют второй формулой Муавра.

Таким образом, если ас центром в точке Z = 0.

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

4.1. равнения высших степеней

Формула 8 определяет все корни двучленного равнения степени
a_n<×Z^nа+ a_nЦ1<×Z^nЦ1+...+ a₁<×Z¹+ a₀= 0 (9)

Где n_,..., 0 Ц заданные комплексные числа.

В курсе высшей математики доказывается теорема Гаусса:а каждое алгебраическое уравнение имеет в множестве комплексных чисел по крайней мере один корень. Эта теорема была доказана немецким математиком Карлом Гауссом в 1779 году.

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

,

Где Z₁,Z₂,...,Z_K_аЦ некоторые различные комплексные числа,

1,2,...,kЦ натуральные числа, причем:

a₁+ 2 +... + k=
Отсюда следует, что числ Z₁,Z₂,...,Z_K являются корнями равнения 9. При этом говорят, что Z₁является корнем кратности 1, Z₂Ц корнем кратности 2 и так далее.

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

Докажем эту теорему: Пусть Z =
a_n<×Z^nа+ a_nЦ1<×Z^nЦ1+...+ a₁<×Z¹+ a₀= 0

с целыми коэффициентами. Тогда

a_n<×n^а+ n_Ц1×n^Ц1+...+ 1×1 + 0 = 0

a₀= - n<×n^Ц1+ n_Ц1×n^Ц2+...+ 1) Число в скобках, при сделанных предположениях, очевидно, целое, значит 0.

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

При заданной прямоугольной декартовой системе координат на плоскоснти комплексному числу 2= -1) можно взаимно однозначно понставить в соответствие точку М плоскости с координатами х, у (рис.1):

.

Число z тогда называют комплексной координатой точки М.

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

При у=0 число
Paccтoяниe от начала О плоскости до точки М(z) называется модулем комплексного числа
|

_аЕсли Ч ориентированный гол, образованный вектором с осью х, то по определению функции синуса и косинуса

откуда аи поэтому .

Такое представление комплексного числа z называется его тригонометринческой формой. Исходное представление аназывают аргументом комплексного числа и обозначают еще через

Если дано комплексное число аназывается комплексно-сопряженным (или просто сопряженным) этому числу z. Тогда, очевидно, и число z сопряжено числу Точки М(z) и асимметричны относительно оси х (рис.2).

Из равенства

Точки с комплексными координатами асимнметричны относительно оси у. Из равенства авытекает аявляется критерием чисто мнимого числа.

Для любого числа z, очевидно, | = |-

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

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

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

Каждой точке М(. Поэтому комплексные числа можно интерпретировать векторами, приложенными к точке O. Сложению и вычитанию комплексных чисел отвечает сложение и вычитание соответствующих им векторов. Именно если и b - комплексные координаты точека A и В соответственно, то число с=а+а(рис.3). Комплексному числу d<=.

_аРасстояние между точками А и В равно

|АВ| = |а-

Так как |2= z, то

<|AB<|²=(a-b)( (2)

равнение z<= r² определяет окружность с центром О радиуса r. Отношение в котором точка С делит данный отрезок АВ, выражается через комплексные координаты этих точек так:

откуд (3)

Если положить аи а

(4)

Условия (4) необходимы и достаточны для того, чтобы точки А, В, С были коллинеарны.

При точк c является серединой отрезка AB, и обратно.

Тогда:

c = . (4

Пусть имеем параллелограмм ABCD. Его центр имеет комплексную координату а<= апри словии, что точки А, В, С, D имеют соответственно комплексные координаты а,

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

5.2. Параллельность и перпендикулярность. Коллинеарность трех точек

ОПР: Пусть на плоскости комплексных чисел даны точки А(а) и B(b). Векторы аиасонаправлены тогда и только тогда, когда <=0 (при вычитании комплексных чисел, из аргумента делимого вычитается аргумент делителя!).

Очевидно также, что эти векторы направлены противоположно в том и только в том случае, если arg a - arg b=arg_.

Комплексные числа с аргументами 0, являются действительными. ТЕОРЕМА (Критерий коллинеарности точек О, А, В): Для того чтобы точки А(а) и В(абыло действительным числом, т. е.

аили (6)

Действительно, так как в этом случае число адействительное (), то кринтерий (6) эквивалентен такому:

(7)

Возьмем теперь точки A(а), B(
ОПР: Векторы аи аколлиннеарны тогда и только тогда, когда точки, определяемые комплексными числами Чb и сЧd, коллинеарны с началом О.

Замечание:

1. На основании (6) имеем:

(8)

2. Если точки А, В, С, D принадлежат единичной окружности
и поэтому словие (8) принимает вид:

а; (9)

3. Коллинеарность точек A, В, С характеризуется коллинеарностью векнторов аи . Используя (8), получаем:

(10)

Это критерий принадлежности точек A, B, С одной прямой. Его можно представить в симметричнома виде

(11)

Если точки A и B принадлежат единичной окружности , и поэтому каждое из соотношений (10) и (11) преобразуется (после сокращения на (а-
(12)

Точки А и В фиксируем, точку С будем считать переменной, переобознанчив ее координату через

, (10а)

. (12
В частности, прямая ОА имеет равнение

Переходим к выводу критериев перпендикулярности отрезков. Ясно, что

Комплексные числа с аргументами аи являются чисто мнимыми.

Поэтому,

или

(13)

Отрезки АВ и CD перпендикулярны тогда и только тогда, когда векторы точек с комплексными координатами Ч
(14)

В частности, когда точки А, В, С, D принадлежат единичной окружности
(15)

Выведем уравнение касательной к единичной окружности
P(р). Если М (z) Ч произвольная точка этой касательной, то аи обратно. На основании (14) имеем:

или

Поскольку , то уравнение касательной становится таким:

(16)

Это частный случай равнения (12a) при а=

5.3. ПРЯМАЯ И ОКРУЖНОСТЬ НА ПЛОСКОСИа КОМПЛЕКСНЫХ ЧИСЕЛ

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

(1)

Поэтому комплексные числа z и аназываются сопряженными комплексными координатами этой точки.

Формулы (1) позволяют осуществить переход от равнения геометринческой фигуры в декартовых координатах к ее равнению в сопряженных комплексных координатах. Однако сейчас мы предпочли непосредственное рассмотрение равнений в сопряженных комплексных координатах.

Геометрический смысл равнения

Найдем множество точек плоскости, сопряженные комплексные координнаты которых удовлетворяют равнению

(2)

Сначала выделим особый случай, когда с=0. Тогда имеем систему отнонсительно аи

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

Если , т.е. абудет единственное число ауравнение анапишем в виде . Этому словию довлетнворяет каждая точка прямей ак действительной оси (рис.1). Так, равнениема

(3)

задается прямая при аи точка апри .

Пусть теперь (2) можно всегда сделать действительным числом путем мнонжения обеих частей уравнения на с. Поэтому сразу будем полагать Тогда имеем систему:

из которой получаем: . Рассмотрим возможные случаи.

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

При аего решение единственно:

При арешений нет.

Если аи (2) при апрямая. В самом деле, возьмем точку аи векнтор аточки В(OB):

(4)

Очевидно, это множество есть прямая. При аи ауравнение (4) эквивалентно равнению (2).

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

Наконец, отметим случай, когда , но . Тогда система

приводит к противоречию:

Подведем итоги. равнением
1) прямая при |а|=|;

2) единственная точка при ;

3) пустое множество в иных случаях, т. е. при | такнже при , . ^а

Достигнув поставленной цели, возвратимся снова к системе:

не налагая ограничений на коэффициенты а, , приходим к уравнению , которое:

) имеет единственное решение при ;

б) имеет бесконечное множество решений при аи ;

в) не имеет решений при аи .

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

) единственную точку при

б) прямую при аи ;

в) пустое множество при аи .

Уравнение

а(5)

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

5.4. Две прямые. Расстояние от точки до прямой

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

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

. (7)

Формулы (6) и (7) позволяют находить соответствующие глы с точнностью до слагаемого .

Из формулы (7) вытекает критерий перпендикулярности и критерий параллельности прямых аи . В самом деле, ачисто мнинмое число. Это значит, что

(8)

При аили аполучаем:

(9)

Если прямая апроходит через точку аи ее равнение можно написать в виде:

(10)

В силу словия (8) перпендикулярности для прямой, перпендикулярнной данной, коэффициентами при, абудут соответственно числа и . Поэтому на основании равнения (10) получаем уравнение

(11)

прямой, проходящей через точку аперпендикулярно прямой Решение системы

дает координату

(12)

основания M₁ перпендикуляра, опущенного из точки ана прямую

Так как расстояние d от точки M₀ этой прямой равно

. (13)

Геометрический смысл, равнения

Из формулы расстояния между двумя точками получается равнение окружности по ее центру S (
(14)

Пусть дано равнение

, (15)

в котором на комплексные коэффициенты а,
(16)

Рассмотрим все возможные случаи для коэффициентов а,
1. Сравнивая равнение (16) с равнением (14) окружности, приходим к выводу, что равнение (16), значит, и равнение (15) задают окружность тогда и только тогда, когда аи с должно быть действительным числом.

Итак, уравнение

а(17)

есть равнение окружности с центром .

2. При с=ab равнению (16) довлетворяет единственная точнка азадается окружнность с центром
3. Если , , то а<- чисто мнимое число. Полагаем , тогда (16) можно записать так:

. а(18)

Уравнению (18) не довлетворяет ни одна точка плоскости, поскольку левая часть неотрицательна, правая отрицательна при любом значении
4. Когда , но , равнение (16) противоречиво: левая часть его действительна, правая нет. В этом случае оно не задает никакого геометринческого образа (даже мнимого!).

5. Осталось рассмотреть случай, когда . Тогда из уравнения (15) вычтем равнение , получающееся из (15) переходом к сопряженным комплексным числам. Получаем:

откуда

Выполняя эту подстановку в равнение (15), приводим его к виду

(19)

При ауравнения (15) и (19) равносильны. В зависимости от того, отличен от нуля или равен нулю дискриминант

квадратного равнения (19), оно будет определять две различные (дейстнвительные!) или две совпавшие точки. При D<=0 совпавшие точки имеют комплексную координату

В частности, при 1=-.

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

Рассмотрим одну замечательную пару окружностей.

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

Для того чтобы окружности (A, R) и (В, r) были ортогональны, необнходимо и достаточно, чтобы |AB|²=R²+r² , или

(20)

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

и

то (20) их ортогональности трансформируется так:

(21)

Blog

Комплексные числа

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

5.4. Две прямые. Расстояние от точки до прямой