Обозначим центры окружностей как O₁ и O₂, а их радиусы как r₁ и r₂ соответственно. Пусть внутренняя общая касательная пересекает отрезок O₁O₂ в точке C. По условию, точка C делит отрезок O₁O₂ в отношении m:n, то есть O₁C : CO₂ = m : n.
Рассмотрим треугольники, образованные центрами, точками касания и точкой C. Пусть точки касания внутренней общей касательной с окружностями будут A₁ и A₂. Тогда O₁A₁ ⊥ A₁C и O₂A₂ ⊥ A₂C.
Рассмотрим прямоугольные треугольники ΔO₁A₁C и ΔO₂A₂C. У них углы ∠O₁CA₁ и ∠O₂CA₂ равны как вертикальные, и ∠O₁A₁C = ∠O₂A₂C = 90°.
Из подобия этих треугольников следует, что отношение катетов, противолежащих углу C, равно отношению прилежащих катетов:
O₁A₁ / O₂A₂ = O₁C / CO₂
Поскольку O₁A₁ = r₁ и O₂A₂ = r₂, а по условию O₁C / CO₂ = m / n, получаем:
r₁ / r₂ = m / n
Диаметры окружностей D₁ = 2r₁ и D₂ = 2r₂. Отношение диаметров:
D₁ / D₂ = (2r₁) / (2r₂) = r₁ / r₂ = m / n
Таким образом, доказано, что диаметры окружностей относятся как m:n.