円の中心は正三角形の重心だから、6*(1+2)/2=9、x^2=9^2+(x/2)^2 ⇔ x=6√3