IMC 1995 · Problem 6

Day 125 points2nd IMC · Plovdiv, Bulgaria

Statement

Let p>1p > 1. Show that there exists a constant Kp>0K_p > 0 such that for every x,yRx, y \in \mathbb{R} satisfying xp+yp=2|x|^p + |y|^p = 2, we have

(xy)2Kp(4(x+y)2).(x-y)^2 \le K_p \left( 4 - (x+y)^2 \right).

Official solution

Hidden so you can work on the problem first.