Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /230 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 6.5 National Olympiad Prove it Romania

Find all pairs of twice differentiable functions f,g:R→Rf, g : \mathbb{R} \to \mathbb{R}, such that f′′f'' and g′′g'' are continuous, such that
(f(x)−g(y))⋅(f′(x)−g′(y))⋅(f′′(x)−g′′(y))=0, (f(x) - g(y)) \cdot (f'(x) - g'(y)) \cdot (f''(x) - g''(y)) = 0,
for all x,y∈Rx, y \in \mathbb{R}.

Solution

Let (f,g)(f, g) be a pair of functions satisfying the given condition. We shall show that f′′f'' is constant. Suppose that f′′f'' is not constant. Then, because (f(x)−g(0))⋅(f′(x)−g′(0))⋅(f′′(x)−g′′(0))=0(f(x) - g(0)) \cdot (f'(x) - g'(0)) \cdot (f''(x) - g''(0)) = 0, for all x∈Rx \in \mathbb{R}, and f′′f'' is continuous, there is a∈Ra \in \mathbb{R} and r>0r > 0 such that f′′(x)∉{0,g′′(0)}f''(x) \notin \{0, g''(0)\}, for any x∈(a−r,a+r)x \in (a - r, a + r). It follows that (f(x)−g(0))⋅(f′(x)−g′(0))=0(f(x) - g(0)) \cdot (f'(x) - g'(0)) = 0, for x∈(a−r,a+r)x \in (a - r, a + r).

Two cases are possible.
Case 1. There exists b∈(a−r,a+r)b \in (a - r, a + r) such that f′(b)≠g′(0)f'(b) \ne g'(0). By continuity of f′f', there is s>0s > 0 such that (b−s,b+s)⊂(a−r,a+r)(b - s, b + s) \subset (a - r, a + r) and f′(x)≠g′(0)f'(x) \ne g'(0), for all x∈(b−s,b+s)x \in (b - s, b + s), implying f(x)=g(0)f(x) = g(0) for x∈(b−s,b+s)x \in (b - s, b + s). We get f′′(x)=0f''(x) = 0 for x∈(b−s,b+s)x \in (b - s, b + s), a contradiction.

Case 2. f′(x)=g′(0)f'(x) = g'(0), for any x∈(a−r,a+r)x \in (a-r, a+r). We obtain f′′(x)=0f''(x) = 0, for all x∈(a−r,a+r)x \in (a-r, a+r), a contradiction again.

Thus f′′f'' is constant on R\mathbb{R}.
Let m∈Rm \in \mathbb{R} such that f′′(x)=2mf''(x) = 2m, for any x∈Rx \in \mathbb{R}. As (f′(x)−2mx)′=0(f'(x) - 2mx)' = 0, for all x∈Rx \in \mathbb{R}, there is n∈Rn \in \mathbb{R} such that f′(x)−2mx−n=0f'(x) - 2mx - n = 0, for x∈Rx \in \mathbb{R}. As a consequence there exists p∈Rp \in \mathbb{R} such that f(x)=mx2+nx+pf(x) = mx^2 + nx + p, for all x∈Rx \in \mathbb{R}.
In the same way, g′′g'' is constant on R\mathbb{R}, implying the existence of m′,n′,p′∈Rm', n', p' \in \mathbb{R} such that g(x)=m′x2+n′x+p′g(x) = m'x^2 + n'x + p', for x∈Rx \in \mathbb{R}. In the case m≠m′m \neq m', as the equation (f(x)−g(x))⋅(f′(x)−g′(x))=0(f(x) - g(x)) \cdot (f'(x) - g'(x)) = 0 has at most three real solution, the condition of the problem is not possible. Thus m=m′m = m', so the pairs of functions satisfying the given conditions are of the form f(x)=mx2+nx+pf(x) = mx^2 + nx + p and g(x)=mx2+n′x+p′g(x) = mx^2 + n'x + p', for any x∈Rx \in \mathbb{R}.

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.