# Find the maximum area possible of equilateral triangle that inside the given square

How can I find the maximum area possible of equilateral triangle that inside a square whose sides have length a.
And how does that triangle look like? Can we construct it (with compass and straightedge)?

• It must be the equilateral triangle with one vertex at a corner of the square, and the other two vertices on the sides of the square not adjacent to that corner. It should be easy to compute all the lengths and angles of the resulting figure, and then to decide whether they are compass-and-straightedge constructible. Commented Aug 25, 2011 at 6:13
• How to prove that? Commented Aug 25, 2011 at 6:25
• General case: math.stackexchange.com/questions/1028600 Commented Jan 27, 2017 at 19:16
• @Watson, that one's a triangle containing a square; this one's a square containing a triangle. Commented Jan 28, 2017 at 4:19
• Commented Apr 8, 2021 at 8:20

The last paragraph at the Mathworld piece on equilateral triangles gives the answer, and cites Madachy, J. S. Madachy's Mathematical Recreations. New York: Dover, pp. 115 and 129-131, 1979.

EDIT (in response to request from Taha Akbari for more detail): Let the square have horizontal and vertical sides. Consider an equilateral triangle with one vertex at the lower left corner, $A$, of the square, and one vertex at the upper left corner, $B$, of the square, and the third vertex, $Z$, inside the square. Now consider moving the triangle vertex at $B$ to the right, toward the upper right corner, $C$, of the square, while moving $Z$ so as to keep the triangle equilateral. This increases the area of the triangle, since it increases the length of the side of the triangle, since the second vertex, $X$, of the triangle is moving away from the first vertex of the triangle.

Eventually, the triangle vertex $Z$ lies on the right side of the square, and you can't move $X$ any farther right without pushing $Z$ outside the square, so you've made the triangle as large as possible. Now the question is, why are the angles $BAX$ and $ZAD$ 15 degrees (where $D$ is the lower right corner of the square)?

The triangles $BAX$ and $ZAD$ are congruent, since $BA=AD$, $AX=AZ$, and the angles at $B$ and $D$ are equal. So the angles $BAX$ and $ZAD$ are equal. But they, together with the 60 degree angle $XAZ$, add up to the 90 degree angle $BAD$. So, they measure 15 degrees.

• This is also in Madachy, J. S., Mathematics on Vacation, p. 130, 1966. Commented Aug 29, 2016 at 16:01
• from where did they get 15 degrees? Commented Jan 27, 2017 at 20:48
• @exc, $15=(1/2)(90-60)$, where 90 is for the square, 60 is for the triangle, and 1/2 is for symmetry. Commented Jan 28, 2017 at 4:16
• @GerryMyerson But you considered one vertex of the triangle same as one vertex of the square but maybe the case that all of them are on the sides makes a bigger area. Commented Feb 7, 2017 at 13:52
• @Taha, if all three vertices are on sides then you can slide the whole triangle toward the fourth side until one triangle vertex is in a corner of the square. This proves you can do at least as well with a triangle and square vertex coinciding as you can without. By the way, have you had a look at the Madachy book? Commented Feb 7, 2017 at 21:35

The answer is 15° so stop here if you want to have a go at the proof (not given by the Mathworld link); it's basically trigonometry. I give it here because the result was needed by a friend for making furniture. It's best to start with a good diagram (to be added) but for now imagine a square with side length $A$ containing an equilateral triangle (also of side length $A$) with a horizontal base. The tip of the triangle will not touch the top of the square, but if it is rotated anticlockwise about the origin (at the bottom left) and the base is extended as $H$, the tip will touch the top after rotation $\theta$.

This creates three triangles outside the main triangle. For the one below we have: $$O=H\sin{\theta}$$ For the one to the right we have (for the lowest angle $\phi$): $$\phi=180°-60°-(90°-\theta)=30°+\theta=\frac{\pi}{6}+\theta$$ $$H\cos(\theta+\frac{\pi}{6})=A-O=A-H\sin\theta$$ $$\cos(\theta+\frac{\pi}{6})=\frac{A}{H}-\sin\theta$$ Using the cosine sum identity this yields: $$\cos\theta\cos\frac{\pi}{6}-\sin\theta\sin\frac{\pi}{6}=\frac{A}{H}-\sin\theta$$ Substituting $\cos\theta$ for $A/H$ and rearranging gives: $$\sin\theta=(2-\sqrt{3})\cos\theta$$ $$\theta=\tan^{-1}(2-\sqrt{3})=\frac{\pi}{12}=15°$$

EDIT The area of an equilateral triangle $A_T$ is: $$A_T=\frac{\sqrt{3}}{4}H^2$$ For our case the side length $H$ is: $$H=\frac{A}{\cos(15°)}$$ Therefore: $$A_T=\frac{\sqrt{3}}{4}\times\frac{(2\sqrt{2})^2A^2}{(1+\sqrt{3})^2}=\frac{2\sqrt{3}A^2}{4+2\sqrt{3}}=\frac{\sqrt{3}A^2}{2+\sqrt{3}}$$

• Sure, but where is the area ? Commented Feb 4, 2017 at 16:14
• @HandeBruijn Thanks, must read the question! Since OP prefers no trigonometry I'll give this.
– user301988
Commented Feb 4, 2017 at 23:09

The story of why we know that the largest equilateral triangle inscribed in a square is positioned as shown below, can be found in a video here. Just press the green button marked "Video".

I don't know if Taha Akbari is interested in the other part of the OP question, namely "Can we construct it (with compass and straightedge)?", but I found it interesting. And the answer is yes. It takes $3$ basic steps:

1. Construct a $30^\circ$ angle from a corner of the square

See here for an animated version of how this is done. The end result is shown below.

1. Construct the bisector of the $30^\circ$ angle

See here for an animated version of how this is done. The end result is shown below.

1. Construct the rest of the equilateral triangle

a. The intersection of the line BF with the side of the square gives the point G. The line BG is one side of the triangle.

b. Construct the perpendicular bisector of BG using the intersection points of circles at B and G. Point J, which is the intersection of the bisector with the square, provides the last point of the equilateral triangle $\triangle BGJ$.

Already there are number of solutions in this thread. I'll try to clarify Taha Akbhari's question on how we get that $15$ degrees via a different approach. But first lets call this angle as $\theta$.

The problem can be formulated as follows,

$$\max ~~\frac{\sqrt(3)}{4} (a^2 + y^2), \\ \text{subject to}: ~ (x-a)^2 + (y-a)^2 = a^2 + y^2 = x^2 + a^2 \\ 0 \leq x,y \leq a,$$

where WLOG $(0,0), (x,a)$ and $(a,y)$ are the points of vertices of the equilateral triangle inscribed in the square of side $a$. (Exercise: If one of the vertices of the triangle is strictly inside the square then the area of this new triangle is not the maximum possible.)

So simplifying out the constraints one gets, $$x = y \\ x^2 - 4ax + a^2,$$ which yields us with the solution $x=y=2-\sqrt(3)$.

So $\tan(\theta) = 2-\sqrt(3)$. From https://www.algebra.com/algebra/homework/Trigonometry-basics/Trigonometry-basics.faq.question.207450.html, $\theta = 15^{\circ}$.

Simplified construction of the triangle:

Draw the diagonal $AC$ and the arcs through $B$ centred on $A$ and through $A$ centred on $B$. The arcs intersect at point $D$ and the arc-diagonal intersection is at point $E$. Draw a circle centred on $D$ through $E$, finding $F$ as the other intersection with the arc.

Draw the line $AF$ and extend to $G$ on the side of the square. Draw an arc centred on $C$ (or $A$) through $G$ to find $H$ as the other intersection with the square. $\triangle AGH$ is the desired triangle.

($\triangle ADB$ is equilateral and $\angle BAC = 45°$ thus $\angle EAD = 15°$ so also $\angle DAF = 15°$.)

Based on my answer to the question Finding the largest equilateral triangle inside a given triangle, I present the following solution:

1. Draw the diagonal BD, and draw circles with radius BD at both ends.

1. Mark E, the intersection of the two circles, and draw intervals EB and ED.

1. Draw a line parallel to EB through A, marking the intersection with CD at F. Draw a line parallel with ED through A, marking the intersection with BC at G. Then join F to G.

1. Shade $\triangle$AFG, the required equilateral triangle.

The proof is elementary, since $\triangle$BDE is equilateral, and corresponding angels between parallel lines are equal.