Пусть даны две окружности с центрами в точках P и Q, не имеющие общих точек и не лежащие одна внутри другой. Пусть внутренняя общая касательная к этим окружностям пересекает отрезок PQ в точке O так, что PO : OQ = a : b. Требуется доказать, что диаметры этих окружностей относятся как a : b.
Пусть радиус окружности с центром P равен R, а радиус окружности с центром Q равен r. Пусть A и B - точки касания внутренней общей касательной с окружностями с центрами P и Q соответственно. Тогда PA перпендикулярен AB и QB перпендикулярен AB.
Рассмотрим треугольники PAO и QBO. Они подобны по двум углам (углы PAO и QBO - прямые, а углы POA и QOB - вертикальные).
Из подобия треугольников следует:
$$ \frac{PO}{QO} = \frac{PA}{QB} = \frac{R}{r} $$
Так как по условию PO : OQ = a : b, то:
$$ \frac{a}{b} = \frac{R}{r} $$
Диаметры окружностей равны 2R и 2r соответственно. Отношение диаметров равно:
$$ \frac{2R}{2r} = \frac{R}{r} = \frac{a}{b} $$
Таким образом, диаметры этих окружностей относятся как a : b, что и требовалось доказать.
Ответ: Доказано