Ответ:

Для высоты равностороннего треугольника \(h = \frac{a\sqrt3}{2}\), откуда \(a = \frac{2h}{\sqrt3} = \frac{2\cdot4\sqrt3}{\sqrt3} = 8\).

Ответ: 8.