--PAGE_BREAK--Определение 6. Обобщенной инверсией плоскости с центром в точке S и степенью инверсии k называется преобразование, которое всякую точку М плоскости, отличную от S, отображает в такую точку М’, что точки S, M и М’ коллинеарны и скалярное произведение векторов . При этом считают, что S переходит в бесконечно удаленную область, и наоборот.
Это преобразование инволютивное, поскольку точки М и М’ входят в формулу равноправно, а для центра инверсии и бесконечно удаленной области все очевидно.
1.3. Формула инверсии в комплексно сопряженных координатах. Найдем формулу обобщенной инверсии при задании точек комплексными числами. Пусть точкам S, M и М’ соответствуют комплексные числа s, z и z’.
По формуле скалярного произведения векторов . Коллинеарность точек S, M и М’ дает равенство . Отсюда имеем Û , откуда и получаем искомую формулу .
Итак, обобщенная инверсия имеет формулу или, что то же самое, . При k>0 получаем инверсию с положительной степенью, при k
Но всякое ли преобразование плоскости, заданное формулой , является обобщенной инверсией? Если принять , , то достаточно потребовать, чтобы и для обобщенной и для обычной инверсии (с положительной степенью).
Значит, всякое преобразование плоскости, задаваемой формулой , есть обобщенная инверсия.
1.4. Неподвижные точки и окружность инверсии. Исследуем уравнение инверсии на неподвижные точки: для них должно выполняться равенство Û . Мы не рассматриваем центр инверсии и бесконечно удаленную область, так как мы доопределили, что они не остаются неподвижными, а переходят друг в друга. Тогда будет выполняться равенство .
Очевидно, что если , то все искомые точки образуют окружность с центром в точке с координатой s и радиусом . Эта окружность при называется окружностью инверсии. Если обозначить радиус окружности инверсии через R, то выполняется . И формулу инверсии для k>0 можно переписать более наглядно: .
Если степень инверсии отрицательна, то преобразование не имеет неподвижных точек (поскольку невозможно изобразить на плоскости, даже комплексной, точки, координаты которых удовлетворяют равенству ). Но иногда эту мнимую окружность также называют окружностью инверсии, ее центр расположен в центре инверсии, а радиус будет равен ==.
Так как , то, очевидно, инверсию отрицательной степени легко представить в виде коммутативной композиции инверсии с положительной степенью и центральной симметрии с общим центром в s.
1.5. Образы прямых и окружностей при обобщенной инверсии.Без ограничения общности рассуждений можно принять , и формула инверсии примет вид , более удобный для практики. Ведь нам пока не важны коэффициенты в получающейся формуле, важно, какую фигуру она описывает.
Пусть задана прямая l с уравнением , . При подстановке в это уравнение и получаем: . Умножим на , это будет равносильным преобразованием, поскольку ; получим, опуская в полученном результате штрихи: .
Если q= 0, то получаем уравнение . Так как , то умножим обе части уравнения на , получим . Это уравнение прямой, совпадающей с заданной прямой l. Если , то получаем уравнение окружности , так как . Она содержит центр инверсии, ее центр расположен в точке , а радиус равен . Заметим, что центр лежит на прямой , проходящей через центр инверсии перпендикулярно l.
Итак, прямая, содержащая центр инверсии, отображается при этой инверсии в себя; прямая, не содержащая центр инверсии, отображается в окружность, проходящую через него. Поскольку инверсия инволютивна, то окружность, содержащая центр инверсии, отображается в прямую, не содержащую его.
Возьмем теперь окружность , не проходящую через центр инверсии . Тогда выполняется . Ее образ имеет уравнение (штрихи опущены). При раскрытии скобок получим . Умножим на , это будет равносильным преобразованием, поскольку ; получим . Так как , то этим уравнением задается окружность с центром и радиусом . Она не проходит через центр инверсии. Интересно, что центр инверсии, центр данной окружности s и центр ее образа коллинеарны, поскольку число действительное. Но центр окружности при инверсии не переходит в центр окружности образа. Если центр данной окружности sперейдет в , то тогда должно выполняться . Поскольку , умножим на , получим равносильное равенство . Отсюда , то есть , что невозможно. Значит, предположение было неверно, и центр данной окружности не переходит в центр окружности образа.
Итак, окружность, не проходящая через центр инверсии, переходит в окружность, также не проходящую через центр инверсии.
В частности, если центр инверсии совпадает с центром окружности, то и окружность при инверсии переходит в окружность , центр которой также совпадает с центром инверсии. Итак, окружность, центр которой совпадает с центром инверсии, при этой инверсии переходит в концентрическую окружность. В частности, окружность с уравнением инвариантна.
Интересно, что центр инверсии является одновременно и центром гомотетии, переводящей одну окружность в другую. Для нашего случая гомотетия будет иметь уравнение . Убедиться в этом можно простой подстановкой: эта гомотетия переводит окружность в фигуру . Поделив обе части на , получим окружность с центром и радиусом , что и требовалось доказать.
Теперь становится ясно, что каждую окружность можно при помощи подходяще выбранной инверсии перевести в другую данную окружность или прямую. Докажем это.
Пусть даны две окружности действительного радиуса. Рассмотрим сначала случай, когда их радиусы не равны.
Мы уже показали, что центры окружностей и центр инверсии должны лежать на одной прямой. Понятно, что центр инверсии не лежит на данных окружностях.
Точки, лежащие на прямой центров, переходят в точки, лежащие на той же прямой. Поэтому могут быть два порядка точек: и .
Введем систему координат таким образом, что центры окружностей лежат на действительной оси, причем центр одной совпадает с началом координат, а радиус ее равен 1.
Покажем, что существует инверсия для первого случая.
Пусть точки пересечения второй окружности с действительной осью имеют координаты а1 и а2. Тогда при инверсии а1 переходит в -1, а а2 – в 1. Тогда можно записать, что , . То есть получаем систему: , что равносильно . Вычтем: , откуда, в силу неравности радиусов, . Может статься, что это не является решением. Решением это будет в точности тогда, если совпадут значения k из обоих уравнений.
Из первого уравнения = .
Из второго условия получаем =. Тот же самый результат. Итак, получаем единственную инверсию с центром в точке и степенью .
Точка с координатой а2 лежит на действительной оси правее точки с координатой а1, поэтому для определения знака степени нужно знать знак произведения .
Степень инверсии будет положительна в двух случаях: либо , откуда , либо , откуда , то есть когда одна окружность лежит целиком внутри другой. В остальных случаях степень инверсии будет отрицательна.
Рассмотрим второй случай. Тогда при инверсии а1 переходит в 1, а а2 – в -1. Можно записать, что , . То есть получаем систему: , что равносильно . Вычтем: , откуда, в силу неравности радиусов, .
Аналогично, может оказаться, что это не является решением. Решением это будет в точности тогда, если совпадут значения k из обоих уравнений.
Из первого уравнения , откуда . Из второго уравнения = . Тот же самый результат.
Знак степени определяется знаком произведения . Отрицательна она будет только в случае , то есть или в случае , то есть . Это происходит в точности когда одна окружность лежит внутри другой. Положительной степень будет в противном случае.
Итак, когда радиусы окружностей не равны, одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая – с отрицательной.
Если же радиусы окружностей равны, то все выкладки будут иметь место, но гораздо упростятся. Для первого случая получим из равенства , что , тогда . Причем у нас не может быть случая, когда одна окружность лежит внутри другой, значит, степень положительна.
Для второго же случая получаем верное равенство , но , и получим , то есть окружности концентричны, но в силу равенства радиусов они совпадают. Это невозможно по предположению, значит, такой инверсии не может быть.
Можно сделать вывод, что если радиусы окружностей равны, то одну в другую можно перевести ровно одной инверсией с положительной степенью. В принципе, этого следовало ожидать: у двух окружностей равного радиуса только один центр гомотетии.
Покажем теперь, что существует инверсия, переводящая прямую l в окружность действительного радиуса, и обратно. Ясно, что эта окружность проходит через центр инверсии, а прямая нет. Мы уже показали, что центр инверсии лежит на прямой m, проходящей через центр нашей окружности перпендикулярно l. Значит, он может быть только в одной из точек пересечения окружности с прямой m.
Введем систему координат так, что начало координат располагается в центре окружности, а прямая m совпадает с действительной осью.
Данная прямая l параллельна мнимой оси, поэтому будет иметь уравнение , . Прямая пересекает действительную ось в точке с координатой . Окружность, если обозначить ее радиус r, будет иметь уравнение . Инверсии, если они есть, будут иметь формулы и , где k1 и k2 нам пока не известны. Первая переведет окружность в прямую с уравнением Û Û . Чтобы это была l, достаточно потребовать , откуда .
Вторая инверсия переведет окружность в прямую с уравнением Û Û . Чтобы это была l, достаточно потребовать , откуда .
Могут получиться следующие случаи:
1) Û , тогда , ;
2) Û , тогда , , то есть второй инверсии не существует – это происходит при касании прямой и окружности в точке с координатой -r;
3) Û , тогда , ;
4) Û , тогда , то есть первой инверсии не существует – это происходит при касании прямой и окружности в точке с координатой r, ;
5) Û , тогда , .
Можно сделать вывод, что если прямая не имеет общих точек с окружностью, то одну в другую можно перевести ровно двумя инверсиями, причем одна из них с положительной степенью, а другая с отрицательной. Если прямая касается окружности, то одну в другую можно перевести только одной инверсией с положительной степенью. Если прямая и окружность пересекаются, то одну в другую можно перевести двумя инверсиями с положительными степенями.
Две же различные прямые никогда не могут быть переведены друг в друга инверсией.
1.6. Свойства обобщенной инверсии.[2]
1є. При обобщенной инверсии с центром О и степенью k внутренние точки окружности Σ(О,) (окружность инверсии, если k положительно) переходят во внешние и наоборот (поэтому говорят также о зеркальном отображении относительно окружности).
□ Для центра инверсии и бесконечно удаленной области это очевидно. Для остальных точек при инверсии с положительной степенью это было доказано выше, в теореме 2. А так как инверсию с отрицательной степенью можно представить как коммутативную композицию инверсии с положительной степенью и центральной симметрии с центром в начале инверсии, то и для нее все очевидно. ■
2є. Преобразование плоскости, представляющее собой последовательно выполненную дважды одну и ту же инверсию, есть тождественное преобразование
□ Следует из инволютивности преобразования инверсии. ■
3є. Две фигуры, инверсные третьей фигуре относительно одного и того же центра О, гомотетичны.
□ Действительно, пусть М – точка фигуры F, М1 и М2 – точки, соответствующие ей в двух инверсиях с общим центром О и коэффициентами k1 и k2. Без ограничения общности рассуждений можно рассмотреть инверсию с центром в начале координат. Тогда, если точки М, М1 и М2 будут иметь координаты m, m1 и m2 соответственно, то , . Замечаем, что вторая точка получена из первой при гомотетии с уравнением . ■
Мы видим, что выбор степени инверсии не влияет на форму полученных фигур. Эта форма изменяется только при изменении центра инверсии.
4є. Зависимость расстояния между образами A’ и B’ двух точек А и В от расстояния между этими точками при инверсии с центром S и степенью k выражается в формуле .
□ Инверсия задается формулой . Тогда . Отсюда = = =. А это и означает . ■
5є. Инверсия сохраняет величину угла между окружностями, а также между окружностью и прямой, между двумя прямыми, но изменяет его ориентацию на противоположную.
□ Пусть заданы две окружности (прямая и окружность, две прямые), одна из которых проходит через точки A,B,C, а другая – через точки A,B,D. Берем точки «хорошие», то есть среди них нет бесконечно удаленной и нулевой, так как мы будем брать инверсию с центром в нуле. Если заданы две прямые, считаем А = В. Если A’, B’, C’, D’– образы этих точек при инверсии , то их двойное отношение w’ равно числу, комплексно сопряженному двойному отношению w точек A,B,C, D:
.
Согласно геометрическому смыслу аргумента двойного отношения, он равен ориентированному углу между окружностями (прямой и окружностью, двумя прямыми) ABC и ABD, но . ■
Следствие 1. Инверсия сохраняет двойное отношение расстояний между точками, каждая из которых не совпадает с центром инверсии и с бесконечно удаленной точкой.
□ Заметим, что . Из этого следует, что инверсия сохраняет двойное отношение расстояний между точками, каждая из которых не совпадает с центром инверсии и с бесконечно удаленной точкой.
Для иных наборов точек это утверждение, вообще говоря, неверно. Например, будем предполагать, что все четыре точки различны. Если центр инверсии совпадает, скажем, с точкой А, то, при неравенстве остальных точек бесконечно удаленной, получаем отношение , не имеющее смысла. Если же А совпадает с бесконечно удаленной точкой, то получим - тоже нет смысла. ■
Следствие 2. Две точки и их образы при инверсии лежат на одной окружности или одной прямой.
□ Не ограничивая общности рассуждений, рассмотрим инверсию . Пусть точки А(a) и В(b) переходят при инверсии в точки А’(a’) и В’(b’). Тогда координаты образов будут и соответственно. Если двойное отношение их вещественно, то все доказано.
, то есть они действительно лежат или на одной окружности, или на одной прямой.
Чтобы они лежали на прямой, нужно потребовать, чтобы точки А и В были коллинеарны с центром инверсии, причем каждая из точек даже может совпадать с центром инверсии или бесконечно удаленной точкой. ■
продолжение
--PAGE_BREAK--Следствие 3. Касающиеся окружности или касающиеся окружность и прямая переходят при инверсии в касающиеся окружности или касающиеся окружность и прямую, если только точка касания не совпадает с центром инверсии, иначе они переходят в параллельные прямые.
□ Угол между касающимися окружностью и прямой или касающимися окружностями равен 0є. Если точка касания не совпадает с центром инверсии, то окружности переходят в две окружности, если центр инверсии не на одной из окружностей, в противном случае в окружность и прямую. Угол сохраняется, значит, все верно.
Если же точка касания совпадает с центром инверсии, то окружность переходит в прямую, не проходящую через центр инверсии, а прямая переходит сама в себя. Угол между прямыми сохраняется и равен 0є, то есть они действительно параллельны. ■
Определение 7. Прямая называется касательной к кривой в точке М0, если для произвольной точки кривой М расстояние от М до прямой стремится к нулю быстрее, чем от М до М0, когда M®М0, то есть , где Р – это проекция точки М на прямую.
Определение 8. Окружность называется касательной к кривой в точке М0, если касательная к окружности в этой точке является и касательной к кривой в этой точке.
Определение 9. Углом между двумя кривыми в их общей точке называется угол между касательными к этим кривым в рассматриваемой точке.
Если кривые не имеют общих точек, или хотя бы одна из них не имеет касательной в общей точке, то угол между кривыми не определен.
Очевидно, что угол между двумя кривыми в их общей точке также можно определить как угол между касательными окружностями (касательной окружностью и прямой) к этим кривым в рассматриваемой точке.
Определение 10. Всякое преобразование, при котором сохраняются углы между кривыми, называется конформным преобразованием.
Следствие 4. Инверсия есть конформное преобразование.
□ Лемма. Пусть дана окружность с центром s и точка m0на ней. Тогда прямая, проходящая через эту точку и касающаяся данной окружности, будет иметь уравнение .
○ Искомая касательная перпендикулярна прямой, проходящей через s и m0, и сама проходит через m0.
Перенесем центр координат в точку m0, то есть применим параллельный перенос, который будет иметь уравнение . Прямая, проходящая через s-m0и 0, будет иметь уравнение , или в канонической форме . Любая прямая, проходящая через 0, будет иметь уравнение . Чтобы она была перпендикулярна прямой , нужно, чтобы . То есть можно взять . Значит, искомая прямая будет иметь уравнение . Переводим в исходные координаты: . ●
Пусть нам даны кривые 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при , где Р – это проекция точки М на прямую l, М – точка кривой g.
Выполним инверсию I, пусть ее степень равна k, а центр s не в точке М0. Поместим начало координат в s, и уравнение инверсии будет . Также направим действительную ось через точку М0. Если уравнение l, , то уравнение l' будет , .
Заметим, что по условию выполняется Û Û .
Если l' – окружность, то касательная к ней в точке М0’ будет, по лемме, иметь уравнение Û . В силу равенства получаем Û Û .
Покажем, что она будет касательной и к g’ в точке М0’, то есть , где Q – это проекция точки М’ на эту прямую, М’ – точка кривой g’.
Из свойства 4 имеем: . Отсюда следует, что . Действительно, = = 0. Также = = 0.
Тогда Û Û Û Û .
По известным неравенствам , и получаем: £ + £ = + .
Рассматриваемый предел ограничен слева нулем, а справа пределом = + = 0 + .
Но мы брали m0действительным числом, поэтому . Значит, доказываемый предел равен нулю, если l' – окружность.
Если l' – прямая, то ее уравнение совпадет с прообразом: . Тогда нам уже дано равенство . Покажем, что сама прямая будет касательной к g’ в точке М0’. Действительно, Û Û Û , а этот предел нам дан.
Мы пришли к выводу, что когда центр инверсии не лежит в рассматриваемой точке, то угол между кривыми сохраняется.
Если же взять центр инверсии в точке М0, то последняя отобразится в бесконечно удаленную область. Касательные lиp перейдут сами в себя и по соглашению о бесконечно удаленной области будут касаться кривых g’ и c’ в несобственной точке М’0. Можно определить угол между ними в несобственной точке как имеющийся угол между ними. ■
Следствие 5. Четное число инверсий не меняет угла между кривыми, нечетное число меняет направление угла на противоположное.
6є. Каждые две окружности или прямую и окружность можно при помощи инверсии перевести в две прямые (пересекающиеся или параллельные) или в две концентрические окружности.
□ Если данные окружности или окружность и прямая касаются, то при центре инверсии в точке касания переходят в две параллельные прямые (следствие 4).
Пусть даны две не касающиеся окружности действительного радиуса. Если они пересекаются, то, взяв за центр инверсии одну из точек пересечения, получим две пересекающиеся прямые (они будут пересекаться по образу второй точки пересечения).
Пусть окружности не пересекаются. Если они уже концентрические, то существует две инверсии, переводящие их одна в другую. Если же они не концентрические, то в две прямые они перейти не могут, так как тогда центр инверсии должен располагаться одновременно на обеих, что невозможно. Попробуем их перевести в две концентрические окружности.
Введем систему координат таким образом, что центры окружностей лежат на действительной оси, причем центр одной из них совпадает с началом координат, и радиус этой окружности равен 1.
Центр инверсии лежит также на действительной оси. Действительно, центр инверсии, центр образа первой окружности и центр ее же лежат на одной прямой. Но тогда центр второй окружности лежит там же. А центры обеих окружностей принадлежат действительной оси.
Пусть координаты пересечения второй окружности с действительной осью равны а1 и а2, у первой окружности это будут точки с координатами -1 и 1. Пусть на оси дана точка О с координатой s. Тогда при инверсии с центром в точке О и степенью k будут выполняться равенства: , , и . Но точки лежат на действительной оси, поэтому верно , , .
Полученные окружности концентричны, если . То есть , что равносильно , откуда получаем равносильное уравнение относительно s: , где s не совпадает с рассмотренными четырьмя точками.
=. Значит, дискриминант положителен в точности тогда, когда окружности не пересекаются. Это и доказывает существование нужной инверсии, причем их будет две. Также нужно заметить, что степень инверсии погоды не делает.
Пусть теперь даны не касающиеся окружность и прямая. Если они не пересекаются, то, взяв центр инверсии на прямой или окружности, получим при инверсии прямую и окружность. Не подходит. Если возьмем центр инверсии вне прямой и окружности, то получим две окружности. Попробуем найти инверсию, при которой они концентрические.
Введем систему координат таким образом, что прямая будет мнимой осью, а центр окружности лежит на действительной оси и координата одной из точек пересечения окружности в осью равна 1, а вторая точка пересечения имеет положительную координату а.
Возьмем точку на действительной оси, не принадлежащую данной прямой и окружности, пусть ее координата равна s. Проведем инверсию с центром в этой точке и степенью k. Если она переведет фигуры в концентрические окружности, то аналогично это только тогда, когда выполняется равенство , то есть , или , откуда, после приведения подобных, получаем . Так как знаменатель заведомо не равен нулю, поскольку мы так брали s, то получаем , откуда, в силу положительности а, . Итак, такая инверсия существует.
Если же прямая и окружность пересекаются, то, взяв за центр инверсии одну из точек пересечения, получим две прямые. Они будут пересекаться в образе второй точки пересечения. ■
7є. При инверсии с центром sI и степенью k окружность с центром s радиуса r, не совпадающая с окружностью инверсии (если степень положительна), отображается в себя тогда и только тогда, когда выполняется равенство .
□ Перенесем начало координат в центр инверсии параллельным переносом , и инверсия тогда будет задана формулой . Координата центра окружности станет , для удобства в дальнейшем будем опускать этот штрих. Тогда уравнение окружности будет . Понятно, что центр инверсии не лежит на окружности, иначе она вообще перейдет в прямую. Это соображение дает нам . Окружность инверсией переводится в , или , то есть . Так как центр инверсии не на окружности, то это равносильно . Это будет та же самая окружность при условии, что Û Û Û Û .
Нас интересует только второе условие совокупности. Кстати, оно при дает условие ортогональности окружности инверсии и нашей окружности. Так попутно мы доказали, что если окружность перпендикулярна окружности инверсии положительной степени, то она при этой инверсии переходит сама в себя.
При переходе к исходным координатам получаем . ■
Глава 2
Применение инверсии при решении задач и доказательстве теорем
2.1. Применение инверсии при решении задач на построение. Метод инверсии дает возможность решить ряд наиболее трудных конструктивных задач элементарной геометрии. При этом его комбинация с методом координат, что фактически происходит при попытке решать задачу на комплексной плоскости, дает наиболее точные вычисления местонахождения нужных фигур, что является явным плюсом метода по сравнению с довольно неточными построениями от руки. Недостатком же этого метода является его громоздкость, связанная с необходимостью выполнить большое число довольно объемных вычислений. Но надо сказать, что для компьютера это не является трудностью, и перед пользователем встает лишь проблема перевода алгоритма решения задачи на язык программирования.
Задачи на построение, решаемые методом инверсии, Александров [2] делил на три группы.
Первая группа. В задачах этого рода обратные кривые играют роль геометрических мест. Центр и степень инверсии в этом случае известны.
Задача 1. Даны точка К и две прямые АВ и ВС. Провести секущую KXY так, чтобы , где с – данная длина.
○ Искомые точки X и Y инверсны друг другу при инверсии с центром в точке К и степенью с2. Точка Y есть пересечение прямой ВА с кривой, обратной ВС. Это будет окружность, проходящая через центр инверсии, то есть через точку К. Найдем ее уравнение.
Передвинем систему координат таким образом, что точка К является началом координат (это будет параллельный перенос на вектор ОК с формулой , где r — координата точки К), тогда уравнение прямых ВС и АВ можно записать как и , поскольку они не проходят через точку К. Уравнение инверсии примет вид .
Образ прямой ВС при инверсии будет , или, после упрощений, . Тогда координата искомой точки Y находится из системы: преобразовав которую, получаем систему
Вычислив корни первого уравнения, подставляем их во второе. Если подойдут, это решение. Таким образом, может быть 2, 1 или 0 решений.
Чтобы перевести координату Y в исходную систему координат, прибавляем к полученной координате настоящую координату К.
Теперь по двум точкам – Y и К – пишем уравнение искомой прямой: . ●
Вторая группа. В задачах этой группы инвертируется некоторая часть искомой фигуры (отрезок, точка или окружность); при этом теория инверсии, иногда в соединении с другими методами, часто укажет такую зависимость начала инверсии от данных и искомых, которая позволяет решить задачу. Начало и степень инверсии даны или должны быть целесообразно выбраны. В выборе начала, степени, числа инверсий иногда встречаются затруднения.
Лучшим примером задач этого рода служит, по мнению Александрова, частный случай задачи Кастильона (Castillon), разобранный ниже.
Задача 2. В данную окружность вписать треугольник так, чтобы прямые, содержащие его стороны, проходили бы соответственно через данные три точки.
○ Когда все три точки лежат на данной окружности, то решение очевидно: достаточно просто соединить эти точки и получим искомый треугольник. Решение единственно, потому что треугольник своими вершинами определяется однозначно.
Если две из трех данных точек лежат на окружности и не коллинеарны с третьей, то решение также очевидно. Если третья точка лежит внутри окружности, то любая прямая, проходящая через нее пересекает окружность в двух точках. Было бы замечательно, если бы она пересекала окружность в одной из данных точек. Это можно устроить двумя способами, и решений тоже два.
Если третья точка лежит вне окружности, то есть ровно один случай, при котором задача не имеет решения – если обе проведенные прямые являются касательными. То есть может быть два, одно или ни одного решения.
Если только одна точка лежит на данной окружности, то решений также в лучшем случае два. Проведем прямую через точку на окружности и точку не на окружности. Получим одну сторону треугольника. Теперь проведем прямую через вторую точку не на окружности и точку пересечения полученной прямой, не совпадающей с данной, если она есть. Получим вторую сторону треугольника. Третья сторона получается автоматически.
Так можно проделать с каждой из двух точек не на окружности, и решений будет два, если в каком-то или в обоих случаях не получится, что первая или вторая проведенная прямая окажется касательной.
Рассмотрим случай, когда три данные точки не лежат на данной окружности.
Пусть ABC – искомый треугольник, стороны АВ, ВС и СА которого проходят через три заданные точки М1, М2 и М3 с координатами m1, m2 и m3 соответственно, и вписан он в окружность w с центром S(s)и радиусом r.
Поместим начало координат в центр окружности w при помощи параллельного переноса . Тогда окружность будет иметь уравнение , а новые координаты данных точек будем для простоты обозначать теми же буквами, не забывая при этом их истинного смысла.
Заметим, что положение точки А определяет весь треугольник, поскольку прямая Am1 в пересечении с окружностью дает точку В, затем прямая Bm2 в пересечении с окружностью дает точку С.
Выполним инверсию I1 с центром в точке М1 и степенью , ее формула будет . При этом окружность wперейдет сама в себя по свойству 7: . Значит, точка А перейдет в точку В, поскольку не может перейти в себя, а образ ее лежит на окружности и прямой Am1 одновременно.
продолжение
--PAGE_BREAK--