Maths Olympiad Prep

Library / /206 of 462

Geometry Difficulty 5.7 AIME, harder Prove it Ireland

A square is inscribed in an acute-angled triangle such that two of its vertices lie on one side of the triangle and one of its vertices on each of the other two sides of the triangle. Prove that the largest such square is that with two of its vertices on the smallest side of the triangle.

Solution

Let DEFGDEFG be a square inscribed in ABC\triangle ABC as described in the problem, let AHAH be the altitude at AA and ha=AHh_a = |AH| its length. By aa, bb, cc we denote the lengths of the sides of ABC\triangle ABC in the usual way. Let xax_a denote the side length of the square if one of its sides lies on the side BCBC of the triangle (see figure below). Similarly, xbx_b and xcx_c are the side lengths of the rectangles in the two other cases.

Figure 1

From similar triangles we obtain
BExa=BHhaandFCxa=HCha \frac{|BE|}{x_a} = \frac{|BH|}{h_a} \quad \text{and} \quad \frac{|FC|}{x_a} = \frac{|HC|}{h_a}
This implies
a=BE+xa+FC=xaha(BH+HC)+xa=axaha+xa=(1+aha)xa a = |BE| + x_a + |FC| = \frac{x_a}{h_a} (|BH| + |HC|) + x_a = \frac{a x_a}{h_a} + x_a = \left(1 + \frac{a}{h_a}\right) x_a
and so, letting Δ=12aha\Delta = \frac{1}{2} a h_a denote the area of ABC\triangle ABC,
xa=ahaa+ha=2Δa+ha=2aΔa2+2Δ x_a = \frac{a h_a}{a + h_a} = \frac{2\Delta}{a + h_a} = \frac{2a\Delta}{a^2 + 2\Delta}
xb=2bΔb2+2Δ x_b = \frac{2b\Delta}{b^2 + 2\Delta}
Now we prove that b>ab > a implies xa>xbx_a > x_b. Because 0<γ=ACB<1800 < \gamma = \angle ACB < 180^\circ (actually γ<90\gamma < 90^\circ), we have 0<sin(γ)<10 < \sin(\gamma) < 1. If we assume b>ab > a, we obtain ba>(ba)sin(γ)b - a > (b - a) \sin(\gamma) from which we get the following inequalities
1a+bsin(γ)>1b+asin(γ)2aΔa2+2Δ>2bΔb2+2Δ=xb. \begin{aligned} \frac{1}{a + b \sin(\gamma)} &> \frac{1}{b + a \sin(\gamma)} \\ \frac{2a\Delta}{a^2 + 2\Delta} &> \frac{2b\Delta}{b^2 + 2\Delta} = x_b. \end{aligned}
This shows that b>ab > a implies xa>xbx_a > x_b, hence the square based on the smallest side of the triangle ABCABC is the largest. The calculation also shows that γ=90\gamma = 90^\circ implies xa=xbx_a = x_b. In this case F=CF = C.

Figure 1

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.