OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Hemos demostrado que las únicas soluciones son $x=2+\sqrt{2}$ y $x=2-\sqrt{2}$.
Nota. Si procedemos directamente simplificando la ecuación inicial, llegamos a la ecuación $x^4-4 x^3-26 x^2+20 x-8=0$. Esta se puede factorizar sobre los enteros como producto de dos polinomios de segundo grado $(x^2-4 x+2)(x^2-2 x+4)=0$, de donde también se deduce la solución.
Los triángulos $AA'P$ y $BB'P$ son semejantes porque son rectángulos y tienen un ángulo común en el vértice $P$, luego se cumple que \[\frac{AP}{BP}=\frac{A'P}{B'P},\] lo que también nos dice que $ABP$ y $A'B'P$ son semejantes. De forma similar se prueba que $BCP$ y $B'C'P$ son semejantes, que $CDP$ y $C'D'P$ son semejantes y que $DAP$ y $D'A'P$ son semejantes. La razón de semejanza es la misma para los cuatro pares de triángulos ya que se tiene que $\frac{AP}{A'P}=\frac{BP}{B'P}=\frac{CP}{C'P}=\frac{DP}{D'P}$, luego el cuadrilátero $A'B'C'D'$ es semejante a $ABCD$ ya que está formado por cuatro triángulos semejantes en disposición similar. Más aún, $A'B'C'D'$ se obtiene de $ABCD$ a partir de una reflexión respecto de una de las bisectrices de las diagonales y una homotecia.
Nota. En realidad, es necesario que el enunciado diga que $P$ tiene al menos cuatro puntos o que los puntos de $P$ no están alineados. Por ejemplo, un conjunto $P$ formado por tres puntos alineados cumple la condición pero no todos los puntos de $P$ están en una circunferencia.
Es muy fácil darse cuenta de la recta $EF$ ha de ser perpendicular a $AB$: dado que los ángulos $\angle ACB$ y $\angle ADB$ son rectos por comprender al diámetro $AB$ en la semicircunferencia, se tiene que $AD$ y $BC$ son alturas del triángulo $AEB$, luego $F$ es su ortocentro y $EF$ es la tercera altura, que debe ser perpendicular al lado $AB$. Tenemos así que la dirección del segmento $EF$ no varía.
Veamos ahora que su longitud tampoco varía. Por la propiedad del arco capaz, el ángulo $\alpha=\angle CAD=\angle CBD$ sólo depende de $c$, no de la posición concreta de la cuerda $CD$. Como los ángulos $\angle ACB$ y $\angle ADB$ son rectos por comprender al diámetro $AB$ en la semicircunferencia, deducimos que $\angle AEB=90-\alpha$. Además, como la suma de los ángulos del cuadrilátero $ECFD$ es $360$, tenemos también que $\angle AFB=\angle CFD=90+\alpha$. Todo ello nos dice que los puntos $E$ y $F$ se mueven en sendos arcos de circunferencia con extremos $A$ y $B$ (al variar la cuerda $CD$ sin modificar su longitud), como puede verse en la figura. Además, como los ángulos con los que $E$ y $F$ ven al segmento $AB$ son $90-\alpha$ y $90+\alpha$, que suman $180$, estas circunferencias son simétricas respecto de $AB$. En particular, tienen el mismo radio y, al pasar por $A$ y $B$, tiene que ser una trasladada de la otra en la dirección perpendicular a $AB$. De esta forma, la longitud del segmento $EF$ es la del vector de traslación, o sea, constante.
Por ejemplo, el número $9$ se escribe exactamente de dos maneras distintas: $9=4+5$ y $9=2+3+4$.
Lo anterior se resume diciendo que tenemos una suma de enteros consecutivos igual a $n$ por cada divisor impar de $2n$ distinto del $1$ (aunque $2n$ fuera un cuadrado perfecto, $\sqrt{2n}$ no sería nunca un divisor impar, luego no daría problemas). Si descomponemos en factores primos \[n=2^ap_1^{e_1}p_2^{e_2}\cdots p_r^{e_r},\] con $p_1,\ldots,p_r$ primos impares distintos, entonces $2n$ tiene exactamente $(e_1+1)(e_2+1)\cdots(e_r+1)-1$ divisores impares distintos de $1$ (restamos $1$ por esto último). Por tanto, la condición que estamos buscando es que los exponentes de los primos impares verifiquen \[(e_1+1)(e_2+1)\cdots(e_r+1)=2008.\] Como $2008=2^3\cdot 251$ y $251$ es primo, tenemos pocas posibilidades para el menor número que verifica la condición del enunciado (ponemos los exponentes más grandes a los primos más pequeños):