Симметpия относительно окpужности

С.А. Ануфриенко

Симметpия, как бы шиpоко или узко мы ни понимали это слово, есть идея, с помощью котоpой человек в течение веков пытался объяснить и создать поpядок, кpасоту и совеpшенство.

Геpман Вейль

Введение

Со временем замечаешь, как непохожи друг на друга пути, ведущие к решению красивых геометрических проблем. Бесконечность возможных направлений поиска многих людей приводит в трепет, но одновременно дает хорошую надежду отыскать свою собственную дорогу в геометрическом лабиринте. В любом случае открытие метода, позволяющего решить целый ряд сложных задач, является событием большой редкости. Об одном из таких методов и пойдет речь в этой статье. Мы начинаем с перечисления некоторых классических проблем, решения которых будут приведены позже.

A. Четыре окружности ₁, ₂, ₃ и ₄ расположены таким образом, что _i касается _i+1 для i < 4, а ₄ касается ₁. Образуются четыре точки касания. Доказать, что найдется окружность, проходящая через все эти точки.

B. Разделить с помощью циркуля данный отрезок [AB] на n равных частей (n  N).

C. Только с помощью циркуля найти центр данной окружности.

D. Даны точки A, B, C, D и окружность . Только с помощью циркуля найти пересечение прямых (AB) и (CD), а также точки пересечения прямой (AB) с окружностью  (задачи геометрии Мора-Маскерони).

E. Построить окружность, которая проходит через две данные точки A и B и касается данной окружности ₁.

F. Построить окружность, проходящую через данную точку и касающуюся двух данных окружностей.

G. Построить окружность, касающуюся трех данных окружностей (задача Аполлония).

H. Для двух различных точек A и B и положительного числа k найти геометрическое место точек X, для которых отношение XA/XB равно k  1 (окружность Аполлония).

I. Для произвольного треугольника через r, R и d обозначим соответственно радиусы вписанной и описанной окружностей и расстояние между их центрами. Доказать, что d² = R²-2Rr (формула Эйлера).

Инверсия и ее свойства

В 1831 году Л. Дж Магнус впервые стал рассматривать преобразование плоскости, которое получило название симметрии относительно окружности или инверсии (от лат. inversio - обращение). Под инверсией плоскости  относительно окружности (O,R) с центром в точке O и радиусом R понимают такое преобразование множества \{O}, при котором каждой точке A  \{O} ставится в соответствие такая точка A, что A лежит на луче [OA) и OA·OA = R² (далее будем использовать обозначение inv_O^R(A) = A). Заметим сразу, что инверсия не определена в точке O, но иногда бывает полезно добавить к плоскости одну бесконечно удаленную точку, т.е. рассмотреть множество {} и при этом считать, что inv_O^R(O) =  и inv_O^R() = O.

На рис. 1 указан способ построения образа точки A при инверсии относительно окружности  = (O,R). Для этого проводят перпендикуляр (AB) к прямой (OA) и из точки пересечения (AB) проводят касательную к окружности . Из подобия треугольников OAB и OBA получаем отношение OA/ OB = OB/ OA или

OA·OA = OB² = R². Следовательно inv_O^R(A) = A.

Рис. 1

На рис. 2 построение образа выполнено только с помощью циркуля (в предположении, что OA > R/2). Для этого достаточно провести окружность

(A,OA) и для двух точек пересечения (O,R)(A,OA) построить равные окружности (B,R) и (C,R). Вторая точка пересечения (B,R)(C,R), отличная от точки O, является искомой. Для доказательства используем подобие равнобедренных треугольников OBA и OBA. Сначала получаем OA/ OB = OB/OA, а затем, необходимое OA·OA = OB² = R². Если же OA  R/2, то сначала увеличивают отрезок [OA] в n раз до отрезка [OB] (удвоение отрезка показано на рис. 3 - последовательно откладывают радиус OA на окружности (A,OA) и используют свойство правильного вписанного шестиугольника), после этого находят B = inv_O^R(B) и снова увеличивают (а не уменьшают!) отрезок [OB] в n раз до отрезка [OC]. Можно доказать, что C = inv_O^R(A).

Рис. 2 Рис. 3

Из многочисленных свойств инверсии рассмотрим лишь следующие. Пусть

A = inv_O^R(A) и B = inv_O^R(B).

I. Если A  B, то A  B.

Утверждение требует проверки только когда лучи [OA) и [OB) совпадают. В этом случае OA  OB и поэтому OA  OB. Приходим к неравенству A  B.

II. Все точки окружности (O,R) при инверсии inv_O^R остаются неподвижными. Внутренние точки круга с границей (O,R) переходят во внешние, а внешние - во внутренние.

Первая часть утверждения очевидна, а вторая следует из замечания: если

OA < R, то OA = R²/OA > R.

III. Если A = inv_O^R(A), то A = inv_O^R(A). Для произвольных фигур  и  из условия  = inv_O^R() также следует  = inv_O^R().

IV. Треугольники AOB и AOB подобны. При этом OBA = OAB.

Достаточно заметить, что эти треугольники имеют общий угол, а из равенства OA·OA = R² = OB·OB следует равенство отношений OA/OB = OB/OA. Обратите внимание, что в отличие от подобия, пропорциональность связывает стороны [OA] и [OB], [OB] и [OA], а не [OA] и [OA], [OB] и [OB]. Из подобия получаем OBA = OAB.

V.

AB = AB

OA·OB ·R².

Действительно, по свойству IV имеем

AB = AB·OA

OB = AB

OA·OB ·R².

VI. Прямая a, проходящая через центр инверсии, отображается в себя. Если же O  a и A - основание перпендикуляра из точки O на прямую a (рис. 4), то образом прямой a будет окружность ₁, построенная на отрезке [OA] как на диаметре (A = inv_O^R(A)).

Рис. 4

Для доказательства этого свойства рассмотрим произвольную точку B прямой a. По свойству IV OBA = OAB = 90^. Следовательно точка B лежит на окружности с диаметром [OA]. Удивление от такого неожиданного действия инверсии на произвольную прямую пройдет, если принять в расчет бесконечно удаленную точку. Каждая прямая проходит через . Поэтому переход  в точку O заставляет концы прямой сжиматься к точке O. Следующее свойство позволяет определить центр окружности, которая является образом прямой из свойства VI.

VII. Пусть ₁ = inv_O^R(a). Обозначим через O₁ = S_a(O), где S_a - осевая симметрия с осью a (рис. 4). Тогда центром окружности ₁ является точка O₁ = inv_O^R(O₁).

Сохраняя принятые в предыдущем свойстве обозначения, имеем OO₁ = 2OA. Подставляя это в равенство OA·OA = R² = OO₁·OO₁ получаем OO₁ = OA/2. Поэтому точка O₁ является серединой отрезка [OA].

VIII. Окружность ₁(O₁,r), проходящая через центр инверсии, отображается на некоторую прямую a. Более того, если A - конец диаметра, проходящего через O и O₁ (A  O), то прямая a проходит через точку A = inv_O^R(A) и перпендикулярна прямой (OO₁).

Справедливость этого свойства сразу следует из свойств III и VI.

IX. Окружность ₁(O₁,r₁), не проходящая через центр инверсии, отображается при inv_O^R на некоторую окружность ₂(O₂,r₂). Точнее, если точки A и B являются концами диаметра, лежащего на прямой (OO₁) (рис. 5), то отрезок [AB] является диаметром окружности ₂ (A = inv_O^R(A), B = inv_O^R(B)).

Рис. 5

Для доказательства рассмотрим произвольную точку C окружности ₁ и покажем, что C = inv_O^R(C)  ₂. Из свойства IV имеем равенства OCA = OAC и OCB = OBC. Поэтому ACB = OBC- OAC = OCB-OCA = 90^. Следовательно C  ₂.

Переходит ли центр O₁ в центр образа ₂, точку O₂? Никогда (убедитесь в этом с помощью прямых вычислений, т.е. докажите, что O₁ = inv_O^R(O₁) не может быть серединой [AB]). Этот "недостаток" инверсии с лихвой компенсируется замечательным ее свойством сохранять величину угла. Напомним, что угол между пересекающимися окружностями по определению равен углу между касательными к этим окружностям в точке их пересечения. Аналогично определяется и угол между пересекающимися прямой и окружностью. Рассмотрим частный случай: для двух касающихся окружностей ₁ и ₂ определим величину угла между inv_O^R(₁) и inv_O^R(₂). Вид образов inv_O^R(₁) и inv_O^R(₂) во многом зависит от положения точки O относительно окружностей ₁ и ₂. Так, если O  ₁₂, то из свойств I и IX получаем, что inv_O^R(₁) и inv_O^R(₂) являются касающимися окружностями. Если же O лежит только на одной из окружностей, например на ₁, то из свойств I, VIII и IX получим касающиеся прямую inv_O^R(₁) и окружность inv_O^R(₂). И, наконец, если O совпадает с точкой касания окружностей, то inv_O^R(₁) и inv_O^R(₂) являются параллельными прямыми (величина угла между параллельными прямыми по определению равна нулю). Итак, в каждом из случаев, величина угла между inv_O^R(₁) и inv_O^R(₂) равна нулю. Аналогично можно установить, что если прямые a и b параллельны, то величина угла между inv_O^R(a) и inv_O^R(b) также равна нулю.

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

Докажем сначала, что для любых прямых угол a,b совпадает с углом между inv_O^R(a) и inv_O^R(b). Утверждение очевидно, если прямые проходят через точку O. Пусть теперь O  a и O  b (рис. 6). Обозначим через ₁ окружность, в которую переходит прямая b, и через b₁ - касательную к ₁ в точке O. Так прямые b и b₁ перпендикулярны одному и тому же диаметру, то они параллельны. Поэтому угол между a и ₁, равный по определению углу между a и b₁, совпадает с углом a,b. Рассуждения аналогичны и в случае, когда O  ab (надо рассмотреть касательные к окружностям inv_O^R(a) и inv_O^R(b) в точке O).

Рис. 6

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

Основой решения целого ряда геометрических проблем является удачное применение того или иного преобразования плоскости. При этом мы считаем использование какого-либо преобразования удачным, если образы рассматриваемых фигур поддаются простому геометрическому анализу. В задаче Фаньяно¹, например, стороны треугольника наименьшего периметра получаются из отрезка прямой серией осевых симметрий. При отыскании точки Ферма² похожая идея реализуется с помощью поворота на 60^. В следующих параграфах попробуем выяснить насколько способность к упрощению свойственна инверсии. Этот параграф закончим решением проблемы A.

Решение A. Обозначим через A, B, C, и D соответственно точки касания ₁₂, ₂₃, ₃₄ и ₄₁. Сделаем инверсию с центром в O = A относительно окружности некоторого радиуса R. По свойству VIII и IX получим пару параллельных прямых a = inv_O^R(₁), b = inv_O^R(₂) и пару касающихся окружностей ₃ = inv_O^R(₃) и ₄ = inv_O^R(₄) (рис. 7).

Рис. 7

Нетрудно заметить, что точки касания исходных окружностей, за исключением точки A (которую инверсия забросит в бесконечность), отобразятся в точки касания образов. Докажем теперь, что B, C и D лежат на одной прямой. Так как (KB)(LD), то BKC = CLD. Отсюда следует равенство KCB = LCD (KCB и LCD являются равнобедренными), поэтому B, C и D лежат на одной прямой. Обозначим эту прямую через c и подействуем на нее снова инверсией inv_O^R. Ее образ - это окружность inv_O^R(c), которая проходит через центр инверсии, точку A, а также через точки B = inv_O^R(B), C = inv_O^R(C) и D = inv_O^R(D).

Геометрия Мора-Маскерони

Теория построения одним циркулем получила свою известность благодаря книге "Геометрия циркуля"(1797 г.) Лоренцо Маскерони³. Значительно позже в одном из букинистических магазинов была обнаружена книга датского математика Георга Мора "Датский Евклид", датированная 1672 годом! Обе книги содержат основной результат геометрии циркуля:

Теорема Мора-Маскерони. Все построения, выполненные с помощь циркуля и линейки, могут быть проделаны только с помощью циркуля (при этом мы считаем прямую построенной, если найдены хотя бы две точки этой прямой).

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

Решение B. Чтобы разделить отрезок [AB] на n равных частей, сначала увеличим его в n раз, т.е. найдем точку C, что AC = nAB. А затем построим точку C - образ точки C при инверсии относительно окружности (A,AB). Из соотношения AC·AC = AB² получаем AC = AB/n. Все указанные построения можно выполнить только с помощью циркуля (для этого даже не нужна прямая (AB)).

Решение C. Выберем произвольную точку O окружности ₁(X,r), центр X которой нам нужно определить (рис. 8).

Рис. 8

Из точки O проведем произвольную окружность (O,R) так, чтобы она пересекала исходную окружность ₁. Обозначим точки пересечения ₁ через A и B. Куда перейдет прямая (AB) при инверсии inv_O^R? Конечно же в ₁, поскольку точки A и B остаются неподвижными (свойства II и VI). По свойству VII центр inv_O^R((AB)) (т.е. центр ₁) является образом точки S_(AB)(O) при inv_O^R. Из этих рассуждений следует цепочка необходимых построений. Сначала находим точку O₁ = S_(AB)(O), симметричную O относительно прямой (AB) (школьная задача). А затем строим образ точки O₁ при inv_O^R, он и будет искомым центром. Все указанные построения выполняются только с помощью циркуля.

Решение D. Опишем поиск пересечения двух прямых только с помощью циркуля. Пусть даны точки A, B, C и D (рис. 9).

Рис. 9

Выберем точку O так, чтобы она не лежала на прямых a = (AB) и b = (CD). При инверсии inv_O^R прямые a и b должны перейти в окружности inv_O^R(a) и inv_O^R(b), а их точка пересечения отобразится в точку пересечения окружностей inv_O^R(a) и inv_O^R(b), отличную от точки O (свойства VI и I). Теперь необходимые построения становятся очевидными: с помощью свойства VII строим окружности inv_O^R(a) и inv_O^R(b), находим точку пересечения этих окружностей - точку X, и снова действуем инверсией уже на точку X. Точка Y = inv_O^R(X) является искомой. Пересечение прямой и окружности находится похожим образом.

Теперь терема Мора-Маскерони следует из решений задач B, C и D.

Задача Аполлония

В этом параграфе рассмотрим задачу о построении окружности, касающейся трех данных окружностей, названную в честь крупнейшего специалиста по коническим сечениям древности Аполлония Пергского⁴. Решению проблемы G предшествуют решения задач E и F.

Решение E. Чтобы построить окружность ₂, проходящую через точки A и B и касающуюся данной окружности ₁, рассмотрим инверсию с центром в точке O = A относительно окружности произвольного радиуса R. Образом ₂ при инверсии inv_O^R должна быть некоторая прямая a, проходящая через точку B = inv_O^R(B) и касающаяся окружности inv_O^R(₁) (свойства VIII и IX). Касательные из произвольной точки X к произвольной окружности (Y,r) провести довольно легко: для этого достаточно построить вспомогательную окружность  на диаметре [XY] и соединить X с точками пересечения . Теперь выполняем необходимые построения в следующем порядке: находим B = inv_O^R(B) и inv_O^R(₁), через точку B проводим касательные a и b к окружности inv_O^R(₁), строим образы inv_O^R(a) и inv_O^R(b) при инверсии inv_O^R. В зависимости от расположения точки B относительно окружности inv_O^R(₁) может быть два, одно и ни одного решения (например, когда B находится внутри inv_O^R(₁)).

Решение F. Для решения этой задачи достаточно уметь проводить общую касательную к двум произвольным окружностям (X,r) и (Y,R). Будем считать, что r < R. Проведем из точки X касательную a к окружности ₁(Y,R-r) (рис. 10), тогда искомая внешняя касательная b к окружностям  и  будет параллельна прямой a и находится от нее на расстоянии r.

Рис. 10

Для проведения внутренней касательной вместо ₁(Y,R-r) надо рассмотреть окружность ₂(Y,R+r). В общем случае возможно до четырех решений. Теперь вернемся к исходной задаче. Пусть даны точка A и две окружности ₁ и ₂. Искомая окружность , проходящая через A и касающаяся ₁ и ₂, при инверсии с центром O = A должна перейти в некоторую прямую a, которая касается окружностей inv_O^R(₁) и inv_O^R(₂) (свойства VIII и IX). Таким образом, приходим к следующему порядку построений: находим inv_O^R(₁) и inv_O^R(₂), проводим общие касательные (a,b,c,d) и строим образы этих касательных при inv_O^R. В общем случае получится до четырех искомых окружностей, однако в одном случае решений будет бесконечно много (представьте, что произойдет после инверсии с окружностями ₁ и ₂, если они касаются в точке A).

Решение G. Задача Аполлония легко сводится к предыдущей задаче. Пусть даны окружности ₁(O₁,r₁), ₂(O₂,r₂) и ₃(O₃,r₃), и r₁ < r₂ < r₃. Построим окружность (O,R), проходящую через точку O₁ и касающуюся окружностей

₂(O₂,r₂-r₁) и ₃(O₃,r₃-r₁). Уменьшив радиус окружности  на r₁, т.е. рассматривая (O,R-r₁), приходим к одной из искомых окружностей. Количество решений исследовать самим (кажется, исключая бесконечный случай, возможно до восьми решений).

Изменение расстояния при инверсии

Основой исследований в этом параграфе будет формула V для вычисления расстояния между образами точек A и B при инверсии относительно (O,R): AB = ABR²/(OA·OB). Из этой формулы сразу видно, что расстояние при инверсии для произвольных точек A и B не сохраняется и искажение расстояния происходит сильнее при приближении точек A и B к центру окружности инверсии. Прежде чем установить менее очевидный факт, введем важное в теории круговых преобразований⁵ понятие двойного отношения четырех точек.

Определение. Двойным отношением четырех точек A, B, C и D называют число

AC

BC : AD

BD .

Теорема. Двойное отношение четырех точек сохраняется при инверсии.

Доказательство. Обозначим через A, B, C и D соответственно образы точек A, B, C и D при инверсии относительно окружности (O,R). Тогда из формулы V имеем

AC

BC : AD

BD = AC/(OA·OC)

BC/OB·OC : AD/(OA·OD)

BD/(OB·OD) =

= AC

BC : AD

BD .

Следующая теорема является решением проблемы H.

Теорема. Пусть даны точки A, B и число k > 0 (k  1). Множество  состоит из всех таких точек X плоскости, для которых XA:XB = k. Тогда  является окружностью (окружность Аполлония), центр которой лежит на прямой (AB).

Доказательство. На прямой (AB) можно легко найти две точки O и C, принадлежащие множеству  (одна из них будет внутренней точкой отрезка [AB], другая - внешней точкой этого отрезка). Рассмотрим инверсию относительно окружности с центром в точке O произвольного радиуса R. Для образов точек A, B и C имеем

CA

CB = CAR²/(OC·OA)

CBR²/(OC·OB) = CA

CB : OA

OB = k:k = 1. 1

Пусть X = inv_O^R(X) и  = inv_O^R(). Тогда, учитывая (1) и сохранение при инверсии отношения четырех точек, получаем

X   XA

XB : CA

CB = k:k = 1

 XA

XB : CA

CB = 1 XA

XB = 1.

Последнее означает, что  - серединный перпендикуляр к отрезку [AB]. Отсюда  = inv_O^R() - окружность, диаметр которой лежит на прямой (AB).

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

Теорема. Пусть для произвольного треугольника ABC числа r, R и d соответственно обозначают радиусы вписанной и описанной окружностей и расстояние между их центрами. Тогда d² = R²-2Rr.

Доказательство. Точки касания вписанной окружности (O,r) со сторонами [AB], [AC] и [BC] обозначим соответственно через K, L и M (рис. 11).

Рис. 11

Пусть также ₁(O₁,R) - описанная около треугольника ABC окружность. Рассмотрим инверсию относительно вписанной окружности (O,r). Так как прямые (AK) и (AL) являются касательными к окружности инверсии, образом точки A будет середина отрезка [KL] (точка A), аналогично B = inv_O^r (B) - середина [KM] и C = inv_O^r (C) - середина [LM]. Образом окружности ₁(O₁,R) будет окружность ₁, проходящая через точки A,B,C и имеющая радиус равный r/2 (так как при гомотетии H_O^-1/2 окружность  переходит в окружность, проходящую через середины сторон KLM, т.е. в ₁). Теперь попробуем выяснить, как вообще изменяется радиус окружности при инверсии. Обозначим через X и Y точки диаметра окружности ₁(O₁,R), лежащие на прямой (OO₁) (рис. 12).

Рис. 12

По свойству IX отрезок [inv_O^r(X) inv_O^r (Y)] является диаметром окружности

inv_O^r (₁), а по свойству V его длина равна

XY = XY

OX·OY ·r² = 2Rr²

R-d·R+d = 2Rr²

R²-d² .

Учитывая, что XY = 2R, где R - радиус окружности inv_O^r(₁), получаем формулу

R = Rr²

R²-d² .

Возвращаясь к образу описанной окружности при инверсии относительно (O,r), имеем

r

2 = Rr²

R²-d² R²-d² = 2Rrd² = R²-2Rr.

Закончим этот параграф одним совершенно неожиданным результатом. Сначала напомним некоторые определения и факты. Окружностью Эйлера треугольника ABC называется окружность, проходящая через середины его сторон. На этой окружности также лежат основания высот ABC и середины трех отрезков, соединяющих ортоцентр этого треугольника (т.е. точку пересечения его высот или их продолжений⁷) с вершинами. Поскольку на окружности Эйлера лежат девять точек, естественно связанных с треугольником ABC, ее называют еще окружностью девяти точек. Вневписанной окружностью треугольника ABC называется окружность, касающаяся стороны этого треугольника и продолжений двух других его сторон. В следующей лемме перечисляются некоторые свойства вневписанной окружности.

Лемма 1. Пусть AB = c, AC = b, BC = a, p - полупериметр ABC, O₁ и O_a - центры вписанной (₁) и вневписанной (_a) окружностей (рис. 13), r₁ и r_a - их радиусы, X и X_a - точки касания этих окружностей со стороной [BC], K и L - с прямой (AC), M и N - с прямой (AB). Пусть также (B₁C₁) - общая внутренняя касательная к ₁ и _a, отличная от (BC). Тогда

AL = p;

AK = p-a, CK = p-c, BX = p-b;

BX = CX_a;

BC₁ = B₁C = b-c;

pr₁ = r_a(p-a);

r₁r_a = (p-b)(p-c).

Рис. 13

Доказательство. 1) Следует из 2AL = AL+AN = (AC+CX_a)+(AB+BX_a) = 2p.

2) Первое равенство получается из 2AK = AK+AM = (AC-CX)+(AB-BX) = 2p-2a. Остальные доказываются аналогично.

3) Из 2) и 1) имеем BX = p-b = AL-AC = CL = CX_a.

4) При симметрии относительно биссектрисы [AO_a) угла BAC окружности ₁ и _a остаются неподвижными и отрезок [BC] одной внутренней касательной переходит в отрезок [B₁C₁] другой внутренней касательной. Отсюда BC₁ = B₁C и C₁N = CL. Из последнего равенства в предположении b > c получаем BC₁ = AN-AB-CL = p-c-(p-b) = b-c.

5) Следует из 1) и 2) и из подобия треугольников AO₁K и AO_aL.

6) Следует из 1) и 2) и из подобия треугольников KO₁C и LCO_a.

Лемма доказана.

Лемма 2. Для окружностей (O,R) и ₁(O₁,R₁) условие inv_O^R(₁) = ₁ выполнено тогда и только тогда, когда ₁.

Доказательство. Пусть inv_O^R(₁) = ₁, ₁ = {A,B} и ₁(OO₁) = {X,Y}. Тогда inv_O^R(X) = Y. Отсюда OX·OY = R² = OA². Поэтому (OA) - касательная к окружности ₁. Что означает (OA)(O₁A) и ₁.

Предположим теперь, что ₁. Обозначим через ₂ = inv_O^R(₁). Из свойства X получаем ₂. Поскольку существует единственная окружность, проходящая через A и B (по-прежнему, {A,B} = ₁) и перпендикулярная , ₂ = ₁. Лемма доказана.

Теорема (Фейербах). Окружность Эйлера треугольника ABC касается вписанной и трех вневписанных окружностей этого треугольника.

Доказательство. Сохраним некоторые обозначения леммы 1. Середины сторон треугольника обозначим через A, B и C (рис. 14). На отрезке [XX_a] как на диаметре построим окружность . Из леммы 1 сразу получаем, что точка A будет центром  (так как BX = CX_a), а ее радиус R = XX_a/2 = (a-2BX)/2 = (b-c)/2 (далее предполагаем, что b  c). Рассмотрим симметрию относительно . Из условий ₁ и ₁ и из леммы 2 заключаем, что inv_O^R(₁) = ₁ и inv_O^R(_a) = _a. Чтобы найти образ окружности Эйлера (_э) при инверсии относительно  введем дополнительные обозначения.

Рис. 14

Пусть S - общая точка биссектрисы [AO_a) и прямых (BC) и (B₁C₁). Тогда SC = ab/(b+c) и SB = ac/(b+c). Отсюда

SA = (SC-SB)/2 = a

2 · b-c

b+c .

Пусть также точки B и C являются соответственно пересечением касательной (B₁C₁) с прямыми (AB) и (AC). Из подобия треугольников SAB и SBC₁ получаем

AB = BC₁· SA

SB = (b-c)· a

2 · b-c

b+c

a· c

b+c

= (b-c)²

2c .

Поскольку AB = c/2,

AB·AB = (b-c)²/4 = R². (1)

Рассматривая подобные треугольники ASC и CSB₁ приходим к

AC = B₁C· SA

SC = (b-c)· a

2 · b-c

b+c

a· b

b+c

= (b-c)²

2b .

Отсюда

AC·AC = (b-c)²

2b · b

2 = R². (2)

Равенства (1) и (2) означают, что inv_O^R(B) = B и inv_O^R(C) = C. Поэтому

inv_O^R(_э) = (BC) = (B₁C₁) и _э касается inv_O^R(₁) = ₁ и inv_O^R(_a) = _a. Аналогично доказывается, что _э касается оставшихся двух вневписанных окружностей. Теорема доказана.

Нетрудно заметить, что окружность Эйлера _э треугольника ABC является окружностью Эйлера для каждого из следующих треугольников: HAB, HAC, HBC (H - ортоцентр ABC). Каждый из этих треугольников имеет свою вписанную и три вневписанные окружности. Таким образом, теорема Фейербаха приводит к фантастическому результату: окружность Эйлера треугольника ABC касается по крайней мере шестнадцать окружностей, естественно определенных этим треугольником.

В заключение приведем небольшой список задач для самостоятельного решения. Если какая-либо задача не решается в течение 497 секунд, разрешено посмотреть указание к решению задачи.

Задачи

1. Где-то в пустыне находится лев. Требуется загнать его в круглую клетку (будьте осторожны с выбором своего местоположения).Решение

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

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

4. Докажите, что для любых двух непересекающихся окружностей ₁ и ₂ найдется инверсия, которая переведет их в концентрические окружности ₁ и ₂. Решение

5. Даны две непересекающиеся окружности  и , причем  лежит внутри . Окружность ₁, одновременно касающаяся  и , обладает свойством Штейнера, если найдется такая цепочка окружностей ₁,..., _n, касающихся  и  и таких, что _i касается _i+1 для i < n и _n касается ₁. Докажите, что если для окружностей  и  найдется хотя бы одна окружность, обладающая свойством Штейнера, то и любая окружность S₁, касающаяся  внутренне и  внешне, обладает свойством Штейнера (поризм Штейнера). Решение

6. Вывести формулу Герона-Архимеда для вычисления площади треугольника ABC: S²_ABC = p(p-a)(p-b)(p-c) (обозначения из леммы 1 последнего параграфа). Решение

7. Доказать, что точка пересечения медиан ABC, ортоцентр и центр описанной около ABC окружности лежат на одной прямой (прямая Эйлера). Решение

8. Докажите, что центр окружности Эйлера лежит на прямой Эйлера. Решение

Указания к решению задач

1. Выходя на охоту, следует вооружиться свойством II инверсии.

2. Обозначим через d_i,j,k расстояние от точки A_i до прямой (A_jA_k), проходящей через точки A_j и A_k данного множества. Предположим противное и, например, d_1,2,3 - минимальное ненулевое число среди d_i,j,k. На прямой (A₂A₃) найдите точку A_j и получите противоречие с минимальностью d_1,2,3.

3. Сделайте инверсию с центром в одной из точек данного множества и воспользуйтесь свойством VIII и теоремой Сильвестра.

4. Докажите сначала (например, координатным методом), что для любых двух неконцентрических окружностей ₁ и ₂ геометрическим множеством точек плоскости, отрезки касательных из которых к ₁ и ₂ равны между собой, является прямая (радикальная ось окружностей ₁ и ₂). Пусть теперь a - радикальная ось окружностей ₁ и ₂ с центрами O₁ и O₂ соответственно и X - точка пересечения прямых a и (O₁O₂). Построим окружность ₃ с центром в X и радиусом равным отрезку касательной из точки X к ₁. Тогда ₃₁ и ₃₂. Обозначим через O одну из точек пересечения ₃ с (O₁O₂). Докажите теперь, что O - центр искомой инверсии (используйте лемму 2 и свойства VI и IX).

5. Переведите подходящей инверсией окружности  и  в концентрические окружности.

6. Следует перемножить три равенства: 5, 6 (лемма 1) и равенство p = p.

7. При гомотетии с центром в точке пересечения медиан и коэффициентом -1/2 ортоцентр треугольника ABC перейдет в ортоцентр треугольника ABC, составленного из средних линий исходного треугольника. Осталось заметить, что ортоцентр ABC совпадает с центром окружности, описанной около ABC. Кстати, коэффициент гомотетии одновременно указывает на отношение, в котором точка пересечения медиан делит отрезок, соединяющий ортоцентр с центром описанной окружности ABC.

8. Докажите сначала (используя свойства средних линий), что середины (точки A₁, B₁, C₁) трех отрезков, соединяющих ортоцентр H треугольника ABC с его вершинами, лежат на окружности Эйлера. Если O_э - центр окружности Эйлера, то относительно O_э треугольники A₁B₁C₁ и ABC (A, B, и C - середины сторон ABC) будут ценрально-симметричными. Отсюда сделайте вывод, что точка O_э является серединой отрезка, соединяющего точку H с центром описанной окружности около ABC.

В следующих книгах вы можете найти дополнительную информацию по данной теме.

Список литературы

1. В.В. Прасолов. Задачи по планиметрии. Ч. 2. Гл. 28. Инверсия. М., Наука, 1986.

2. Г.С.М. Кокстер. Введение в геометрию. Гл. 6. М., Наука, 1966.

3. И.М. Яглом. Геометрические преобразования. Т. 1,2. М., Гостехиздат, 1955-56.

4. И.М. Яглом. Окружности. Энциклопедия элементарной математики. Кн. IV. М., Гостехиздат, 1963.

Сноски:

¹ Задача Фаньяно: в данный треугольник вписать треугольник наименьшего периметра.

² Точкой Ферма остроугольного треугольника ABC называется точка M, для которой сумма MA+MB+MC принимает наименьшее значение.

³ Л. Маскерони(1750-1800), итальянский инженер, изучал математику самостоятельно. Работы относятся к теории геометрических построений, теории многоугольников, интегральному исчислению. Результаты его геометрических исследований доложил в 1797 году на заседании Национального института Наполеон Бонапарт.

⁴ Аполлоний(2-я половина 3 в.- 1-я половина 2 в. до н.э.). Родился в Перге (Малая Азия). Главный его труд "Конические сечения" сохранился не полностью (первые четыре книги) в оригинале, частично (три последующие книги) в арабском переводе, восьмая книга утеряна. Исследуя свойства конических сечений, их диаметров, фокусов, нормалей и касательных, пользовался проективно-геометрическими методами.

⁵ Круговым называется такое преобразованием множества {} ( - плоскость и  - бесконечно удаленная точка), при котором каждая обобщенная окружность (т.е. окружность или прямая плоскости ) отображается на обобщенную окружность. Инверсия - частный случай кругового преобразования.

⁶ Л. Эйлер (1707-1783), математик, механик, физик и астроном. Родился в Базеле. С 1726 по 1741 и с 1766 являлся академиком Петербургской АН. Список трудов Эйлера содержит более 850 названий. Основные работы относятся к вариационному исчислению, интегрированию обыкновенных дифференциальных уравнений, степенным рядам, дифференциальной геометрии, теории чисел, небесной механике, оптике, гидродинамике. В конце 1766 года почти полностью потерял зрение, но, продолжая интенсивно работать, за 17 лет подготовил около 400 научных работ.

⁷ в случае, если треугольник ABC является тупоугольным.