Determine la mayor cantidad de alfiles que se pueden colocar en un tablero de ajedrez de $8\times 8$. tal que no haya dos alfiles en la misma casilla y cada alfil sea amenazado como máximo por uno de los otros alfiles.
Nota: Un alfil amenaza a otro si ambos se encuentran en dos casillas distintas de una misma diagonal. El tablero tiene por diagonales las $2$ diagonales principales y las paralelas a ellas.
Sean [math]S_1 el conjunto de los alfis que se encuentra en la diagonal [math]\left [ 8 \right ] (esquina superior derecha); [math]S_2 el conjunto de los alfis que se encuentran en la diagonal [math]\left [ 7, 9 \right ]; [math]S_3 el conjunto de los alfis que se encuentran en la diagonal [math]\left [ 6, 8, 10 \right ], y así sucesivamente, hasta llegar a [math]S_{15} que es el conjunto de los alfis que se encuentran en la diagonal [math]\left [ 8 \right ] (esquina inferior izquierda). Es claro que [math]\left | S_i \right |\leqslant 2.
Analicemos los conjuntos [math]S_1, [math]S_3, [math]S_5, ... , [math]S_{15}. Notemos que cada uno de los elementos de [math]S_1, [math]S_3, [math]S_5, ... , [math]S_{15} están en etiquetas pares. Si existen índices distintos [math]i, j\in \left \{ 1, 3, 5, ... , 15 \right \} tales que ambos contienen algún elemento con la misma etiqueta, entonces en el tablero no hay ningún alfi más con esa misma etiqueta. Probaremos que entre los conjuntos [math]S_1, [math]S_3, [math]S_5, ... , [math]S_{15}, no hay más de dos de ellos que tienen exactamente dos elementos. En efecto, si hubieran al menos tres conjuntos con exactamente dos elementos, sean [math]S_i, [math]S_j y [math]S_k tres de los conjuntos con exactamente dos elementos. Luego, si [math]a_i es un alfí de [math]S_i, pintamos todas las casillas que tienen la misma etiqueta de la casilla donde está [math]a_i. Lo mismo hacemos con [math]S_j y [math]S_k. En total, hemos pintado seis bloques completos de etiquetas. Además, es claro que si todas las casillas de la etiqueta [math]X han sido pintadas, entonces en ese bloque de etiquetas pintadas sólo hay un alfí. Como sólo estamos analizando casillas con etiquetas pares, entonces quedan sin pintar dos bloques completos de etiquetas, digamos las etiquetas [math]X, [math]Y, pero nos quedan cinco conjuntos [math]S_i por analizar. Como los elementos de esos cinco conjuntos [math]S_i no están en [math]S_i, [math]S_j y [math]S_k, entonces deben estar en casillas con etiquetas [math]X o [math]Y, pero por el principio de las casillas tenemos que hay tres casillas con la etiqueta [math]X o [math]Y, lo cual es absurdo. Por lo tanto, entre los conjuntos [math]S_1, [math]S_3, [math]S_5, ... , [math]S_{15}, hay a lo sumo dos de ellos con exactamente dos elementos, es decir, en el conjunto [math]S_1\cup S_3\cup S_5\cup \cdots \cup S_{15} hay a lo sumo [math]2+2+1+1+1+1+1+1=10 elementos. De manera análogo se analiza para los conjuntos [math]S_2, [math]S_4, [math]S_6, ... , [math]S_{14}, que también tienen entre todos a lo sumo [math]10 elementos. Por lo tanto, en todo el tablero hay a lo sumo [math]10+10=20 alfís.
El tablero tiene 30 diagonales (incluyendo las de una sola casilla en las esquinas). Si dos alfiles se atacan entonces bloquean 3 diagonales: la que ocupan y las dos perpendiculares a ella por donde están los alfiles. Luego las diagonales con 2 alfiles son la tercera parte de las diagonales ocupadas, o sea que a lo más habrá 10 diagonales con 2 alfiles y 20 con uno. Si contamos los alfiles por diagonales, esto da un máximo de [math]10\times2+20=40, pero con cada alfil contado dos veces. Luego 20 es una cota superior, y mostrando un ejemplo con 20 se termina el problema.
Si coloreamos el tablero, pues, como un tablero de ajedrez, nos damos cuenta que los alfiles solo pueden atacar alfiles en su mismo color. Por ende, podemos solo considerar los alfiles colocados en casillas blancas. Cada par de alfiles amenzandose el uno al otro previenen que hayan otros alfiles en tres diagonales (la diagonal que comparten y las perpendiculares a estas diagonales por los alfiles). Es decir, cada dos alfiles "bloquean" tres diagonales. Vemos que hay 15 diagonales blancas, por lo que hay como mucho [math]\frac{15}{3}(2)=10 alfiles en las casillas blancas, de donde tambien se deduce que hay como mucho 5 pares de alfiles que se amenazan mutuamente.. Si ahora consideramos las casillas negras, hay como mucho 20 alfiles posibles. Entonces, falta encontrar el ejemplo que cumpla. No voy a poner el que encontre por vago que soy y porque no quiero tomar el tiempo para hacer una cuadricula y pintarla en [math]\LaTeX. Uso la de @EmersonSoriano, en vez.
Para probar que no se puede con mas, asumamos que existe un ejemplo con 11 alfiles o mas. Digamos que hay una casilla blanca en la esquina inferior derecha. Entonces, hay 7 diagonales que corren de izquierda superior a derecha inferior. Ahora, por palomar, hay por lo menos 4 diagonales con alfiles amenazandose (porque asumimos que era un ejemplo valido, y hay como mucho dos alfiles por diagonal). Ahora consideramos las 8 diagonales que corren de derecha superior a izquierda inferior. Tambien, en estas diagonales se puede ver que hay por lo menos 3 diagonales en las que una pareja alfiles se amenazan el uno al otro. Estas 7 parejas de alfiles son todas distintas la una a la otra, absurdo, pues habiamos visto que como mucho pueden haber 5 parejas de alfiles amenazandose.. Entonces, no se puede con 11 o mas alfiles en un mismo color.