Условие
Дан остроугольный треугольник
A0B0C0. Пусть точки
A1,
B1,
C1 — центры
квадратов, построенных на сторонах
B0C0,
C0A0,
A0B0. С треугольником
A1B1C1 делаем то же самое. Получаем треугольник
A2B2C2 и т.д.
Доказать, что
An + 1Bn + 1Cn + 1 пересекает
AnBnCn
ровно в 6 точках.
Решение
Заметим, что если
AnBnCn остроугольный, то треугольник
An + 1Bn + 1Cn + 1 пересекает его в шести точках. Поскольку
Bn + 1AnCn = 45
o =
Cn + 1AnBn, а
BnAnCn
острый, получаем, что лучи
AnBn и
AnCn лежат внутри угла
Bn + 1AnCn + 1. Аналогично и для вершин
Bn и
Cn, а значит,
шестиугольник
AnCn + 1BnAn + 1CnBn + 1 выпуклый и треугольник
An + 1Bn + 1Cn + 1 пересекает треугольник
AnBnCn
в шести точках.
Теперь докажем индукцией по
n, что треугольник
AnBnCn
остроугольный. Предположим, что при
n =
k треугольник остроугольный, тогда
докажем, что при
n =
k + 1 треугольник также будет остроугольный. Уже доказано,
что шестиугольник
AkCk + 1BkAk + 1CkBk + 1 выпуклый, а значит, угол
Cn + 1An + 1Bn + 1 меньше угла
BnAn + 1Cn, но
BnAn + 1Cn = 90
o, а значит, угол
Cn + 1An + 1Bn + 1 —
острый. Аналогично докажем, что и другие углы треугольника
Cn + 1An + 1Bn + 1 острые, а значит, и сам треугольник
остроугольный, что и требовалось доказать.
Источники и прецеденты использования