Если треугольники ABC и A1B1C1 равны, то способ построения очевиден. В противном случае можно считать, что AB ≠ A1B1 (пусть для определенности AB < A1B1).
Построим такой треугольник
A'B'C, что
AB || A'B',
A'B' = A1B1,
B'C = B1C1,
CA' = C1A
1(см. рис.; это построение легко осуществить,
например, используя равенство ∠
BCB'= ∠
B+ ∠
B1).
Тогда
ABB'A'– трапеция. Пусть
MN– её средняя линия, а
P– точка пересечения продолжений боковых сторон.
Построим на отрезке
PC, как на диаметре, окружность ω. Так как
AB < A1B1=
A'B',
SABC = SA1B1C1=
SA'B'C, то расстояние от точки
Cдо прямой
ABбольше расстояния от
Cдо прямой
A'B', поэтому точки
Pи
Cлежат по разные стороны от
прямой
MN, следовательно, ω пересекает прямую
MN. Пусть
K– одна из точек пересечения (на рисунке она лежит на отрезке
MN, но наши рассуждения на это опираться не будут).
Проведём прямую
PKдо пересечения с прямыми
ABи
A'B'в точках
Xи
Yсоответственно. Тогда
AX:
XB = A'Y:
YB', поэтому
SXBC = SYB'C. Кроме того,
XK = KY, а угол
PKC– прямой как опирающийся на диаметр в окружности ω. Значит,
CK– серединный перпендикуляр к отрезку
XY, и
CX = CY.
На продолжении отрезка
XCза точку
Cвозьмём такую точку
Z, что
XC = CZ. Построим треугольники
A2CZи
B2CZ, равные треугольникам
A'CYи
B'CYсоответственно. Тогда треугольники
A2B2C, A'B'Cи
A1B1C1. Покажем, что
AA2||
BB2 (тогда можно сдвинуть треугольник
A2B2Cвдоль прямой
AA2, получив требуемый). Так как
CX = CZ, SABC = SA2B2C и
SXBC = SZB2C, то
SXAC = SZA2C, расстояния от точек
Aи
A2до прямой
XZравны, и расстояния от точек
Bи
B2до прямой
XZтакже равны. Следовательно,
AA2||
XZ || BB2, что и требовалось.