I recently came across a question that went something like this:
In a triangle with vertices (0,0), (6,0), (2,4) an ellipse is inscribed such that it has the largest area. Now it is dilated, that is zoomed in, or enlarged while keeping it's center as well as orientation fixed, so that the new ellipse trisects the sides of the triangle. So what is the ratio of the lengths of the major axes of the new ellipse to the previous one?
And here is what I could gather from what I knew:
The inscribed ellipse or 'inellipse' of the largest area that can be inscribed in a triangle is known as the Steiner inellipse
and many of it's properties are known. The properties that might help us here are that it is tangent to the triangle sides at it's midpoints, the lengths of it's axes can be determined by the formula (g = semi major axis length, h = semi minor axis length)
$${g=\sqrt{a^2+b^2+c^2+2Z}/6}$$
$${h=\sqrt{a^2+b^2+c^2-2Z}/6}$$
where
$${Z=\sqrt{a^4+b^4+c^4-(ab)^2-(bc)^2-(ca)^2}}$$
and the centroid of the triangle is it's center.
So now we can find the two foci of the ellipse by the concept that the angle bisector of the angle formed by the normal and the tangent to the ellipse at point passes through the focus.
So we simply find the angle bisectors at the 3 points of tangency, because we know the equations of the tangent's and normal there, and then find the intersection points of these 3 angle bisectors.
They will thus determine 2 points which are the foci of the inellipse. So the line joining them must be the major axis of the ellipse.
Now when we extend the ellipse to make it trisect the 3 sides of the triangle it passes through 6 known points, and we know of a way
to find the equation of a unique ellipse given 5 points of the ellipse. From here we can find out the equation of the new ellipse, and it's major axis will be the same line as the major axis of the previous ellipse because we have only dilated it, keeping orientation fixed.
But we already know the equation of the major axis of the previous ellipse. So we solve the equation of the second ellipse and the equation of the major axis to get the coordinates of the vertices of the ellipse. Thus we know the length of the major axis of the new ellipse as well.
Now we have to find the ratio of these 2 lengths.
However this is only what I have thought of doing, and I know that it is perfectly okay and will work, but could someone please tell me a better approach of trying this problem. Because although I know how to do it, implementing it manually would be no mean task, and certainly not doable in any examination hall. So a better and shorter method is highly solicited from you all, probably using any minute observation that may be useful and that I am missing.
Thanks in advance for the help!
Best Answer
We take as given that the area-maximizing inellipse is the Steiner inellipse, which is tangent to the triangle's sides at their respective midpoints. We also take as given that any triangle even has a side-trisecting ellipse, and that this ellipse is a dilation of the Steiner inellipse with respect to its center (which coincides with the triangle's centroid). We note, therefore, that the latter indicates that the question's goal of the ratio of major axes is merely the dilation factor.
Now, I gave the short version of my argument as a comment to the question.
I'll explain in a bit more depth here.
An affine transformation moves points around in the plane (or space) under specific rules. In particular, (1) collinear points move to collinear points; (2) tangent curves move to tangent curves, and (3) ratios of lengths between collinear points match ratios of lengths between corresponding moved points.
We can see these rules in play when we observe that an affine transformation can move the vertices of any triangle onto the vertices of another. Consequently, under such a transformation, by (1), the sides of the original triangle move onto the sides of the target; and, by (3), the midpoints of the original sides (defined by the ratio $1/2$) move to midpoints of the targets sides, and side-trisecting points (ratio $1/3$ and/or $2/3$) move to side-trisecting points. Moreover, again by (1), original medians move to target medians, and thus also the original triangle's centroid moves to the target triangle's centroid.
We have more: The original triangle's Steiner inellipse moves to the target triangle's Steiner inellipse; this is because midpoints move to midpoints, tangent curves move to tangent curves, and we're told that the Steiner inellipse is the ellipse tangent to a triangle's sides at their respective midpoints. Further, the original triangle's side-trisecting ellipse moves to the target triangle's side-trisecting ellipse.
Now, here's the kicker: We're told that the side-trisecting ellipse is a dilation of the Steiner inellipse in the triangle's centroid $O$; that is, for any point $P$ on the inellipse, and $P^\prime$ is where $\overrightarrow{OP}$ meets the trisecting ellipse, then $|\overline{OP^\prime}|/|\overline{OP}|$ is some constant, the dilation factor. But ... affine transformations preserve centroids (such as $O$); and they preserve ratios of lengths of between collinear points (such as, say, $O$, $P$, $P^\prime$); therefore, affine transformations preserve the dilation factor between Steiner inellipses and side-trisecting ellipses! That is to say:
We take advantage of this by computing the factor in the most-convenient of cases: the equilateral triangle.
In an equilateral triangle (of side-length, say, $6s$), the Steiner inellipse is the incircle, with radius $s \sqrt{3}$. The side-trisecting ellipse is a circle of radius $2 s$. Therefore,