If we have a triangle of sides $a,b,c$, there are infinite ellipsis inscribed in the triangle. How can I find that having the maximum area? Is this ellipse the circle, or in what cases the maximum area ellipse is the circle? Thanks.
[Math] Find the ellipse inscribed in a triangle having the maximum area
geometryoptimization
Related Solutions
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.)
Let a triangle be inscribed in a unit circle, and let $A$ and $B$ mark two vertices. Let $\theta$ be half the length of the arc connecting $A$ and $B$, and let $\ell$ be the length of the chord, you have that from elementary trigonometry
$$ \ell / 2 = \sin (\theta) $$
Now let $\theta_1, \theta_2, \theta_3$ be half the lengths of the three arcs demarcated by the vertices of the triangle, from the above we have that the perimeter is equal to
$$ 2 \left[ \sin (\theta_1) + \sin(\theta_2) + \sin(\theta_3) \right] $$
and we know that
$$ \theta_1 + \theta_2 + \theta_3 = \pi $$
while
$$ \theta_1, \theta_2, \theta_3 \in [0,\pi] $$
Now from the fact that $\sin$ is a concave function on $[0,\pi]$, we have that the perimeter is equal to
$$ 6 * \frac13 \left[ \sin(\theta_1) + \sin(\theta_2) + \sin(\theta_3) \right] \leq 6 * \sin (\pi / 3) $$
by Jensen's inequality, with the optimum (being the case of the equality) holding when $\theta_1 = \theta_2 = \theta_3$.
Best Answer
One way to solve this problem is using affine transform, i.e transformation of the form:
$$\mathbb{R}^2 \ni (u,v)\quad\mapsto\quad (x,y) \in\mathbb{R}^2 \;\;\text{ with}\;\; \begin{cases}x &= a u + b v + c\\y &= du + ev + f\end{cases}$$ where $a,b,c,d,e,f \in \mathbb{R}$ subject to the constraint $\Delta = ae - bd \ne 0$.
The key properties that we need to use are
Several geometric relationships are invariant under affine transform. e.g.
This means given any triangle $T$, the problem of finding the largest ellipse (in sense of area) inside $T$ can be solved as follows:
To identify $E_{max} = \phi^{-1}(C_{in})$ geometrically, we use following fact:
By 4. we know $E_{max}$ will be an ellipse tangent to the mid points of the three sides. Since each point tangent to a side is equivalent to specify two points on a curve and 5 points is enough to completely specify a conic. We have more than enough to fully specify $E_{max}$.
Such an ellipse is called the Steiner inellipse of triangle $T$. For other interesting geometric properties of it, please consult the wiki pages and the references there.
There is one loose end to close, that is the assertion that
To show this, we use 2. again. For any ellipse $E'$ in $T'$, there is always an affine transform $\psi$ which send $E'$ to the unit circle $C$. Let $T'' = \psi(T')$. Since $$\frac{\text{Area}(E')}{\text{Area}(T')} = \frac{\text{Area}(C)}{\text{Area}(T'')}$$ The problem of finding the largest $E'$ inside $T'$ is equivalent to finding the smallest triangle $T''$ that encloses the unit circle $C$.
If $T''$ is the smallest triangle, it is obvious its three sides are tangent to the unit circle $C$. Let $2\alpha, 2\beta, 2\gamma$ be the three angles of $T''$. It is clear they satisfy following constraint
$$0 < \alpha, \beta, \gamma \quad\text{ and }\quad \alpha+\beta+\gamma = \frac{\pi}{2}\tag{*1}$$ and the area of $T''$ is given by
$$\text{Area}(T'') = \cot(\alpha) + \cot(\beta) + \cot(\gamma) \tag{*2}$$
Notice $\cot(\theta)$ is a strictly convex function in $\theta$. By Jensen's inequality, the configuration that minimize $(*2)$ subject to constraint $(*1)$ are those where $\alpha = \beta = \gamma$. This implies $T''$ is an equilateral triangle and hence $\psi$ is simply a scaling transform.
As a corollary, the largest ellipse $E'$ inside $T'$ is the in-circle.