OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Sea $X$ el punto de la recta $AC$ tal que $H$ es el punto medio de $AX$, luego el triángulo $ABX$ es equilátero. Por un lado, como $MH$ y $BX$ son paralelas, ya que $M$ y $H$ son los puntos medios de los lados $AB$ y $AX$, el triángulo $AMH$ es equilátero y se tiene que $\angle MHB=90^\circ-\angle AHM=30^\circ$. Por otro lado, $\angle BMH=30^\circ$ ya que $XM$ es bisectriz en el triángulo equilátero $ABX$. La propiedad del arco capaz nos dice ahora que el cuadrilátero $BMHX$ tiene circunferencia circunscrita (los puntos desde los que $BM$ se ve con un ángulo de $30^\circ$) y que el punto $C$ tiene que estar sobre dicha circunferencia. Como la intersección de la circunferencia con la recta $AC$ son los puntos $H$ y $X$, la propiedad deseada se cumple si, y sólo si, $C=H$ o bien $C=X$. Tenemos así dos casos:
Todo esto nos dice que si tomamos $m\gt n$ tal que $2m-1$ no es primo, entonces $m^2$ no se puede expresar de la forma $n^2+p$. Como hay infinitos números impares que no son primos, llegamos a que la respuesta a la pregunta del enunciado es afirmativa.
Nota. Este argumento nos dice que todos los números reales que cumplen la condición dada son los que cumplen $a^2=2b^2$, es decir $a=\pm\sqrt{2}b$. Observemos que, para estos números, no se anula el denominador $a^4-2b^4$.
Nota. Se trata de una ecuación con un polinomio simétrico, luego sabemos que si $\alpha$ es una solución, también lo es $\frac{1}{\alpha}$. Esto puede dar algunas pistas. La solución 1 requiere menos habilidad de cálculo algebraico pero esta solución es la vieja confiable: resolver y sustituir.