Maths Olympiad Prep

Library / HMMT February /1221 of 1302

HMMT February, 2015

Geometry Difficulty 6.0 National Olympiad Prove it United States

Problem:
Let II be the set of points (x,y)(x, y) in the Cartesian plane such that

x>(y49+2015)1/4 x > \left( \frac{y^{4}}{9} + 2015 \right)^{1/4}

Let f(r)f(r) denote the area of the intersection of II and the disk x2+y2≤r2x^{2} + y^{2} \leq r^{2} of radius r>0r > 0 centered at the origin (0,0)(0,0). Determine the minimum possible real number LL such that f(r)<Lr2f(r) < L r^{2} for all r>0r > 0.

Solution

Solution:
π3\quad \frac{\pi}{3}

Let B(P,r)B(P, r) be the (closed) disc centered at PP with radius rr. Note that for all (x,y)∈I(x, y) \in I, x>0x > 0, and x>(y49+2015)1/4>∣y∣3x > \left( \frac{y^{4}}{9} + 2015 \right)^{1/4} > \frac{|y|}{\sqrt{3}}. Let I′={(x,y):x3>∣y∣}I' = \{ (x, y) : x \sqrt{3} > |y| \}. Then I⊆I′I \subseteq I' and the intersection of I′I' with B((0,0),r)B((0,0), r) is π3r2\frac{\pi}{3} r^{2}, so f(r)f(r), the area of I∩B((0,0),r)I \cap B((0,0), r), is also less than π3r2\frac{\pi}{3} r^{2}. Thus L=π3L = \frac{\pi}{3} works.

On the other hand, if x>∣y∣3+7x > \frac{|y|}{\sqrt{3}} + 7, then x>∣y∣3+7>((∣y∣9)4+74)1/4>(y49+2015)1/4x > \frac{|y|}{\sqrt{3}} + 7 > \left( \left( \frac{|y|}{9} \right)^{4} + 7^{4} \right)^{1/4} > \left( \frac{y^{4}}{9} + 2015 \right)^{1/4}, which means that if I′′={(x,y):(x−7)3>∣y∣}I'' = \{ (x, y) : (x-7) \sqrt{3} > |y| \}, then I′′⊆I′I'' \subseteq I'. However, for r>7r > 7, the area of I′′∩B((7,0),r−7)I'' \cap B((7,0), r-7) is π3(r−7)2\frac{\pi}{3}(r-7)^{2}, and I′′⊆II'' \subseteq I, B((7,0),r−7)⊆B((0,0),r)B((7,0), r-7) \subseteq B((0,0), r), which means that f(r)>π3(r−7)2f(r) > \frac{\pi}{3}(r-7)^{2} for all r>7r > 7, from which it is not hard to see that L=π3L = \frac{\pi}{3} is the minimum possible LL.

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.