Maths Olympiad Prep

Library / /353 of 377

Geometry Difficulty 5.8 AIME, harder Prove it United States

Problem:

Let O,O1,O2,O3,O4O, O_{1}, O_{2}, O_{3}, O_{4} be points such that O1,O,O3O_{1}, O, O_{3} and O2,O,O4O_{2}, O, O_{4} are collinear in that order, OO1=1O O_{1}=1, OO2=2O O_{2}=2, OO3=2O O_{3}=\sqrt{2}, OO4=2O O_{4}=2, and O1OO2=45\measuredangle O_{1} O O_{2}=45^{\circ}. Let ω1,ω2,ω3,ω4\omega_{1}, \omega_{2}, \omega_{3}, \omega_{4} be the circles with respective centers O1,O2,O3,O4O_{1}, O_{2}, O_{3}, O_{4} that go through OO. Let AA be the intersection of ω1\omega_{1} and ω2\omega_{2}, BB be the intersection of ω2\omega_{2} and ω3\omega_{3}, CC be the intersection of ω3\omega_{3} and ω4\omega_{4}, and DD be the intersection of ω4\omega_{4} and ω1\omega_{1}, with A,B,C,DA, B, C, D all distinct from OO. What is the largest possible area of a convex quadrilateral P1P2P3P4P_{1} P_{2} P_{3} P_{4} such that PiP_{i} lies on OiO_{i} and that A,B,C,DA, B, C, D all lie on its perimeter?

Solution

Solution:

Answer: 8+428+4 \sqrt{2}

We first maximize the area of triangle P1OP2P_{1} O P_{2}, noting that the sum of the area of P1OP2P_{1} O P_{2} and the three other analogous triangles is the area of P1P2P3P4P_{1} P_{2} P_{3} P_{4}. Note that if AP1,P2A \neq P_{1}, P_{2}, without loss of generality say OAP1<90\angle O A P_{1}<90^{\circ}. Then, OO1P1=2OAP1\angle O O_{1} P_{1}=2 \angle O A P_{1}, and since OAP2=180OAP1>90\angle O A P_{2}=180^{\circ}-\angle O A P_{1}>90^{\circ}, we see that OO2P2=2OAP1\angle O O_{2} P_{2}=2 \angle O A P_{1} as well, and it follows that OO1P1OO2P2O O_{1} P_{1} \sim O O_{2} P_{2}. This is a spiral similarity, so OO1O2OP1P2O O_{1} O_{2} \sim O P_{1} P_{2}, and in particular P1OP2=O1OO2\angle P_{1} O P_{2}=\angle O_{1} O O_{2}, which is fixed. By the sine area formula, to maximize OP1OP2O P_{1} \cdot O P_{2}, which is bounded above by the diameters 2(OO1)2(O O_{1}), 2(OO2)2(O O_{2}). In a similar way, we want P3,P4P_{3}, P_{4} to be diametrically opposite O3,O4O_{3}, O_{4} in their respective circles.

When we take these PiP_{i}, we indeed have AP1P2A \in P_{1} P_{2} and similarly for B,C,DB, C, D, since OAP1=OAP2=90\angle O A P_{1}=\angle O A P_{2}=90^{\circ}. To finish, the area of the quadrilateral is the sum of the areas of the four triangles, which is

122222(12+22+22+21)=8+42. \frac{1}{2} \cdot \frac{\sqrt{2}}{2} \cdot 2^{2} \cdot (1 \cdot 2 + 2 \cdot \sqrt{2} + \sqrt{2} \cdot 2 + 2 \cdot 1) = 8 + 4 \sqrt{2}.

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.