Cool, but can you also prove that is the biggest triangle you can fit in there?
Edit: An answer of my own
Let the square be oriented so that one edge is along x and the other along y with x and y unit vectors.
Let the triangle consists of points A, B and C, and therefor of sides AB, AC and BC
Observe that if a triangle does not have all it's corners on the edges of the square, it is possible to translate and rotate the triangle so that only 1 corner is on an edge and then expand the edges of the triangle until one other point ends up on an edge of the square. Repeating this, one eventually ends up with all 3 corners on the square's edges (messy, this may need better proof)
We are then looking for a triangle with a projection along x equal to n and a projection along the y axis equal to n.
Observe that if there is no corner on the side of the square oriented along y, it is possible to rotate the square so that there is a corner on that side. Therefor we can start with point A on the side oriented along y.
We now define AB as starting on A and being at an angle t with x. This means that AC starts at A and is at an angle t+60 with x.
The projection of AB along x is |AB| cos t and it's projection along y is |AB| sin t. Likewise, the projections of AC are |AC| cos t+60 and |AC| sin t+60
Since the triangle is equilateral, |AB| = |AC| = s
Since all three corners of the triangle are on the square's edges, the projection of AB or AC on x must be n. The same holds for the projection on y. (remember we can always reorient and relable the triangle to turn BC[\i] int AB[\i] or AC[\i], so we do not consider it here)
s cos t > s cos t+60 and s sin t < s sin t+60, so
s cos t = n = s sin t+60
cos t = sin t+60
Since 0 <= t <= 90, t = 15 degrees
Now, since the projections of AB and AC are n, A must be at a corner of the square, but also at |x| = 0. Additionally, since we defined t to be positive, this must be the lower corner, meaning that A must be on the origin.