Maths Olympiad Prep

Library / Romanian Mathematical Olympiad - District Round /30 of 34

Romanian Mathematical Olympiad - District Round

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)+2⋅f′(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)⋅sin⁡x dx≥π−2. \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} f(x) \cdot \sin x \, dx \geq \pi - 2.

Solution

Since cos⁡x>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))⋅sin⁡x+2⋅f′(x)⋅cos⁡x≥cos⁡x,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)⋅sin⁡x+cos⁡x,∀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)2≥g(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 a≥0a \ge 0, we have
∫−π2π2g(x) dx=∫−π2π2g(x)+g(−x)2 dx≥∫−π2π21 dx=π. \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)⋅sin⁡x dx=∫−π2π2(g(x)−cos⁡x) 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.