OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Supongamos ahora que $P$ atraviesa un solo segmento, de vértices $P_1$ y $P_2$, es decir, pasa de una región de las delimitadas por el segmento $P_1P_2$ a otra contigua. Entonces, respecto de los triángulos que no tienen por vértices a $P_1$ y $P_2$ a la vez, $P$ estará en su interior si, y sólo si, lo estaba antes. Por otro lado, respecto de los triángulos que tienen a $P_1$ y $P_2$ por vértices, habrá $k$ de ellos que tendrán el otro vértice al lado de la recta $P_1P_2$ en que estaba $P$ al principio y $8-k$ que lo tendrán al lado al que ha atravesado. $P$ dejará de estar en el interior de los $k$ primeros triángulos y pasará a estar dentro de los $8-k$ segundos, luego el número cambiará en $8-2k$, que es par y, por tanto, la paridad se conserva.
Observemos que el mismo razonamiento se puede hacer para cualquier número impar de puntos, no necesariamente $9$.
Probemos por tanto la igualdad (b) para lo que supondremos sin perder generalidad que en la recta $PQ$ los puntos están en el orden $PEFQ$. Los triángulos $OBM$ y $AEC$ son semejantes ya que son rectángulos y $\angle BAF=\angle BOM$ (por ser este último la mitad del ángulo central correspondiente al primero), luego \[\frac{OM}{BM}=\frac{AE}{CE}=\frac{AE\cdot AB}{CE\cdot AB}=\frac{AE\cdot AB}{AD\cdot BC},\] donde hemos usado que $CE\cdot AB=AD\cdot BC$ (esta cantidad es el doble del área de $ABC$). Usando ahora que $BC=2\cdot BM$, podemos despejar $2\cdot OM\cdot AD=AE\cdot AB$. Para probar finalmente que $AE\cdot AB=AP^2$, basta observar que los triángulos $APB$ y $AEP$ son semejantes lo cual se deduce de que comparten un ángulo (en el vértice $A$) y de que $\angle APB=\angle AEP$. Para ver esto último, observemos que $\angle APB=180-\angle ACB$ por arco capaz y $\angle AEP=180-\angle AEF$. Como el cuadrilátero $AEHF$ es inscriptible, otra vez por arco capaz tendremos que $\angle AEF=\angle AHF=90-\angle CAD=\angle ACB$, con lo que el problema queda resuelto.
En efecto, tenemos que, usando $1970$ cubos de arista $1$, $25$ cubos de arista $2$ y un cubo de arista $3$ se consigue el resultado ya que $13^3=1970\cdot 1^3+25\cdot 2^3+1\cdot 3^3$.
Observemos que, además se cumple que cualquier par de segmentos (lados o diagonales) que se cortan tienen número distinto.