Чтобы найти предел \( \lim_{n \to \infty} X_1 X_2^n \), начнем с осмысления заданной последовательности окружностей.
Мы знаем, что окружности \( \omega_1 \) и \( \omega_2 \) имеют радиусы \( r_1 = 60 \) и \( r_2 = 30 \) соответственно. Они касаются друг друга внешним образом.
Далее, для \( n \geq 3 \) радиус окружности определяется как: \[ r_n = 0.5 \cdot r_{n-1} \]
Рассмотрим вычисление первых нескольких радиусов:
- \( r_3 = 0.5 \cdot r_2 = 0.5 \cdot 30 = 15 \)
- \( r_4 = 0.5 \cdot r_3 = 0.5 \cdot 15 = 7.5 \)
- \( r_5 = 0.5 \cdot r_4 = 0.5 \cdot 7.5 = 3.75 \)
Таким образом, радиусы окружностей образуют геометрическую прогрессию, где первый член \( a = 60 \) и второй член также может быть рассматриваем как \( a = 30 \) для начальной пары. А последующие радиусы формируются с помощью \( r_n = \frac{1}{2} r_{n-1} \).
Поскольку радиусы граничащих окружностей уменьшаются, мы можем заметить, что каждое следующее расстояние между центрами окружностей, расположенное по вашему описанию, также будет зависеть от этих радиусов.
Теперь можем анализировать предел \( X_1 X_2^n \):
- У нас расстояние между центрами будет увеличиваться с уменьшением радиусов: центры \( X_n \) располагаются на максимально возможном расстоянии от \( X_{n-3} \). При этом, с увеличением \( n \), расстояние между центрами \( X_1 \) и \( X_2 \) будет уменьшаться до нуля, так как радиусы уходят к нулю.
Следовательно, \( X_1 X_2^n \) стремится к 0 с увеличением \( n \). Таким образом: \[ \lim_{n \to \infty} X_1 X_2^n = 0 \]
Итог: \[ \lim_{n \to \infty} X_1 X_2^n = 0. \]