OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Para el apartado (b), observemos que no es suficiente sumar las tres desigualdades ya obtenidas, sino que hay que trabajar un poco más. Usando lo que ya hemos calculado y la desigualdad entre las medias aritmética y armónica llegamos a que $$\frac{1}{r}(g_a+g_b+g_c)=\frac{2p}{3}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)\geq\frac{2p}{3}\left(\frac{9}{a+b+c}\right)=\frac{18p}{6p}=3.$$
Nota. En realidad, para que se dé la igualdad en alguna de las desigualdades del apartado (a) tiene que ocurrir que $p=a$, $p=b$ ó $p=c$, para lo que el triángulo $ABC$ tendría que ser degenerado. Por tanto, podría decirse que las desigualdades del apartado (a) son estrictas. Por el contrario, la igualdad en la desigualdad del apartado (b) se alcanza cuando el triángulo es equilátero, como puede deducirse de la igualdad en la desigualdad de las medias.
Para la desigualdad de la derecha, hacemos el siguiente desarrollo: \begin{eqnarray*} (1-2x)(1-2y)(1-2z)&=&1-2(x+y+z)+4(xy+yz+xz)-8xyz\\ &=&-1+4(xy+yz+xz)-8xyz, \end{eqnarray*} Despejando y usando la desigualdad entre las medias aritmética y geométrica, llegamos a que \begin{eqnarray*} xy+yz+xz-2xyz&=&\frac{1}{4}+\frac{1}{4}(1-2x)(1-2y)(1-2z)\\ &\leq&\frac{1}{4}+\frac{1}{4}\left(\frac{3-2(x+y+z)}{3}\right)^3=\frac{7}{27}{.} \end{eqnarray*} No obstante, lo anterior tiene un error: para aplicar la desigualdad entre las medias es necesario que los términos $(1-2x)$, $(1-2y)$ y $(1-2z)$ sean no negativos. Por tanto, veamos qué pasa si alguno de los números $x,y,z$ es mayor que $\frac{1}{2}$. Como $x+y+z=1$, a lo sumo uno de los tres es mayor que $\frac{1}{2}$, en cuyo caso $(1-2x)(1-2y)(1-2z)\leq 0$ mientras que $3-2(x+y+z)=1\geq 0$, lo que nos dice que desigualdad de arriba también es cierta cuando uno de los tres números es mayor que $\frac{1}{2}$. Esto termina la demostración.