Maths Olympiad Prep

Library / /20 of 23

Algebra Difficulty 6.4 National Olympiad Prove it Romania

Let f:[π2,π2]Rf : [-\frac{\pi}{2}, \frac{\pi}{2}] \to \mathbb{R} be a twice differentiable function such that
(f(x)f(x))tg(x)+2f(x)1,for any x(π2,π2). (f''(x) - f(x)) \cdot \operatorname{tg}(x) + 2 \cdot f'(x) \ge 1, \quad \text{for any } x \in (-\frac{\pi}{2}, \frac{\pi}{2}).

π2π2f(x)sinxdxπ2. \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} f(x) \cdot \sin x \, dx \geq \pi - 2.

Solution

Since cosx>0\cos x > 0 for any x(π2,π2)x \in (-\frac{\pi}{2}, \frac{\pi}{2}), the inequality in the statement can be written equivalently
(f(x)f(x))sinx+2f(x)cosxcosx,for any x(π2,π2), (f''(x) - f(x)) \cdot \sin x + 2 \cdot f'(x) \cdot \cos x \geq \cos x, \quad \text{for any } x \in (-\frac{\pi}{2}, \frac{\pi}{2}),
or g(x)0,x(π2,π2)g''(x) \ge 0, \forall x \in (-\frac{\pi}{2}, \frac{\pi}{2}), where g:[π2,π2]Rg: [-\frac{\pi}{2}, \frac{\pi}{2}] \to \mathbb{R} is the function defined by g(x)=f(x)sinx+cosx,x[π2,π2]g(x) = f(x) \cdot \sin x + \cos x, \forall x \in [-\frac{\pi}{2}, \frac{\pi}{2}].

Hence, the function gg is convex, so that
g(x)+g(x)2g(0)=1,for any x[π2,π2]. \frac{g(x) + g(-x)}{2} \geq g(0) = 1, \quad \text{for any } x \in [-\frac{\pi}{2}, \frac{\pi}{2}].
Because aah(x)dx=aah(x)dx\int_{-a}^{a} h(x) \, dx = \int_{-a}^{a} h(-x) \, dx holds for any integrable function and any a0a \ge 0, we have
π2π2g(x)dx=π2π2g(x)+g(x)2dxπ2π21dx=π. \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} g(x) \, dx = \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \frac{g(x) + g(-x)}{2} \, dx \geq \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} 1 \, dx = \pi.

π2π2f(x)sinxdx=π2π2(g(x)cosx)dxπ2. \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} f(x) \cdot \sin x \, dx = \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} (g(x) - \cos x) \, dx \geq \pi - 2.

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.