Is $s$ larger than the radius of circumscribed circle?

Question

In the figure, showing a square and an equilateral triangle, is $s$ larger or smaller than the radius of the circumscribed circle?

Answer 1

The radius is S. Translate the top point down s units: the distance of this new point is s from all three vertices. Therefore the radius is s.

Answer 2

There's probably an elegant solution. Meanwhile, here is a bash:

As Votbear says, we should analyze the isosceles triangle formed by the bottom of the square and the tip of the triangle. The common side lengths will be $\sqrt{(s/2)^2+(\frac{2+\sqrt{3}}{2}s)^2}=s\sqrt{(2+\sqrt{3})}$.

Now let use use the formula $R=\frac{abc}{4K}$, where $R$ is the circumradius, $a,b,c$ are the sidelengths, and $K$ is the area. We get $R=\frac{(2+\sqrt{3})s^3}{4(\frac{2+\sqrt{3}}{4})}=s$. Wait what?

As for a possible elegant solution:

Starting with the top vertex and working counterclockwise, name the vertices of the pentagon ABCDE. Reflect B across AC to B'. This creates parallelogram ABCB', so B'A=B'C=s. Also note that B'A || BC || DE, so B'A || DE. But B'A = DE = s, so B'AED is also a parallelogram. So AE = B'D = s. Now we know that B'A = B'C = B'D, so B' is the circumcenter of the triangle ACD, and thus s is the circumradius of the given circle.

Answer 3

Another approach:

Reflection of the right leg of the triangle and right edge of the square about the orange line results in their common vertex being reflected to the centre of the circle, therefore the radius is $s$.