Пусть \( r_1 \) и \( r_2 \) — радиусы окружностей с центрами \( P \) и \( Q \) соответственно. Пусть \( A \) и \( B \) — точки касания внутренней общей касательной \( l \) с окружностями \( P \) и \( Q \) соответственно. Отрезок \( AB \) является частью касательной \( l \).
Пусть \( O \) — точка пересечения отрезка \( PQ \) и касательной \( l \). По условию, \( PO : OQ = a : b \).
Проведём радиусы \( PA \) и \( QB \) к точкам касания. Радиусы, проведённые в точки касания, перпендикулярны касательной, поэтому \( PA \perp l \) и \( QB \perp l \). Следовательно, \( PA \parallel QB \).
Рассмотрим треугольники \( \triangle PAO \) и \( \triangle QBO \).
1. \( \angle PAO = \angle QBO = 90^{\circ} \) (радиус перпендикулярен касательной).
2. \( \angle POA = \angle QOB \) (вертикальные углы).
Следовательно, \( \triangle PAO \sim \triangle QBO \) по двум углам.
Из подобия треугольников следует пропорциональность соответствующих сторон:
\( \frac{PA}{QB} = \frac{PO}{QO} \)
Подставляя известные обозначения:
\( \frac{r_1}{r_2} = \frac{a}{b} \)
Диаметры окружностей равны \( d_1 = 2r_1 \) и \( d_2 = 2r_2 \). Отношение диаметров:
\( \frac{d_1}{d_2} = \frac{2r_1}{2r_2} = \frac{r_1}{r_2} = \frac{a}{b} \).
Таким образом, диаметры этих окружностей относятся как \( a:b \).
Доказано.