Пусть \( O_1 \) и \( O_2 \) — центры окружностей (вместо \( I \) и \( J \) для удобства), \( r_1 \) и \( r_2 \) — их радиусы. Отрезок, соединяющий центры, — \( O_1O_2 \).
Пусть \( AB \) — отрезок внутренней общей касательной, где \( A \) — точка касания с первой окружностью, \( B \) — с второй.
Проведем радиусы \( O_1A \) и \( O_2B \). Радиусы, проведенные в точку касания, перпендикулярны касательной, то есть \( \angle O_1AB = 90^{\circ} \) и \( \angle O_2BA = 90^{\circ} \).
Окружности не имеют общих точек и не лежат одна внутри другой. Это означает, что расстояние между их центрами \( O_1O_2 \) больше суммы радиусов \( r_1 + r_2 \).
Внутренняя общая касательная \( AB \) делит отрезок \( O_1O_2 \) в отношении \( m:n \). Пусть точка пересечения касательной \( AB \) и отрезка \( O_1O_2 \) — точка \( P \). Тогда \( O_1P : PO_2 = m:n \).
Рассмотрим треугольники \( \triangle O_1AP \) и \( \triangle O_2BP \).
\( \angle O_1PA = \angle O_2PB \) (вертикальные углы).
\( \angle O_1AP = \angle O_2BP = 90^{\circ} \).
Следовательно, треугольники \( \triangle O_1AP \) и \( \triangle O_2BP \) подобны по двум углам.
Из подобия следует отношение соответствующих сторон:
\[ \frac{O_1A}{O_2B} = \frac{O_1P}{O_2P} = \frac{AP}{BP} \]
Мы знаем, что \( O_1A = r_1 \) и \( O_2B = r_2 \), а также \( O_1P : PO_2 = m:n \).
Подставим это в соотношение подобия:
\[ \frac{r_1}{r_2} = \frac{m}{n} \]
Диаметр первой окружности \( d_1 = 2r_1 \), диаметр второй окружности \( d_2 = 2r_2 \).
Отношение диаметров:
\[ \frac{d_1}{d_2} = \frac{2r_1}{2r_2} = \frac{r_1}{r_2} = \frac{m}{n} \]
Таким образом, диаметры окружностей относятся как \( m:n \).
Что и требовалось доказать.