Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2022/paper-1/9/b/solution

Introduce a constant Lagrange multiplier for this isoperimetric constraint and make stationary. Its integrand is , so the Euler-Lagrange equation gives
The endpoint conditions therefore force a parabola . Its area and budget are
Solving the quadratic and choosing positive area gives
This requires ; no positive-area barrier is possible for a nonpositive budget. The corresponding multiplier is .
To verify a global maximum rather than just stationarity, use the sharp area-cost bound for a barrier with fixed endpoints. For , integration by parts gives , and . The Cauchy-Schwarz inequality implies
For the last expression increases strictly, yielding exactly the boxed upper bound. Equality requires proportional to , hence after imposing the endpoints. Thus the displayed optimum is unique and lies above the baseline throughout the interior.

New to topics? Read the docs here!