| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
Nota. Hay varias formas de probar la identidad $d^2=\ell^2+\ell d$. Dos de ellas son las siguientes:
El teorema de Ptolomeo nos dice que en un cuadrilátero cíclico el producto de las diagonales es igual a la suma de los productos de los lados opuestos. Por tanto,
Nota. Aplicando el teorema de Ptolomeo al cuadrilátero $ABCD$ obtenemos \[1+AD=AC^2,\] que es otra relación interesante entre las diagonales del heptágono. De hecho, usando las dos relaciones obtenidas puede hallarse que $AC$ es la única solución mayor que $1$ de la ecuación $x^3-x^2-2x+1=0$.
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.