Maths Olympiad Prep

Library / /3 of 15

, 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 AB2|AB| \le 2, and the area S14AB2=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 MA2|MA| \le 2; similarly, since both MM and BB lie inside ω2\omega_2, we have MB2|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,MB2|MA|, |MB| \le 2.
Let MC=x|MC| = x and AC=y|AC| = y. Then x2+y2=MA24x^2 + y^2 = |MA|^2 \le 4, and
2S=BCAC(2+x)y(2+x)4x2. 2S = |BC| \cdot |AC| \le (2+x)y \le (2+x)\sqrt{4-x^2}.
4S2(2+x)2(4x2)=(2+x)3(2x)=27×(2+x3)3(2x)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, S332S \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.