Для решения этой задачи, нужно вспомнить, что радиус окружности равен половине её диаметра.
$$r = \frac{d}{2}$$, где $$r$$ - радиус, $$d$$ - диаметр.
В данном случае, диаметр $$d = 15$$ мм. Подставим это значение в формулу:
$$r = \frac{15}{2} = 7.5$$
Ответ: 7,5 мм