Maths Olympiad Prep

Library / /7 of 34

Algebra Difficulty 5.1 AIME, harder Prove it Romania

Let ff and gg be continuous real-valued functions on the closed unit interval [0,1][0, 1] such that f(x)g(x)4x2f(x)g(x) \ge 4x^2 for all xx in [0,1][0, 1]. Show that (at least) one of the integrals
01f(x)dx,01g(x)dx \int_{0}^{1} f(x) \, dx, \quad \int_{0}^{1} g(x) \, dx
has an absolute value greater than or equal to 11.

Solution

The functions ff and gg vanish at no point in the half-open interval (0,1](0, 1], so 01f(x)dx=01f(x)dx\left|\int_{0}^{1} f(x) \, dx\right| = \int_{0}^{1} |f(x)| \, dx and 01g(x)dx=01g(x)dx\left|\int_{0}^{1} g(x) \, dx\right| = \int_{0}^{1} |g(x)| \, dx. Consequently,
1=012xdx01f(x)g(x)dx=01f(x)g(x)dx01f(x)+g(x)2dx=12(01f(x)dx+01g(x)dx), \begin{aligned} 1 &= \int_{0}^{1} 2x \, dx \le \int_{0}^{1} \sqrt{f(x)g(x)} \, dx = \int_{0}^{1} \sqrt{|f(x)||g(x)|} \, dx \\ &\le \int_{0}^{1} \frac{|f(x)| + |g(x)|}{2} \, dx = \frac{1}{2} \left( \int_{0}^{1} |f(x)| \, dx + \int_{0}^{1} |g(x)| \, dx \right), \end{aligned}
and the conclusion follows.

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 and solution reproduced as published; topic and difficulty added by this site.