Find area of the largest possible equilateral triangle inscribed in an isosceles triangle

geometrytrianglestrigonometry

Assume that $ΔABC$ is an isosceles triangle with base of length 3, and sides of length 4.

The main question is:

What is the area of the largest equilateral triangle that can be inscribed in $ΔABC$?

And, if we find a value, how can we prove that it's the biggest possible value and there exists no other equilateral triangle inscribed in $ΔABC$ with a larger area?

(I know that for an equilateral triangle, having the largest area is the same as having the largest side length, but the main question is to find the numerical value of the largest area)

What I have done so far:

  1. I tried to play around with shapes in GeoGebra, in hope of finding an idea to solve the problem (something like using rotations, etc.). but it wasn't that helpful.
    geogebra_playaround

A problem is that the values on the image are not accurate, so I need a mathematical proof rather than only drawings, to show that a value is the largest one.

  1. I tried to draw the isosceles triangle on a xy-plane:

xyplane

(The height of the triangle is $\frac{\sqrt{55}}{2} \approx 3.7$ using the Pythagorean theorem)

First, I calculated line equation for each edge, then I chose 3 arbitrary points $P_1$ and $P_2$ on the sides (shown with $E$ and $D$ on the image) and $P_3$ on the base (point $F$ in the figure) with coordinates $(x_1, y_1)$, $(x_2, y_2)$ and $(x_3, y_3)$ respectively. Then I tried to rewrite $y_1$ and $y_2$ using $x$'s and the line equations. Then I used the formula for Euclidean distance and inserted $x$'s and $y$'s inside the formula and put each pair of distances in equation (since they are side lengths of an equilateral triangle). Eventually, I started to solve the equations and continue that way to establish a relation between the coordinates, however, it wasn't successful, or at least I wasn't able to derive any result.

Thanks in advance!

Best Answer

If we set (see your first figure) $BG=x$, $CG=3-x$, $\angle ABC=\angle ACB=\alpha$, $\angle CGI=\theta$, $GI=IH=HG=l$, then by the sine rule applied to triangles $GCI$ and $BGH$ we obtain: $$ {l\over\sin\alpha}={3-x\over\sin(\alpha+\theta)}={x\over\sin(60°+\theta-\alpha)}. $$ We can solve for $x$ to find: $$ x={3\over2}\left(1-{\tan(\alpha-30°)\over\tan(30°+\theta)} \right). $$ Substituting that into the expression for $l$ and differentiating one gets $$ {dl\over d\theta}=-{3\over2}{\sin\alpha\over\sin(60°+\theta-\alpha)} \big(1-\tan(\alpha-30°)\big)\cot(30°+\theta). $$ This vanishes only for $\theta=60°$, but that is a minimum (as one can deduce from the sign of $dl/d\theta$). Hence maxima are attained at the boundary values of $\theta$, which are the values for which $x=0$ or $x=3$, that is $\theta=\alpha-60°$ and $\theta=180°-\alpha$.

This gives as a maximum for $l$: $$ l_\max={3\sin\alpha\over\sin(2\alpha-60°)}. $$