Теорема о вписанных окружностях

Теорема о вписанных окружностях берёт начало в японских сангаку и относится к следующему построению: серия лучей проводится из некой точки на заданную прямую так, что окружности, вписанные в получающиеся треугольники, образованные смежными лучами и прямой, одинаковы. На иллюстрации одинаковые синие окружности определяют угол между лучами, как описано выше.

Если синие окружности равны, то зелёные окружности также равны.

Формулировка теоремыПравить

Теорема утверждает, что при описанном выше построении окружности, вписанные в треугольники, образованными лучами через один (то есть полученные объединением двух соседних треугольников), через два и т. д., также равны. Случай соседних треугольников показан на рисунке зелёными окружностями: все они имеют одинаковые размеры.

Из факта, что утверждение теоремы не зависит от угла между начальным лучом и заданной прямой, можно сделать вывод, что теорема скорее относится к математическому анализу, а не геометрии, и должна иметь отношение к непрерывной масштабной функции, которая определяет расстояние между лучами. Фактически этой функцией является гиперболический синус.

ЛеммаПравить

Теорема является прямым следствием следующей леммы.

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

Доказательство леммыПравить

На рисунке прямые PS и PT являются смежными лучами, имеющими углы   и   с прямой PR, перпендикулярной базовой прямой RT.

Проведём прямую QY, параллельную базовой прямой, через центр O вписанной в треугольник   PST окружности. Эта окружность касается лучей в точках W и Z. Отрезок PQ имеет длину  , а отрезок QR имеет длину  , что равно радиусу вписанной окружности.

Тогда   OWX подобен   PQX,   OZY подобен   PQY, а из XY = XO + OY мы получаем

 

Это отношение на множестве углов   выражает условие равенства вписанных окружностей.

Для доказательства леммы положим  . Это выражение можно преобразовать в  .

Используя равенство  , мы применяем дополнительные правила для   и   и проверяем, что отношение равенства окружностей удовлетворяется выражением

 

Мы получили выражение для параметра   в терминах геометрических величин   и  . Далее, определяя  , мы получаем выражение для радиусов   вписанных окружностей, образованных выбором каждого N-го луча в качестве сторон треугольника:

 

См. такжеПравить

ЛитератураПравить