/
Author: Маркушевич А.И.
Tags: математика комплексные числа серия популярные лекции по математике
Year: 1954
Text
ПОПУЛЯРНЫЕ ЛЕКЦИИ ПО МАТЕМАТИКЕ ВЫПУСК 13 А. И. МАРКУШЕВИЧ КОМПЛЕКСНЫЕ ЧИСЛА И КОНФОРМНЫЕ ОТОБРАЖЕНИЯ ГОСУДАРСТВЕННОЕ ИЗДАТЕЛЬСТВО ТЕХНИКО-ТЕОРЕТИЧЕСКОЙ ЛИТЕРАТУРЫ МОСКВА 1954
11-2-1 ПРЕДИСЛОВИЕ Эта книжка знакомит читателя с комплексными числами и простейшими функциями от них (включая функцию Н. Е. Жуковского с применением к построению профиля крыла самолёта). Изложению придана геометрическая форма. Комплексные числа рассматриваются как направленные от- резки, а функции — как отображения. Чтобы привести чита- теля к такому пониманию комплексных чисел, мы начинаем с геометрического истолкования действительных чисел и действий над ними. В основу книжки положена лекция, читанная автором для школьников 9-гои 10-го классов. Пред- варительного знакомства с комплексными числами от чита- теля не требуется. Автор А, И, Маркушевич. Комплексные числа и конформные отображения. Редактор А» Т. Цветков. Техн, редактор Р. А. Негримовская. Корректор О. А. Сигал* Сдано в набор 6/IV 1954 г. Подписано к печати 14/V 1954 г. Бумага 54x108/^ Физ. печ. л. 1,62. Условн. печ. л. 2,67. Уч.-изд. л. 2,72. Тираж 25000 экз. Т-03145. Цена книги 80 коп. Заказ № 1331. Государственное издательство технико-теоретической литературы Москва, Б. Калужская, 15. 4-я типография им Евг. Соколовой СоюзполигррЛгтрома Глэвизяата Министерства культуры СССР. Ленинград» Измайловский пр.» 29.
1. Для геометрического изображения действительных чи- сел применяется числовая ось, т. е. прямая, на которой за- даны точка А— начало координат, изображающая число О, и другая точка В, изображаю- щая число -|-1 (черт. 1). д ВС Направление от А к В рас- ° ° сматривается как положитель- ное направление числовой оси, Черт. 1. отрезок АВ-—как единица длины. Любой отрезок АС изображает действительное число х, абсолютная величина которого равна длине отрезка. Если С не совпадает с А (т. е. если это число х не равно нулю), то х положительно, когда направление от А к С совпадает с положительным направлением оси, и отрицательно, когда это направление противоположно положительному направле- нию оси. 2. Будем рассматривать любые отрезки числовой оси как направленные отрезки — векторы, на прямой. У каждого вектора различаем начало и конец, принимая направление от начала к концу за направление вектора. Записывать векторы будем двумя буквами: на первом месте—начало, на вто- ром— конец. Каждый вектор, где бы ни помещалось его начало (не обязательно в А), будет изображать некоторое действительное число, абсолютная величина которого равна длине вектора. Число это положительно, когда направление вектора одинаково с положительным направлением оси, и отрицательно, когда это направление противоположно поло- жительному. Так, например, вектор АВ (начало А, конец В) изображает число 1, а вектор В А (начало В, конец А) число — 1. 3. Направление вектора можно определить, указав угол между этим вектором и положительным направлением оси. Если направление вектора одинаково с положительным ) Зак. 1331. А. И. Маркушсвич 3
направлением оси, то этот угол можно считать равным 0°. Если оно противоположно положительному направлению оси, то этот угол можно считать равным 180° (или —180°). Пусть х — какое-нибудь действительное число; если х=#0, то угол между вектором, изображающим это число, и поло- жительным направлением числовой оси называется аргумен- том числа х. Очевидно, что аргумент положительного числа равен 0°, а аргумент отрицательного — равен 180°(или — 180°). Аргумент числа х обозначается так: Argx (Arg — первые три буквы латинского слова argumentum, которое можно перевести здесь как знак, признак). Число 0 изображается не вектором, а точкой. Хотя в дальнейшем мы будем рас- сматривать точку как частный случай вектора — вектор ну- левой длины, но мы не сможем говорить в этом случае ни о направлении, ни об угле с числовой осью; поэтому числу 0 не будем приписывать никакого аргумента. 4. Обратимся к геометрическому истолкованию действий над действительными числами. Здесь нужно остановиться на истолковании сложения и умножения, от которых легко перейти к истолкованию обратных действий — вычитания и деления. Пусть с, и с2— два действительных числа, АВХ и АВ2 — изображающие их векторы. Будем искать правила, по которым, зная векторы АВ^ и АВ2, можно построить вектор, изображающий сумму Cf-j-Cg или произведение ctc2. Начнём со сложения. Итак, что нужно сделать с вектором АВр изображающим первое слагаемое, чтобы получить век- тор АС, изображающий сумму? Легко проверить, что во всех случаях для этого доста- точно от конца вектора АВХ отложить вектор В}С, одина- ковый по длине и по направлению с вектором АВ9; вектор АС и будет искомым (черт. 2). Черт. 2. 5. Перейдём к умножению. Если один из сомножителей равен нулю, то и произведение равно нулю; в этом случае вектор, изображающий произведение, сводится просто к точке. Пусть ни один из сомножителей не равен нулю. Тогда абсо- 4
лютнйя величина*) произведения ctc2 будет равна | ct| • | с2 |, т. е. произведению абсолютных величин с1 и с2. Поэтому длина вектора АО, изображающего произведение, будет равна произведению длин векторов АВ1 и АВ2, изображаю- щих сомножители. Знак произведения ctc2 будет совпадать со знаком ср когда с2 > 0, и будет противоположен ему, когда с2 < 0. Иными словами, направление AD совпа- дает с направлением АВГ, когда Arg с2 = 0 (это и значит, что с2 > 0), и противоположно направлению когда Arg с2 — 180° (это и значит, что с2 < 0). Теперь нам нетрудно ответить на вопрос: что нужно сделать с вектором АВ, изображающим множимое сг, чтобы получить из него век- тор AD, изображающий произведение схс2 (^=#0 и с2=Н=0)? Для этого нужно умножить длину АВГ на | с21 (не меняя на- правления вектора АВ^), а затем повернуть изменённый век- тор на угол, равный аргументу с2 (т. е. на 0°, если с2 > О, или на 180°, если с2 < 0); полученный вектор и будет изо- /80” -Cj С^^З D Вг о<—о» О Cj=I,5 3=0, !сг/ Черт. 3. бражать произведение. На черт. 3 это правило пояснено на примере (q = 1,5 и с2 = — 2). 6. С каждым вектором на прямой мы связали число, ко- торое изображается этим вектором. Будем рассматривать теперь всевозможные векторы на плоскости и с каждым из них также свяжем число, изображаемое этим вектором. Числа, к которым мы придём таким путём — комплексные числа, — будут числами иного, более общего характера, чем действи- тельные числа. Последние окажутся лишь частным случаем комплексных чисел, подобно тому как целые числа являются частным случаем рациональных чисел, а рациональные — част- ным случаем действительных чисел. Начнём с того, что в плоскости, векторы которой мы будем рассматривать, проведём две взаимно перпендикуляр- ные прямые—две числовые оси Ах и Ау с общим началом координат А, и пусть отрезок АВ изображает единицу *) Абсолютная величина некоторого числа с обозначается так: | с |. Например, | 51 = 5, | — 31 = 3, 101 = 0. 5
длины (черт. 4). Тогда любой вектор, лежащий на оси Ах или параллельный ей, можно попрежнему рассматривать как геометрический образ (изображение) действительного числа. Так, векторы АВ и А'В', длина каждого из которых равна совпадают с положительным напра- влением Ах, изображают число 1, а вектор СО длины 2 и прямо единице, а направления Черт. 4. противоположного направления изображает число—2. Векторы, не лежащие на Ах и не парал- лельные этой оси, такие, как АВ и FG, не изображают никаких действительных чисел. Относи- х тельно этих векторов мы будем говорить, что они изображают мнимые числа. При этом век- торы, равные по длине, парал- лельные между собой и направ- ленные в одну и ту же сторону, изображают одно и то же число, а векторы, различающиеся либо длиной, либо направлением, — разные мнимые числа. Здесь мы забегаем несколько вперёд, так как, не зная, что такое мнимые числа, уже говорим об их образах; однако нередко и в жизни знакомство с портретом предшествует знакомству с оригиналом. Выше мы показали, что действия над действительными числами можно заменить операциями над векторами, изобра- жающими эти числа. Подобно этому мы и действия над мни- мыми числами будем заменять действиями над изображаю- щими их векторами. Правила действий мы не будем при- думывать заново, а сохраним в геометрической форме пра- вила, найденные для сложения и умножения действительных чисел. Разница будет лишь в том, что последние изобра- жались векторами на прямой Ах (или векторами, параллель- ными этой прямой), тогда как мнимые числа изображаются векторами на плоскости, не лежащими на Ах и не парал- лельными Ах. 7. Прежде чем двинуться дальше, подчеркнём, что ком- плексными числами (слово «комплексный» означает составной) называются и действительные числа (уже известные нам) и мнимые (которые мы знаем пока только по «портретам»). Для сравнения напомним, что для рациональных и ирра- циональных чисел, рассматриваемых вместе, также употреб- 6
ляется общее название: действительные (или вещественные) числа. Займёмся сложением комплексных чисел. Мы условились оставить в силе правило, формулированное для сложения действительных чисел. Пусть изображающие некоторые комплексные числа с1 и с2; чтобы построить вектор, изображающий их сумму q + c2, от конца вектора АВ^ откладываем вектор Bfi, одинаковый по длине и по направлению с векто- ром ЛВ2; вектор АС, соеди- няющий начало ABt с кон- цом BtC, и будет искомым ~ (черт. 5). Новое здесь заключается в том, что мы теперь приме- няем это правило к сложению Черт - комплексных чисел (изобра- жаемых любыми векторами на плоскости), а ранее приме- няли только к действительным числам (изображаемым век- торами на прямой). Если применить то же правило для построения суммы г2-|_с1 (слагаемые поменялись местами), то нужно будет от конца вектора АВ?, изображающего с2, отложить вектор, одинаковый по длине и по направлению с вектором АВ^ (изображающим сг). Очевидно, что мы придём в ту же самую точку С (на черт. 5 получается параллелограмм), и следо- вательно, сумма с? -1- Cj изображается тем же вектором АС, что и сумма q -(-с?. Иными словами, из правила сложения вытекает справедливость переместительного закона: Не- легко доказать, что справедлив и сочетательн ай закон: (С1 с2) Ч- сз = сг + (с2 Ч~ сз)- Все необходимые построения проведены на черт. 6. Оче- видно, что, складывая (ct —J— с2) (АС) с с3 (CD), мы получим тот же вектор AD, как и складывая (ABt) с ((^-J-c.,) (BtD). 8. Прежде чем перейти к умножению, перенесём на ком- плексные числа понятия абсолютной величины и аргумента. 7
Пусть вектор АВ солютной величиной изображает комплексное число с. Аб- с называется длина вектора АВ, а аргументом с — угол между положительным направлением оси Ах и вектором АВ. Этот угол можно отсчитывать про- тив направления движения часовой стрелки, тогда он имеет положительное зна- чение, или по часовой стрелке, тогда он имеет отрицательное значение; кро- ме того, к нему можно по произволу добавлять любое целое, кратное 360°. Абсолютная величина и аргумент числа с обозна- чаются так же, как для действительных чисел: | с | и Arg с. Новое по сравне- нию со случаем действи- тельных чисел в том, что аргумент мнимого числа отличен от 0° и от rh 180°, тогда как для действитель- ных чисел (не равных нулю) аргументом может быть либо 0° (если число положительное), либо ±180° (если оно отрицательно). 8
На черт. 7 представлены векторы АВ, ABt, АВ2 и АВ3, изображающие комплексные числа: с, с±, с2 и с8. Читатель легко проверит справедливость следующих утверждений: 1^1 = 1С11 = 1. k2| = /2, |с81 = 2; Arg с = 0°, Arg q = 90°, Arg с2=45°, Arg с8 = —60° (или 300°). 9. После того как введены понятия абсолютной величины и аргумента комплексного числа, можно высказать и правило умножения комплексных чисел. Оно буквально совпадает с соответствующим правилом умножения для действительных чисел: чтобы умножить комплексное число сг на комплекс- ное число с2 (t^ #= 0 и с2У= 0), нужно умножить на |с2| длину вектора, изображающего сг (не меняя направления этого век- тора), а затем повернуть изменённый вектор около точки А на угол, равный аргументу с2; полученный вектор изобразит произведение (\с2. Например, произведение ctc2 изображается вектором AD (черт. 8), а произведение с2с8 — вектором АЕ (черт. 9). К правилу умножения нужно добавить ещё, что в случае, когда хотя бы один из сомножителей равен нулю, произве- дение также равно нулю. Если применить правило умножения к произведению с2сг (порядок сомножителей изменён), то нужно будет длину вектора, изображающего с2, изменить в |ct| раз и изменён- ный вектор повернуть около точки А на угол, равный аргу- менту ct. Очевидно, что результат получается тот же самый, 9
как и при умножении сгс2. в обоих случаях длина получен- ного вектора есть | ct | | с2 |, а угол между Ах и этим век- тором равен Arg -j- Aig с.2. Итак, -- CgCj, т. е. переместительный закон справедлив для умножения комплексных чисел. Точно так же справедлив и сочетательный закон: (ctc2) В самом деле, каждое из рассматриваемых произведений изображается одним и тем же вектором; длина его есть I ci I • I с21 • I 1> а Угол между осью Ах и этим вектором равен ArgCj-f-Argc2-|-Argc3. Докажем, наконец, справедливость распределительного закона: (С1 + Cs) Сй — С1С3 + СЧС'Л- На черт. 10 вектор АВ изображает сумму ct -1- с2; если, сохраняя направление ABt и АВ2, умножить все длины сто- рон треугольника АВГВ на |св|, то получится треугольник A/C1Z.1, подобный треугольнику ABtB. Он образован векто- рами AKt, KXLX, ALX, получающимися из векторов ct, с.? и (ct 4~ с2) посредством изменения всех длин в | сй | раз (без
изменения направлений). Повернём теперь треугольник AK^L^ около точки А на угол Argc3; получится треугольник AKL. По правилу умножения вектор АК изображает в нём с^, KL— с2с3 ч AL— По правилу сложения нахо- дим из этого же треугольника: ^1^3 4“ ~ Ч- с3> что и требовалось доказать. 10. Действия вычитания и деления определяются как обратные по отношению к сложению и умножению. Именно, мы называем комплексное чис- ло d разностью чисел q и с2 и пишем d — ct— со, если сх = с2 -1- d, т. е. если q есть А сумма с2 и d. Изображая это соотношение между с2, d и q с/ на чертеже (черт. 11), видим, / что вектор, изображающий раз- _ ность с,— с2, получается, если >"'г точку В2 (конец вектора, изо- бражающего вычитаемое) со- Черт. 11. единить с точкой (конец вектора, изображающего уменьшаемое) и первую точку при- нять за начало вектора, а вторую — за конец этого вектора. Аналогично комплексное число г называем частным чи- сел q и с2 (с2 #= 0) и пишем г = q : с2 или г — у , если с1 = с2г, т. е. если q есть произведение с2 на г (черт. 12). 2 Зак. 1331. А. И. Маркушевич 11
Отсюда вытекает, что | г | — длина вектора, изображаю- щего г, — есть a Arg г равен углу В$АВХ, отсчиты- I сз I ваемому в направлении от АВ2 к АВх (на черт. 12 — это направление поворота по ча- совой стрелке, следователь- но, угол должен рассматри- ваться как отрицательный). Отметим частные случаи. Если Cj и с2 изображаются параллельными и направлен- ными в одну и ту же сто- рону векторами, то угол В2АВ1 равен 0°, следова- тельно, Argr = 0°, т. е. г — действительное положи- тельное число. Если же сг и с2 изображаются парал- лельными, но направленными в противоположные стороны векторами, то угол В9АВ} ра- вен 180° и число г является действительным отрицательным. Подводя итоги, можно сказать, что сложение и умноже- ние комплексных чисел удовлетворяют тем же законам, пере- местительному, сочетательному и распределительному, как и в случае действительных чисел, а вычитание и деление, так же как и для действительных чисел, определяются как действия, обратные сложению и умножению. Поэтому все правила дей- ствий и формулы, выводимые в алгебре для действительных чисел, на основании определения действий и упомянутых законов должны остаться в силе и для комплексных чисел. Например, (Ci 4- с2) (q — с2) = с2 — с|, (сх + с2)2 = cj + 2 С1еа + С2, £!__|_£з==^1£4+А£з_ (с =£0 и с4=£0) ит.п. с2 1 С4 2 4 ’ 11 11. Читатель, изучая математику, неоднократно встречался с расширением (или обобщением) понятия числа. Это было и в арифметике при введении дробей, и в алгебре при вве- дении отрицательных чисел, а позднее — чисел иррациональ- ных. Каждое новое расширение понятия числа открывало воз- можности решения таких задач, которые до этого предста- влялись неразрешимыми или даже бессмысленными. Так, введение дробей позволило выполнять деление двух чисел 12
во всех случаях, когда делитель отличен от нуля, например делить 4 на 3 или 2 на 5; введение отрицательных чисел позволило производить во всех случаях вычитание, например вычитать 5 из 2; введение иррациональных чисел позволило выразить числом длину любого отрезка, несоизмеримого с единицей, например длину диагонали квадрата, сторона кото- рого равна единице. Однако, ограничиваясь одними только действительными числами, мы не могли извлекать квадратный корень из отрицательного числа. Убедимся в том, что введе- ние комплексных чисел делает эту задачу разрешимой. Есте- ственно, что квадратным корнем из комплексного числа с (обо- значим корень знаком )/с) мы назовём комплексное число а, квадрат которого (т. е. произведение а самого на себя) равен с. Иными словами, а = с означает, чтоаа = с. Пусть с — от- рицательное число, например с = —1; желая найти —1, мы должны решить уравнение а2 =—1. Умножить а на а — это значит, во-первых, бражающего а, на | а |, т. е. на эту же длину, не меняя направления а, и затем по- вернуть полученный вектор около точки А на угол, рав- ный Arg а. Очевидно, что длина найденного вектора будет равна тогда | а |2. Но найденный вектор дол- жен изображать число — 1; поэтому его длина равна еди- нице. Итак, | а |2 = 1 и, сле- довательно, | а | = 1 (длина вектора всегда неотрица- тельна). Далее, угол меж- ду вектором, изображаю- щим а2, и осью Ах равен Arg а -|- Arg а = 2 Arg а; с умножить длину вектора, изо- другой стороны, а2 = —1, так что этот угол должен рав- няться + 180° или —180°. Поэтому 2 Arg а = 180°, от- куда либо Arg а = 90°, либо Arga = — 90°. Мы получили, следовательно, два различных вектора АС и АС', изобра- жающих два различных значения)^—1 (черт. 13). Мнимое число, изображаемое вектором АС, обозначается буквой i и называется мнимой единицей", имеем: |r]= 1, Argi = 90°. 13
Легко понять, что мнимое число, изображаемое вектором АС', можно получить из i путём умножения i на —1. В самом деле, по правилу умножения для этого надо помножить длину АС на | — 1 | = 1 (от этого вектор АС не изменится) и затем повернуть около А на угол Arg (—1) = 180°; полу- чится вектор АС. Соответствующее этому вектору мнимое число есть, следовательно, i(—1) или —1 •/, короче —i. Итак, — 1 = ±: i. 12. Рассмотрим какой-либо вектор AD, лежащий на оси Ау (или параллельный ей) (черт. 14). Пусть длина его равна I. Если направление этого вектора совпадает с положительным направлением оси Ау (вверх от Ax'), то мнимое число с, которое он изображает, можно получить из i путём умноже- ния на положительное число I, следовательно, с = 1 • i, или короче с — П. Если направление AD про- тивоположно положительному направлению Ау, то число с получится из i путём умноже- ния на отрицательное число — I (или из —i путём умно- жения на Z); следовательно, в этом случае с = (— I) • i или короче с = — И. Итак, любой вектор (нену- левой длины), лежащий на оси Ау (или параллельный ей), изображает мнимое число вида ±П, где берётся знак-(-или — в зависимости от того, со- впадает ли направление вектора с положительным направлением Ау или противоположно ему. Вследствие этого ось Ау на- зывается мнимой осью. Ось Ах, все векторы которой изо- бражают действительные числа, называется действительной осью. Рассмотрим какой-либо вектор А'Е', не лежащий ни на той, ни на другой оси и непараллельный осям. Посредством построения, указанного на черт. 15, можно представить число с, изображаемое этим вектором, в виде суммы двух других чисел: одного, изображаемого вектором А'В', параллельным Ах (или лежащим на Ах), и другого, изображаемого вектором 14
BE, параллельным Ay. Но А В изображает некоторое действительное число а, а В’Е'— мнимое число вида Ы, по- этому с = а-\-Ы. Итак, мы представили мнимое число с через действитель- ные числа а и Ь и мнимую единицу i. Так как вектор А'Е' не параллелен ни одной из осей, то а =f= 0 и b =# 0. Легко понять, что числа, изображаемые векто- рами, параллельными той или другой оси, можно записать в аналогичном виде; а именно, если вектор параллелен дейст- вительной оси, то он изображает число вида а 0 • i, а если — мнимой, — то число вида 0 -}- Ы. Итак, каждое комплексное число с может быть предста- влено в виде с = а-\- Ы, где а и Ь — действительные числа, с изображения действи- a i—мнимая единица. 13. Подведём итог. Мы начали тельных чисел векторами, лежащими на одной и той же пря- мой, придали геометрическую форму правилам действий над ними, сведя эти действия к операциям над векторами, а за- тем стали рассматривать всевозможные векторы на плоскости как изображающие числа более общего вида — комплексные, которые лишь в частном случае (когда векторы лежат на оси Ах или параллельны ей) сводятся к действительным. Распространяя на векторы на плоскости операции, приме- нявшиеся к векторам на прямой, мы ввели действия сложе- ния и умножения (а затем и обратные действия — вычитание и деление) и убедились в том, что они подчиняются тем же законам, что и действия над действительными числами. При этом о самих комплексных числах мы не знаем ничего иного, кроме того, что все они изображаются векторами и притом так, что любые два вектора, равные по длине, параллельные между собой и направленные в одну и ту же сторону, изо- бражают одно и то же комплексное число, а векторы, отли- чающиеся либо длиной, либо направлением, изображают разные числа. Мы убедились, что комплексные числа позволяют из- влечь квадратный корень из —1, и ввели мнимую единицу/ как одно из двух значений]/—1 (то значение корня, аргу- мент которого есть 90°). Наконец, опираясь на правила 15
действий над комплексными числами, мы показали, что каж- дое комплексное число с может быть представлено в виде с — а-\-Ы, где а и b — действительные числа. Итак, с состоит из двух слагаемых а и Ы\ одно — а — изо- бражается вектором действительной оси и может рассматри- ваться как произведение действительного числа а на дей- ствительную единицу; другое — Ы — изображается вектором мнимой оси и может рассматриваться как произведение дей- ствительного числа Ь на мнимую единицу i. Такое строение любого комплексного числа позволяет понять, почему все эти числа были названы комплексными (т. е. составными). Заметим, что а называется действительной, а b мнимой частью числа с. Например, для числа с = 3 — 2z действи- тельная часть равна 3, а мнимая часть равна —2. 14. Если изображать комплексные числа с векторами с началом в одной и той же точке А, то не равным между собой комплексным числам бу- У £ дут соответствовать не совпа- И дающие друг с другом векто- ры и обратно: несовпадающим векторам будут соответствовать b различные комплексные числа. Пусть с = а -|- Ы\ тогда конец вектора АЕ, изображающего число с, будет иметь абсцис- су а су а и ординату b (черт. 16). Итак, если начало вектора, изображающего число с =«-(- fa, qepT is поместить в начале координат А, то числа а и b будут ко- ординатами конца этого вектора. Пользуясь этим замечанием, можно изображать комплексные числа геометрически не только векторами, но и точками. Именно, каждое комплексное число а-\-Ы можно изображать одной только точкой Е с коорди- натами а и b и обратно: каждую точку Ег с координатами а' и Ь* 1 можно рассматривать как изображающую комплекс- ное число На черт. 17 указаны точки Ег, Е2, Es, Ei и Еъ, изображающие (по порядку) следующие числа:—1, i, — i, 1 z, 1 — z. В дальнейшем для краткости мы часто будем называть одними и теми же словами «точка г» и само комплексное число z и изображающую его точку Е. Например, выраже- ние «точка 1 Ц- г» будет обозначать и само число 1 г и 16
изображающую его точку Е4 (черт. 17). По тексту будет видно, какой из двух смыслов этого выражения имеется в виду. Впрочем, лучше привыкнуть не задумываться над этим вопросом и упо- треблять оба смысла как равнозначные. 15. Пусть z— неко- торая точка. Если z сло- жить с каким-либо числом а, то получится новая точка z' — z-\-a. Оче- видно, что перейти от точки z к точке z' мож- но путём сдвига (или пе- реноса) на вектор а, т. е. посредством пере- мещения точки z по на- правлению вектора а на расстояние, равное длине этого вектора (черт. 18). Подбирая соответствую- щее а, можно получить любой сдвиг точки г. Напри- мер, если точку г нужно сдвинуть в положительном напра- влении оси Ах на единицу, берём а=1; точка z' = z-\-l и будет искомой. Если же г нужно сдвинуть в отрицатель- ном направлении оси Ау на две единицы, берём а =— 2г, точка z" = zJr( — 2i) — z—2i будет искомой (черт. 19). Итак, действие сложения z' = z-\-а геометрически озна- чает сдвиг точки z на вектор а. 17
тора АЕ (т. е. число |z|) на тор АЕг повернуть на угол, ] F Черт. 20. 16. Рассмотрим действие умножения z на некоторое число с =# 0. Чтобы умножить z на с, нужно умножить длину век- [исло | с | и полученный век- вный Arg с (черт. 20). Пер- вая из операций не изменяет направления вектора АЕ и может изменить только его длину. Именно, если | с | < 1, эта длина уменьшится, если | с | > 1 —она увеличится, и, наконец, если с~ 1, то она останется без изменения. Назовём эту операцию рас- тяжением вектора АЕ в | с | раз. Слово «растяжение» здесь нужно понимать в условном смысле; фактиче- ски растяжение будет иметь место только при |с| > 1, когда длина вектора АЕ увеличивается при умножении в | с | раз. Однако мы будем пользоваться им и тогда, когда | с | = 1 (длина вектора АЕ не изменяется), а также и при |с|< 1 (длина вектора АЕ уменьшается при умножении). Если с — число действительное положительное, то Argc=0. В этом случае поворот на угол Arg с не изменяет най- денного посредством растяжения вектора АЕг\ следователь- но, точка Ех изображает произведение zc. Можно сказать, что умножение z на действительное положительное число с гео- метрически означает растяжение вектора АЕ (изображаю- щего г) в с раз. Меняя с, можно получать различные растя- жения вектора АЕ. Так, чтобы получить растяжение в два раза, нужно умножить г на 2; чтобы получить растяжение 2 2 в раза, нужно умножить г на О о Если множитель с не является действительным положи- тельным числом, то Arg с не равен нулю. В этом случае умножение г на с не сводится к одному только растяжению вектора АЕ, но требует ещё и поворота растянутого вектора около точки А на угол Arg с. Следовательно, в общем слу- чае действие умножения г-с означает и растяжение (в |с| раз) и поворот (на угол Arg с). В частном случае, когда абсолютная величина с равна единице, умножение на с сво- дится к одному только повороту вектора АЕ около точки А 18
на угол Arg с. Выбирая с надлежащим образом, можно до- биться поворота АЕ на любой угол. Так, например, если нужно повернуть АЕ на 90° в положительном направлении (против часовой стрелки), достаточно умножить z на /; в самом деле, | i | = 1 и Arg i = 90°. Чтобы повернуть АЕ на в отрицательном направлении по часовой стрелке, доста- умножить z на комплексное число с, модуль которого единице, а аргумент —45°. Найти это число 45° точно равен равен легко с помощью черт. 21, на котором представлена точ- ка С, изображающая число с. Очевидно, что координаты /2 точки С таковы: х = -~—, У2 у =------ , поэтому с = V2 . У 2 ,, = -Г2---г-2 ' Итак, умно- V2 . /2 жение z на с = -----1 равносильно повороту век- тора АЕ (изображающего z) в отрицательном направлении. 17. Формулы z' = z-\-a преобразуют точку z в точку А Черт. 21. около точки А на угол 45° или z' = cz, как мы видели, г'. Рассмотрим не одну, а бес- У х конечное множество точек г, составляющих какую-либо гео- метрическую фигуру Р (например, треугольник; черт, 22). Если в каждой точке z применить формулу z' = z а, то 3 Зак. 1331. А. И. Маркушевич 19
из прежней точки получится новая z', сдвинутая на вектор а. Все эти сдвинутые точки составят новую фигуру Р'. Оче- видно, что её можно получить, если всю фигуру Р как одно целое сдвинуть на вектор а. Итак, посредством формулы z' = z-\-a можно преобразовать не только одну точку, но и целую фигуру (множество точек). Преобразование это сво- дится к сдвигу фигуры на вектор а. Конечно, новая фигура равна (конгруэнтна) первоначальной. 18. Можно применить к каждой точке z фигуры Р фор- мулу z'= cz. Если с — действительное положительное число, то каждая точка z фигуры Р преобразуется в новую точку z', лежащую на том же луче, выходящем из А, на котором на- ходится и точка z, причём отношение -щ- (т. е. отношение расстояний точек z' и z до А) равно с. Такое преобразова- ние в геометрии называется гомотетией, точки z' и z на- зываются гомотетичными точками, точка А — центром гомотетии, а число с — коэффициентом гомотетии. В результате гомотетии совокупность всех точек фигуры Р перейдёт в некоторую новую совокупность точек, составляю- Черт. 23. щую фигуру Р' (черт. 23). Эта фигура называется гомоте- тичной данной фигуре Р. Легко видеть, что в случае, когда Р есть многоугольник (например, треугольник), то гомотетичная фигура Р' также является многоугольником, подобным много- угольнику Р. Чтобы доказать это, достаточно рассмотреть, во что преобразуются при гомотетии точки, лежащие на одной из сторон ВС многоугольника Р (черт. 23). Если В преобразуется в Br, а С в С', то, соединяя В' и С' отрезком прямой, находим, что треугольники АВС и 20
АВ'С подобны (угол А — общий и содержащие его стороны АВ/ АС/ пропорциональны: = с). Отсюда следует, далее, АН АС* B'Cf что сторона В С* параллельна ВС и ~bq~~c. Пусть К—точка, лежащая на ВС; тогда луч АК встретит В'С в некоторой точке К', треугольники ЯДС и АК'С снова будут подоб- АК' АС' ными и, следовательно, — Поэтому точка К' будет гомотетичной точке К (относительно центра А при коэффициенте гомотетии, равном с). Отсюда заключаем, что все точки, лежащие на стороне ВС, преобразуются при го- мотетии в точки, лежащие на стороне В'С; при этом каж- дая точка на В'С будет гомотетичной одной из точек, ле- жащих на ВС. Итак, весь отрезок В'С будет гомотетичным отрезку ВС. Повторяя это рассуждение для всех сторон многоугольника Р, найдём, что все они преобразуются в сто- роны нового многоугольника Р', причём соответствующие стороны будут попарно параллельны, а отношение их длин будет равно одному и тому же числу с; В'С' _ CD’ _ D'B' _ ВС ~~ CD ~~ DB ~С' Этим и доказывается подобие гомотетичных фигур Р и Р'. Итак, посредством формулы z' — cz (с — действительное положительное) можно преобразовать не только одну точку, но и целую фигуру Р. Преобразование это является гомо- тетией с центром А и коэффициентом, равным с. В случае, когда Р есть многоугольник, преобразованная фигура Р' также является многоугольником, подобным Р. 19. Пусть теперь число с в формуле z' = cz не является положительным числом. Допустим сначала, что |с|=1. В этом случае вся операция умножения сводится к повороту вектора Az около точки А на угол, равный аргументу z. Если эту операцию применить к каждой точке z фигуры Р, то в результате вся фигура Р окажется повёрнутой на угол Arg с около точки А. Следовательно, посредством формулы z' = cz, где |с| = 1, любая фигура Р преобра- зуется в фигуру Р', получаемую из Р путём поворота около точки А на угол Arg с. Возьмём, например, c = i; так как Arg I — 90°, то преобразование z' = iz сводится к повороту фигуры около точки А на 90°. На черт. 24 представлено, во что перейдёт треугольник при этом преобразовании. 21
Если в формуле zr = cz не вводить условия | с | = 1, а просто считать с каким-либо комплексным числом (не являющимся положительным и отличным от нуля), то соот- ветствующее преобразование фигуры Р можно будет выпол- нить в два этапа. Сначала произвести растяжение в | с | раз, в результате чего фигура Р преобразуется в гомотетическую П Черт. 25. фигуру 7Э1, а затем повернуть Рг около точки А на угол Arg с. На черт. 25 представлено, во что перейдёт треуголь- П Z- / I ( I i I 1 ник Р при преобразовании z — у z (здесь у — — и Arg 4 = 90°). 20. В формулах У = z 4- а и z' = cz можно рассматри- вать z как независимое переменное, a z' как функцию. 22
Это — простейшие функции комплексного переменного г. Выполняя над г и какими-либо постоянными комплексными числами действия сложения, вычитания, умножения и деле- ния, а также возвышения в степень (последнее мы рассмат- риваем как повторное умножение), будем получать различ- ные другие функции г, например г'= 4-, или z' — г2 4- cz 4- d, или z' = и т. д. Все такие функции комплексного переменного называются рациональными-, названы они так потому, что сами действия, с помощью которых определяются эти функции (сложение, вычитание, умножение и деление), носят название рациональ- ных. Рациональными функциями не исчерпываются все функции комплексного переменного; можно, например, опре- делить и изучить функции вида z' = у z, z' = az, z' = sin z и др. Однако в этой книжке мы ограничимся одними только рациональными функциями и притом простейшими из них. 21. Мы видели, что функциям z' —z-\-а или z"—cz соответствуют определённые геометрические преобразования фигур на плоскости. Именно, если переменное z пробегает точки фигуры Р, то функция z' = z-^ а пробегает точки фигуры А*7, получающейся из Р путём сдвига на вектор а, а функция z" = cz пробегает точки фигуры Р", получаю- щейся из Р путём преобразования гомотетии с коэффициен- том |с| и поворота около точки А на угол Arg с. Можно сказать, следовательно, что сама функция z' = z-^ а произ- водит преобразование сдвига, а функция z' — cz производит преобразование гомотетии и поворота (если с — действитель- ное положительное число, то дело сводится к одной гомо- тетии, а если |с| = 1, но с 4 1, то — к одному повороту). Возникает вопрос, что можно сказать о преобразованиях, производимых другими функциями комплексного переменного, в частности рациональными функциями. Этим вопросом мы и займёмся на дальнейших страницах книжки. А чтобы чи- татель понял, что такое занятие не является праздным, мы сообщим ему уже здесь, что преобразования, производимые рациональными функциями комплексного переменного, отли- чаясь удивительным разнообразием и богатством геометри- ческих свойств, имеют вместе с тем и нечто общее. А именно, хотя при этих преобразованиях величина и вид фигуры, вообще говоря, изменяются, однако остаются неизменными 23
фигуры около точки А на 90°. На рис. 24 показано, во что перейдет треугольник при этом преобразовании. Если в формуле z' — cz не вводить условия |с|— 1, а просто считать с каким-либо комплексным числом (не являющимся положительным и отличным от нуля), то соот- ветствующее преобразование фигуры Р можно будет выпол- нить в два этапа. Сначала произвести растяжение в |с| раз, в результате чего фигура Р преобразуется в гомотетичную фигуру Рр а затем повернуть Р, около точки А на угол Arg с. Рис. 25. На рис. 25 показано, во что перейдет треугольник Р при преобразовании z' = -^z (здесь = и Arg-g- = 90°j. SO. В формулах г' = г-\-а и z' — cz можно рассматри- вать г как независимое переменное, а г’ как функцию. 24
Это — простейшие функции комплексного переменного 2. Выполняя над г и какими-либо постоянными комплексными числами действия сложения, вычитания, умножения и деле- ния, а также возвышения в степень (последнее мы рассмат- риваем как повторное умножение), будем получать различ- ные другие функции 2, например z'= — , или z = z2cz А-а, или z' =-------Г и т. д. z II- z—b Все такие функции комплексного переменного называются рациональными-, названы они так потому, что сами действия, с помощью которых определяются эти функции (сложение, вычитание, умножение и деление), носят название рациональ- ные. Рациональными функциями не исчерпываются все функции комплексного переменного; можно, например, опре- делить и изучить функции вида г' = у z, z' = аг, г' = sin г и др. Однако в этой книжке мы ограничимся одними только рациональными функциями и притом простейшими из них. 21. Мы видели, что функциям z' — z-^a или z" — cz соответствуют определенные геометрические преобразования фигур на плоскости. Именно, если переменное z пробегает точки фигуры Р, то функция z' = z-\-а пробегает точки фигуры Р', получающейся из Р путем сдвига на вектор а, а функция z" — cz пробегает точки фигуры Р", получаю- щейся из Р путем преобразования гомотетии с коэффициен- том |с| и поворота около точки А на угол Arg с. Можно сказать, следовательно, что сама функция z' = z-\-a произ- водит преобразование сдвига, а функция z' —cz производит преобразование гомотетии и поворота (если с — действитель- ное положительное число, то дело сводится к одной гомо- тетии, а если |с| = 1, но с =А 1, то — к одному повороту). Возникает вопрос, что можно сказать о преобразованиях, производимых другими функциями комплексного переменного, в частности рациональными функциями. Этим вопросом мы и займемся на последующих страницах книжки. А чтобы чи- татель понял, что такое' занятие не является праздным, мы сообщим ему уже здесь, что преобразования, производимые рациональными функциями комплексного переменного, отли- чаясь удивительным разнообразием и богатством геометри- ческих свойств, имеют вместе с тем и нечто общее. А именно, хотя при этих преобразованиях величина и вид фигуры, вообще говоря, изменяются, однако остаются неизменными 25
Возьмём на кривой QP какую-либо точку Qx, отличную от Q, и проведём секущую QQx. Точно так же на кри- вой QR возьмём точку Q2, отличную от Q, и проведём се- кущую QQ2. Величину угла QXQQ2 можно рассматривать как приближённое значение величины криволинейного угла PQR. Чем ближе к точке Q будут лежать точки Qx и Q2, тем теснее секущие будут прилегать к кривым QP и QR возле точки Q. Поэтому и угол QXQQ2 можно тогда рассматривать как всё более и более хорошее приближённое значение величины угла, составленного нашими кривыми в точке Q. Если Qx будет перемещаться по кривой QP, a Q2 — по кривой QR, неограниченно приближаясь к Q, то секущие QQ1 и QQ2 будут поворачиваться около точки Q, приближаясь к пре- дельным положениям QTX и QT2. Лучи QTX и QT2 теснее, чем любые другие лучи, проходящие через Q, примыкают к нашим кривым около этой точки. Они называются каса- тельными к кривым QP и QR, а угол TXQT2 между ними принимается за меру угла в точке Q между кривыми QP и QR. Итак, углом между р Т> двумя кривыми, пересекающи- \ Т мися в некоторой точке, на- \ / д зывается угол между каса- \ тельными к кривым, прове- I / денными в этой точке. I А. Это определение применимо у и к случаю угла, образованно- ц го в точке Q некоторой кривой QP и прямой Q/? (черт. 29). Черт. 29. Пусть QTX—касательная к QP в точке Q. Чтобы восполь- зоваться определением, нужно и прямую QR заменить каса- тельной к этой прямой. Но легко понять, что касательная к прямой QR совпадает с этой самой прямой. В самом де- ле, чтобы получить секущую, нужно на QR взять точку Qp отличную от Q, и провести прямую через Q и Qr Очевидно, что это будет та же прямая QR. Если Qx приближается к Q, то найденная нами секущая остаётся неизменной. Поэтому касательная, являющаяся предельным положением секущей, есть снова прямая QR. Следовательно, угол между кри- вой QP и прямой QR должен пониматься как угол между касательной QTX к кривой QP в точке Q и самой пря- мой QR. Может случиться, что Q/? и есть касательная к QP (т. е. QR совпадает с тогда угол между QR и QP 26
В силу этой же причины Черт. 30. обратится в нуль. Следовательно, угол к точке Q между кривой и касательной к ней, проведённой в этой точке, равен нулю. 24. Конформные отображения имеют многочисленные применения. Так, например, они применяются в картографии при построении географических карт. Каждая географическая карта изображает часть земной поверхности на плоскости (на листе бумаги). При таком изображении очертания материков, морей и океанов подвер- гаются большему или меньшему искажению. Читатель легко убедится, что невозможно расправить и наложить на пло- скость без растягивания и сжатия, без разрывов и складок кусок шаровой поверхности (например, часть сломанного шарика для настольного тенниса), без искажения пропорций, а сле- довательно, и без нарушения фор- мы невозможно изобразить часть земной поверхности (последнюю можно принять за шаровую) на плоскости, т. е. построить карту. Оказывается, однако, что можно строить карту, не изменяя вели- чины углов между различными ли- ниями на земной поверхности. Пусть нужно построить карту северного полушария, на которой все углы между различными на- правлениями на земной поверхно- сти изобразятся в натуральную величину. Чтобы наглядно пред- ставить себе, как это можно сде- лать, вообразим большой земной глобус из какого-либо прозрач- ного материала, например стекла, закрашенный непрозрачными крас- ками так, что лишь контуры ма- териков, стран и морей в север- ном полушарии, а также сетка лелей остаются непокрытыми краской и, следовательно, про- зрачными. Кроме того, можно оставить незакрашенными стороны (криволинейные) какого-либо угла PQR с вершиной в любой точке северного полушария. Если в южном полюсе глобуса впаяна маленькая, но яркая электрическая лампочка, а перед глобусом перпендикулярно к его оси помещён меридианов и парал- 27
экран, то в тёмной комнате мы увидим на экране контур- ную карту северного полушария (черт. 30). Можно дока- зать геометрически, что на такой карте (она называется кар- той стереографической проекции) все углы между любыми линиями на глобусе в северном полушарии изобразятся в на- туральную величину. В частности, в натуральную величину изобразится и угол PQR. 25. Выше мы рассказали о том, как можно получить карту северного полушария с сохранением натуральной вели- чины всех углов. Если источник света (лампочку), откуда исходят проектирующие лучи, поместить не в южном, ральной величины всех углов. Каждая из полученных ука- занным путём карт представляет некоторую плоскую фигуру; если её подвергнуть конформному отображению, она перей- дёт в новую фигуру, которую также можно рассматривать как географическую карту. Так как при конформном ото- бражении углы не изменяются, то на новой карте будут сохраняться натуральные величины углов между направле- ниями на земной поверхности. На черт. 31 слева изобра- жена карта Гренландии в ртереографической проекции, 28
а справа — карта, которая получается из предыдущей, если ко всем её точкам применить преобразование по формуле z' = loge | z | + / Arg z. Здесь в качестве основания логарифмов берётся так назы- ваемое неперово число е — 2,71828 ..., a Arg.? измеряется не в градусах, а в радианах. Без сомнения формула эта выглядит сложной и искусст- венной. Мы не имеем возможности рассматривать её здесь подробно и проверять, что преобразование, совершаемое по этой формуле, на самом деле является конформным. Скажем только, что карта, получившаяся в результате такого пре- образования, была построена около 400 лет назад голланд- ским учёным Меркатором. Она получила с тех пор большое распространение в навигации. Её преимущества перед кар- той, выполненной в стереографической проекции, состоят в том, что здесь не только меридианы, но и параллели изо- бражаются прямыми линиями; более того, прямыми линиями изображаются здесь также любые пути на поверхности Земли, вдоль которых стрелка компаса сохраняет неизменное на- правление (так называемые локсодромы). 26. Наиболее важные применения конформных отображе- ний относятся к вопросам физики и механики. Во многих вопросах, где речь идёт, например, об электрическом потен- циале в точках пространства, окружающего заряженный кон- денсатор, или о температуре вокруг нагретого тела, о ско- ростях частиц жидкости или газа в потоке, движущемся в некотором канале и обтекающем при этом какие-либо препятствия и т. п., нужно уметь вычислить потенциал, тем- пературу, скорости и т. п. Такие задачи могут быть разре- шены без больших трудностей в случае, когда встречающиеся в них тела имеют особенно простую форму (например, в виде плоских пластин или круговых цилиндров). Однако расчёт нужно уметь производить и во многих других случаях. Напри- мер, чтобы рассчитать самолёт при его конструировании, нужно уметь подсчитывать скорости частиц воздуха в пото- ке, обтекающем крыло самолёта *). Крыло самолёта в поперечном разрезе (профиль крыла) имеет вид, представленный на черт. 32, а. Между тем расчёт *) При полёте самолёта, конечно, движутся и частицы воздуха и самоё крыло. Опираясь на законы механики, можно, однако, све- сти всё исследование к случаю, когда крыло неподвижно, а на него набегает и обтекает вокруг поток воздуха. 29
скоростей производится особенно просто, когда поперечный разрез обтекаемого тела есть круг (т. е. само тело есть круглый цилиндр) (черт. 32, б). Так вот, оказывается, что для того, чтобы свести за- дачу о скоростях частиц потока воздуха, обтекающего крыло самолёта, к более простой задаче обтекания круглого цилиндра, достаточно конформно отобразить фигуру, заштри- Черт. 32. хованную на черт. 32, а (внешность профиля крыла), на заштрихованную фигуру на черт. 32, б (внешность окруж- ности). Такое отображение осуществляется посредством не- которой функции комплексного переменного. Знание этой функции позволяет перейти от скоростей в потоке, обте- кающем круглый цилиндр, к скоростям в потоке, обтекаю- щем крыло самолёта, и следовательно, полностью решить по- ставленную задачу. Подобным же образом конформное отображение позволяет сводить решение задач о расчёте электрического потенциала и температур от случая тел произвольной формы (любого про- филя сечения) к простейшим случаям, где задача уже является решённой. Обратный переход к пространству, окружающе- му первоначально заданные наэлектризованные (или нагре- тые) тела, достигается с помощью той же функции комплекс- ного переменного, которая осуществляет конформное отобра- жение. 27. Всё сказанное выше о применении конформного ото- бражения к вопросам картографии, механики и физики не со- провождалось никакими доказательствами. Доказательства мы и не сумеем дать в этой книжке, так как для их понимания от читателя потребовались бы такие знания, которые дают лишь высшие учебные заведения. Теперь мы до конца книжки будем заниматься простейшими рациональными функциями, с помощью которых можно вы- 30
Николай Егорович ЖУКОВСКИЙ (1847—1921) широко использовал комплексные числа и конформные отображения для расчёта самолётов.
полнить некоторые конформные отображения. Вот функции, о которых пойдёт речь: 1) z' = (так называемая дро- бно-линейная функция)', 2) г' = г2; 3) / = ~ (z -|- . Последняя из них носит имя знаменитого русского учёного Николая Егоровича Жуковского (1847—1921), которого В. И. Ленин по справедливости назвал «отцом русской авиа- ции». Называется эта функция функцией Жуковского потому, что Н. Е. Жуковский успешно применял её к решению неко- торых вопросов теории самолёта; в частности, он показал, как с помощью этой функции можно получать некоторые профили крыла самолёта, имеющие и теоретическое и прак- тическое значение. Об этом применении функции Жуковского мы ещё рас- скажем. 28. Начнём с дробно-линейной функции z' = Здесь а и b— неравные между собой комплексные числа. Покажем, что посредством этой функции каждая дуга PLQ окружности, соединяющая точки а и Ь, преобразуется в некоторый прямо- линейный луч P'U, выходящий из начала координат, причём угол между положительным направлением действительной оси и этим лучом равен углу между направлением baN и каса- тельной к дуге окружности в точке а (черт. 33). Черт. 33. Пусть точка z лежит на дуге PLQ (черт. 33 слева); до- кажем, что её образ (т. е. соответствующая ей точка должен лежать на луче P'L' (черт. 33 справа). Чтобы построить вектор г', нужно знать длину этого вектора (| z' |) и угол 32
наклона к положительной части действительной оси (Arg г'). Но z' есть частное комплексных чисел z — а и г— Ь, изо- бражаемых векторами PR и QR. Поэтому | г' | = ~ ।» a Arg г' равен углу SPR (вектор PS имеет такую же длину и направление, как и QR), отсчитываемому в направлении от PS к PR. Очевидно, что SPR == QRP*) и, следовательно, измеряется половиной дуги QMP. Половиной этой же дуги измеряется и угол NPT. Поэтому Arg z' = SPR = QRP= = NPT = to. Итак, при любом положении точек z на дуге PLQ , z — а соответствующие точки z — имеют один и тот же ар- гумент ®. А это означает, что все эти точки лежат на одном и том же луче P'L', наклонённом к положительной части дей- ствительной оси под углом ®. Этот вывод справедлив и в том случае, когда PZ.Q— не дуга окружности, а прямолинейный отрезок PQ. Тогда нужно считать угол ® = 180° и луч P’L' совпадающим с отрицатель- ной частью действительной оси (черт. 34). В самом деле, если z лежит на отрезке PQ, то векторы, изображающие z — а иг — Ь, направлены в прямо противоположные стороны. От- сюда следует, что частное z — есть действительное отрицательное число, т. е. г' лежит на отрицательной части действительной оси. Мы доказали, что образы точек дуги PLQ лежат на луче P'L'. Но заполняют ли они весь луч P'L' или же на последнем имеются точки, не являющиеся образами ни од- ной из точек дуги PLQ? Покажем, что образы заполняют весь луч. *) Запись АВС означает угол АВС. 54
Начнём с точки Р' (начало координат); эта точка является образом точки Р, так как г' = —у обращается в нуль при z = а. Возьмём какую-либо точку г' на луче Р'1! (черт. 35), отличную от Рг (т. е. г' =Р 0). Очевидно, что г' не может быть действительным положительным числом, так как луч P'L' не совпадает с положительной частью действительной оси. Рассматривая г как неизвестное, решим уравнение & относительно z\ найдём zz' — z'b = z — а, откуда г = • Итак, для каждой точки г', лежащей на P'L', существует одно и только одно значение г, такое, что z' = , т. е. ’ z — b ’ такое, что z' является образом z. Но где лежит эта точка г? Может ли быть, что она не лежит на PLQ7 Убедимся, что это невозможно. Прежде всего, точка г не может лежать на прямой, являющейся продолжением отрезка PQ (вне этого от- резка). В противном случае числа z — а и z — b имели бы , z — а . _ одинаковые аргументы и z = _____было бы положительным числом. Но если z не лежит на указанной прямой вне от- резка PQ, то Р и Q можно соединить дугой окружности так, чтобы эта дуга прошла через z (если допустить, что точка z лежит на отрезке PQ, то вместо дуги следует взять этот самый отрезок). Обозначим эту дугу через PLXQ', так как она отлична от PLQ, то касательная к ней в точке Р будет со- ставлять с направлением baN угол не равный о (черт. 35). Поэтому значение функции z = z — b в эт0^ точке Д°лжн0 изображаться точкой луча Р Llt наклонённого к положитель- ной части действительной оси под углом и, следовательно, 34
не совпадающего с P'L'. Мы пришли к противоречию, так как получилось, что точка г', отличная от точки Р', должна находиться и на луче P'L' и на луче Р L\. Итак, доказано, что каждая точка г', лежащая на P'L', является образом един- ственной точки z [z' = > причём z лежит на PLQ. От- сюда следует, что если точка г' будет пробегать луч P'L', то соответствующая ей точка г, определяемая из уравнения г' = *____&, будет пробегать дугу PLQ. Покажем, наконец, что когда z описывает дугу PLQ, пе- ремещаясь в одном и том же направлении от точки Р к точке Q, точка г' описывает луч P'L' также в одном и том же напра- влении, неограниченно удаляясь от точки Р'. Для этого до- статочно показать, что расстояние P'R' == | z' | = ~ PR sin р „„ = 0^ = „}п а (черт. 33) возрастает при указанном движении точки, принимая неограниченно большие значения. Но ®-|-а-|- + Р = 180°, откуда р == 180° — (а —<р), sin р = sin (а ®) = = sin а cos о -|- cos а sin <э и, следовательно, P'R' = | z' | = sin a cos ф 4- cos а sin ф , =--------------------1 = cos ® -4- sin ® ctg а. Когда точка г Sin а ' 1 ' ° движется по PLQ от Р к Q, то угол а убывает от 180° — <? до нуля, а угол ® остаётся неизменным. Поэтому ctg а воз- растает от значения — ctg <р до -J-oo и |У| = cos ® —{—ctga sin <р также возрастает (в силу положительности числа sin <р) от значения cos <р — ctg® sin® = 0 до -{-со. 29. Рассмотрим какую-либо окружность PLM, проходя- щую через точку а, но не проходящую через точку b (черт. 36). Пусть угол между касательной в точке а и направлением baN равен ®. Проведём через точки а и b вспомогательную окружность, для которой касательная в точке а будет соста- влять с направлением baN угол <?-|~90°. Эта окружность пересечёт первоначальную окружность в некоторой точке Е; обозначим через с комплексное число, изображаемое этой точ- кой. Покажем, что посредством функции z' = - окруж- ность PLM преобразуется в окружность P'L'M' (черт. 36), опирающуюся, как на диаметр, на отрезок Р’Е', где точка Р' изображает число 0, а точка Е’ — число с' = С^аь . При этом касательная к окружности P'L' М в точке Р' образует с по- ложительным направлением действительной оси угол ср. 3* 35
Итак, мы собираемся доказать, что для каждой точки г, лежащей на PLM, соответствующая точка z' — Zz_^j лежит на окружности P'L'М', для которой точки 0 и с'= являются концами диаметра. Достаточно, очевидно, показать, что из каждой точки г' = а) (при условии, что z лежит на PLM) отрезок РЕ' виден под прямым углом, т. е. что угол E'R'P' равен прямому углу *). Но угол E'R'P' обра- зован векторами E'R' и PR', изображающими числа г' — с' Черт. 36. и z'\ он равен углу S'P'R' (вектор P'S' имеет такую же длину и направление, как и вектор E’R'), отсчитываемому в направлении от P'S' к P'R'. Последний угол равен Arg-y^—7 , поэтому интересующий нас угол PR'E' также сов- падает с аргументом числа Z,Z__-,, т. е. P'R'E' = Arg , Преобразуем выражение zi~ci' > заменив z через % и с через . Получим: г' ___ z — — а с — а\____z — а , (г — с) (а — Ь) z' — с' z — Ь \г — Ь с — b) z — b ' (г — Ь) (с — Ь) ' z — а . b — а__z" z — с ‘ b — с Ь" ' *) Потому что точки плоскости, из которых данный отрезок ви- ден под прямым углом, лежат иа окружности, построенной на этом отрезке, как на диаметре. 36
Мы положили здесь z—- = z" и т—~—Ь". Очевидно, что Z — с о — с г" является также дробно-линейной функцией г. Эта функ- ция г"=~^~с отличается от нашей исходной функции z' лишь заменой точки b на точку с. К новой функции приме- нимо то, что было доказано в п. 28. А именно, если точка z находится на дуге окружности, соединяющей а и с, то точка г" должна находиться на некотором прямолинейном луче, выхо- дящем из начала координат. При этом, если касательная в точке а к дуге окружности составляет с направлением call некоторый угол а, то соответствующий прямолинейный луч составляет с положительным направлением действительной оси также угол а; иными словами, аргумент г" равен а. Так как точка z находится на дуге окружности PLE, проходящей через точки а и с, а угол между касательной Р7\ к этой окруж- ности и направлением caU равен р-|~® (черт. 36, а), то ар- гумент числа z" = z%_должен также равняться р-}-<р для всех положений z на дуге PLE. С другой стороны, точка b лежит на дуге PVE окружности, соединяющей точки а и с. Касательная РТ2 в точке а к этой дуге составляет угол (Р~-|~®)—90° с направлением caU (по абсолютной величине этот угол равен 90° — (Р~|-®), но из черт. 36, а видно, что в нашем случае он отсчитывается в отрицательном направле- нии и, следовательно, должен быть взят со знаком —). По- этому значение дробно-линейной функции —с , соответствую- щее z = Ь, т. е. число Ь" = , должно изображаться точкой луча, выходящего из начала координат под углом (р-|-®)— 90° к положительному направлению действительной оси, т. е. Arg b" — (Р -|- ®) — 90°. Вспомним, что мы хотели определить угол: Р^Е'=Агё17^. z’ Мы нашли, что —----г = -ттг> и далее, что г' — с' о Argz" = р + <?, Arg b" = (Р -|- ®) — 90°; отсюда следует, что Arg-^ = 90 (черт. 37), и Р^Е' = Arg = Arg = 90°. 37
Итак, из каждой точки z' = —отрезок Р'Е' виден под прямым углом. Это означает, что точка г' лежит на окружности P'L'М', для которой отрезок Р'Е' служит диа- метром*). Нужно ещё показать, что касательная в точке Р1 к этой окружности составляет угол <? с положительным направлением действительной оси. Дляэто- Черт. 37. го достаточно показать, что угол между диаметром Р'Е' и этим направлением оси равен ®-|-90о. Последний угол совпадает с Argc' = = Arg-—v. Но точка с ь с — Ь лежит на дуге PEQ окруж- ности, соединяющей точки а и Ь. Так как касательная в точке а к этой дуге состав- ляет с направлением baN угол 90°то точка , с —а с ==----г- должна лежать с — о на луче, составляющем с по- ложительным направлением действительной оси также угол 90°-|-®, т. е. Arg с' = 90° -|- ®, что и нужно было доказать. 30. В виде примера выясним, во что преобразуется фигура, заштрихованная на черт. 38 слева, при отображении посред- , , z— 1 ~ . z — а ством функции z = г j . Эта функция имеет вид г_^ > причём а=1 и Ь —— 1. Так как дуга PLQ проходит через точки 1 и — 1 и образует в точке а = 1 угол ® с направле- нием QPN, то она по п. 28 преобразуется в луч P'L', выхо- дящий из начала координат и образующий также угол ® *) При доказательстве мы брали точку z на дуге PLE', тогда соответствующая точка z' попадает на полуокружность P’L’E'. Если точку z брать на дуге ЕМР, то доказательство ни в чём не изме- нится; нужно будет только заметить, что направление касательной в точке а к этой дуге прямо противоположно PTV Это означает, что Arg У' будет равен не р + <р, а Р + <р—180°. Поэтому для угла P'R'E' = Arg получим значение (₽+?—180°)—(Р+<р—90°)= = — 90°. Это соответствует положению точки z' иа полуокружно- сти Е'М'Р', 38
с положительным направлением действительной оси. Дуга PMQ соединяет те же точки 1 и — 1, но она образует в точке а=1 угол ®—180° с направлением QPN (по абсолютной величине этот угол равен 180° — <?; мы учли, однако, что он отсчитывается по часовой стрелке, т. е. в отрицательном направлении), дугу PMQ в Поэтому функция У = преобразует луч Р'М', выходящий из начала координат и Черт. 38. образующий угол ®— 180° с положительным направлением действительной оси. Очевидно, что лучи P'L' и Р'М' соста- вляют вместе одну прямую; следовательно, функция г' = - 2 -j-1 преобразует всю окружность PLQM (состоящую из дуг PLQ и PMQ) во всю прямую M'P'L’. Проведём через точки Р и Q дугу вспомогательной окруж- ности, для которой касательная в точке Р образует с QPN угол ф -|- 90°. Эта дуга пересечёт окружность PRS в точке Е. По п. 28 дуга PEQ преобразуется посредством функции / г— 1 г — —гт в луч, выходящий из точки Р1 и наклонённый под углом <р4~90° к положительному направлению действи- тельной оси. При этом точка Е преобразуется в некоторую точку Е' этого луча. По п. 29 окружность PRES преобра- зуется посредством функции г' — z . в окружность P'R'E’S', построенную на отрезке P’S', как на диаметре. Итак, в результате преобразования окружность PLQM переходит в прямую M'P’L’, а окружность PRES, касаю- щаяся первой изнутри, переходит в окружность P'R'E’S', 3Q
касающуюся прямой M'P'L' в точке Р'. Можно ли считать, что мы уже решили вопрос о преобразовании заштрихованной фигуры посредством функции z' = г~! ? Нет, задача ещё до конца не решена: ведь мы нашли только, во что перехо- дит контур этой фигуры, а нужно ещё проследить за пре- образованием точек фигуры, заключённых между окружно- стями PRES и PLQM. Чтобы выяснить и эту сторону дела, заметим, что всю заштрихованную фигуру можно было бы заполнить окружно- стями, касающимися PLQM в точке Р и заключёнными между PRES и PLQM. Они будут пересекать дугу PEQ в точках, лежащих между Е и Q. На черт. 38 изображены пунктиром три из бесчисленного множества таких окружностей, пересе- кающие дугу PEQ в точках Elt Е2 и Е.3. Если мы проследим, в какие линии преобразуются эти окружности посредством функции г' Z— 1 ттт , то можно будет составить представле- ние и о виде фигуры, заполняемой всеми такими линиями. Это и будет преобразованная фигура. Но, применяя выводы п. 29, заключаем, что окружность PRiEiSi преобразуется в окружность P/R'lE'tS'v окружность PR.,E S—в P'R'E'S' и т. п. £ й £ а £ В конце п. 28 мы показали, что по мере того, как точка z перемещается по дуге PQ, приближаясь к Q, соответствую- щая ей точка z' перемещается по лучу, всё далее отодвигаясь от начальной точки Р7. Отсюда следует, что если точка Е2 ближе к Q, чем точка Ev то Е'2 — образ точки Е2 — лежит на луче дальше от Р', чем £'— образ точки Ev Поэтому диаметр Р'Е2 окружности P'R'2E'2SI2 — образа окружности PR Ег82 — должен быть больше диаметра Р'Е'1 окружности P'R'1E'lS'— образа окружности PRlE1S1, как это и показано на нашем чертеже. Если взять окружность PR3E.3S.3, пересе- кающую PEQ достаточно близко к Q, то можно добиться того, что её образ P'R'sE'sS's будет иметь сколь угодно боль- шой диаметр. Ясно, что все образы окружностей, таких, как PR^^Si, PR2E2S2, PR3E3Ss и т. д., заполняющих фигуру, заштрихованную на черт. 38 слева, будут в свою очередь заполнять фигуру, заштрихованную на том же чертеже справа. Она и является образом первоначальной фигуры при отобра- жении посредством функции z' = г - * . Итак, функция z “г 1 40
z' = j отображает фигуру, ограниченную двумя окружно- стями (черт. 38 слева), на фигуру, ограниченную прямой и окружностью (черт. 38 справа). 31. Займёмся теперь преобразованием посредством функ- ции z' — г2. В сноске на стр. 24 мы предупреждали чита- теля, что возможно исключение из общего правила о сохра- нении углов при преобразованиях посредством рациональных функций. А именно, что углы с вершинами в некоторых исключительных точках могут изменяться в несколько раз. В данном случае имеется такая исключительная точка; это — начало координат А. Мы покажем, что все углы с вершиной в А увеличиваются вдвое при преобразовании z' = z\ Возьмём луч AM, выходящий из точки А и составляющий угол <р с положительной частью действительной оси (черт. 39). Черт. 39. Для каждой точки z, лежащей на этом луче, Arg z = о. Так как вектор z' = z2 = г • z получается из вектора z путём растяжения в ] z | раз и поворота на угол Arg .? = <?, то l^'l = |г| • |г| = |г|2, a Argz' — krgz-ф- Argz — 2c. По- этому точка z' должна лежать на луче А' М', выходящем из точки А! и составляющем с положительной частью действи- тельной оси угол 2<р. Если точка z будет перемещаться по AM, начиная от точки А и далее, неограниченно отодви- гаясь от неё, то соответствующая точка z' будет переме- щаться по А'М', начиная от точки А' и далее, неограниченно отодвигаясь от неё; при этом расстояние от z' до А' всегда будет равняться квадрату расстояния от z до А (| z' | — | z |2). 41
Отсюда следует, что функция z' = г2 преобразует луч AM в луч А' М', наклонённый к оси А'х' под углом, вдвое ббль- шим по сравнению с первоначальным углом наклона. Легко понять, что луч АР, составляющий с Ах угол ® 4*180° (ЛМ и АР лежат на одной прямой), преобразуется посредством функции г' = г2 в тот же луч А'М’. В самом деле, если угол о 4-180° удвоить, то получится 2®4~360°; луч, наклонённый к А'х' под этим углом, совпадает с А'М'. Посмотрим, во что преобразуется посредством функции У = г2 фигура, заштрихованная на черт. 39 слева; она назы- вается полуплоскостью. Полуплоскость можно рассматривать как заполненную бесчисленным множеством лучей, выходящих из Л и наклонённых к Ах под углами, ббльшими о, но мень- шими у 4* 180°. Лучи AM и АР составляют границу полу- плоскости (одну прямую); мы не будем причислять эти лучи к самой полуплоскости. Функция z' = г2 преобразует лучи, принадлежащие полуплоскости, во всевозможные лучи, выхо- дящие из А' и наклонённые к А'х' под углами, ббльшими 2<р, но меньшими 2®4~ 360°. Отсюда следует, что полуплоскость, ограниченная луча- ми AM и АР, преобразуется в фигуру, ограниченную одним лучом А'М' (черт. 39 справа). Последнюю фигуру можно охарактеризовать как плоскость с выброшенным (или исклю- чённым) лучом А'М'. Говоря так, мы хотим подчеркнуть, что эта фигура образована всеми точками плоскости, кроме точек, лежащих на А'М'. Если в полуплоскости взять какие-либо два луча AQ и AR, наклонённые к Ах под углами и ®2 (?2 > ?i)> т0 они составят между собой угол а = <р2— В результате преобразования z' — г2 эти лучи перейдут в A'Q' и A'R', наклонённые к А'х' под углами 2®t и 2®2. Очевидно, что угол Q'A'R' равен 2®2— 2ф1 = 2(ф2—®1) = 2а. Итак, углы с вершиной в А удваиваются при преобразо- вании z' = г2, иными словами, конформность отображения нарушается в точке А. 32. Покажем, что углы с вершиной в любой точке го=#О не изменяются при преобразовании г' — г2. Отсюда будет следовать, что начало координат является единственной точ- кой, в которой нарушается конформность при данном преоб- разовании. Пусть L — какая-либо кривая, выходящая из точки z0. Если на L взять точку zv отличную от г0, то направление секущей, соединяющей z0 и zlt будет совпадать с направле- нием вектора Q0Qt, изображающего разность zr— za (черт. 40 42
слева). Посредством функции z' — z2 кривая L преобразуется в некоторую кривую L', а точки z0 и zx — в новые точки z'Q = zl и ^'=^, лежащие на кривой L'. Очевидно, что направление секущей, соединяющей г' и z'v совпадает с на- правлением ректора Q'Q', изображающего разность г' — г' (черт. 40 справа). Мы сравним между собой направления двух секущих; для этого достаточно сравнить между собой направления векторов г'— z'Q и — zQ. Так как угол между ними, отсчитываемый от вектора zY — zQ к вектору г' — г', Г г Z1 zo совпадает с аргументом частного -------, то всё сравнение , , Z1~Z° , , — z0 Z1 — z0 сводится к подсчёту Arg------. Частное ----- можно пре- 21 го 21 — 20 образовать, заменив г' и г' их выражениями: г' = z* и г' = г*. Получим: zo zi zo ! • zi zo . , , . - + 2o и Arg = Arg{Zr + г0). «1 — «0*1 — Zo Z1 — zo Следовательно, угол между направлениями секущих к кри- вым И и Л, проведённых через пары соответствующих точек г0 и zt (на L) и = и z'1 = z^ (на L'), равен Arg (г^ Ц-г0) Переходя от секущих к касательным, будем неограниченно приближать точку zt по кривой L к точке z0. Тогда и сочка = z% будет неограниченно приближаться по кривой L' к точке z'o = z%. Поэтому наши секущие будут также неограниченно приближаться к касательным, проведён- ным в точка/. zQ и z'o, а угол между секущими — к углу между касательным^. Но угол между секущими равен Arg (z0 zt) 43
и при стремлении zr к z0 стремится к Arg (2г0); последний же совпадает с Arg^0. Итак, угол между касательными к кри- вым L' и L, проведённым в соответствующих точках г' = z^ и Zq, равен Arg^0. Если, например, г0 = 2, то Arg^o = O; отсюда следует, что направление касательной в точке г0 = 2 к любой кривой L, проведённой через эту точку, будет совпадать с направлением касательной в точке г' = г2й = 4 к кривой Л'., в которую функция z’ = z* преобразует L. Если г0 = Z, то Arg г0 = 90°; следовательно, касательная в точке z0 = I к любой кривой L, проведённой через эту точку, и касательная в точке — Р = —1 к образу кри- вой И взаимно перпендикулярны. Возвращаясь к общему случаю, можно сказать, что каса- тельные поворачиваются на угол, равный Arg^0, когда кри- вые, проходящие через точку г0, преобразуются посредством функции z' — г2. Теперь легко понять, почему углы с вершиной в ^0(г0^=0) остаются неизменными при этом преобразовании. Если через точку zQ проходят две кривые Lr и Z2, образующие угол а в этой точке, то это означает, что касательные к кривым в этой точке образуют между собой угол а. После преобра- зования точка z0 перейдёт в точку г' = г2, а кривые и Z2 — в кривые Л' и Л'. Направления касательных в точке г0 к новым кривым получатся из прежних направлений каса- тельных путём поворота на один и тот же угол, равный Arg^0. Очевидно, что угол между новыми касательными сохранит прежнюю величину а. А это и значит, что угол между кри- выми с вершиной в любой точке го=#О не изменяется при преобразовании z' = г2. Заметим, что способ, которым мы доказали конформность отображения z' — z2, применим и к другим функциям, напри- мер к дробно-линейной zz = * _ | или функции Жуковского z' = \zJ• Только здесь получатся другие выражения для угла поворота касательной. Так, для дробно-линейной функции получится, что касательные к кривым, проходящим „ . а — b через точку z0, поворачиваются на угол, равный Arg > а в случае функции Жуковского — на угол, равный Arg /1-----. В первом случае нужно дополнительно пред- \ го 44
положить, что z0=£b (в этой точке выражение _ь не имеет смысла); во втором случае, — что го¥=0 (по аналогичной при- чине) и, кроме того, что г0#=± 1 (в этих точках 1----------— го обращается в нуль и, следовательно, Arg II---------— ] теряет \ го ) смысл). Можно было бы проверить, что в случае функции Жуковского конформность нарушается в точках —1 и -J-7: углы с вершинами в этих точках увеличиваются вдвое в ре- зультате преобразования. 33. Рассмотрим, во что преобразуется посредством функ- ции г' — г* окружность, проходящая через точку А. Пусть касательная к окружности в этой точке образует с Ах угол у> (черт. 41). Очевидно, что окружность лежит в полуплоскости, Черт. 41. ограниченной этой касательной. Функция У = г2 преобразует полуплоскость в плоскость с выброшенным лучом А'ЛГ. Чтобы найти образ окружности, проведём из 4 в полупло- скости всевозможные лучи и отметим на каждом из них точку пересечения с окружностью. На нашем чертеже для определённости изображены семь лучей; все углы Л1АВ1 45
ВУАВ<1, В2АВа..... В-АР взяты равными между собой (1 °\ по 22 1. Функция z' — г2 преобразует их в лучи, состав- ляющие между собой вдвое большие углы; каждый из углов М' А в{, В\а'В2, В2а'в'3, ..., В^А'р' равен 45°. Подсчитаем, куда перейдут точки Вр В2, В.3, ..., В-. Расстояния их образов В{, В2, В3, . . ., В\ от точки А будут равны квадратам расстояний АВ], АВ2, АВ.3, АВ-,. Но из черт. 41 видно, что ЛВ, — АВг = XB4sin 22i =Dsin 22^- (D — диаметр окружности); далее ЛВ6 = АВ2 — D sin 45°, 1 ° АВЬ = АВ3 = D sin 67 , AB± = D. Остаётся заметить, что sin* 22 г = ‘-“5 450 » 2~/2 = 2~'-4142-^0. 1464 ..., 2 2 4 4 sin245° = 0,5000 .. ., sin267 ±° = cos222-l°=l — sin222i°= = 0,8535 ... Следовательно, Д/В7=Д/В4=0,1464О2, а'В3 = = a'b'2 = 0.5000D2, a'b's = a'b's = 0.8535D2, А'в[ = DI Через точки A, Blt B2, B3, В- проходит кривая, являю- щаяся образом окружности при преобразовании z' = z2. Чтобы получить о ней более точное представление, можно было бы брать большее количество лучей. Кривая эта называется кар- диоидой (слово кардиоида означает сердцеобразная). Легко понять, что фигура, заштрихованная на черт. 41 слева (она получается из полуплоскости путём выбрасывания круга), преобразуется посредством функции z' — г2 в фигуру, за- штрихованную на том же чертеже справа. Последняя огра- ничена кардиоидой и лучом А'М', составляющим угол 2<а с положительным направлением действительной оси. Можно показать, что луч А'М' направлен по касательной к каждой из двух дуг кардиоиды, выходящих из точки А. В самом деле, проведём на черт. 41 слева какой-либо луч АВ, и пусть В обозначает точку его пересечения с окружностью; если угол МАВ—а, то АВ = D sin а. Посредством функции z' ~z- этот луч преобразуется в луч А'В' (черт. 41 справа), причём точка В' — образ точки В — попадёт на кардиоиду. На основании известных нам свойств преобразования z' — z2 имеем: М'А'В' = 2а и А'В' = ДВ2 = D2 sin2 а. Будем считать угол а переменным и заставим его неограниченно прибли- жаться к нулю. Тогда угол 2а между А'В' и А'М' будет также неограниченно приближаться к нулю, а сам луч А'В', 4Ь
являющийся секущей для кардиоиды, будет поворачиваться около точки А', неограниченно приближаясь к предельному положению А'М'. При этом точка В' — ближайшая к А' точка пересечения секущей с кривой — будет неограниченно приближаться к А', так как расстояние Л'В'= D2 sin2 а стремится к нулю, когда а стремится к нулю. Отсюда выте- кает, что А'М'— предельное положение секущей — является касательной к дуге A ... в точке А . Так же можно убедиться, что А'М' является касательной и к дуге Л'В'В'... в той же точке А'. 34. Обратимся, наконец, к функции Жуковского z' = = и пРименим её к преобразованию фигуры, огра- ниченной двумя окружностями: одной, проходящей через точки — 1 и и другой, касаю- щейся первой изнутри в точке Г, на черт. 42 эта фигура заштри- хована. Убедимся сначала, что пре- Черт. 42. образование z' = мож- но свести к нескольким выполняемым друг за другом более простым преобразованиям уже знакомого нам вида. С этой целью рассмотрим отношение т. Заменяя в нем z' выражением -% (z -ф- —J, найдем: -2 + 1 — 4z z~ + 1 + 2z z — 1 \2 г + J * , 1 ( । 1 \ z'— 1 Итак, из того, что г =-^ z-4--, вытекает, что — =□ 2 \ z) z +1 (Z _ 1 z 4-~f / ’ Справедливо и обратное: из второго следует первое. В самом деле, из второго получаем: откуда 47
и далее! г'—- 1 _(гЦ-1)2+(г—1)2 __ 2г2 + 2 _ 1 ~ («4-1)2— (z— 1)2 4£ ~2 экви- .. , 1 / . 1 \ z'---1 (Z Итак, соотношения z = (z 4— и -г-г~< = — ’ 2 \ 1 z / z' + \ \z валентны (одно следует из другого). Поэтому преобразование Жуковского г' — z' — 1 (z — 1 \2 г> можно представить в виде == • Результат дол- жен получиться тот же самый. Но теперь видно, что пере- ход от z к перейти от муле z' можно осуществить в три этапа. Сначала z к вспомогательному переменному zx по фор- z — 1 (О затем от zx перейти к г2 по формуле ^2 = zv (2) наконец, от г2 перейти к z' по формуле z' — 1 Z' 4- 1 “ г2- (3) Читатель легко убедится, что если выражение zx из фор- мулы (1) подставить в (2), а затем полученное выражение г2 подставить в (3), то тогда и получится нужное нам преоб- z' — 1 / z— 1 разование — . Какой же смысл в замене одного преобразования Жуков- ского тремя преобразованиями (1), (2) и (3), выполняемыми друг за другом? Смысл в том, что каждое из них проще, чем преобразование Жуковского и уже знакомо нам. Итак, применим к фигуре, изображённой на черт. 42, преобразование (1), к тому, что получится,—преобразование (2) и, наконец, к тому, что получится после этого, применим ещё одно преобразование (3). Вспомним, что в п. 30 мы уже нашли, что фигура, изо- бражённая на черт. 38 слева (а она совпадает с фигурой Z - — 1 черт. 42), преобразуется посредством функции г' — (т. е. функции (1)) в фигуру, представленную на черт. 38 справа. 48
Последняя ограничена прямой, проходящей через точку О и составляющей угол <р с положительным направлением дей- ствительной оси, и окружностью, касающейся этой прямой в точке О. Можно охарактеризовать эту фигуру как полу- плоскость с выброшенным из неё кругом. Преобразуем, далее, эту фигуру посредством функции г2 = г\ (2). Одного взгляда на черт. 41 достаточно, чтобы видеть, что и эта задача уже решена нами в п. 33. В конце упомянутого пункта мы отме- тили, что здесь должна получиться фигура, изображённая на черт. 41 справа; она ограничена лучом и кардиоидой. Остаётся, следовательно, применить к последней фигуре преобразова- ние z'— 1 — z^ (3). Здесь z' можно рассматривать как неза- висимое переменное, а как функцию. Из того, что гово- рилось в п. 28, следует, что когда г2 описывает луч А'М', выходящий из начала и наклонённый к положительной части действительной оси под углом 2<а, соответствующая точка z’ описывает дугу окружности, соединяющую точки -f-7 и —7; касательная в точке к этой дуге составляет с направле- нием от точки —1 к т. е. с положительным напра- влением действительной оси, также угол 2« (черт. 43). -1 +7 Черт. 43. Мы нашли, следовательно, образ луча А'М' при преоб- z’ — 1 г'+ 1 разовании г2. Чтобы найти образ кардиоиды, можно было бы проследить за тем, куда перейдут её точки, напри- мер точки Bi, В2, Т37. Мы не будем, однако, произво- дить громоздких вычислений, а удовлетворимся тем, что изо- бразим преобразованную кривую в её окончательном виде на черт. 44. Ограниченная ею фигура имеет вид профиля (т. е. попе- речного разреза) крыла самолёта. Такого рода профили были предложены впервые русскими учёными С. А. Чаплыгиным и Н. Е. Жуковским, почему они и называются профилями Жуковского — Чаплыгина. Меняя угол <? наклона касатель- 49
ной к окружности в точке 1 (черт. 42) и радиус меньшей окружности, можно получать различные профили. В част- ности, если угол ф — прямой, т. е. большая окружность построена на отрезке от —1 до как на диаметре, то соответствующий профиль симметричен относительно действи- Черт. 45. тельной оси (черт. 45). Такой профиль называется иногда рулём Жуковского. Профили Жуковского — Чаплыгина являются основными профилями во всех исследованиях по теории крыла самолёта. УПРАЖНЕНИЯ И ЗАДАЧИ 1. Доказать, что если два комплексных числа q = at-]-z7\ и с9 = а2 -j- ib2 равны, то их действительные и мнимые части порознь также равны: ах = а2 и bi = bz. Указание. Исходить из того, что равные комплексные числа изображаются векторами, равными по длине, параллель- ными и направленными в одну и ту же сторону. 2. Пользуясь переместительными, сочетательными и рас- пределительным законами сложения и умножения, выполнить следующие действия над комплексными числами: а) (3 — 7z) ( — 2 -j- 0~h( — 1 5Z); _ б) (3 —7z)(34-7z); в) (1 +J)(1 +lV 3); г) (1 + z)2 : (1 - /)2; Д) ( ХЛ + г<ДгУ • Ответы: а) — Z; б) 58; в) 1 — 3-|-Z(l -j-]/3); г) —1; Д) — 1- 3. Доказать, что любое комплексное число с = a-\-bi^=Q, абсолютная величина которого равна г, а аргумент равен а, 50
можно представить в виде: с = г (cos а —/ sin а) (тригонометрическая форма комплексного числа). Указание. Выразить а и b через г и а с помощью чертежа, на котором с = a -f- Ы представлено в виде вектора. 4. Доказать, что если q = q (cos at -f-1 sin at) и q = q (cos a2-}-/ sin аД TO qq=qq[cos(a14-a2)4-/sin(a14-a2)]. Указание. Воспользоваться геометрической формули- ровкой правила умножения комплексных чисел или же пере- множить q и q, пользуясь законами сложения и умножения, и затем применить формулы для косинуса и синуса суммы. 5. Опираясь на результат предыдущей задачи, доказать, что если с = г (cos a-]-/ sin а) (г-—абсолютная величина с, а а— аргумент с), то с” = rn (cos па i sin па) (п— натуральное число). Вывести отсюда, что (cos a —г sin а)п =cos па -J- г sin па (формула Муавра). 6. Используя формулу Муавра (см. задачу 5), вычислить: ч / V"2 . . /2\ioo / }ЛЗ . г \2П а> (V+'V) ' б> (-тг+т) • v У"2 . . ._0 , • . Л ко /з . Указание. --------1- i = cos 45 -|-1 sin 45 , ~--- у = cos 30° i sin 30°. Ответы: а) — 1; б) . 7. Исходя из формулы Муавра (см. задачу 5), вывести формулы для cos па и sin па при п = 2, 3 и 4. У к а з а н и е.В формуле Муавра (cos a-|-zsin a)n = cos na-}- —f—z sin «а нужно возвысить cos a-}-z sin a в степень n путём 4* 51
непосредственного умножения (например, («и? a -J-zsin а)2 = = cos2 а -ф- 2i sin а cos а — sin2 а), а затем записать, что дей- ствительные и мнимые части справа и слева Рт знака равен- ства в формуле Муавра равны между собой. Ответы: cos 2а = cos2 а — sin2 а; sin 2а = 2 sin а cos а; cos За = cos3 а — 3 cos а sin2 а; sin За = 3 sin а cos2 а — sin3 а; cos 4a=cos4 а — 6 cos2 a sin2 a -J- sin4 a; sin 4j==4 sin a cos3 a— — 4 sin3 a cos a. 8. Во что перейдёт треугольник с вершинами в точках: О, 1—i, 1-f-z в результате преобразования: Каков геометрический смысл этого преобразования? Указание. Начать с выяснения геометрического смысла. Но можно начинать и с вычисления вершин преобразованного треугольника. 9. Во что перейдёт полукруг, расположенный выше дей- ствительной оси и опирающийся, как на диаметр, на отрезок с концами —1 и —1, в результате преобразования: г'= = ? г + 1 Ответ. В прямой угол, ограниченный верхней частью мнимой оси и отрицательной частью действительной оси. 10. Во что перейдёт угол а с вершиной в начале коор- динат в результате преобразования У = г3? Ответ. В угол раствора За и с вершиной в начале коор- динат.