OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Nota. En realidad, la propiedad propuesta se deduce de que $r-s$ divide a $r^n-s^n$ para todo $n\in\mathbb{N}$, lo cual es a su vez consecuencia de la factorización \[r^n-s^n=(r-s)(r^{n-1}+r^{n-2}s+r^{n-3}s^2+\ldots+s^{n-1}).\]
Tomando restos módulo $256$, el teorema de Euler nos dice que que $5^{\varphi(n)}\equiv 1\ (\text{mod }256)$ y, elevando sucesivamente al cuadrado, tenemos que \begin{align*} 5^2&\equiv 25\ (\text{mod }256),& 5^4&\equiv 25^2\equiv 113\ (\text{mod }256),& 5^8&\equiv 113^2\equiv 225\ (\text{mod }256)\\ 5^{16}&\equiv 225^2\equiv 193\ (\text{mod }256),& 5^{32}&\equiv 193^2\equiv 129\ (\text{mod }256),& 5^{64}&\equiv 129^2\equiv 1\ (\text{mod }256). \end{align*} Esto nos dice que $64$ es el menor exponente al que hay que elevar $5$ para obtener un múltiplo de $256$.
Nota. Si se considera $n=0$ como número natural, habría que incluirlo como solución ya que en tal caso tenemos $5^0+3=2^2$, pero esto no afecta al resto del razonamiento.
Para ello, vamos a tomar las rectas que contienen a los lados impares $a_1,a_3,a_5,a_7$. Como los ángulos interiores son iguales a $45º$, estas rectas son paralelas dos a dos y forman un rectángulo $R$. Además, si a $R$ le quitamos el octógono, quedarán cuatro triángulos rectángulos isósceles de hipotenusas $a_2,a_4,a_6,a_8$, por lo que sus catetos serán $\frac{a_2}{\sqrt{2}},\frac{a_4}{\sqrt{2}},\frac{a_6}{\sqrt{2}},\frac{a_8}{\sqrt{2}}$, respectivamente. Imponiendo ahora que los lados opuestos de $R$ deben tener igual longitud, nos quedan las relaciones $$\frac{a_4+a_6}{2}\sqrt{2}+a_5=\frac{a_8+a_2}{2}\sqrt{2}+a_1,\qquad \frac{a_2+a_4}{2}\sqrt{2}+a_3=\frac{a_6+a_8}{2}\sqrt{2}+a_7.$$ Si usamos finalmente que los lados tienen longitudes enteras, entonces los términos que multiplican a $\sqrt{2}$ deben ser iguales (ya que $\sqrt{2}$ es irracional, mientras que el resto de términos son racionales), lo que nos lleva a reformular las igualdades anteriores como $$\frac{a_4+a_6}{2}=\frac{a_8+a_2}{2},\qquad a_5=a_1,\qquad \frac{a_2+a_4}{2}\sqrt{2}=\frac{a_6+a_8}{2},\qquad a_3=a_7,$$ probando así la igualdad que queríamos.
Nota. ¿Es cierto el mismo resultado para un hexágono?