Пусть даны две окружности с центрами в точках P и Q, которые не имеют общих точек и не лежат одна внутри другой.
Пусть внутренняя общая касательная к этим окружностям делит отрезок PQ в отношении m:n, то есть PQ разделен точкой K, такой что PK:KQ = m:n.
Пусть окружности имеют радиусы r1 и r2, соответственно.
Проведем радиусы PA и QB в точки касания A и B с внутренней общей касательной.
Тогда PA перпендикулярна касательной, и QB перпендикулярна касательной.
Рассмотрим треугольники PAK и QBK.
Угол PAK = углу QBK = 90 градусов, так как радиусы перпендикулярны касательной.
Угол AKP = углу BKQ, как вертикальные углы.
Следовательно, треугольники PAK и QBK подобны по двум углам.
Из подобия треугольников следует, что:
$$\frac{PA}{QB} = \frac{PK}{KQ} = \frac{m}{n}$$ $$\frac{r_1}{r_2} = \frac{m}{n}$$Так как диаметры относятся как удвоенные радиусы, то:
$$\frac{2r_1}{2r_2} = \frac{r_1}{r_2} = \frac{m}{n}$$Значит, диаметры этих окружностей относятся как m:n.
Ответ: Доказано, что диаметры окружностей относятся как m:n.