[Math] Maximize the area of the inscribed triangle

euclidean-geometrygeometryoptimization

Problem

Try to determine the maximum area of the inscribed equilateral triangle of a ellipse with semi-major axis $a$ and semi-minor axis $b$.

Thoughts

Suppose the equilateral triangle is $\triangle ABC$. If we set $A=(a\sin\alpha,b\cos\alpha),B=(a\sin\beta,b\cos\beta),C=(a\sin\gamma,b\cos\gamma)$, we'll get a trigonometrical equation (which constrains that $\triangle ABC$ is equilateral) comprising three variables and very painful.

If we fix $A$ and try to solve out the coordinate of $B,C$, an fourth-degree equation will come out. It seems that there's some $A$ such that there exist four different pairs $(B,C)$.

A possible way: Fix $\triangle ABC$, say $A=(r,0),B=(-r/2,r\sqrt3/2),C=(-r/2,-r\sqrt3/2)$, and try to find out the relationship between the semi-major axis and semi-minor axis of circumscribed ellipse.

Any help? Thanks!

Best Answer

Let the ellipse be in standard position, with (fraction-free) equation $$b^2 x^2 + a^2 y^2 = a^2 b^2$$ Let our equilateral triangle have circumcenter $(p,q)$ and circumradius $r$. Note that maximizing the area of the triangle is equivalent to maximizing $r$.

For some angle $\theta$ ---actually, for three choices of $\theta$--- the vertices of the triangle have coordinates $$ (p,q) + r \; \mathrm{cis}\theta \qquad (p,q)+r\;\mathrm{cis}\left(\theta+120^{\circ}\right) \qquad (p,q) + r\;\mathrm{cis}\left(\theta-120^{\circ}\right) $$ where I abuse the notation "$\mathrm{cis}\theta$" to indicate the vector $(\cos\theta,\sin\theta)$.

Substituting these coordinates into the ellipse equation gives a system of three equations in four parameters $p$, $q$, $r$, $\theta$. I used Mathematica's Resultant[] function to help me eliminate $r$ and $\theta$, arriving at a huge polynomial equation in $p$ and $q$. One factor of the polynomial gives rise to this equation: $$p^2 b^2\left( a^2+3b^2 \right)^2 + q^2 a^2\left(3a^2+b^2\right)^2= a^2b^2\left(a^2-b^2\right)^2$$ This says that the family of circumcenters $(p,q)$ lie on their own ellipse! We can therefore write $$p = \frac{a\left(a^2-b^2\right)}{a^2+3b^2}\cos\phi \qquad q = \frac{b\left(a^2-b^2\right)}{3a^2+b^2}\sin\phi$$ for some $\phi$. Back-substituting into the system of equations gives this formula for $r$: $$r = \frac{4 a b \sqrt{a^2\left(a^2+3b^2\right)^2-\left(a-b\right)^3\left(a+b\right)^3 \cos^2\phi}}{\left(a^2 + 3 b^2\right)\left(3a^2+b^2\right)}$$ The maximum value, $R$, is attained when $\cos\phi = 0$, so $$R := \frac{4a^2b}{3a^2+b^2}$$

The area of the maximal triangle is $$\frac{3\sqrt{3}}{4}R^2 = \frac{12a^4 b^2\sqrt{3}}{\left(3a^2+b^2\right)^2}$$

Perhaps-unsurprisingly, the corresponding triangles are centered horizontally within the ellipse, with a vertex at either the top or bottom of the minor axis.


Now, I should point out that my big $pq$ polynomial has other factors, namely, $p$ itself, $q$ itself, and a giant I'll call $f$.

One can verify that the cases $p=0$ and $q=0$ lead to the same results as above. (Specifically, they correspond to the respective cases $\cos\phi=0$ and $\sin\phi=0$.) Intuitively, if a circle's center lies on an axis of the ellipse, then the points of intersection with the ellipse have reflective symmetry over that axis. If there are four distinct points (or two, or none), then we cannot choose three to be the vertices of our equilateral triangle; consequently, there must be only three points of intersection, with one of them on the axis, serving as the point of tangency for the circle and ellipse.

As for the case $f=0$ ... I'll just irresponsibly call it extraneous. (The method of resultants tends to spawn such things.)