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)dtaxg(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)dtab1+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.