Maths Olympiad Prep

Library / Putnam /50 of 60

Putnam

Geometry Difficulty 8.2 Shortlist Find the answer

Determine all real numbers a>0a > 0 for which there exists a nonnegative continuous function f(x)f(x) defined on [0,a][0,a] with the property that the region R={(x,y);0≤x≤a,0≤y≤f(x)} R = \{ (x,y) ; 0 \le x \le a, 0 \le y \le f(x) \} has perimeter kk units and area kk square units for some real number kk.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The answer is {a ∣ a>2}\{a\,|\,a>2\}. If a>2a>2, then the function f(x)=2a/(a−2)f(x) = 2a/(a-2) has the desired property; both perimeter and area of RR in this case are 2a2/(a−2)2a^2/(a-2). Now suppose that a≤2a\leq 2, and let f(x)f(x) be a nonnegative continuous function on [0,a][0,a]. Let P=(x0,y0)P=(x_0,y_0) be a point on the graph of f(x)f(x) with maximal yy-coordinate; then the area of RR is at most ay0ay_0 since it lies below the line y=y0y=y_0. On the other hand, the points (0,0)(0,0), (a,0)(a,0), and PP divide the boundary of RR into three sections. The length of the section between (0,0)(0,0) and PP is at least the distance between (0,0)(0,0) and PP, which is at least y0y_0; the length of the section between PP and (a,0)(a,0) is similarly at least y0y_0; and the length of the section between (0,0)(0,0) and (a,0)(a,0) is aa. Since a≤2a\leq 2, we have 2y0+a>ay02y_0 + a > ay_0 and hence the perimeter of RR is strictly greater than the area of RR.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.