Maths Olympiad Prep

Library / CGMO /3 of 14

CGMO, 2024

Geometry Difficulty 5.8 AIME, harder Prove it China

Find the maximum possible area of a right-angled triangle that can be covered by two closed disks of radius 11.

Solution

Proof. Let the right triangle be △ABC\triangle ABC with ∠C=90∘\angle C = 90^\circ. In this solution, the interior of a triangle or a circle includes its boundary.
Let ω1\omega_1 and ω2\omega_2 be the circumferences of two closed disks with radius 11, such that every point inside △ABC\triangle ABC lies in the interior of ω1\omega_1 or in the interior of ω2\omega_2. The distance between any two points within the same disk does not exceed 22.
Consider the assignment of the three vertices AA, BB, and CC.
If AA and BB lie in the same disk, then the length of the hypotenuse ∣AB∣≤2|AB| \le 2, and the area S≤14∣AB∣2=1S \le \frac{1}{4}|AB|^2 = 1.
If AA and BB do not lie in the same disk, assume AA lies inside ω1\omega_1 and BB lies inside ω2\omega_2. Without loss of generality, let the right-angled vertex CC lie inside ω1\omega_1. Since BB lies outside ω1\omega_1, the line segment CBCB intersects the circumference ω1\omega_1 at a unique point MM. The point MM divides CBCB into two segments CMCM and MBMB, where CMCM lies inside ω1\omega_1, and MBMB (excluding the endpoint MM) lies outside ω1\omega_1 and must therefore lie inside ω2\omega_2. Consequently, the endpoint MM also lies inside ω2\omega_2.
Since both MM and AA lie inside ω1\omega_1, we have ∣MA∣≤2|MA| \le 2; similarly, since both MM and BB lie inside ω2\omega_2, we have ∣MB∣≤2|MB| \le 2.

Figure 1

On the other hand, let NN be the foot of the perpendicular from MM to ABAB. The circle with diameter MAMA covers △BMN\triangle BMN, and the circle with diameter MBMB covers the quadrilateral ACMNACMN. Thus, these two disks together cover △ABC\triangle ABC. Therefore, the problem reduces to finding a point MM on the side BCBC such that ∣MA∣,∣MB∣≤2|MA|, |MB| \le 2.
Let ∣MC∣=x|MC| = x and ∣AC∣=y|AC| = y. Then x2+y2=∣MA∣2≤4x^2 + y^2 = |MA|^2 \le 4, and
2S=∣BC∣⋅∣AC∣≤(2+x)y≤(2+x)4−x2. 2S = |BC| \cdot |AC| \le (2+x)y \le (2+x)\sqrt{4-x^2}.
4S2≤(2+x)2(4−x2)=(2+x)3(2−x)=27×(2+x3)3(2−x)≤27×(44)4=27. 4S^2 \le (2+x)^2(4-x^2) = (2+x)^3(2-x) = 27 \times \left(\frac{2+x}{3}\right)^3 (2-x) \le 27 \times \left(\frac{4}{4}\right)^4 = 27.

Thus, S≤332S \le \frac{3\sqrt{3}}{2}. Equality holds when x=1x = 1 and y=3y = \sqrt{3}, corresponding to the side lengths AC=3AC = \sqrt{3}, BC=3BC = 3, and AB=23AB = 2\sqrt{3}, with the point MM on BCBC satisfying MC=1MC = 1 and MB=MA=2MB = MA = 2. In this case, △ABC\triangle ABC can be covered by two closed disks of radius 11 (i.e., the disks with diameters MBMB and MAMA), fulfilling the requirement.
Therefore, the maximum possible area of the right triangle is 332\frac{3\sqrt{3}}{2}. □\square

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

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