Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2005 / Problems / Day 2, P10

IMC 2005 · Day 2 · P10

hard

Prove that if f:RRf : \mathbb{R} \to \mathbb{R} is three times differentiable, then there exists a real number ξ(1,1)\xi \in (-1, 1) such that f(ξ)6=f(1)f(1)2f(0).\frac{f'''(\xi)}{6} = \frac{f(1) - f(-1)}{2} - f'(0).

Solution 1 of 2 (official)

Let g(x)=f(1)2x2(x1)f(0)(x21)+f(1)2x2(x+1)f(0)x(x1)(x+1).g(x) = -\frac{f(-1)}{2}\, x^2 (x-1) - f(0)(x^2 - 1) + \frac{f(1)}{2}\, x^2 (x+1) - f'(0)\, x (x-1)(x+1). It is easy to check that g(±1)=f(±1)g(\pm 1) = f(\pm 1), g(0)=f(0)g(0) = f(0) and g(0)=f(0)g'(0) = f'(0).

Apply Rolle's theorem for the function h(x)=f(x)g(x)h(x) = f(x) - g(x) and its derivatives. Since h(1)=h(0)=h(1)=0h(-1) = h(0) = h(1) = 0, there exist η(1,0)\eta \in (-1, 0) and ϑ(0,1)\vartheta \in (0, 1) such that h(η)=h(ϑ)=0h'(\eta) = h'(\vartheta) = 0. We also have h(0)=0h'(0) = 0, so there exist ϱ(η,0)\varrho \in (\eta, 0) and σ(0,ϑ)\sigma \in (0, \vartheta) such that h(ϱ)=h(σ)=0h''(\varrho) = h''(\sigma) = 0. Finally, there exists a ξ(ϱ,σ)(1,1)\xi \in (\varrho, \sigma) \subset (-1, 1) where h(ξ)=0h'''(\xi) = 0. Then f(ξ)=g(ξ)=f(1)26f(0)0+f(1)26f(0)6=f(1)f(1)2f(0).f'''(\xi) = g'''(\xi) = -\frac{f(-1)}{2} \cdot 6 - f(0) \cdot 0 + \frac{f(1)}{2} \cdot 6 - f'(0) \cdot 6 = \frac{f(1) - f(-1)}{2} - f'(0).

Solution 2 of 2 (official)

The expression f(1)f(1)2f(0)\dfrac{f(1) - f(-1)}{2} - f'(0) is the divided difference f[1,0,0,1]f[-1, 0, 0, 1] and there exists a number ξ(1,1)\xi \in (-1, 1) such that f[1,0,0,1]=f(ξ)3!f[-1, 0, 0, 1] = \dfrac{f'''(\xi)}{3!}.

How the field did

contestants scored
226
average (of 20)
8.54
solved (≥ 80%)
24.8%
near-0 (≤ 10%)
44.2%
discrimination
0.49

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2002 · Day 1 · P4hardavg 3.5/10 · solved 25% · near-0 38% · disc 0.50
IMC 2023 · Day 2 · P7hardavg 3.8/10 · solved 26% · near-0 45% · disc 0.49
IMC 2017 · Day 1 · P2hardavg 3.2/10 · solved 26% · near-0 56% · disc 0.63
IMC 2015 · Day 2 · P7hardavg 2.5/10 · solved 20% · near-0 74% · disc 0.48