Пусть даны две параллельные касательные к окружности. Проведем радиусы из центра окружности в точки касания. Поскольку касательная перпендикулярна радиусу, проведенному в точку касания, оба радиуса перпендикулярны обеим параллельным касательным. Это означает, что радиусы лежат на одной прямой, перпендикулярной касательным. Следовательно, расстояние между касательными равно сумме длин этих радиусов, что равно диаметру окружности.
**Доказано**