OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Nota. ¿Qué podría fallar en este argumento si el polígono no es convexo?
La discusión anterior nos dice que el sector $\Omega_r$ no contiene a ninguno de los puntos $P_1,\ldots,P_{r-1},P_{r+1},\ldots,P_k$, pues $\Omega_r$ está contenido en la unión del círculo bordeado por $\Gamma_r$ y el semiplano determinado por la mediatriz $A_rB_r$ que contiene a $P_r$. Además, como las distancias entre cada par de puntos son distintas, ninguno de los puntos $P_1,\ldots,P_{r-1},P_{r+1},\ldots,P_k$ puede estar en las rectas $OA_r$ ó $OB_r$. Un razonamiento similar nos da la existencia de un sector $\Omega_1$ de ángulo $120º$ centrado en $P_1$ (contenido en la unión del interior de $\Gamma$ y el semiplano determinado por la mediatriz de $OP_1$ que contiene a $P_1$). En consecuencia, si suponemos que las semirrectas de vértice $O$ que pasan por $P_1,P_2,\ldots,P_k$ están ordenadas en sentido antihorario, el ángulo entre dos semirrectas consecutivas es estrictamente mayor que $60^\circ$. Como la suma de los $k$ ángulos que forman estas semirrectas es $360^\circ$, deducimos que $k\leq 5$.
Nota. Se puede probar fácilmente que pudiera haber puntos unidos exactamente a otros $5$ puntos, luego el resultado no se puede mejorar. Una forma de ver esto es considerar el centro y los vértices de un pentágono regular y modificar ligeramente sus posiciones para que todas las distancias sean distintas.
Cada cara tiene 5 diagonales, lo que hace un total de $5\cdot 12=60$ diagonales de todas las caras. Cada par de vértices determina un segmento, luego habrá $\binom{20}{2}=190$ segmentos determinados por cada dos vértices. Finalmente, el número de diagonales del dodecaedro será igual a este número de segmentos descontando las diagonales de las caras y las aristas del poliedro, es decir, $190-60-30=100$.
Nota. Podemos comprobar que se cumple la fórmula de Euler \[C-A+V=2,\] donde $C=12$, $A=30$ y $V=20$ son el número de caras, aristas y vértices, respectivamente.
Nota. La solución dada es una forma sistemática de obtener un cubo que cumple las hipótesis, aunque hay otros cubos más sencillos que las cumplen (por ejemplo, tomando $v_1=(4,2,1)$ se simplifican un poco los cálculos, aunque a priori es difícil llegar a esta elección). Lo bueno de esta aproximación es que si el cubo no existiera, habríamos llegado a una contradicción.