Maths Olympiad Prep

Library / /5 of 5

Algebra Difficulty 7.5 National Olympiad, round 2 Prove it South Korea

Find all functions f:R[0,)f : \mathbb{R} \to [0, \infty) such that, for all real a,b,c,da, b, c, d that satisfy ab+bc+cd=0ab + bc + cd = 0, the following equality holds:
f(ab)+f(cd)=f(a)+f(b+c)+f(d) f(a - b) + f(c - d) = f(a) + f(b + c) + f(d)
(Here R\mathbb{R} is the set of real numbers and [0,)[0, \infty) is the set of nonnegative real numbers.)

Solution

We prove the following
Lemma For all real p,q,rp, q, r that satisfy p2+q2=r2p^2 + q^2 = r^2, the following equality holds.
f(p)+f(q)=f(r) f(p) + f(q) = f(r)
Proof Put a=pq+r2a = \frac{p-q+r}{2}, b=pqr2b = \frac{p-q-r}{2}, c=p+q+r2c = \frac{p+q+r}{2}. Then we have ab+bc+cd=12(p2+q2r2)ab+bc+cd = \frac{1}{2}(p^2+q^2-r^2). So if p2+q2=r2p^2+q^2 = r^2 then ab+bc+cd=0ab + bc + cd = 0 and we have
f(r)+f(pqr2)=f(pqr2)+f(p)+f(q) f(r) + f\left(\frac{p-q-r}{2}\right) = f\left(\frac{p-q-r}{2}\right) + f(p) + f(q)
Thus we have f(p)+f(q)=f(r)f(p) + f(q) = f(r) and the proof is complete.

For (p,q,r)=(0,0,0)(p, q, r) = (0, 0, 0), we have, by the Lemma, f(0)=0f(0) = 0, and for (p,q,r)=(p,0,p)(p, q, r) = (p, 0, -p) we have f(p)=f(p)f(-p) = f(p) and thus ff is an even function.

Now for any t0t \ge 0 define g:[0,)[0,)g : [0, \infty) \to [0, \infty) by g(t):=f(t)g(t) := f(\sqrt{t}). Then we have g(a+b)=g(a)+g(b)g(a+b) = g(a) + g(b). And for ab0a \ge b \ge 0 we have g(a)=g(ab)+g(b)g(b)g(a) = g(a-b) + g(b) \ge g(b). So

g is monotone increasing. So g(x)=g(1)xg(x) = g(1) \cdot x (x0x \ge 0). Thus f(x)=f(1)x2f(x) = f(1) \cdot x^2 (x0x \ge 0) and ff is an even function. So f(x)=f(1)x2f(x) = f(1) \cdot x^2 for any real xx. And f(1)0f(1) \ge 0 since f(x)0f(x) \ge 0. Thus the functions satisfying given equality are of the form f(x)=λx2f(x) = \lambda x^2, (λ0\lambda \ge 0) and it is easy to check that those functions satisfy the given equality. \square

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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