Найдите радиус круга, описаного вокруг правильного триугольника со стороной 8√3

В правильном треугольнике R=a/√3=8√3/√3=8 - это ответ.

Пусть сторона правильного треугольника a, тогда имеем: a = R√3, 
отсюда R = a ÷ √3
             R = 8√3 ÷ √3
             R = 8

Нужно ли объяснить, как получить формулу a = R√3 ?