OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Nota. Si se alcanza la igualdad, entonces $a^2=b^2=c^2=d^2$, luego $a=b=c=d$ por ser números positivos y, como su producto es $1$, los cuatro números tienen que ser iguales a $1$. Recíprocamente, si los cuatro números son iguales a $1$, la igualdad se alcanza, luego este es la única situación en la que se alcanza.
En cuanto a la segunda desigualdad, desarrollamos por el binomio de Newton \begin{align*} \left(1+\frac{1}{n+1}\right)^{n+1}&=\sum_{k=0}^{n+1}\binom{n+1}{k}\frac{1}{(n+1)^k}=2+\sum_{k=2}^{n+1}\frac{(n+1)n\cdots(n-k+2)}{k!(n+1)^k}\\ &\leq 2+\sum_{k=2}^{n+1}\frac{1}{k!}\leq 2+\sum_{k=2}^{n+1}\frac{1}{k(k-1)}\\ &\leq 2+\sum_{k=2}^{n+1}\left(\frac{1}{k-1}-\frac{1}{k}\right)=3-\frac{1}{n+1}\lt 3. \end{align*} En primer lugar, hemos usado que cada uno de los factores en $(n+1)n\cdots(n-k+2)$ es menor o igual que $n+1$. Después hemos despreciado todos los factores de $k!$ salvo los dos primeros. Finalmente, hemos expresado la suma como una suma telescópica para poder obtener su valor explícito.
Aplicando este razonamiento a las funciones $f(t)=t^2$ y $f(t)=t^4$, que son ambas estrictamente convexas, deducimos que el conjunto de soluciones son los puntos $(x,y)$ que cumplen $x,y\geq 0$ y $x+y=1$. En otras palabras, son los puntos del segmento que une $(1,0)$ y $(0,1)$ en el plano.