Maths Olympiad Prep

Library / /1305 of 1394

, 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+y2r2x^{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>y3x > \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 III \subseteq I' and the intersection of II' with B((0,0),r)B((0,0), r) is π3r2\frac{\pi}{3} r^{2}, so f(r)f(r), the area of IB((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>y3+7x > \frac{|y|}{\sqrt{3}} + 7, then x>y3+7>((y9)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):(x7)3>y}I'' = \{ (x, y) : (x-7) \sqrt{3} > |y| \}, then III'' \subseteq I'. However, for r>7r > 7, the area of IB((7,0),r7)I'' \cap B((7,0), r-7) is π3(r7)2\frac{\pi}{3}(r-7)^{2}, and III'' \subseteq I, B((7,0),r7)B((0,0),r)B((7,0), r-7) \subseteq B((0,0), r), which means that f(r)>π3(r7)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,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.