Maths Olympiad Prep

Library / /428 of 520

Algebra Difficulty 7.1 National olympiad, round 2 Prove it

Let f:RRf: \mathbb{R} \rightarrow \mathbb{R} be a concave function and let g:RRg: \mathbb{R} \rightarrow \mathbb{R} be continuous. Given that

f(x+y)+f(xy)2f(x)=g(x)y2 f(x+y)+f(x-y)-2 f(x)=g(x) y^{2}

for all x,yRx, y \in \mathbb{R}, prove that ff is a quadratic function.
(Bulgaria)

Solution

We plug in the pairs (a,x),(a,2x),(a+x,x)(a, x),(a, 2 x),(a+x, x) and (ax,x)(a-x, x) to get

f(a+x)+f(ax)2f(a)=g(a)x2f(a+2x)+f(a2x)2f(a)=4g(a)x2f(a+2x)+f(a)2f(a+x)=g(a+x)x2f(a2x)+f(a)2f(ax)=g(ax)x2 \begin{aligned} f(a+x)+f(a-x)-2 f(a) & =g(a) x^{2} \\ f(a+2 x)+f(a-2 x)-2 f(a) & =4 g(a) x^{2} \\ f(a+2 x)+f(a)-2 f(a+x) & =g(a+x) x^{2} \\ f(a-2 x)+f(a)-2 f(a-x) & =g(a-x) x^{2} \end{aligned}

respectively. Combining these equations in the form 2E1E2+E3+E42 E_{1}-E_{2}+E_{3}+E_{4} the left hand side vanishes, yielding an equation in g:(g(a+x)+g(ax)2g(a))x2=0g:(g(a+x)+g(a-x)-2 g(a)) x^{2}=0, i.e.

g(a)=g(a+x)+g(ax)2 g(a)=\frac{g(a+x)+g(a-x)}{2}

Since gg is continuous, it must be linear, i.e. g(x)=c1x+c0g(x)=c_{1} x+c_{0}. However, the original equation for x=yx=y together with the concavity condition now gives us

0f(2x)+f(0)2f(x)=(xc1+c0)x2 0 \geqslant f(2 x)+f(0)-2 f(x)=\left(x c_{1}+c_{0}\right) x^{2}

for all xx, which is only possible if c1=0c_{1}=0. Thus g(x)c0=2Ag(x) \equiv c_{0}=2 A is constant and

f(x+y)+f(xy)2f(x)=2Ay2 f(x+y)+f(x-y)-2 f(x)=2 A y^{2}

This suggests that ff is a quadratic function, so we can set f(x)=Ax2+f1(x)f(x)=A x^{2}+f_{1}(x). Then ()(*) becomes f1(x+y)+f1(xy)2f1(x)=0f_{1}(x+y)+f_{1}(x-y)-2 f_{1}(x)=0, so an easy induction gives us

f1(nx)f1(0)=n(f1(x)f1(0)) for all nZ f_{1}(n x)-f_{1}(0)=n\left(f_{1}(x)-f_{1}(0)\right) \quad \text { for all } \quad n \in \mathbb{Z}

By setting f1(0)=Cf_{1}(0)=C and f1(1)=B+Cf_{1}(1)=B+C we obtain f1(x)=Bx+Cf_{1}(x)=B x+C and f(x)=f(x)= Ax2+Bx+CA x^{2}+B x+C for all xQx \in \mathbb{Q}. By concavity of ff we conclude that f(x)=Ax2+Bx+Cf(x)=A x^{2}+B x+C for all real xx.

## Remark.

In fact, ()(*) implies that the second derivative of ff is constant by taking y0y \rightarrow 0 and the problem is solved. The solution presented here avoids use of derivatives.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.