Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

matan_belaev_1

.1.pdf
Скачиваний:
11
Добавлен:
23.02.2015
Размер:
4.45 Mб
Скачать

Def: Говорят, что на множестве М задана внутренняя операция, если в операции участвуют элементы из множества М. При этом, если результат операции также принадлежит множеству М, то операция называется заданной корректно.

Полем называется множество Р , в котором корректным способом определены две бинарные (двухместные) внутренние операции называемые сложением и умножением элементов такие, что:

1.

z1 (z2 z3 ) (z1 z2 ) z3 ;

5. (z1z2 )z3 z1 (z2 z3 ) ;

2.

P, 0 0i | z z ;

6. e P, e 1 oi | ze z ;

3.

z, (z) P | z (z) ;

7. z , z 1 P | z z 1 e ;

4.

z1 z2 z2 z1 ;

8. z1z2 z2 z1 ;

 

 

9. z1 (z2 z3 ) z1 z2 z1 z3 .

Отметим, что:

а) аксиомы 1–3 определяют поле как группу по сложению, а аксиома 4 делает эту группу абелевой (коммутативной).

б) аксиомы 5–8 говорят о том, что по умножению коммутативной группой является множество не нулевых элементов поля.

в) аксиома 9 связывает эти операции друг с другом дистрибутивным законом.

г) ассоциативность (1 и 5) позволяет сумму и произведение более чем 2-х элементов поля писать без скобок: z1 z2 z3 и z1 z2 z3 поскольку всякая расстановка скобок,

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

§. СВОЙСТВА ЭЛЕМЕНТОВ ПОЛЯ.

*. В любом поле не меньше двух элементов и существует поле, состоящее равно из двух элементов 0,1 .

*. Нуль и единица поля единственны: в поле нет таких же элементов с такими же свойствами.

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

*. Элемент обратный противоположному, противоположен обратному: (z) 1 (z 1 ) . *. Минус единица (элемент противоположный единице) умножаясь на произвольный элемент, даѐт противоположный ему элемент: ( 1) z z .

*. Переходы к противоположному и обратному элементу инволютивны, т.е. противоположный к противоположному и обратный к обратному совпадают с исходным:

(z) z; (z 1 ) 1 z .

*. Нуль – единственный элемент поля совпадающий, со своим противоположным; *. Единица – единственный элемент поля совпадающий, со своим обратным.

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

*. В поле всегда и однозначно разрешимо всякое уравнение вида z a b z b (a) b a ,

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

*. Вычитание из самого себя даѐт нуль: z z 0 .

*. Вычитание нуля не изменяет уменьшаемого: z 0 z .

*. Вычитание из нуля даѐт противоположный: 0 z z .

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

*. В поле всегда и однозначно разрешено всякое уравнение вида:

z a b z b a 1

 

b

b : a b / a ,

(если a 0 ),

a

 

 

 

 

другими словами в поле определена операция деления на ненулевые элементы поля, дающая элемент b : a (частное данного b и делителя а) на который надо умножить

делитель, чтобы получить делимое: b : a

a

b

a b .

 

 

 

a

*. Деление на себя даѐт единицу: z : z 1

z 0 .

*. Деление на единицу не изменяет делимого:

z :1 z .

*. Деление единицы на ненулевой элемент даѐт обратный ему элемент:1: z z 1 , z 0 .

*. Всякое поле содержит нулевой 0 и единичный e элементы и целые кратные единичного

элемента. e e ... e : ne для n

 

 

n раз

 

*. 0 e 0 вследствие дистрибутивности и единичности нуля;

*. ( n)e : ne .

 

*. Сложение и умножение целых кратных единичного элемента поля определяется по

правилам: me ne (m n)e ;

me ne (mn)e2 (mn)e

Содержательно эти правила очевидны. Более формально, доказывать нечего, когда одно слагаемое (сомножитель) есть нуль. Для натуральных n и целых m можно воспользоваться индукцией, пользуясь индуктивными определениями:

me (n 1)e (me ne) e , me (n 1)e me ne me 1e .

*. Отображение n ne задаѐт гомоморфизм кольца целых чисел на кольцо целых кратных единичного элемента. Так как это кольцо не содержит делителей нуля то число определяющее вычеты должно быть простым. Это число не может быть единицей, так как это означало бы что 1 e 0 . Простое число р - характеристика поля. Когда все кратные единицы попарно различны, поле содержит подполе изоморфное полю рациональных чисел . О таком поле говорят как о поле, имеющем характеристику нуль.

§ ВВЕДЕНИЕ КОМПЛЕКСНЫХ ЧИСЕЛ.

Множеством комплексных чисел называется множество объектов вида z = x + iy, где

x, y R а величина i определяется соотношением i2 = –1:

{ z | z = x + iy; x, y R, i2 = –1}

и введены операции над ними.

Запись z = x + iy называется алгебраической формой комплексного числа, при этом x = Re z , y = Im z ( вещественная и мнимая часть числа z).

Определим операции в множестве . Пусть z1 = x1 + iy1; z2 = x2 + iy2; 1. z1 = z2 тогда и только тогда, когда x1 = x2 и y1 = y2.

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

3.z1z2 (x1x2 y1y2) + i(x1y2 + x2y1).

4.

z1

 

x1 x2 y1 y2

i

y1 x2 x1 y2

.

 

 

 

 

 

z

2

 

x

2

y2

 

x2

y2

 

 

 

 

2

2

 

2

2

 

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

которой абсцисса совпадает с Re z , а ордината – с Im z . При этом правила сложения и вычитания комплексных чисел совпадают с правилами сложения и вычитания векторов с

координатами (x1,y1) и (x2,y2).

*. Если Im z = 0, то число z – вещественное число; *. Если Re z = 0, то число z – чисто мнимое число.

Величина | z | x2 y2 называется модулем комплексного числа z .

Числа z1 x iy , z2 x iy образуют пару комплексно сопряженных чисел.

Число комплексно сопряженное к числу z

обозначается:

z

или z .

 

 

 

 

 

 

Свойства операции сопряжения:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 . (z*)* = z;

2 . zz* = | z |2 ;

3 .

z * z

Re z ;

 

 

 

4 .

 

z z *

Im z ;

 

 

2

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

z

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-1

-1

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

5 . (z1 + z2)* = z1* + z2*;

6 . (z1z2)* = z1*z2*;

7 .

 

 

 

 

 

 

 

 

;

 

8 . (z

 

)* = (z*)

.

 

 

 

 

 

z2

 

 

 

z2

*

 

 

 

 

 

 

§ ТРИГОНОМЕТРИЧЕСКАЯ ФОРМА КОМПЛЕКСНОГО ЧИСЛА.

Рассмотрим комплексное число z x iy ,

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

x cos , y sin . Тогда получим: z (cos i sin ) .

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

При этом величина x2 y2 называется

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

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

Argz arg z 2k , k Z . Здесь 0 arg z 2 и называется главным значением аргумента

комплексного числа (иногда главным значением аргумента комплексного числа называется угол, удовлетворяющий условию arg z ). Какое из этих значений

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

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

Для комплексного числа z = 0 аргумент не определен (его можно считать равным чему угодно).

Пусть z1 1 (cos 1 i sin 1 ) , z2 2 (cos 2 i sin 2 ) два комплексных числа,

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

z z

 

 

 

(cos(

 

 

) i sin(

 

 

)) ,

z1

 

1

(cos(

 

 

) i sin(

 

 

 

)) т.е.

2

2

2

2

 

 

2

1

2

1

1

1

 

1

 

 

z2

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Тогда формула zn z z z ... z | z |n (cos n i sin n ) задает правило возведения

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

Кроме того, получена весьма важная формула, которая называется формулой Муавра:

(cos i sin )n cos n i sin n .

§ ИЗВЛЕЧЕНИЕ КОРНЕЙ НАТУРАЛЬНЫХ СТЕПЕНЕЙ ИЗ КОМПЛЕКСНОГО ЧИСЛА.

Def: Корнем натуральной степени n из комплексного числа называется другое комплексное число такое что, при возведении его в степень n получим вновь исходное число z . (nz )n z .

Пусть nz (cos i sin ) . Тогда z r(cos i sin ) n (cos n i sin n ) .

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

 

 

 

 

 

 

 

2k .

 

r n ; 2k n n r ;

 

 

 

 

 

 

 

 

n

 

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

n из комплексного числа.

n

 

n

 

(cos 2k

i sin 2k ) ,

 

(cos i sin )

 

Здесь k = 0, 1, 2, …, n–1.

 

 

 

 

 

 

n

n

 

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

Пример:

 

 

 

 

 

2k

 

2k

) cos

k

i sin

k

 

 

6 1 3 1(cos 0 i sin 0) (cos

i sin

,

k = 0, 1, 2, 3, 4, 5.

 

 

 

 

 

 

 

 

 

6

 

6

3

3

 

 

Все шесть корней шестой степени их единицы расположены на окружности единичного радиуса в вершинах правильного шестиугольника.

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

Аналогично тому, как мы строили расширенную точкой числовую прямую, можно и

комплексную плоскость дополнить точкой

и получить расширенную комплексную

плоскость.

 

Для вещественных чисел:

Для комплексных чисел:

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

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

эквивалентна сфере.

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

задаются естественным способом: U z

 

( ) z |

 

z z0

 

 

 

 

ˆ

 

( ) z |

 

0 z z0

 

.

 

 

 

 

 

 

 

 

 

 

0

 

, Uz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§ ФОРМУЛЫ ЭЙЛЕРА.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

z

3

 

 

 

z

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определим:

 

 

 

 

ez 1 z

 

 

 

 

 

 

 

... zk ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

3!

 

 

4!

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

z

4

 

z

6

 

 

 

 

 

 

 

 

z

2k

 

 

 

 

z

3

 

z

5

 

z

7

 

 

 

 

z

2k 1

 

cos z 1

 

 

 

 

 

... 1 k

 

 

 

 

;

sin z z

 

 

 

 

 

... 1 k

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2k 1 !

2! 4! 6!

 

k 0

 

 

 

 

 

2k !

 

 

 

3! 5!

7!

 

 

k 0

 

 

Такое определение гарантирует что при вещественных значениях аргумента получатся хорошо знакомые функции ex , sin x, cos x т.е. определения задают расширения указанных

функций на комплексную плоскость. Отметим что:

eiz 1 iz

z 2

 

iz 3

 

z 4

i

z5

... (1

z 2

 

z 4

...) i(z

z 3

 

 

z 5

...) cos z i sin z .

 

 

 

 

 

 

 

 

 

 

2!

 

3!

4!

 

5!

 

 

2!

4!

 

 

3!

 

5!

 

Следовательно:

eiz cos z i sin z , e iz

cos z i sin z

 

 

 

 

 

eiz cos z i sin z ;

 

cos z

eiz e iz

sin z

eiz e iz

 

 

 

 

 

 

;

 

 

 

 

.

 

 

 

2

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Эти три формулы называются формулами Эйлера и задают связь между экспонентой и синусом и косинусом в комплексной плоскости.

В частности для z x R , eix cos x i sin x ; ez ex iy ex eiy ex (cos y i sin y) . Последняя формула дает способ нахождения экспоненты комплексного аргумента и, следовательно, с учетом формул Эйлера и вычисления sin z и cos z .

Далее определим:

 

tgz

sin z

;

 

ctgz

cos z

 

cos z

sin z

 

 

 

 

 

 

 

 

 

 

chz

e z e z

shz

e z e z

thz

shz

 

 

;

 

 

 

;

 

 

;

2

2

 

chz

 

 

 

 

 

 

 

 

При этом, ясно что:

 

 

 

 

 

 

 

 

 

 

 

sin iz i shz ;

tgiz i thz ;

shiz i sin z ;

И

cos iz chz ;

 

chiz cos z ;

ctgiz icthz ;

Не трудно убедиться, что:

 

 

 

 

 

 

 

 

;

cthz chzshz .

thiz i tgz . cthiz ictgz .

sin 2 z cos2 z

1;

ch2 z sh2 z 1;

cos(z1 z2 ) cos z1 cos z2

sin z1 sin z2 ;

ch(z1 z2 ) chz1chz2 shz1shz2 ; и т.д.

§ ПОКАЗАТЕЛЬНАЯ ФОРМА ЗАПИСИ КОМПЛЕКСНОГО ЧИСЛА. ЛОГАРИФМ В КОМПЛЕКСНОЙ ПЛОСКОСТИ.

Воспользовавшись тем, что eix cos x i sin x , запишем комплексное число z z x iy (cos i sin ) ei .

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

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

Теперь рассмотрим уравнение:

ew z

и решим его относительно w:

ew eu iv eu eiv ei z .

Здесь

u Re w , v Im w , | z | , arg z .

Тогда: eu , u Re w | z |

ImLnz v 2k arg z 2k Argz .

Значит:

w Lnz ln | z | i(arg z 2k ) , k Z .

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

Примеры:

1 .

Ln2 ln 2 i 2k , k ;

2 .

Ln( 2) ln 2 i( 2k ), k .

И, наконец, можно ввести операцию возведения комплексного числа (не равного нулю) в произвольную комплексную степень: z1z2 ez2Lnz1 .

Примеры:

 

1

 

 

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 .

 

 

 

 

 

 

 

 

Ln (1 i)

 

 

 

 

 

 

ln

 

2 i

 

 

2k

 

 

 

 

 

 

ln

2

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 i)5 e5

 

 

 

e5

 

 

 

 

 

 

 

4

 

 

 

 

 

e5

 

 

 

 

 

 

 

e

20

 

 

 

5

10

2 e

 

20

 

5 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 . (1 i)i

 

 

 

 

 

 

 

 

 

 

 

i

ln

 

 

 

 

 

 

 

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ei ln 2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ei Ln (1 i) e

 

 

 

 

 

 

 

 

4

 

 

 

 

 

e

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 . (1 i)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

ln 2 i

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 2

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 e 2 Ln(1+i)

e

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

2 ln

2 e

 

 

 

4

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i

3

 

 

Ln(1+i)

 

 

 

 

 

 

2 i

ln

2

i

 

2k

 

 

 

 

 

 

 

 

2 ln

2 3

 

 

2k

i

3 ln

2

2

 

2k

4 .

(1 i) 2 i

3 e

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

e

 

 

 

 

 

 

4

.

 

 

 

 

 

 

 

 

 

 

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5 . ii ei Lni

 

 

 

 

i ln1 i

 

 

 

 

 

 

 

 

2k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

2

 

 

 

 

 

 

 

e

 

2

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6 .

22 e2Ln 2 e2 ln 2 i 2k e2ln 2

ei 4k

 

e2ln 2

4 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*. Во всех решениях: k .

 

 

 

 

 

 

Сделаем несколько замечаний, касающихся приведенных выше решений.

 

 

 

 

*. В задаче 1 получено пять различных решений расположенных на окружности радиуса 102 в вершинах правильного пятиугольника.

*. В задаче 2 бесконечно много решений. Все они расположены на луче ln 2 и по модулю образуют бесконечную в обе стороны геометрическую последовательность со знаменателем e2 .

*. В задаче 3 все решения расположены на окружности радиуса e 2 ln 2 и покрывают ее всюду плотным образом.

*. В задаче 4 решения расположены на спирали и всюду плотным образом заполняют направления в которых они находятся.

*. Задача 5. Удивительный факт: чисто мнимое число в чисто мнимой степени есть бесконечное множество вещественных положительных чисел.

*. Задача 6. И все таки дважды два равно четыре.

§.ФУНКЦИИ С КОМПЛЕКСНЫМИ ИЛИ ВЕЩЕСТВЕННЫМИ АРГУМЕНТАМИ

ИЗНАЧЕНИЯМИ. ГРАФИКИ. ПОСЛЕДОВАТЕЛЬНОСТИ.

1 .

,

y 3x2 sin x . Вещественно значная функция вещественного аргумента.

 

 

 

 

2 .

,

f (z)

z

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

3 .

,

f (t) r(cos t i sin t) :

x r cost ,

y r sin t , u t . Комплексно значная

функция вещественного аргумента.

 

 

 

 

 

 

 

 

4 .

,

w(z) z2 3z sin z . Комплексно значная функция комплексного аргумента.

5 . Комплексно значная функция натурального аргумента называется комплексно

значной последовательностью z , z

, z , z

,....., z

n

,.... z

 

.

 

 

1

2

3 4

 

 

n

k 1

 

§ ПРЕДЕЛ. ДИФФЕРЕНЦИРУЕМОСТЬ. НЕПРЕРЫВНОСТЬ. ИНТЕГРИРУЕМОСТЬ.

Комплексно значная функция комплексно значного аргумента – векторно значная функция векторного аргумента.

Def. Точка z0 называется точкой сгущения множества М (предельной точкой), если

ˆ

существует, по крайней мере одна, (а значит бесконечно много) отличная от z0

U z

0

 

 

 

точка из множества M.

 

 

Def.

lim f (z) b a D ( f ) 0

0

0 | z a |c | f (z) b |c .

 

z a

 

 

(a, b, z C).

*. Если комплексно значная функция имеет предел, то еѐ модуль также имеет предел и

 

 

 

 

 

 

при этом: lim f (z) b lim

f (z)

| b | .

 

 

 

 

z a

z a

 

 

 

 

 

lim | f (z) | | b | . ▲.

Факт этот следует из неравенства: || f (z) | | b || |

f (z) b |

Если w f (z) u(z) iv(z) u(x, y) iv(x, y) ,

при u(x, y) R , v(x, y) R то

*) lim f (z) w0 u0 iv0

lim u(z) u0

 

lim v(z) v0 ;

 

z z0

 

z z0

 

z z0

 

 

*)

lim f (z) w0 ,

 

z z0

*)

lim f (z) 0

 

z z0

w0

\{0} lim | f (z) | | w0 |

 

lim arg f (z) arg w0

 

z z0

 

z z0

lim | f (z) | 0 .

z z0

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

Производная и дифференциал функции определяется в полной аналогии с определениями для функций вещественного аргумента. И результаты зачастую очень похожи. Однако … Для комплексно-значных функций требования дифференцируемости накладывает

существенные ограничения.

f (z

 

) lim

f (z) f (z0 )

lim

(u u0 ) i(v v0 )

.

0

 

 

 

 

z z0

z z

 

z z0 (x x

 

) i( y y

 

)

 

 

 

0

0

0

 

 

 

 

 

 

 

 

 

 

Переходя в полученном выражении к пределу, получаем:

1)

x x

0

,

y y

0

,

f (z ) iu

v

;

2)

y y

0

,

x x

0

,

f (z) u

iv .

 

 

 

 

 

0

y

y

 

 

 

 

 

 

x

x

Из двух различных записей для f (z0 ) делаем вывод: функция комплексного аргумента w(z) u(x, y) i v(x, y) дифференцируема тогда и только тогда, когда выполняются

условия: u v ; u v . Эти условия называются условиями Коши – Римана.

x y y x

При этом из условий Коши – Римана для дифференцируемой функции следует:

f (z) u

iv

v

iv

v

iu

u

iu

;

x

x

y

x

y

y

x

y

 

n 1 ;

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

(z n ) nz (e z ) e z ; (sin z) cos z ; ……

§ АЛГЕБРАИЧЕСКАЯ ЗАМКНУТОСТЬ ПОЛЯ КОМПЛЕКСНЫХ ЧИСЕЛ. ОСНОВНАЯ ТЕОРЕМА АЛГЕБРЫ.

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

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

Если P (z) c

0

c z c

2

z 2 ... c

n

z n

, c

n

0

, n ,

n

1

 

 

 

 

 

c0 , c1, c2 ,..., cn

 

 

 

 

 

 

 

 

 

 

 

z0

 

Pn (z0 ) 0 .

 

 

 

 

Теорема была доказана Даламбером (1717 – 1783) и Гауссом (1777 – 1855) еще в XVIII веке, хотя лишь в XIX веке эти доказательства были доведены до полной строгости. В настоящее время существует несколько десятков различных ее доказательств.

∆ Сначала cформулируем очень важный для доказательства

Принцип Руше: Приращение Arg f(z) при движении по замкнутому контуру С в

положительном направлении

равно 2n , где n количество нулей функции f (z) внутри

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

Argz 2 ( для контура С1 содержащем внутри себя начало координат);

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

Argz 0

 

( для контура С2 не содержащем внутри себя начало координат) .

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперь рассмотрим Pn (z) ck z k ,

(cn 0, ck

) и преобразуем его к виду

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (z) c zn c

 

zn 1

... c z2

c z c

c zn

1

cn 1

 

1

 

cn 2

1

...

c1

 

 

1

 

c0

 

1

.

 

 

 

 

 

 

2

 

 

n 1

 

 

n

n

n 1

 

2

1

0

n

 

cn z cn

 

z

 

cn z

 

cn

 

z

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выберем замкнутый контур C так:

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

Радиус окружности R выберем так, чтобы

cn 1

 

1

 

cn 2

 

1

...

c0

 

1

 

1.

c z

c

 

z2

c

 

zn

 

 

 

 

 

 

 

 

n

 

n

 

 

 

n

 

 

 

 

Это всегда можно сделать с помощью выбора достаточно большого R ибо

cn 1

 

1

 

cn 2

 

1

...

c0

 

1

 

0

при | z |

c z

c

 

z2

c

 

zn

 

 

 

 

 

 

 

n

 

n

 

 

 

n

 

 

 

 

 

Тогда: cArgf (z) cArgcn cArgzn cArg{...}.

При этом c Argcn 0 т.к. константа и ее аргумент не изменяются при обходе контура, c Arg{...} 0 т.к. выражение {...} при обходе контура С, описывает контур не содержащий начало координат и, следовательно:

c Argzn 2 n т.е. c Argf (z) 2 n .

и, согласно принципу Руше, функция f (z) имеет внутри контура (т.е. на комплексной плоскости) n корней, возможно совпадающих.

§ ТЕОРЕМА БЕЗУ.

Разделить многочлен P(x) на многочлен S(x) значит найти многочлены: Q(x) -неполное

частное и R(x) –остаток

такие, что:

P(x) = S(x) Q(x) + R(x).

Отметим, что deg Q(x)

= deg P(x)

– deg S(x); deg R(x) < deg S(x); degConst = 0.

Делимое делится на делитель нацело, если остаток тождественно равен 0; деление невозможно, если делитель тождественно равен нулю. Многочлен всегда нацело делиться

на Const.

Неполное частное определяется делимым и делителем однозначно.

Рассмотрим частный случай, когда degS(x) = 1, т.е. S(x) = x c.

Тогда

Pn (x) (x c)Qn 1 (x) R0 (x) .

 

 

 

 

 

 

 

 

Вопрос: чему равно R0 (x)

?

 

 

 

 

 

 

 

 

 

 

 

Подставив в правую и левую часть x = c,

Pn (c) R0 , получим:

Т . (Безу) Остаток от деления многочлена Pn (x) на двучлен (x c) равен значению

многочлена Pn (x) в точке x c .

 

 

 

 

 

 

 

 

 

Следствие 1: Если x c корень многочлена Pn (x) , то Pn (x)

делиться на (x c) без

остатка и наоборот.

 

 

 

 

 

 

 

 

 

 

 

 

Следствие 2: Если x c корень многочлена Pn (x) , то Pn (x)

может быть разложен на

множители: Pn (x) (x c)Qn 1 (x) .

 

 

 

 

 

 

 

 

§ РАЗЛОЖЕНИЕ МНОГОЧЛЕНА НА МНОЖИТЕЛИ В МНОЖЕСТВЕ

 

 

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

 

Рассмотрим полином P (z) c

0

c z c

2

z 2 ... c

n

z n , (c

n

0) .

 

n

 

 

1

 

 

 

 

 

1. По основной теореме алгебры:

z1 ,

Pn (z1 ) 0 .

 

 

 

 

 

*. По следствию из теоремы Безу:

Pn (z) (z z1 )Qn 1 (z) причем старший коэффициент

полинома Qn 1 (z) совпадает со старшим коэффициентом полинома Pn (z) .

2. По основной теореме алгебры:

z2 ,

 

Qn 1 (z2 ) 0 .

 

 

 

*. По следствию из теоремы Безу:

Pn (z) (z z1 )(z z2 )Qn 2 (z) .

…………

 

 

 

 

 

 

 

 

 

 

 

 

n) …………

 

 

 

 

 

 

 

 

 

 

 

 

Получили:

Pn (z) cn (z z1 )(z z2 )...(z zn ) .

 

Учитывая что, уравнение может иметь кратные корни z j

( ki

– кратность корня zi ),

получим разложение полинома на линейные множители.

 

 

 

r

 

r

 

Pn (z) cn (z zi )ki где

ki 1 и

ki

n .

i 1

 

1

 

§. КОМПЛЕКСНЫЕ КОРНИ МНОГОЧЛЕНА С ВЕЩЕСТВЕННЫМИ КОЭФФИЦИЕНТАМИ.

 

 

 

 

n

 

 

 

 

 

 

Рассмотрим Pn (z) a0

a1 z ... an z n

ai z i ,

( an 0

и ai ) и пусть z0 является

 

 

 

 

i 0

 

 

 

 

 

 

корнем Pn (z0 ) 0 многочлена. Тогда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

 

 

n

 

 

 

n

 

 

 

 

 

Pn (z0 ) ak (z0 )k ak (z0 k ) (ak z0 k ) ( ak z0 k )

Pn (z0 )

0 .

k 0

k 0

 

k 0

 

 

k 0

Т.е. если число z0 является корнем уравнения n-й степени с вещественными коэффициентами, то z0 также является корнем того же многочлена.

Следствие: Уравнение нечетной степени с вещественным коэффициентом имеет хотя бы один вещественный корень.

Следствие: Уравнение четной степени с вещественным коэффициентом может и не иметь вещественных корней.

При этом:

P (z) (z z )(z z

)Q

(z) (z

2 (z

0

z

)z z

z

)Q

 

(z) =

 

 

n

0

0

n 2

 

 

 

0

0

0

n 2

 

 

 

 

 

= (z2 2 Re z z | z |2 )Q

(z) =

(z2 z )Q

 

(z) .

 

 

 

 

 

0

0

n 2

 

 

 

 

 

 

n 2

 

 

 

Итог:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если Pn (z) ak z k

многочлен с вещественными коэффицциентами ( an

0 , ai

)

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

s

 

 

 

l j

 

 

 

 

 

 

 

 

r

s

 

То: Pn (z) cn (z ai )ki (z 2

p j z q j )

причем

ai ,

p j , q j

 

ki

2l j

n .

 

i 1

j 1

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

Разложение многочлена на линейные и квадратичные множители с вещественными коэффициентами (причем квадратичные множители не имеют вещественных корней) называется разложением многочлена на неприводимые множители.

§ РЕШЕНИЕ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ 1, 2, 3, 4 СТЕПЕНИ. ФОРМУЛЫ КАРДАНО. МЕТОД ФЕРРАРИ.

I. ax b 0 . 1)

a 0,

b 0

– нет решений;

2)

a 0 ,

b 0

– бесконечно много решений;

3)

a 0 ,

x

b

– единственное решение.

a

 

 

 

 

II. ax2 bx c 0 , ( a 0 )

x

b

 

b2 4ac

.

 

 

 

 

1,2

 

2a

 

 

 

 

 

III.ax3 bx2 cx d 0 , ( a 0 ). Перейдем к приведенному кубическому уравнению:

x3 b1 x2 c1 x d1 0 , и произведем замену неизвесной: y x b31 .

 

y3 x3 3x2

b

3x

b 2

 

b

3

 

x y

b

 

x2 y 2 2 y

b

 

b

2

 

тогда:

1

1

1

 

;

1

;

1

1

 

,

3

9

27

3

3

9

 

 

 

 

 

 

 

 

 

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]