Maths Olympiad Prep

Library / /27 of 44

Geometry Difficulty 5.8 AIME, harder Prove it Slovenia

Let K\mathcal{K} be a circle with centre OO and radius rr. What is the upper bound for the length of OT|OT| given that TT is the point in the plane such that there exists an equilateral triangle ABTABT, where AA and BB lie on the circle K\mathcal{K}?

Solution

Let MM be the intersection of the segments OTOT and ABAB. Then OT=OM+MT|OT| = |OM| + |MT|. Write AB=AT=BT=a|AB| = |AT| = |BT| = a. We know that ABOTAB \perp OT. By Pythagoras' theorem we have OM=r2BM2=r2a24|OM| = \sqrt{r^2 - |BM|^2} = \sqrt{r^2 - \frac{a^2}{4}} and MT=a2a24=3a2|MT| = \sqrt{a^2 - \frac{a^2}{4}} = \frac{\sqrt{3}a}{2}. We can now find an upper bound for OT|OT| by using the inequality between the arithmetic and the quadratic mean (the A-G inequality):
OT=OM+MT=r2a24+3a2=r2a24+3a6+3a6+3a64(r2a24)+a212+a212+a2124=4r2=2r. \begin{aligned} |OT| &= |OM| + |MT| \\ &= \sqrt{r^2 - \frac{a^2}{4}} + \frac{\sqrt{3}a}{2} \\ &= \sqrt{r^2 - \frac{a^2}{4}} + \frac{\sqrt{3}a}{6} + \frac{\sqrt{3}a}{6} + \frac{\sqrt{3}a}{6} \\ &\le 4\sqrt{\frac{(r^2 - \frac{a^2}{4}) + \frac{a^2}{12} + \frac{a^2}{12} + \frac{a^2}{12}}{4}} \\ &= \sqrt{4r^2} = 2r. \end{aligned}
We have shown that OT2r|OT| \le 2r, so now we must only check if the equality can hold. The equality in the A-G inequality holds when all four terms are the same, i.e. when r2a24=3a6    a=r3\sqrt{r^2 - \frac{a^2}{4}} = \frac{\sqrt{3}a}{6} \iff a = r\sqrt{3}. Since a=ABa = |AB| can reach any value from the interval (0,2r](0, 2r], the equality holds exactly when TATA and TBTB are tangents to the circle K\mathcal{K}.

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.