Будем придерживаться следующих обозначений: большая жирная буква (например, X) обозначает треугольник, большие и маленькие буквы с индексами 1, 2, 3 (X1, X2, X3, x1, x2, x3) – вершины и противоположные им стороны этого треугольника (причём маленькие буквы обозначают также и прямые, на которых лежат стороны: X2X3 – прямая x1, X3X1 – прямая x2,
X1X2 – прямая x3.
Пусть треугольник B как угодно расположен в плоскости треугольника A. Проведём через вершины A1, A2 и A3 прямые x1, x2, x3, соответственно параллельные прямым b1, b2 и b3. Ясно, что
треугольники X и B подобны, поскольку стороны их соответственно параллельны (см. рис. 1 и 2).
Таким образом, мы построили треугольник
X, подобный треугольнику
B, стороны которого или их продолжения проходят через вершины
A1,
A2,
A3треугольника
A.
Если вращать одновременно с одной и той же угловой скоростью прямую
x1вокруг её точки
A1,
x2– вокруг
A2и
x3– вокруг
A3, то мы получим целое семейство треугольников
X. Все это семейство мы обозначим буквой
S. Ясно, что каждый треугольник
Xсемейства
Sподобен
B. На рис. 3 видно, как меняется треугольник
Xпри повороте прямых
x1,
x2,
x3; не очень ясно только, что происходит
в "критический" момент, когда треугольник
Xстановится совсем
маленьким; мы увидим, что в некоторый момент прямые
x1,
x2,
x3проходят через одну точку, так что треугольник
Xвырождается в эту точку; затем прямые
x1,
x2,
x3приближаются к своим первоначальным положениям (это происходит, когда каждая из них повернётся на угол π).
Выясним более точно, как устроено семейство
S. Заметим, что, когда две прямые равномерно вращаются вокруг двух своих точек
A1и
A2(рис. 4), точка их пересечения
Pописывает окружность с центром
O, для которого ∠
OA1A2= ∠
OA2A1=
π/
2– φ, где φ – постоянный угол между прямыми,
0 ≤ φ ≤
π/
2.
При этом для точек
Pпо одну сторону от прямой
A1A2угол
A1PA2равен φ, а по другую – π – φ. Отсюда следует, что каждая из точек
X1,
X2,
X3– вершин треугольников
X – описывает
окружности. Центры этих окружностей обозначим через
O1,
O2,
O3(окружность с центром
O1проходит через
A2и
A3и т.д.).
Найдём теперь треугольник наибольшей площади. Воспользуемся тем, что все треугольники
Xподобны, то есть и площадь, и длина каждой стороны
максимальна у одного и того же из них. Рассмотрим, например, как меняется длина стороны
X2X3(рис. 5). Поскольку окружности, по которым пробегают
X2и
X3, обе проходят через точку
A1, то основания
K2и
K3перпендикуляров
O2K2и
O3K3, опущенных на прямую
x1, – середины отрезков
A1X2и
A1X3. Поэтому
X2X3= 2
K2K3. Но длина
K2K3проекции отрезка
O2O3на прямую
x1максимальна, тогда, когда
x1||
O2O3. Разумеется, точно так же у этого треугольника
x2||
O1O2,
x3||
O2O1. Отсюда ясно, как построить этот треугольник
M.
Минимальный треугольник семейства
Sполучается, когда прямые
x1,
x2,
x3перпендикулярны линиям центров соответствующих пар окружностей:
O2O3,
O3O1,
O1O2; при этом все стороны треугольника
Xравны нулю. Таким образом, все три вершины треугольника
Xсовпадают – он вырождается в точку, обозначим её
C. Через эту точку
Cпроходят все три окружности. Рисовать семейства треугольников вида
Sпроще всего, начиная именно с окружностей: если взять произвольно три окружности, проходящие через одну точку
C, обозначить отличные от
Cточки их попарного пересечения через
A1,
A2,
A3, то можно принять любую точку на окружности за одну из трёх вершин треугольника
X, стороны которого проходят через точки
A1,
A2,
A3, а вершины лежат на наших окружностях. Заметим ещё, что при гомотетии с центром в точке
Cи коэффициентом 2 центры окружностей
O1,
O2,
O3переходят в вершины
M1,
M2,
M3максимального
треугольнике семейства
S(рис. 6). Таким образом, треугольник
Oвсегда подобен
B(возможен случай, когда треугольник
Oвырождается в точку и все три окружности совпадают).
Мы указали выше, какой именно треугольник семейства
Sнаибольший. Но это ещё не полностью решает задачу. Дело в том, что множество треугольников, подобных
Bи описанных вокруг
A, не исчерпывается одним семейством
S. Например, треугольник
Xна рис. 2 не входит в семейство
S, порождённое треугольником
Bрис. 1. Вообще, если отразить треугольник
Bотносительно какой-либо прямой (безразлично какой) и, исходя из полученного треугольника
B', построить семейство
S'треугольников, – так же, как вначале мы строили семейство
S, исходя из
B, – то семейства
Sи
S'не
будут содержать общих треугольников. (Окружности, связанные с семейством
S', получаются из окружностей, связанных с
S, симметрией относительно прямых
ai, см. рис. 7.) Таким образом, нужно найти наибольший треугольник в каждом из них и из этих двух треугольников выбрать больший.
Оказывается, однако, что можно сразу сказать, в каком из двух семейств
Sи
S'наибольший треугольник больше. Чтобы сделать это, а также чтобы разобраться, все ли нужные треугольники "охвачены" двумя семействами
Sи
S', воспользуемся ориентацией треугольников. На рис. 8 черные треугольники ориентированы по часовой стрелке, красные – против. Ясно, что все треугольники семейства
Sимеют одну ориентацию, а все треугольники
S'– противоположную. Можно доказать, что наибольший треугольник принадлежит семейству, ориентация которого совпадает с ориентацией
A.
Теперь обсудим вопрос о том, все ли треугольники, описанные вокруг
Aи подобные
B, мы изучили. Пока что мы рассмотрели все треугольники такого вида, получающиеся из
Bповоротом, гомотетией и, быть может, еще симметрией относительно прямой. Это всевозможные треугольники
X, которые подобны
Bс сохранением нумерации вершин, то есть так, что ∠
X1= ∠
B1, ∠
X2= ∠
B2, ∠
X3= ∠
B3. Итак, если требовать в условии именно такого подобия (то есть подразумевать, что ∠
M1= ∠
B1, ∠
M2= ∠
B2, ∠
M3= ∠
B1, то решение можно считать законченным: все множество допустимых треугольников
Xисчерпывается двумя семействами
Sи
S', которые мы изучали.
Если же допускать подобия с "перенумерацией вершин" (то есть такие, что ∠
X1= ∠
Bi, ∠
X2= ∠
Bj, ∠
X3= ∠
Bk, где (
i, j, k) – любая перестановка из цифр 1, 2, 3), то получится не два, а 12 семейств
Sijkи
S'ijk. Вершины треугольников из этих семейств заполнят 18 окружностей. (Если
Bравносторонний, то семейств два; если
Bравнобедренный, то шесть.) На рис. 9а или 9б можно выбрать любую тройку прямых, попарно не параллельных и проходящих (по одной) через точки
A1,
A2,
A3– обозначить их соответственно
x1,
x2,
x3– и получится один из представителей семейства
Sijkили
S'ijk(при этом
x1||
bi, x2||
bj, x
3||
bk). Оказывается, что и из этих 12 семейств можно указать то, в котором наибольший треугольник больше, чем во всех других. Чтобы сформулировать результат, условимся обозначать вершины треугольников
Aи
Bтак, что
∠
A1≤ ∠
A2≤ ∠
A3 и ∠
B1≥ ∠
B2≥ ∠
B3 (теперь мы можем это себе позволить), и расположим треугольник
Bтак, чтобы ориентации
Aи
Bсовпадали. Тогда самый большой треугольник принадлежит семейству
S123.