OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Supongamos entonces que los cinco puntos $p_1,p_2,p_3,p_4,p_5$ son distintos. En particular, $p_1,p_2,p_3$ son tres puntos distintos tanto en $\Gamma_4$ como en $\Gamma_5$. Como tres puntos distintos determinan una única circunferencia, deducimos que $\Gamma_4=\Gamma_5$, luego $p_5$ está también en $\Gamma_5$ y, por tanto, es un punto común a todas las circunferencias.
Nota. Lo que hemos probado realmente es que el máximo de la sucesión se alcanza estrictamente en $a_0$ y $a_n$ o bien la sucesión es constante cero. Más aún, no es difícil ver a partir de este argumento que si la sucesión no es constante cero, entonces tiene un único mínimo y es estrictamente decreciente hasta el mínimo y luego estrictamente creciente hasta el máximo
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.