Реферат: Инверсия плоскости в комплексно сопряженных координатах

--PAGE_BREAK--Определение 6. Обобщенной инверсией плоскости с центром в точке S и степенью инверсии k называется преобразование, которое всякую точку М плоскости, отличную от S, отображает в такую точку М’, что точки S, M и М’ коллинеарны и скалярное произведение векторов <shape id="_x0000_i1104" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image142.wmz» o:><img width=«105» height=«23» src=«dopb74204.zip» v:shapes="_x0000_i1104">. При этом считают, что S переходит в бесконечно удаленную область, и наоборот.
Это преобразование инволютивное, поскольку точки М и М’ входят в формулу <shape id="_x0000_i1105" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image143.wmz» o:><img width=«105» height=«23» src=«dopb74204.zip» v:shapes="_x0000_i1105"> равноправно, а для центра инверсии и бесконечно удаленной области все очевидно.
1.3. Формула инверсии в комплексно сопряженных координатах. Найдем формулу обобщенной инверсии при задании точек комплексными числами. Пусть точкам S, M и М’ соответствуют комплексные числа s, z и z’.
По формуле скалярного произведения векторов <shape id="_x0000_i1106" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image144.wmz» o:><img width=«365» height=«27» src=«dopb74205.zip» v:shapes="_x0000_i1106">. Коллинеарность точек  S, M и М’ дает равенство <shape id="_x0000_i1107" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image146.wmz» o:><img width=«228» height=«24» src=«dopb74206.zip» v:shapes="_x0000_i1107">. Отсюда имеем <shape id="_x0000_i1108" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image148.wmz» o:><img width=«139» height=«24» src=«dopb74207.zip» v:shapes="_x0000_i1108"> Û <shape id="_x0000_i1109" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image150.wmz» o:><img width=«169» height=«24» src=«dopb74208.zip» v:shapes="_x0000_i1109">, откуда и получаем искомую формулу <shape id="_x0000_i1110" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image152.wmz» o:><img width=«103» height=«48» src=«dopb74209.zip» v:shapes="_x0000_i1110">.
Итак, обобщенная инверсия имеет формулу <shape id="_x0000_i1111" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image154.wmz» o:><img width=«103» height=«48» src=«dopb74209.zip» v:shapes="_x0000_i1111"> или, что то же самое, <shape id="_x0000_i1112" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image155.wmz» o:><img width=«132» height=«48» src=«dopb74210.zip» v:shapes="_x0000_i1112">. При k>0 получаем инверсию с положительной степенью, при k<0 – с отрицательной.
Но всякое ли преобразование плоскости, заданное формулой <shape id="_x0000_i1113" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image157.wmz» o:><img width=«85» height=«48» src=«dopb74211.zip» v:shapes="_x0000_i1113">, является обобщенной инверсией? Если принять <shape id="_x0000_i1114" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image159.wmz» o:><img width=«43» height=«16» src=«dopb74212.zip» v:shapes="_x0000_i1114">, <shape id="_x0000_i1115" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image161.wmz» o:><img width=«77» height=«20» src=«dopb74213.zip» v:shapes="_x0000_i1115">, то достаточно потребовать, чтобы <shape id="_x0000_i1116" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image163.wmz» o:><img width=«44» height=«24» src=«dopb74214.zip» v:shapes="_x0000_i1116">и <shape id="_x0000_i1117" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image165.wmz» o:><img width=«77» height=«20» src=«dopb74215.zip» v:shapes="_x0000_i1117"> для обобщенной и <shape id="_x0000_i1118" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image167.wmz» o:><img width=«76» height=«20» src=«dopb74216.zip» v:shapes="_x0000_i1118"> для обычной инверсии (с положительной степенью).
Значит, всякое преобразование плоскости, задаваемой формулой <shape id="_x0000_i1119" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image169.wmz» o:><img width=«248» height=«48» src=«dopb74217.zip» v:shapes="_x0000_i1119">, есть обобщенная инверсия.
1.4. Неподвижные точки и окружность инверсии. Исследуем уравнение инверсии на неподвижные точки: для них должно выполняться равенство <shape id="_x0000_i1120" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image171.wmz» o:><img width=«97» height=«48» src=«dopb74218.zip» v:shapes="_x0000_i1120"> Û <shape id="_x0000_i1121" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image173.wmz» o:><img width=«99» height=«48» src=«dopb74219.zip» v:shapes="_x0000_i1121">. Мы не рассматриваем центр инверсии и бесконечно удаленную область, так как мы доопределили, что они не остаются неподвижными, а переходят друг в друга. Тогда будет выполняться равенство <shape id="_x0000_i1122" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image175.wmz» o:><img width=«132» height=«24» src=«dopb74220.zip» v:shapes="_x0000_i1122">.
Очевидно, что если <shape id="_x0000_i1123" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image177.wmz» o:><img width=«43» height=«20» src=«dopb74221.zip» v:shapes="_x0000_i1123">, то все искомые точки образуют окружность с центром в точке с координатой s и радиусом <shape id="_x0000_i1124" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image179.wmz» o:><img width=«29» height=«27» src=«dopb74222.zip» v:shapes="_x0000_i1124">. Эта окружность при <shape id="_x0000_i1125" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image177.wmz» o:><img width=«43» height=«20» src=«dopb74221.zip» v:shapes="_x0000_i1125"> называется окружностью инверсии. Если обозначить радиус окружности инверсии через R, то выполняется <shape id="_x0000_i1126" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image181.wmz» o:><img width=«55» height=«25» src=«dopb74223.zip» v:shapes="_x0000_i1126">. И формулу инверсии для k>0 можно переписать более наглядно: <shape id="_x0000_i1127" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image183.wmz» o:><img width=«103» height=«51» src=«dopb74224.zip» v:shapes="_x0000_i1127">.
Если степень инверсии отрицательна, то преобразование не имеет неподвижных точек (поскольку невозможно изобразить на плоскости, даже комплексной, точки, координаты которых удовлетворяют равенству <shape id="_x0000_i1128" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image185.wmz» o:><img width=«148» height=«28» src=«dopb74225.zip» v:shapes="_x0000_i1128">). Но иногда эту мнимую окружность также называют окружностью инверсии, ее центр расположен в центре инверсии, а радиус будет равен <shape id="_x0000_i1129" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image179.wmz» o:><img width=«29» height=«27» src=«dopb74222.zip» v:shapes="_x0000_i1129">=<shape id="_x0000_i1130" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image187.wmz» o:><img width=«83» height=«31» src=«dopb74226.zip» v:shapes="_x0000_i1130">=<shape id="_x0000_i1131" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image189.wmz» o:><img width=«48» height=«27» src=«dopb74227.zip» v:shapes="_x0000_i1131">.
Так как <shape id="_x0000_i1132" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image191.wmz» o:><img width=«203» height=«48» src=«dopb74228.zip» v:shapes="_x0000_i1132">, то, очевидно, инверсию отрицательной степени легко представить в виде коммутативной композиции инверсии с положительной степенью <shape id="_x0000_i1133" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image193.wmz» o:><img width=«99» height=«51» src=«dopb74229.zip» v:shapes="_x0000_i1133"> и центральной симметрии <shape id="_x0000_i1134" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image195.wmz» o:><img width=«89» height=«20» src=«dopb74230.zip» v:shapes="_x0000_i1134"> с общим центром в s.
1.5. Образы прямых и окружностей при обобщенной инверсии.Без ограничения общности рассуждений можно принять <shape id="_x0000_i1135" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image197.wmz» o:><img width=«41» height=«20» src=«dopb74231.zip» v:shapes="_x0000_i1135">, и формула инверсии примет вид <shape id="_x0000_i1136" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image199.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1136">, более удобный для практики. Ведь нам пока не важны коэффициенты в получающейся формуле, важно, какую фигуру она описывает.
Пусть задана прямая l с уравнением <shape id="_x0000_i1137" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image009.wmz» o:><img width=«120» height=«24» src=«dopb74141.zip» v:shapes="_x0000_i1137">, <shape id="_x0000_i1138" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image011.wmz» o:><img width=«45» height=«23» src=«dopb74142.zip» v:shapes="_x0000_i1138">. При подстановке в это уравнение <shape id="_x0000_i1139" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image201.wmz» o:><img width=«48» height=«47» src=«dopb74233.zip» v:shapes="_x0000_i1139"> и <shape id="_x0000_i1140" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image203.wmz» o:><img width=«48» height=«47» src=«dopb74234.zip» v:shapes="_x0000_i1140"> получаем: <shape id="_x0000_i1141" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image205.wmz» o:><img width=«137» height=«47» src=«dopb74235.zip» v:shapes="_x0000_i1141">. Умножим на <shape id="_x0000_i1142" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image207.wmz» o:><img width=«20» height=«16» src=«dopb74236.zip» v:shapes="_x0000_i1142">, это будет равносильным преобразованием, поскольку <shape id="_x0000_i1143" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image209.wmz» o:><img width=«43» height=«20» src=«dopb74237.zip» v:shapes="_x0000_i1143">; получим, опуская в полученном результате штрихи: <shape id="_x0000_i1144" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image211.wmz» o:><img width=«152» height=«24» src=«dopb74238.zip» v:shapes="_x0000_i1144">.
Если q= 0, то получаем уравнение <shape id="_x0000_i1145" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image213.wmz» o:><img width=«108» height=«24» src=«dopb74239.zip» v:shapes="_x0000_i1145">. Так как <shape id="_x0000_i1146" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image215.wmz» o:><img width=«43» height=«20» src=«dopb74240.zip» v:shapes="_x0000_i1146">, то умножим обе части уравнения на <shape id="_x0000_i1147" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image217.wmz» o:><img width=«17» height=«48» src=«dopb74241.zip» v:shapes="_x0000_i1147">, получим <shape id="_x0000_i1148" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image219.wmz» o:><img width=«92» height=«24» src=«dopb74242.zip» v:shapes="_x0000_i1148">. Это уравнение прямой, совпадающей с заданной прямой l. Если <shape id="_x0000_i1149" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image221.wmz» o:><img width=«43» height=«24» src=«dopb74243.zip» v:shapes="_x0000_i1149">, то получаем уравнение окружности <shape id="_x0000_i1150" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image223.wmz» o:><img width=«152» height=«24» src=«dopb74238.zip» v:shapes="_x0000_i1150">, так как <shape id="_x0000_i1151" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image224.wmz» o:><img width=«75» height=«53» src=«dopb74244.zip» v:shapes="_x0000_i1151">. Она содержит центр инверсии, ее центр расположен в точке <shape id="_x0000_i1152" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image226.wmz» o:><img width=«43» height=«51» src=«dopb74245.zip» v:shapes="_x0000_i1152">, а радиус равен <shape id="_x0000_i1153" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image228.wmz» o:><img width=«35» height=«55» src=«dopb74246.zip» v:shapes="_x0000_i1153">. Заметим, что центр лежит на прямой <shape id="_x0000_i1154" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image230.wmz» o:><img width=«103» height=«24» src=«dopb74247.zip» v:shapes="_x0000_i1154">, проходящей через центр инверсии перпендикулярно l.
Итак, прямая, содержащая центр инверсии, отображается при этой инверсии в себя; прямая, не содержащая центр инверсии, отображается в окружность, проходящую через него. Поскольку инверсия инволютивна, то окружность, содержащая центр инверсии, отображается в прямую, не содержащую его.
Возьмем теперь окружность <shape id="_x0000_i1155" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image232.wmz» o:><img width=«137» height=«29» src=«dopb74143.zip» v:shapes="_x0000_i1155">, не проходящую через центр инверсии <shape id="_x0000_i1156" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image233.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1156">. Тогда выполняется <shape id="_x0000_i1157" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image234.wmz» o:><img width=«57» height=«25» src=«dopb74248.zip» v:shapes="_x0000_i1157">. Ее образ имеет уравнение <shape id="_x0000_i1158" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image236.wmz» o:><img width=«144» height=«47» src=«dopb74249.zip» v:shapes="_x0000_i1158"> (штрихи опущены). При раскрытии скобок получим <shape id="_x0000_i1159" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image238.wmz» o:><img width=«203» height=«49» src=«dopb74250.zip» v:shapes="_x0000_i1159">. Умножим на <shape id="_x0000_i1160" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image240.wmz» o:><img width=«21» height=«17» src=«dopb74251.zip» v:shapes="_x0000_i1160">, это будет равносильным преобразованием, поскольку <shape id="_x0000_i1161" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image242.wmz» o:><img width=«43» height=«20» src=«dopb74237.zip» v:shapes="_x0000_i1161">; получим <shape id="_x0000_i1162" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image243.wmz» o:><img width=«239» height=«29» src=«dopb74252.zip» v:shapes="_x0000_i1162">. Так как <shape id="_x0000_i1163" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image245.wmz» o:><img width=«85» height=«25» src=«dopb74253.zip» v:shapes="_x0000_i1163">, то этим уравнением задается окружность с центром <shape id="_x0000_i1164" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image247.wmz» o:><img width=«60» height=«48» src=«dopb74254.zip» v:shapes="_x0000_i1164"> и радиусом <shape id="_x0000_i1165" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image249.wmz» o:><img width=«64» height=«52» src=«dopb74255.zip» v:shapes="_x0000_i1165">. Она не проходит через центр инверсии. Интересно, что центр инверсии, центр данной окружности s и центр ее образа <shape id="_x0000_i1166" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image251.wmz» o:><img width=«60» height=«48» src=«dopb74254.zip» v:shapes="_x0000_i1166"> коллинеарны, поскольку число <shape id="_x0000_i1167" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image252.wmz» o:><img width=«60» height=«48» src=«dopb74256.zip» v:shapes="_x0000_i1167"> действительное. Но центр окружности при инверсии не переходит в центр окружности образа. Если центр данной окружности sперейдет в <shape id="_x0000_i1168" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image254.wmz» o:><img width=«45» height=«48» src=«dopb74257.zip» v:shapes="_x0000_i1168">, то тогда должно выполняться <shape id="_x0000_i1169" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image256.wmz» o:><img width=«92» height=«48» src=«dopb74258.zip» v:shapes="_x0000_i1169">. Поскольку <shape id="_x0000_i1170" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image258.wmz» o:><img width=«43» height=«20» src=«dopb74240.zip» v:shapes="_x0000_i1170">, умножим на <shape id="_x0000_i1171" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image217.wmz» o:><img width=«17» height=«48» src=«dopb74241.zip» v:shapes="_x0000_i1171">, получим равносильное равенство <shape id="_x0000_i1172" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image259.wmz» o:><img width=«91» height=«48» src=«dopb74259.zip» v:shapes="_x0000_i1172">. Отсюда <shape id="_x0000_i1173" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image261.wmz» o:><img width=«92» height=«25» src=«dopb74260.zip» v:shapes="_x0000_i1173">, то есть <shape id="_x0000_i1174" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image263.wmz» o:><img width=«41» height=«20» src=«dopb74261.zip» v:shapes="_x0000_i1174">, что невозможно. Значит, предположение было неверно, и центр данной окружности не переходит в центр окружности образа.
Итак, окружность, не проходящая через центр инверсии, переходит в окружность, также не проходящую через центр инверсии.
В частности, если центр инверсии совпадает с центром окружности, то <shape id="_x0000_i1175" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image265.wmz» o:><img width=«41» height=«20» src=«dopb74231.zip» v:shapes="_x0000_i1175"> и окружность <shape id="_x0000_i1176" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image266.wmz» o:><img width=«57» height=«24» src=«dopb74262.zip» v:shapes="_x0000_i1176"> при инверсии <shape id="_x0000_i1177" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image268.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1177"> переходит в окружность <shape id="_x0000_i1178" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image269.wmz» o:><img width=«64» height=«51» src=«dopb74263.zip» v:shapes="_x0000_i1178">, центр которой также совпадает с центром инверсии. Итак, окружность, центр которой совпадает с центром инверсии, при этой инверсии переходит в концентрическую окружность. В частности, окружность с уравнением <shape id="_x0000_i1179" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image271.wmz» o:><img width=«51» height=«20» src=«dopb74264.zip» v:shapes="_x0000_i1179"> инвариантна.
Интересно, что центр инверсии является одновременно и центром гомотетии, переводящей одну окружность в другую. Для нашего случая гомотетия будет иметь уравнение <shape id="_x0000_i1180" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image273.wmz» o:><img width=«101» height=«51» src=«dopb74265.zip» v:shapes="_x0000_i1180">. Убедиться в этом можно простой подстановкой: эта гомотетия переводит окружность <shape id="_x0000_i1181" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image232.wmz» o:><img width=«137» height=«29» src=«dopb74143.zip» v:shapes="_x0000_i1181"> в фигуру <shape id="_x0000_i1182" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image275.wmz» o:><img width=«253» height=«51» src=«dopb74266.zip» v:shapes="_x0000_i1182">. Поделив обе части на <shape id="_x0000_i1183" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image277.wmz» o:><img width=«85» height=«63» src=«dopb74267.zip» v:shapes="_x0000_i1183">, получим окружность с центром <shape id="_x0000_i1184" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image251.wmz» o:><img width=«60» height=«48» src=«dopb74254.zip» v:shapes="_x0000_i1184"> и радиусом <shape id="_x0000_i1185" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image279.wmz» o:><img width=«65» height=«52» src=«dopb74268.zip» v:shapes="_x0000_i1185">, что и требовалось доказать.
Теперь становится ясно, что каждую окружность можно при помощи подходяще выбранной инверсии перевести в другую данную окружность или прямую. Докажем это.
Пусть даны две окружности действительного радиуса. Рассмотрим сначала случай, когда их радиусы не равны.
Мы уже показали, что центры окружностей и центр инверсии должны лежать на одной прямой. Понятно, что центр инверсии не лежит на данных окружностях.
Точки, лежащие на прямой центров, переходят в точки, лежащие на той же прямой. Поэтому могут быть два порядка точек: <shape id="_x0000_i1186" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image281.wmz» o:><img width=«103» height=«32» src=«dopb74269.zip» v:shapes="_x0000_i1186"> и <shape id="_x0000_i1187" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image283.wmz» o:><img width=«101» height=«32» src=«dopb74270.zip» v:shapes="_x0000_i1187">.
<img width=«289» height=«124» src=«dopb74271.zip» v:shapes="_x0000_s1052 _x0000_s1053 _x0000_s1054 _x0000_s1055 _x0000_s1056 _x0000_s1057 _x0000_s1058 _x0000_s1059 _x0000_s1060 _x0000_s1061 _x0000_s1062 _x0000_s1063 _x0000_s1064 _x0000_s1065 _x0000_s1066 _x0000_s1067">Введем систему координат таким образом, что центры окружностей лежат на действительной оси, причем центр одной совпадает с началом координат, а радиус ее равен 1.
Покажем, что существует инверсия  для первого случая.
Пусть точки пересечения второй окружности с действительной осью имеют координаты а1 и а2. Тогда при инверсии а1 переходит в -1, а а2 – в 1. Тогда можно записать, что <shape id="_x0000_i1188" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image286.wmz» o:><img width=«113» height=«52» src=«dopb74272.zip» v:shapes="_x0000_i1188">, <shape id="_x0000_i1189" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image288.wmz» o:><img width=«103» height=«52» src=«dopb74273.zip» v:shapes="_x0000_i1189">. То есть получаем систему: <shape id="_x0000_i1190" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image290.wmz» o:><img width=«145» height=«57» src=«dopb74274.zip» v:shapes="_x0000_i1190">, что равносильно <shape id="_x0000_i1191" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image292.wmz» o:><img width=«180» height=«63» src=«dopb74275.zip» v:shapes="_x0000_i1191">. Вычтем: <shape id="_x0000_i1192" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image294.wmz» o:><img width=«219» height=«25» src=«dopb74276.zip» v:shapes="_x0000_i1192">, откуда, в силу неравности радиусов, <shape id="_x0000_i1193" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image296.wmz» o:><img width=«113» height=«52» src=«dopb74277.zip» v:shapes="_x0000_i1193">. Может статься, что это не является решением. Решением это будет в точности тогда, если совпадут значения k из обоих уравнений.
Из первого уравнения <shape id="_x0000_i1194" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image298.wmz» o:><img width=«299» height=«52» src=«dopb74278.zip» v:shapes="_x0000_i1194"> <shape id="_x0000_i1195" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image300.wmz» o:><img width=«265» height=«51» src=«dopb74279.zip» v:shapes="_x0000_i1195"> = <shape id="_x0000_i1196" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image302.wmz» o:><img width=«192» height=«53» src=«dopb74280.zip» v:shapes="_x0000_i1196">.
Из второго условия получаем <shape id="_x0000_i1197" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image304.wmz» o:><img width=«300» height=«52» src=«dopb74281.zip» v:shapes="_x0000_i1197"> <shape id="_x0000_i1198" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image306.wmz» o:><img width=«284» height=«53» src=«dopb74282.zip» v:shapes="_x0000_i1198">=<shape id="_x0000_i1199" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image308.wmz» o:><img width=«192» height=«53» src=«dopb74283.zip» v:shapes="_x0000_i1199">. Тот же самый результат. Итак, получаем единственную инверсию с центром в точке <shape id="_x0000_i1200" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image310.wmz» o:><img width=«113» height=«52» src=«dopb74277.zip» v:shapes="_x0000_i1200"> и степенью <shape id="_x0000_i1201" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image311.wmz» o:><img width=«220» height=«53» src=«dopb74284.zip» v:shapes="_x0000_i1201">.
Точка с координатой а2 лежит на действительной оси правее точки с координатой а1, поэтому для определения знака степени нужно знать знак произведения <shape id="_x0000_i1202" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image313.wmz» o:><img width=«113» height=«25» src=«dopb74285.zip» v:shapes="_x0000_i1202">.
Степень инверсии будет положительна в двух случаях: либо <shape id="_x0000_i1203" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image315.wmz» o:><img width=«84» height=«57» src=«dopb74286.zip» v:shapes="_x0000_i1203">, откуда <shape id="_x0000_i1204" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image317.wmz» o:><img width=«71» height=«57» src=«dopb74287.zip» v:shapes="_x0000_i1204">, либо <shape id="_x0000_i1205" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image319.wmz» o:><img width=«84» height=«57» src=«dopb74288.zip» v:shapes="_x0000_i1205">, откуда <shape id="_x0000_i1206" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image321.wmz» o:><img width=«69» height=«57» src=«dopb74289.zip» v:shapes="_x0000_i1206">, то есть когда одна окружность лежит целиком внутри другой. В остальных случаях степень инверсии будет отрицательна.
Рассмотрим второй случай. Тогда при инверсии а1 переходит в 1, а а2 – в -1. Можно записать, что <shape id="_x0000_i1207" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image323.wmz» o:><img width=«100» height=«52» src=«dopb74290.zip» v:shapes="_x0000_i1207">, <shape id="_x0000_i1208" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image325.wmz» o:><img width=«117» height=«52» src=«dopb74291.zip» v:shapes="_x0000_i1208">. То есть получаем систему: <shape id="_x0000_i1209" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image327.wmz» o:><img width=«145» height=«57» src=«dopb74292.zip» v:shapes="_x0000_i1209">, что равносильно <shape id="_x0000_i1210" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image329.wmz» o:><img width=«179» height=«63» src=«dopb74293.zip» v:shapes="_x0000_i1210">. Вычтем: <shape id="_x0000_i1211" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image331.wmz» o:><img width=«219» height=«25» src=«dopb74294.zip» v:shapes="_x0000_i1211">, откуда, в силу неравности радиусов, <shape id="_x0000_i1212" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image333.wmz» o:><img width=«113» height=«52» src=«dopb74295.zip» v:shapes="_x0000_i1212">.
Аналогично, может оказаться, что это не является решением. Решением это будет в точности тогда, если совпадут значения k из обоих уравнений.
Из первого уравнения <shape id="_x0000_i1213" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image335.wmz» o:><img width=«285» height=«52» src=«dopb74296.zip» v:shapes="_x0000_i1213">, откуда <shape id="_x0000_i1214" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image337.wmz» o:><img width=«220» height=«53» src=«dopb74297.zip» v:shapes="_x0000_i1214">. Из второго уравнения <shape id="_x0000_i1215" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image339.wmz» o:><img width=«283» height=«52» src=«dopb74298.zip» v:shapes="_x0000_i1215"> = <shape id="_x0000_i1216" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image341.wmz» o:><img width=«192» height=«53» src=«dopb74299.zip» v:shapes="_x0000_i1216">. Тот же самый результат.
Знак степени определяется знаком произведения <shape id="_x0000_i1217" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image343.wmz» o:><img width=«113» height=«25» src=«dopb74300.zip» v:shapes="_x0000_i1217">. Отрицательна она будет только в случае <shape id="_x0000_i1218" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image345.wmz» o:><img width=«84» height=«57» src=«dopb74301.zip» v:shapes="_x0000_i1218">, то есть <shape id="_x0000_i1219" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image347.wmz» o:><img width=«68» height=«57» src=«dopb74302.zip» v:shapes="_x0000_i1219"> или в случае  <shape id="_x0000_i1220" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image349.wmz» o:><img width=«84» height=«57» src=«dopb74303.zip» v:shapes="_x0000_i1220">, то есть <shape id="_x0000_i1221" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image351.wmz» o:><img width=«68» height=«57» src=«dopb74304.zip» v:shapes="_x0000_i1221">. Это происходит в точности когда одна окружность лежит внутри другой. Положительной степень будет в противном случае.
Итак, когда радиусы окружностей не равны, одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая – с отрицательной.
Если же радиусы окружностей равны, то все выкладки будут иметь место, но гораздо упростятся. Для первого случая получим из равенства <shape id="_x0000_i1222" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image353.wmz» o:><img width=«113» height=«52» src=«dopb74277.zip» v:shapes="_x0000_i1222">, что <shape id="_x0000_i1223" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image354.wmz» o:><img width=«87» height=«47» src=«dopb74305.zip» v:shapes="_x0000_i1223">, тогда <shape id="_x0000_i1224" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image356.wmz» o:><img width=«144» height=«47» src=«dopb74306.zip» v:shapes="_x0000_i1224">. Причем у нас не может быть случая, когда одна окружность лежит внутри другой, значит, степень положительна.
Для второго же случая получаем верное равенство <shape id="_x0000_i1225" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image358.wmz» o:><img width=«219» height=«25» src=«dopb74294.zip» v:shapes="_x0000_i1225">, но <shape id="_x0000_i1226" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image359.wmz» o:><img width=«96» height=«25» src=«dopb74307.zip» v:shapes="_x0000_i1226">, и получим <shape id="_x0000_i1227" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image361.wmz» o:><img width=«84» height=«25» src=«dopb74308.zip» v:shapes="_x0000_i1227">, то есть окружности концентричны, но в силу равенства радиусов они совпадают. Это невозможно по предположению, значит, такой инверсии не может быть.
Можно сделать вывод, что если радиусы окружностей равны, то одну в другую можно перевести ровно одной инверсией с положительной степенью. В принципе, этого следовало ожидать: у двух окружностей равного радиуса только один центр гомотетии.
Покажем теперь, что существует инверсия, переводящая прямую l в окружность действительного радиуса, и обратно. Ясно, что эта окружность проходит через центр инверсии, а прямая нет. Мы уже показали, что центр инверсии лежит на прямой m, проходящей через центр нашей окружности перпендикулярно l. Значит, он может быть только в одной из точек пересечения окружности с прямой m.
Введем систему координат так, что начало координат располагается в центре окружности, а прямая m совпадает с действительной осью.
<img width=«221» height=«143» src=«dopb74309.zip» v:shapes="_x0000_s1068 _x0000_s1069 _x0000_s1070 _x0000_s1071 _x0000_s1072 _x0000_s1073 _x0000_s1074 _x0000_s1075 _x0000_s1076 _x0000_s1077">Данная прямая l параллельна мнимой оси, поэтому будет иметь уравнение <shape id="_x0000_i1228" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image364.wmz» o:><img width=«99» height=«24» src=«dopb74310.zip» v:shapes="_x0000_i1228">, <shape id="_x0000_i1229" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image366.wmz» o:><img width=«47» height=«23» src=«dopb74311.zip» v:shapes="_x0000_i1229">. Прямая пересекает действительную ось в точке с координатой <shape id="_x0000_i1230" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image368.wmz» o:><img width=«32» height=«47» src=«dopb74312.zip» v:shapes="_x0000_i1230">. Окружность, если обозначить ее радиус r, будет иметь уравнение <shape id="_x0000_i1231" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image370.wmz» o:><img width=«57» height=«24» src=«dopb74313.zip» v:shapes="_x0000_i1231">. Инверсии, если они есть, будут иметь формулы <shape id="_x0000_i1232" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image372.wmz» o:><img width=«99» height=«47» src=«dopb74314.zip» v:shapes="_x0000_i1232"> и <shape id="_x0000_i1233" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image374.wmz» o:><img width=«99» height=«47» src=«dopb74315.zip» v:shapes="_x0000_i1233">, где k1 и k2 нам пока не известны. Первая переведет окружность в прямую с уравнением <shape id="_x0000_i1234" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image376.wmz» o:><img width=«195» height=«47» src=«dopb74316.zip» v:shapes="_x0000_i1234"> Û <shape id="_x0000_i1235" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image378.wmz» o:><img width=«244» height=«51» src=«dopb74317.zip» v:shapes="_x0000_i1235"> Û <shape id="_x0000_i1236" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image380.wmz» o:><img width=«152» height=«51» src=«dopb74318.zip» v:shapes="_x0000_i1236">. Чтобы это была l, достаточно потребовать <shape id="_x0000_i1237" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image382.wmz» o:><img width=«99» height=«51» src=«dopb74319.zip» v:shapes="_x0000_i1237">, откуда <shape id="_x0000_i1238" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image384.wmz» o:><img width=«108» height=«25» src=«dopb74320.zip» v:shapes="_x0000_i1238">.
Вторая инверсия переведет окружность в прямую с уравнением <shape id="_x0000_i1239" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image386.wmz» o:><img width=«195» height=«47» src=«dopb74321.zip» v:shapes="_x0000_i1239"> Û <shape id="_x0000_i1240" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image388.wmz» o:><img width=«245» height=«51» src=«dopb74322.zip» v:shapes="_x0000_i1240"> Û <shape id="_x0000_i1241" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image390.wmz» o:><img width=«155» height=«51» src=«dopb74323.zip» v:shapes="_x0000_i1241">. Чтобы это была l, достаточно потребовать <shape id="_x0000_i1242" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image392.wmz» o:><img width=«101» height=«51» src=«dopb74324.zip» v:shapes="_x0000_i1242">, откуда <shape id="_x0000_i1243" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image394.wmz» o:><img width=«109» height=«25» src=«dopb74325.zip» v:shapes="_x0000_i1243">.
Могут получиться следующие случаи:
1) <shape id="_x0000_i1244" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image396.wmz» o:><img width=«71» height=«47» src=«dopb74326.zip» v:shapes="_x0000_i1244"> Û <shape id="_x0000_i1245" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image398.wmz» o:><img width=«52» height=«24» src=«dopb74327.zip» v:shapes="_x0000_i1245">, тогда <shape id="_x0000_i1246" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image400.wmz» o:><img width=«51» height=«25» src=«dopb74328.zip» v:shapes="_x0000_i1246">, <shape id="_x0000_i1247" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image402.wmz» o:><img width=«52» height=«25» src=«dopb74329.zip» v:shapes="_x0000_i1247">;
2) <shape id="_x0000_i1248" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image404.wmz» o:><img width=«71» height=«47» src=«dopb74330.zip» v:shapes="_x0000_i1248">Û <shape id="_x0000_i1249" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image406.wmz» o:><img width=«52» height=«24» src=«dopb74331.zip» v:shapes="_x0000_i1249">, тогда <shape id="_x0000_i1250" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image408.wmz» o:><img width=«51» height=«25» src=«dopb74328.zip» v:shapes="_x0000_i1250">, <shape id="_x0000_i1251" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image409.wmz» o:><img width=«52» height=«25» src=«dopb74332.zip» v:shapes="_x0000_i1251">, то есть второй инверсии не существует – это происходит при касании прямой и окружности в точке с координатой -r;
3) <shape id="_x0000_i1252" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image411.wmz» o:><img width=«100» height=«47» src=«dopb74333.zip» v:shapes="_x0000_i1252"> Û <shape id="_x0000_i1253" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image413.wmz» o:><img width=«104» height=«24» src=«dopb74334.zip» v:shapes="_x0000_i1253">, тогда <shape id="_x0000_i1254" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image400.wmz» o:><img width=«51» height=«25» src=«dopb74328.zip» v:shapes="_x0000_i1254">, <shape id="_x0000_i1255" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image415.wmz» o:><img width=«52» height=«25» src=«dopb74335.zip» v:shapes="_x0000_i1255">;
4) <shape id="_x0000_i1256" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image417.wmz» o:><img width=«60» height=«47» src=«dopb74336.zip» v:shapes="_x0000_i1256">Û <shape id="_x0000_i1257" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image419.wmz» o:><img width=«63» height=«24» src=«dopb74337.zip» v:shapes="_x0000_i1257">, тогда <shape id="_x0000_i1258" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image421.wmz» o:><img width=«51» height=«25» src=«dopb74338.zip» v:shapes="_x0000_i1258">, то есть первой инверсии не существует – это происходит при касании прямой и окружности в точке с координатой r, <shape id="_x0000_i1259" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image423.wmz» o:><img width=«52» height=«25» src=«dopb74335.zip» v:shapes="_x0000_i1259">;
5) <shape id="_x0000_i1260" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image424.wmz» o:><img width=«60» height=«47» src=«dopb74339.zip» v:shapes="_x0000_i1260"> Û <shape id="_x0000_i1261" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image426.wmz» o:><img width=«63» height=«24» src=«dopb74340.zip» v:shapes="_x0000_i1261">, тогда <shape id="_x0000_i1262" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image428.wmz» o:><img width=«49» height=«25» src=«dopb74341.zip» v:shapes="_x0000_i1262">, <shape id="_x0000_i1263" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image430.wmz» o:><img width=«52» height=«25» src=«dopb74335.zip» v:shapes="_x0000_i1263">.
Можно сделать вывод, что если прямая не имеет общих точек с окружностью, то одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая с отрицательной. Если прямая касается окружности, то одну в другую можно перевести только одной инверсией с положительной степенью. Если прямая и окружность пересекаются, то одну в другую можно перевести двумя инверсиями с положительными степенями.
Две же различные прямые никогда не могут быть переведены друг в друга инверсией.
1.6. Свойства обобщенной инверсии.[2]
1є. При обобщенной инверсии с центром О и степенью k внутренние точки окружности Σ(О,<shape id="_x0000_i1264" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image431.wmz» o:><img width=«33» height=«33» src=«dopb74342.zip» v:shapes="_x0000_i1264">) (окружность инверсии, если k положительно) переходят во внешние и наоборот (поэтому говорят также о зеркальном отображении относительно окружности).
□ Для центра инверсии и бесконечно удаленной области это очевидно. Для остальных точек при инверсии с положительной степенью это было доказано выше, в теореме 2. А так как инверсию с отрицательной степенью можно представить как коммутативную композицию инверсии с положительной степенью и центральной симметрии с центром в начале инверсии, то и для нее все очевидно. ■
2є. Преобразование плоскости, представляющее собой последовательно выполненную дважды одну и ту же инверсию, есть тождественное преобразование
□ Следует из инволютивности преобразования инверсии. ■
3є. Две фигуры, инверсные третьей фигуре относительно одного и того же центра О, гомотетичны.
□ Действительно, пусть М – точка фигуры F, М1 и М2 – точки, соответствующие ей в двух инверсиях с общим центром О и коэффициентами k1 и k2. Без ограничения общности рассуждений можно рассмотреть инверсию с центром в начале координат. Тогда, если точки М, М1 и М2 будут иметь координаты m, m1 и m2 соответственно, то <shape id="_x0000_i1265" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image433.wmz» o:><img width=«63» height=«49» src=«dopb74343.zip» v:shapes="_x0000_i1265">, <shape id="_x0000_i1266" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image435.wmz» o:><img width=«68» height=«48» src=«dopb74344.zip» v:shapes="_x0000_i1266">. Замечаем, что вторая точка получена из первой при гомотетии с уравнением <shape id="_x0000_i1267" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image437.wmz» o:><img width=«67» height=«52» src=«dopb74345.zip» v:shapes="_x0000_i1267">. ■
Мы видим, что выбор степени инверсии не влияет на форму полученных фигур. Эта форма изменяется только при изменении центра инверсии.
4є. Зависимость расстояния между образами A’ и B’ двух точек А и В от расстояния между этими точками при инверсии с центром S и степенью k выражается в формуле <shape id="_x0000_i1268" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image439.wmz» o:><img width=«128» height=«48» src=«dopb74346.zip» v:shapes="_x0000_i1268">.
□ Инверсия задается формулой <shape id="_x0000_i1269" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image441.wmz» o:><img width=«103» height=«48» src=«dopb74209.zip» v:shapes="_x0000_i1269">. Тогда <shape id="_x0000_i1270" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image442.wmz» o:><img width=«317» height=«53» src=«dopb74347.zip» v:shapes="_x0000_i1270">. Отсюда <shape id="_x0000_i1271" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image444.wmz» o:><img width=«45» height=«28» src=«dopb74348.zip» v:shapes="_x0000_i1271"> = <shape id="_x0000_i1272" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image446.wmz» o:><img width=«123» height=«65» src=«dopb74349.zip» v:shapes="_x0000_i1272"> = =<shape id="_x0000_i1273" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image448.wmz» o:><img width=«113» height=«56» src=«dopb74350.zip» v:shapes="_x0000_i1273">. А это и означает <shape id="_x0000_i1274" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image450.wmz» o:><img width=«128» height=«48» src=«dopb74346.zip» v:shapes="_x0000_i1274">. ■
5є. Инверсия сохраняет величину угла между окружностями, а также между окружностью и прямой, между двумя прямыми, но изменяет его ориентацию на противоположную.
□ Пусть заданы две окружности (прямая и окружность, две прямые), одна из которых проходит через точки A,B,C, а другая – через точки A,B,D. Берем точки «хорошие», то есть среди них нет бесконечно удаленной и нулевой, так как мы будем брать инверсию с центром в нуле. Если заданы две прямые, считаем А = В. Если A’, B’, C’, D’– образы этих точек при инверсии <shape id="_x0000_i1275" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image451.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1275">, то их двойное отношение w’ равно числу, комплексно сопряженному двойному отношению w точек A,B,C, D:
<shape id="_x0000_i1276" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image452.wmz» o:><img width=«596» height=«95» src=«dopb74351.zip» v:shapes="_x0000_i1276">.
Согласно геометрическому смыслу аргумента двойного отношения, он равен ориентированному углу между окружностями (прямой и окружностью, двумя прямыми) ABC и ABD, но <shape id="_x0000_i1277" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image454.wmz» o:><img width=«176» height=«24» src=«dopb74352.zip» v:shapes="_x0000_i1277">. ■
Следствие 1. Инверсия сохраняет двойное отношение расстояний между точками, каждая из которых не совпадает с центром инверсии и с бесконечно удаленной точкой.
□ Заметим, что <shape id="_x0000_i1278" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image456.wmz» o:><img width=«63» height=«28» src=«dopb74353.zip» v:shapes="_x0000_i1278">. Из этого следует, что инверсия сохраняет двойное отношение расстояний между точками, каждая из которых не совпадает с центром инверсии и с бесконечно удаленной точкой.
Для иных наборов точек это утверждение, вообще говоря, неверно. Например, будем предполагать, что все четыре точки различны. Если центр инверсии совпадает, скажем, с точкой А, то, при неравенстве остальных точек бесконечно удаленной, получаем отношение <shape id="_x0000_i1279" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image458.wmz» o:><img width=«201» height=«48» src=«dopb74354.zip» v:shapes="_x0000_i1279">, не имеющее смысла. Если же А совпадает с бесконечно удаленной точкой, то получим <shape id="_x0000_i1280" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image460.wmz» o:><img width=«195» height=«48» src=«dopb74355.zip» v:shapes="_x0000_i1280"> - тоже нет смысла. ■
Следствие 2. Две точки и их образы при инверсии лежат на одной окружности или одной прямой.
□ Не ограничивая общности рассуждений, рассмотрим инверсию <shape id="_x0000_i1281" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image462.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1281">. Пусть точки А(a) и В(b) переходят при инверсии в точки А’(a’) и В’(b’). Тогда координаты образов будут <shape id="_x0000_i1282" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image463.wmz» o:><img width=«19» height=«48» src=«dopb74356.zip» v:shapes="_x0000_i1282"> и <shape id="_x0000_i1283" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image465.wmz» o:><img width=«19» height=«48» src=«dopb74357.zip» v:shapes="_x0000_i1283"> соответственно. Если двойное отношение их вещественно, то все доказано.
<shape id="_x0000_i1284" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image467.wmz» o:><img width=«589» height=«97» src=«dopb74358.zip» v:shapes="_x0000_i1284">, то есть они действительно лежат или на одной окружности, или на одной прямой.
Чтобы они лежали на прямой, нужно потребовать, чтобы точки А и В были коллинеарны с центром инверсии, причем каждая из точек даже может совпадать с центром инверсии или бесконечно удаленной точкой. ■
    продолжение
--PAGE_BREAK--Следствие 3. Касающиеся окружности или касающиеся окружность и прямая переходят при инверсии в касающиеся окружности или касающиеся окружность и прямую, если только точка касания не совпадает с центром инверсии, иначе они переходят в параллельные прямые.
□ Угол между касающимися окружностью и прямой или касающимися окружностями равен 0є. Если точка касания не совпадает с центром инверсии, то окружности переходят в две окружности, если центр инверсии не на одной из окружностей, в противном случае в окружность и прямую. Угол сохраняется, значит, все верно.
Если же точка касания совпадает с центром инверсии, то окружность переходит в прямую, не проходящую через центр инверсии, а прямая переходит сама в себя. Угол между прямыми сохраняется и равен 0є, то есть они действительно параллельны. ■
Определение 7. Прямая называется касательной к кривой в точке М0, если для произвольной точки кривой М расстояние от М до прямой стремится к нулю быстрее, чем от М до М0, когда M®М0, то есть <shape id="_x0000_i1285" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image469.wmz» o:><img width=«105» height=«67» src=«dopb74359.zip» v:shapes="_x0000_i1285">, где Р – это проекция точки М на прямую.
Определение 8. Окружность называется касательной к кривой в точке М0, если касательная к окружности в этой точке является и касательной к кривой в этой точке.
Определение 9. Углом между двумя кривыми в их общей точке называется угол между касательными к этим кривым в рассматриваемой точке.
Если кривые не имеют общих точек, или хотя бы одна из них не имеет касательной в общей точке, то угол между кривыми не определен.
Очевидно, что угол между двумя кривыми в их общей точке также можно определить как угол между касательными окружностями (касательной окружностью и прямой) к этим кривым в рассматриваемой точке.
Определение 10. Всякое преобразование, при котором сохраняются углы между кривыми, называется конформным преобразованием.
Следствие 4. Инверсия есть конформное преобразование.
□ Лемма. Пусть дана окружность с центром s и точка m0на ней. Тогда прямая, проходящая через эту точку и касающаяся данной окружности, будет иметь уравнение <shape id="_x0000_i1286" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image471.wmz» o:><img width=«299» height=«25» src=«dopb74360.zip» v:shapes="_x0000_i1286">.
○ Искомая касательная перпендикулярна прямой, проходящей через s и m0, и сама проходит через m0.
Перенесем центр координат в точку m0, то есть применим параллельный перенос, который будет иметь уравнение <shape id="_x0000_i1287" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image473.wmz» o:><img width=«81» height=«25» src=«dopb74361.zip» v:shapes="_x0000_i1287">. Прямая, проходящая через s-m0и 0, будет иметь уравнение <shape id="_x0000_i1288" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image475.wmz» o:><img width=«193» height=«25» src=«dopb74362.zip» v:shapes="_x0000_i1288">, или в канонической форме <shape id="_x0000_i1289" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image477.wmz» o:><img width=«216» height=«25» src=«dopb74363.zip» v:shapes="_x0000_i1289">. Любая прямая, проходящая через 0, будет иметь уравнение <shape id="_x0000_i1290" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image479.wmz» o:><img width=«92» height=«24» src=«dopb74364.zip» v:shapes="_x0000_i1290">. Чтобы она была перпендикулярна прямой <shape id="_x0000_i1291" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image481.wmz» o:><img width=«217» height=«25» src=«dopb74365.zip» v:shapes="_x0000_i1291">, нужно, чтобы <shape id="_x0000_i1292" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image483.wmz» o:><img width=«137» height=«53» src=«dopb74366.zip» v:shapes="_x0000_i1292">. То есть можно взять <shape id="_x0000_i1293" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image485.wmz» o:><img width=«83» height=«25» src=«dopb74367.zip» v:shapes="_x0000_i1293">. Значит, искомая прямая будет иметь уравнение <shape id="_x0000_i1294" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image487.wmz» o:><img width=«193» height=«25» src=«dopb74368.zip» v:shapes="_x0000_i1294">. Переводим в исходные координаты: <shape id="_x0000_i1295" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image471.wmz» o:><img width=«299» height=«25» src=«dopb74360.zip» v:shapes="_x0000_i1295">. ●
Пусть нам даны кривые g и n, имеющие общую точку с координатой  m0, и пусть каждая из них имеет касательную в этой точке – l и p соответственно. Пусть при некоторой инверсии кривые g и n перейдут в кривые g’ и n’, прямые l и p – в прямые или окружности l’ и p’. Все фигуры будут проходить через точку с координатой m’0. Угол между последними, по свойству 5, сохранится, так что остается показать, что они будут касательными к кривым g’ и n’ в точке с координатой m’0.
Итак, для доказательства достаточно показать, что если дана кривая g и касательная l к ней в точке с координатой m0, то l’ будет также касательной к g’ в точке с координатой m’0. 
Прямая lбудет касательной к кривой в точке М0при <shape id="_x0000_i1296" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image489.wmz» o:><img width=«124» height=«52» src=«dopb74369.zip» v:shapes="_x0000_i1296">, где Р – это проекция точки М на прямую l, М – точка кривой g.
Выполним инверсию I, пусть ее степень равна k, а центр s не в точке М0. Поместим начало координат в s, и уравнение инверсии будет <shape id="_x0000_i1297" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image491.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1297">. Также направим  действительную ось через точку М0. Если уравнение l<shape id="_x0000_i1298" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image492.wmz» o:><img width=«120» height=«24» src=«dopb74370.zip» v:shapes="_x0000_i1298">, <shape id="_x0000_i1299" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image494.wmz» o:><img width=«47» height=«23» src=«dopb74311.zip» v:shapes="_x0000_i1299">, то уравнение l' будет <shape id="_x0000_i1300" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image495.wmz» o:><img width=«152» height=«24» src=«dopb74371.zip» v:shapes="_x0000_i1300">, <shape id="_x0000_i1301" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image497.wmz» o:><img width=«47» height=«23» src=«dopb74311.zip» v:shapes="_x0000_i1301">.
Заметим, что по условию выполняется <shape id="_x0000_i1302" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image489.wmz» o:><img width=«124» height=«52» src=«dopb74369.zip» v:shapes="_x0000_i1302"> Û <shape id="_x0000_i1303" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image498.wmz» o:><img width=«179» height=«57» src=«dopb74372.zip» v:shapes="_x0000_i1303"> Û <shape id="_x0000_i1304" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image500.wmz» o:><img width=«257» height=«57» src=«dopb74373.zip» v:shapes="_x0000_i1304">.
Если l' – окружность, то касательная к ней в точке М0’ будет, по лемме, иметь уравнение <shape id="_x0000_i1305" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image502.wmz» o:><img width=«379» height=«51» src=«dopb74374.zip» v:shapes="_x0000_i1305"> Û <shape id="_x0000_i1306" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image504.wmz» o:><img width=«345» height=«25» src=«dopb74375.zip» v:shapes="_x0000_i1306">. В силу равенства <shape id="_x0000_i1307" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image506.wmz» o:><img width=«147» height=«25» src=«dopb74376.zip» v:shapes="_x0000_i1307"> получаем <shape id="_x0000_i1308" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image508.wmz» o:><img width=«263» height=«25» src=«dopb74377.zip» v:shapes="_x0000_i1308"> Û <shape id="_x0000_i1309" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image510.wmz» o:><img width=«277» height=«29» src=«dopb74378.zip» v:shapes="_x0000_i1309"> Û <shape id="_x0000_i1310" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image512.wmz» o:><img width=«217» height=«25» src=«dopb74379.zip» v:shapes="_x0000_i1310">.
Покажем, что она будет касательной и к g’ в точке М0’, то есть <shape id="_x0000_i1311" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image514.wmz» o:><img width=«143» height=«52» src=«dopb74380.zip» v:shapes="_x0000_i1311">, где Q – это проекция точки М’ на эту прямую, М’ – точка кривой g’.
Из свойства 4 имеем: <shape id="_x0000_i1312" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image516.wmz» o:><img width=«172» height=«53» src=«dopb74381.zip» v:shapes="_x0000_i1312">. Отсюда следует, что <shape id="_x0000_i1313" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image518.wmz» o:><img width=«177» height=«25» src=«dopb74382.zip» v:shapes="_x0000_i1313">. Действительно, <shape id="_x0000_i1314" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image520.wmz» o:><img width=«129» height=«57» src=«dopb74383.zip» v:shapes="_x0000_i1314"> = <shape id="_x0000_i1315" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image522.wmz» o:><img width=«168» height=«80» src=«dopb74384.zip» v:shapes="_x0000_i1315"> = 0. Также <shape id="_x0000_i1316" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image524.wmz» o:><img width=«177» height=«57» src=«dopb74385.zip» v:shapes="_x0000_i1316"> = <shape id="_x0000_i1317" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image526.wmz» o:><img width=«171» height=«57» src=«dopb74386.zip» v:shapes="_x0000_i1317"> = 0.
Тогда <shape id="_x0000_i1318" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image514.wmz» o:><img width=«143» height=«52» src=«dopb74380.zip» v:shapes="_x0000_i1318"> Û <shape id="_x0000_i1319" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image528.wmz» o:><img width=«137» height=«52» src=«dopb74387.zip» v:shapes="_x0000_i1319"> Û <shape id="_x0000_i1320" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image530.wmz» o:><img width=«268» height=«57» src=«dopb74388.zip» v:shapes="_x0000_i1320"> Û <shape id="_x0000_i1321" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image532.wmz» o:><img width=«293» height=«57» src=«dopb74389.zip» v:shapes="_x0000_i1321"> Û <shape id="_x0000_i1322" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image534.wmz» o:><img width=«287» height=«57» src=«dopb74390.zip» v:shapes="_x0000_i1322">.
По известным неравенствам <shape id="_x0000_i1323" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image536.wmz» o:><img width=«331» height=«52» src=«dopb74391.zip» v:shapes="_x0000_i1323">, <shape id="_x0000_i1324" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image538.wmz» o:><img width=«115» height=«28» src=«dopb74392.zip» v:shapes="_x0000_i1324"> и <shape id="_x0000_i1325" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image540.wmz» o:><img width=«113» height=«28» src=«dopb74393.zip» v:shapes="_x0000_i1325"> получаем: <shape id="_x0000_i1326" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image542.wmz» o:><img width=«220» height=«57» src=«dopb74394.zip» v:shapes="_x0000_i1326"> £ <shape id="_x0000_i1327" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image544.wmz» o:><img width=«259» height=«57» src=«dopb74395.zip» v:shapes="_x0000_i1327"> + <shape id="_x0000_i1328" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image546.wmz» o:><img width=«259» height=«57» src=«dopb74396.zip» v:shapes="_x0000_i1328"> £ <shape id="_x0000_i1329" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image548.wmz» o:><img width=«653» height=«60» src=«dopb74397.zip» v:shapes="_x0000_i1329">= <shape id="_x0000_i1330" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image550.wmz» o:><img width=«579» height=«60» src=«dopb74398.zip» v:shapes="_x0000_i1330"> + <shape id="_x0000_i1331" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image552.wmz» o:><img width=«315» height=«60» src=«dopb74399.zip» v:shapes="_x0000_i1331">.
Рассматриваемый предел <shape id="_x0000_i1332" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image554.wmz» o:><img width=«259» height=«57» src=«dopb74400.zip» v:shapes="_x0000_i1332"> ограничен слева нулем, а справа пределом <shape id="_x0000_i1333" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image556.wmz» o:><img width=«617» height=«60» src=«dopb74401.zip» v:shapes="_x0000_i1333">= <shape id="_x0000_i1334" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image558.wmz» o:><img width=«291» height=«57» src=«dopb74402.zip» v:shapes="_x0000_i1334"> + <shape id="_x0000_i1335" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image560.wmz» o:><img width=«352» height=«60» src=«dopb74403.zip» v:shapes="_x0000_i1335"> = 0 + <shape id="_x0000_i1336" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image562.wmz» o:><img width=«132» height=«40» src=«dopb74404.zip» v:shapes="_x0000_i1336">.
Но мы брали m0действительным числом, поэтому <shape id="_x0000_i1337" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image564.wmz» o:><img width=«124» height=«40» src=«dopb74405.zip» v:shapes="_x0000_i1337">. Значит, доказываемый предел равен нулю, если l' – окружность.
Если l' – прямая, то ее уравнение совпадет с прообразом: <shape id="_x0000_i1338" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image566.wmz» o:><img width=«92» height=«24» src=«dopb74242.zip» v:shapes="_x0000_i1338">. Тогда нам уже дано равенство <shape id="_x0000_i1339" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image567.wmz» o:><img width=«151» height=«57» src=«dopb74406.zip» v:shapes="_x0000_i1339">. Покажем, что сама прямая <shape id="_x0000_i1340" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image566.wmz» o:><img width=«92» height=«24» src=«dopb74242.zip» v:shapes="_x0000_i1340"> будет касательной к g’ в точке М0’. Действительно, <shape id="_x0000_i1341" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image569.wmz» o:><img width=«143» height=«52» src=«dopb74380.zip» v:shapes="_x0000_i1341"> Û <shape id="_x0000_i1342" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image570.wmz» o:><img width=«149» height=«57» src=«dopb74407.zip» v:shapes="_x0000_i1342"> Û <shape id="_x0000_i1343" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image572.wmz» o:><img width=«167» height=«57» src=«dopb74408.zip» v:shapes="_x0000_i1343"> Û <shape id="_x0000_i1344" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image574.wmz» o:><img width=«151» height=«57» src=«dopb74406.zip» v:shapes="_x0000_i1344">, а этот предел нам дан.
Мы пришли к выводу, что когда центр инверсии не лежит в рассматриваемой точке, то угол между кривыми сохраняется.
Если же взять центр инверсии в точке М0, то последняя отобразится в бесконечно удаленную область. Касательные lиp перейдут сами в себя и по соглашению о бесконечно удаленной области будут касаться кривых g’ и c’ в несобственной точке М’0. Можно определить угол между ними в несобственной точке как имеющийся угол между ними. ■
Следствие 5. Четное число инверсий не меняет угла между кривыми, нечетное число меняет направление угла на противоположное.
6є. Каждые две окружности или прямую и окружность можно при помощи инверсии перевести в две прямые (пересекающиеся или параллельные) или в две концентрические окружности.
□ Если данные окружности или окружность и прямая касаются, то при центре инверсии в точке касания переходят в две параллельные прямые (следствие 4).
Пусть даны две не касающиеся окружности действительного радиуса. Если они пересекаются, то, взяв за центр инверсии одну из точек пересечения, получим две пересекающиеся прямые (они будут пересекаться по образу второй точки пересечения).
Пусть окружности не пересекаются. Если они уже концентрические, то существует две инверсии, переводящие их одна в другую. Если же они не концентрические, то в две прямые они перейти не могут, так как тогда центр инверсии должен располагаться одновременно на обеих, что невозможно. Попробуем их перевести в две концентрические окружности.
<img width=«289» height=«124» src=«dopb74409.zip» v:shapes="_x0000_s1078 _x0000_s1079 _x0000_s1080 _x0000_s1081 _x0000_s1082 _x0000_s1083 _x0000_s1084 _x0000_s1085 _x0000_s1086 _x0000_s1087 _x0000_s1088 _x0000_s1089 _x0000_s1090 _x0000_s1091 _x0000_s1092 _x0000_s1093">Введем систему координат таким образом, что центры окружностей лежат на действительной оси, причем центр одной из них совпадает с началом координат, и радиус этой окружности равен 1.
Центр инверсии лежит также на действительной оси. Действительно, центр инверсии, центр образа первой окружности и центр ее же лежат на одной прямой. Но тогда центр второй окружности лежит там же. А центры обеих окружностей принадлежат действительной оси.
Пусть координаты пересечения второй окружности с действительной осью равны а1 и а2, у первой окружности это будут точки с координатами  -1 и 1. Пусть на оси дана точка О с координатой s. Тогда при инверсии с центром в точке О и степенью k будут выполняться равенства: <shape id="_x0000_i1345" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image576.wmz» o:><img width=«111» height=«52» src=«dopb74410.zip» v:shapes="_x0000_i1345">, <shape id="_x0000_i1346" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image578.wmz» o:><img width=«119» height=«52» src=«dopb74411.zip» v:shapes="_x0000_i1346">, <shape id="_x0000_i1347" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image580.wmz» o:><img width=«131» height=«48» src=«dopb74412.zip» v:shapes="_x0000_i1347"> и <shape id="_x0000_i1348" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image582.wmz» o:><img width=«92» height=«48» src=«dopb74413.zip» v:shapes="_x0000_i1348">. Но точки лежат на действительной оси, поэтому верно <shape id="_x0000_i1349" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image584.wmz» o:><img width=«55» height=«25» src=«dopb74414.zip» v:shapes="_x0000_i1349">, <shape id="_x0000_i1350" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image586.wmz» o:><img width=«59» height=«25» src=«dopb74415.zip» v:shapes="_x0000_i1350">, <shape id="_x0000_i1351" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image588.wmz» o:><img width=«41» height=«19» src=«dopb74416.zip» v:shapes="_x0000_i1351">.
Полученные окружности концентричны, если <shape id="_x0000_i1352" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image590.wmz» o:><img width=«137» height=«47» src=«dopb74417.zip» v:shapes="_x0000_i1352">. То есть <shape id="_x0000_i1353" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image592.wmz» o:><img width=«235» height=«52» src=«dopb74418.zip» v:shapes="_x0000_i1353">, что равносильно <shape id="_x0000_i1354" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image594.wmz» o:><img width=«231» height=«52» src=«dopb74419.zip» v:shapes="_x0000_i1354">, откуда получаем равносильное уравнение относительно s: <shape id="_x0000_i1355" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image596.wmz» o:><img width=«304» height=«29» src=«dopb74420.zip» v:shapes="_x0000_i1355">, где s не совпадает с рассмотренными четырьмя точками.
<shape id="_x0000_i1356" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image598.wmz» o:><img width=«213» height=«47» src=«dopb74421.zip» v:shapes="_x0000_i1356">=<shape id="_x0000_i1357" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image600.wmz» o:><img width=«179» height=«29» src=«dopb74422.zip» v:shapes="_x0000_i1357"><shape id="_x0000_i1358" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image602.wmz» o:><img width=«121» height=«29» src=«dopb74423.zip» v:shapes="_x0000_i1358">. Значит, дискриминант положителен в точности тогда, когда окружности не пересекаются. Это и доказывает существование нужной инверсии, причем их будет две. Также нужно заметить, что степень инверсии погоды не делает.
<img width=«277» height=«124» src=«dopb74424.zip» v:shapes="_x0000_s1094 _x0000_s1095 _x0000_s1096 _x0000_s1097 _x0000_s1098 _x0000_s1099 _x0000_s1100 _x0000_s1101 _x0000_s1102 _x0000_s1103 _x0000_s1104">Пусть теперь даны не касающиеся окружность и прямая. Если они не пересекаются, то, взяв центр инверсии на прямой или окружности, получим при инверсии прямую и окружность. Не подходит. Если возьмем центр инверсии вне прямой и окружности, то получим две окружности. Попробуем найти инверсию, при которой они концентрические.
Введем систему координат таким образом, что прямая будет мнимой осью, а центр окружности лежит на действительной оси и координата одной из точек пересечения окружности в осью равна 1, а вторая точка пересечения имеет положительную координату а.
Возьмем точку на действительной оси, не принадлежащую данной прямой и окружности, пусть ее координата равна s. Проведем инверсию с центром в этой точке и степенью k. Если она переведет фигуры в концентрические окружности, то аналогично это только тогда, когда выполняется равенство <shape id="_x0000_i1359" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image605.wmz» o:><img width=«95» height=«20» src=«dopb74425.zip» v:shapes="_x0000_i1359">, то есть <shape id="_x0000_i1360" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image607.wmz» o:><img width=«140» height=«48» src=«dopb74426.zip» v:shapes="_x0000_i1360">, или <shape id="_x0000_i1361" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image609.wmz» o:><img width=«275» height=«53» src=«dopb74427.zip» v:shapes="_x0000_i1361">, откуда, после приведения подобных, получаем <shape id="_x0000_i1362" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image611.wmz» o:><img width=«137» height=«53» src=«dopb74428.zip» v:shapes="_x0000_i1362">. Так как знаменатель заведомо не равен нулю, поскольку мы так брали s, то получаем <shape id="_x0000_i1363" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image613.wmz» o:><img width=«52» height=«25» src=«dopb74429.zip» v:shapes="_x0000_i1363">, откуда, в силу положительности а, <shape id="_x0000_i1364" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image615.wmz» o:><img width=«56» height=«27» src=«dopb74430.zip» v:shapes="_x0000_i1364">. Итак, такая инверсия существует.
Если же прямая и окружность пересекаются, то, взяв за центр инверсии одну из точек пересечения, получим две прямые. Они будут пересекаться в образе второй точки пересечения. ■
7є. При инверсии с центром sI и степенью k окружность с центром s радиуса r, не совпадающая с окружностью инверсии (если степень положительна), отображается в себя тогда и только тогда, когда выполняется равенство <shape id="_x0000_i1365" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image617.wmz» o:><img width=«127» height=«32» src=«dopb74431.zip» v:shapes="_x0000_i1365">.
□ Перенесем начало координат в центр инверсии параллельным переносом <shape id="_x0000_i1366" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image619.wmz» o:><img width=«75» height=«25» src=«dopb74432.zip» v:shapes="_x0000_i1366">, и инверсия тогда будет задана формулой <shape id="_x0000_i1367" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image621.wmz» o:><img width=«47» height=«47» src=«dopb74232.zip» v:shapes="_x0000_i1367">. Координата центра окружности станет <shape id="_x0000_i1368" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image622.wmz» o:><img width=«73» height=«25» src=«dopb74433.zip» v:shapes="_x0000_i1368">, для удобства в дальнейшем будем опускать этот штрих. Тогда уравнение окружности будет <shape id="_x0000_i1369" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image624.wmz» o:><img width=«189» height=«25» src=«dopb74434.zip» v:shapes="_x0000_i1369">.  Понятно, что центр инверсии не лежит на окружности, иначе она вообще перейдет в прямую. Это соображение дает нам <shape id="_x0000_i1370" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image626.wmz» o:><img width=«87» height=«25» src=«dopb74435.zip» v:shapes="_x0000_i1370">. Окружность инверсией переводится в <shape id="_x0000_i1371" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image628.wmz» o:><img width=«144» height=«47» src=«dopb74436.zip» v:shapes="_x0000_i1371">, или <shape id="_x0000_i1372" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image630.wmz» o:><img width=«211» height=«49» src=«dopb74437.zip» v:shapes="_x0000_i1372">, то есть <shape id="_x0000_i1373" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image632.wmz» o:><img width=«239» height=«29» src=«dopb74252.zip» v:shapes="_x0000_i1373">. Так как центр инверсии не на окружности, то это равносильно <shape id="_x0000_i1374" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image633.wmz» o:><img width=«292» height=«52» src=«dopb74438.zip» v:shapes="_x0000_i1374">. Это будет та же самая окружность при условии, что <shape id="_x0000_i1375" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image635.wmz» o:><img width=«141» height=«105» src=«dopb74439.zip» v:shapes="_x0000_i1375"> Û <shape id="_x0000_i1376" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image637.wmz» o:><img width=«144» height=«84» src=«dopb74440.zip» v:shapes="_x0000_i1376">Û <shape id="_x0000_i1377" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image639.wmz» o:><img width=«120» height=«92» src=«dopb74441.zip» v:shapes="_x0000_i1377">Û <shape id="_x0000_i1378" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image641.wmz» o:><img width=«95» height=«92» src=«dopb74442.zip» v:shapes="_x0000_i1378">Û <shape id="_x0000_i1379" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image643.wmz» o:><img width=«95» height=«92» src=«dopb74443.zip» v:shapes="_x0000_i1379">.
Нас интересует только второе условие совокупности. Кстати, оно при <shape id="_x0000_i1380" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image645.wmz» o:><img width=«44» height=«20» src=«dopb74444.zip» v:shapes="_x0000_i1380"> дает условие ортогональности окружности инверсии и нашей окружности. Так попутно мы доказали, что если окружность перпендикулярна окружности инверсии положительной степени, то она при этой инверсии переходит сама в себя.
При переходе к исходным координатам получаем <shape id="_x0000_i1381" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image647.wmz» o:><img width=«127» height=«32» src=«dopb74431.zip» v:shapes="_x0000_i1381">. ■

Глава 2
Применение инверсии при решении задач и доказательстве теорем
2.1. Применение инверсии при решении задач на построение. Метод инверсии дает возможность решить ряд наиболее трудных конструктивных задач элементарной геометрии. При этом его комбинация с методом координат, что фактически происходит при попытке решать задачу на комплексной плоскости, дает наиболее точные вычисления местонахождения нужных фигур, что является явным плюсом метода по сравнению с довольно неточными построениями от руки. Недостатком же этого метода является его громоздкость, связанная с необходимостью выполнить большое число довольно объемных вычислений. Но надо сказать, что для компьютера это не является трудностью, и перед пользователем встает лишь проблема перевода алгоритма решения задачи на язык программирования.
Задачи на построение, решаемые методом инверсии, Александров [2] делил на три группы.
Первая группа. В задачах этого рода обратные кривые играют роль геометрических мест. Центр и степень инверсии в этом случае известны.
Задача 1. Даны точка К и две прямые АВ и ВС. Провести секущую KXY так, чтобы <shape id="_x0000_i1382" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image648.wmz» o:><img width=«104» height=«25» src=«dopb74445.zip» v:shapes="_x0000_i1382">, где с – данная длина.  
○ Искомые точки X и Y инверсны друг другу при инверсии с центром в точке К и степенью с2. Точка Y есть пересечение прямой ВА с кривой, обратной ВС. Это будет окружность, проходящая через центр инверсии, то есть через точку К. Найдем ее уравнение.
Передвинем систему координат таким образом, что точка К является началом координат (это будет параллельный перенос на вектор ОК с формулой <shape id="_x0000_i1383" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image650.wmz» o:><img width=«73» height=«23» src=«dopb74446.zip» v:shapes="_x0000_i1383">, где r — координата точки К), тогда уравнение прямых ВС и АВ можно записать как <shape id="_x0000_i1384" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image652.wmz» o:><img width=«116» height=«24» src=«dopb74447.zip» v:shapes="_x0000_i1384"> и <shape id="_x0000_i1385" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image654.wmz» o:><img width=«112» height=«20» src=«dopb74448.zip» v:shapes="_x0000_i1385">, поскольку они не проходят через точку К. Уравнение инверсии примет вид <shape id="_x0000_i1386" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image656.wmz» o:><img width=«55» height=«49» src=«dopb74449.zip» v:shapes="_x0000_i1386">.
Образ прямой ВС при инверсии будет <shape id="_x0000_i1387" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image658.wmz» o:><img width=«145» height=«49» src=«dopb74450.zip» v:shapes="_x0000_i1387">, или, после упрощений, <shape id="_x0000_i1388" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image660.wmz» o:><img width=«164» height=«29» src=«dopb74451.zip» v:shapes="_x0000_i1388">. Тогда координата искомой точки Y находится из системы: <shape id="_x0000_i1389" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image662.wmz» o:><img width=«177» height=«60» src=«dopb74452.zip» v:shapes="_x0000_i1389"> преобразовав которую, получаем систему <shape id="_x0000_i1390" type="#_x0000_t75" o:ole="" fillcolor=«window»><imagedata src=«15302.files/image664.wmz» o:><img width=«285» height=«60» src=«dopb74453.zip» v:shapes="_x0000_i1390"> 
Вычислив корни первого уравнения, подставляем их во второе. Если подойдут, это решение. Таким образом, может быть 2, 1 или 0 решений.
Чтобы перевести координату Y в исходную систему координат, прибавляем к полученной координате настоящую координату К.
 Теперь по двум точкам – Y и К – пишем уравнение искомой прямой: <shape id="_x0000_i1391" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image666.wmz» o:><img width=«255» height=«24» src=«dopb74454.zip» v:shapes="_x0000_i1391">. ●
Вторая группа. В задачах этой группы инвертируется некоторая часть искомой фигуры (отрезок, точка или окружность); при этом теория инверсии, иногда в соединении с другими методами, часто укажет такую зависимость начала инверсии от данных и искомых, которая позволяет решить задачу. Начало и степень инверсии даны или должны быть целесообразно выбраны. В выборе начала, степени, числа инверсий иногда встречаются затруднения.
Лучшим примером задач этого рода служит, по мнению Александрова, частный случай задачи Кастильона (Castillon), разобранный ниже.
Задача 2. В данную окружность вписать треугольник так, чтобы прямые, содержащие его стороны, проходили бы соответственно через данные три точки.
○ Когда все три точки лежат на данной окружности, то решение очевидно: достаточно просто соединить эти точки и получим искомый треугольник. Решение единственно, потому что треугольник своими вершинами определяется однозначно.
Если две из трех данных точек лежат на окружности и не коллинеарны с третьей, то решение также очевидно. Если третья точка лежит внутри окружности, то любая прямая, проходящая через нее пересекает окружность в двух точках. Было бы замечательно, если бы она пересекала окружность в одной из данных точек. Это можно устроить двумя способами, и решений тоже два.
Если третья точка лежит вне окружности, то есть ровно один случай, при котором задача не имеет решения – если обе проведенные прямые являются касательными. То есть может быть два, одно или ни одного решения.
Если только одна точка лежит на данной окружности, то решений также в лучшем случае два. Проведем прямую через точку на окружности и точку не на окружности. Получим одну сторону треугольника. Теперь проведем прямую через вторую точку не на окружности и точку пересечения полученной прямой, не совпадающей с данной, если она есть. Получим вторую сторону треугольника. Третья сторона получается автоматически.
Так можно проделать с каждой из двух точек не на окружности, и решений будет два, если в каком-то или в обоих случаях не получится, что первая или вторая проведенная прямая окажется касательной.
Рассмотрим случай, когда три данные точки не лежат на данной окружности.
Пусть ABC – искомый треугольник, стороны АВ, ВС и СА которого проходят через три заданные точки М1, М2 и М3 с координатами m1, m2 и m3 соответственно, и вписан он в окружность w с центром S(s)и радиусом r.
Поместим начало координат в центр окружности w при помощи параллельного переноса <shape id="_x0000_i1392" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image668.wmz» o:><img width=«69» height=«20» src=«dopb74455.zip» v:shapes="_x0000_i1392">. Тогда окружность будет иметь уравнение <shape id="_x0000_i1393" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image670.wmz» o:><img width=«59» height=«24» src=«dopb74456.zip» v:shapes="_x0000_i1393">, а новые координаты данных точек будем для простоты обозначать теми же буквами, не забывая при этом их истинного смысла.
Заметим, что положение точки А определяет весь треугольник, поскольку прямая Am1 в пересечении с окружностью дает точку В, затем прямая Bm2 в пересечении с окружностью дает точку С.
Выполним инверсию I1 с центром в точке М1 и степенью <shape id="_x0000_i1394" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image672.wmz» o:><img width=«69» height=«32» src=«dopb74457.zip» v:shapes="_x0000_i1394">, ее формула будет <shape id="_x0000_i1395" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image674.wmz» o:><img width=«236» height=«60» src=«dopb74458.zip» v:shapes="_x0000_i1395">. При этом окружность wперейдет сама в себя по свойству 7: <shape id="_x0000_i1396" type="#_x0000_t75" o:ole=""><imagedata src=«15302.files/image676.wmz» o:><img width=«131» height=«32» src=«dopb74459.zip» v:shapes="_x0000_i1396">. Значит, точка А перейдет в точку В, поскольку не может перейти в себя, а образ ее лежит на окружности и прямой Am1 одновременно.
    продолжение
--PAGE_BREAK--