сушествует такая формула: r=a / 2 √3

где  r - это радиус вписнной окружности в треугольник, а -это сторона равностороннего треугольника

подставляем:

4=а / 2√3

отсюда:

а=4*2√3=8√3