OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Vamos a contar ahora los triángulos obtusángulos en lugar de los acutángulos. Esto es más sencillo porque el ángulo obtuso es único y distinguible de los demás. Si suponemos que el triángulo $A_iA_jA_k$ tiene su ángulo obtuso en $A_i$, entonces $A_jA_k$ es el lado mayor y tiene que ser menor que un diámetro. Vamos a decir que la distancia entre $A_j$ y $A_k$ es $d$ si hay $d$ vértices en el arco de circunferencia $A_jA_k$, luego la distancia debe moverse entre $1$ y $n-2$ para que sea obtusángulo.
Ahora bien, como el ángulo obtuso puede ser cualquiera de los $2n$ vértices y también estar en $A_i$, $A_j$ o $A_k$, tendremos que multiplicar por $3\cdot 2n$ el resultado, es decir, tendremos un total de $6n(n-1)(n-2)$ ternas $(i,j,k)$ tales que $A_iA_jA_k$ es obtusángulo.
El número total de ternas (ordenadas) de tres elementos de un conjunto de $2n$ elementos es $2n(2n-1)(2n-2)$. Como el número de ternas que nos dan triángulos acutángulos serán las que no nos dan rectángulos ni obtusángulos, tenemos que el número buscado es \[2n(2n-1)(2n-2)-12n(n-1)-6n(n-1)(n-2)=2n(n-1)(n-2).\]
Nota. En el enunciado se dicen ternas, término que usualmente refleja que sí importa el orden (es decir, hemos considerado que una reordenación de los mismos tres vértices nos da una terna distinta). Si queremos calcular el número de posibles elecciones de tres vértices sin importar el orden (esto es, el número de triángulos) entonces hay que dividir todos los resultado entre $3!=6$, el número de reordenaciones. De esta forma, tendríamos $2n(n-1)$ triángulos rectángulos y $\frac{1}{3}n(n-1)(n-2)$ acutángulos.
Un ejemplo de número positivo que cumple estas condiciones se tiene para $r=10$ y $s=2$, lo que nos da \[n=2^{10}-16^2=1024-256=768.\] Este es el número positivo más pequeño que se obtiene con $s=2$. Ahora bien, si $s\geq 5$ (que es el siguiente número congruente con $2$ módulo $3$), entonces para que $n=2^r-16^s=2^r-2^{4s}$ sea positivo, tiene que ser $r\geq 4s+1$, lo que nos da $n\geq 2^{4s+1}-2^{4s}=2^{4s}\geq 16^5\gt 768$. Deducimos por tanto que $n=768$ es el menor entero que cumple la condición del enunciado.
Ahora bien, aparte de las tangencias entre puntos del mismo piso, cada esfera del toca a tres esferas del piso inmediatamente inferior. Por ello, el número total de puntos de contacto es: \begin{align*} \text{Total}&=P_1+\ldots+P_n+3\left(1+3+6+\ldots+\frac{n(n-1)}{2}\right)\\ &=3(1^2+2^2+\ldots+n^2)-3(1+2+\ldots+n)\\ &=3\cdot\frac{n(n+1)(2n+1)}{6}-3\frac{n(n+1)}{2}=n(n-1)(n+1). \end{align*}
Nota. Hemos usado las siguientes fórmulas conocidas: \[\sum_{k=1}^nk=\frac{n(n+1)}{2},\qquad \sum_{k=1}^nk^2=\frac{n(n+1)(2n+1)}{6}.\]