IMC 2004 · Problem 2

Day 220 points11th IMC · Skopje, Macedonia

Statement

Let f,g:[a,b]→[0,∞)f, g : [a,b] \to [0,\infty) be continuous and non-decreasing functions such that for each x∈[a,b]x \in [a,b] we have

∫axf(t) dt≤∫axg(t) dt\int_a^x \sqrt{f(t)}\,dt \le \int_a^x \sqrt{g(t)}\,dt

and ∫abf(t) dt=∫abg(t) dt\int_a^b \sqrt{f(t)}\,dt = \int_a^b \sqrt{g(t)}\,dt.

Prove that

∫ab1+f(t) dt≥∫ab1+g(t) dt.\int_a^b \sqrt{1 + f(t)}\,dt \ge \int_a^b \sqrt{1 + g(t)}\,dt.

Official solution

Hidden so you can work on the problem first.