Supongo que el problema aquí es demostrar que la afirmación es cierta independientemente de su disposición.
Tus puntos sobre las reglas son correctos, pero primero te corregiría que en un tablero de ajedrez se podrían colocar 32 piezas con sólo cuatro en cualquier fila o hilera (colocando todas las piezas en las casillas blancas o en todas las casillas negras), por lo que al colocar la pieza 33, una fila y una columna deben tener "cinco o más", no "más de cinco".
Para ser pedante, una pieza que puede capturar a otra en su turno no está "atacando", está "amenazando". Y hay una regla más a tener en cuenta, sólo para ser dolorosamente obvio: una torre no puede moverse "a través" de otra pieza para capturar una pieza más allá de ella. Parece que has pasado esto por alto, porque parece que estás obsesionado con mantener las torres en las diagonales.
Eso nos lleva a una posible prueba: como una fila debe tener cinco o más torres sin importar su colocación, y una columna debe tener cinco o más torres sin importar su colocación, entonces hay tres torres en la fila de cinco y tres torres en esa columna de cinco que están separadas por al menos otra torre entre sí. En el peor de los casos, dos de estas torres son la misma (la 33ª torre) y, por tanto, dada una cuadrícula de torres colocadas sólo en las casillas negras, al colocar la 33ª torre en cualquier fila o columna, se identifican tres en una fila y dos torres adicionales en una columna que no pueden tocarse.
En realidad parece una estimación extremadamente baja, porque si se colocan 32 torres en todos los espacios negros, hay una diagonal de 8 que no se amenazan entre sí. Así que, imaginemos el peor de los casos:
Cualquier torre amenaza a un máximo de otras cuatro piezas, que son las cuatro situadas más cerca de ella en la misma fila o columna. Esas mismas 4 torres son las únicas que amenazan a la torre original. Las otras 28 torres están en una fila y columna diferentes, o están separadas de la torre en cuestión por una o más torres. Así que, literalmente hablando, una torre cualquiera sería "neutral" (no amenazaría ni sería amenazada por) al menos con otras 28 piezas, y hasta 30 (para una pieza en una esquina), y cada una de ellas sería un par de torres que no se atacan entre sí. De esas 28, cada una de ellas sólo puede atacar a otras cuatro como máximo, por lo que el número de parejas de torres no amenazantes es al menos el número de combinaciones de 29 cosas tomadas de 2 en 2, que es camino más de cinco (406 de hecho).
Así, dada una torre inicial, no hay más de 4 que puedan atacarle y no menos de 28 que no. Escojamos el peor caso de las 28 restantes; una torre amenazada por cuatro torres completamente diferentes a las que amenazan a la primera. Hay cuatro torres que amenazan a esta torre como acabo de decir, así que de 33 torres tenemos dos que simplemente no pueden atacarse porque hay una torre en cada lado, y hemos eliminado 8 más como posibilidades porque amenazan a una de estas dos torres que hemos identificado. Hay 23 torres más entre las que elegir; continuemos nuestro patrón y elijamos otra torre amenazada por otras cuatro, así que tenemos tres torres que no pueden atacarse entre sí y quedan 18. Dos repeticiones más de esto y tienes un grupo de cinco torres que no se amenazan entre sí (porque cada una está amenazada por cuatro torres únicas que definitivamente no son ninguna otra torre del grupo), 20 más que amenazan a una y sólo una torre de esas cinco (y por tanto no pueden formar parte del grupo), y tienes todavía tienen 8 torres adicionales que no podrían amenazar ni ser amenazadas por ninguna de las cinco que ya hemos identificado.
Ese es el peor caso; básicamente cinco grupos de cinco torres cada uno en forma de cruz, con otras ocho torres colocadas arbitrariamente, y estamos eligiendo las cinco torres que están amenazadas por la mayor cantidad de otras torres, y así eliminamos la mayor cantidad de posibilidades para otros miembros de este grupo. Tenemos más que suficientes torres adicionales para repetir este motivo cruzado una vez más (y hay algunas permutaciones de colocación que permiten que seis de estas formaciones cruzadas quepan en un tablero de 8x8), así que de hecho podemos identificar 6 piezas de 30, en el peor de los casos, que no pueden amenazarse entre sí porque cada una de ellas ya está amenazada por otras cuatro torres únicas.
Además, la pieza 31, no importa dónde la coloques, no puede amenazar a ninguna de las seis que hemos identificado y viceversa (aunque esta pieza está ahora amenazada por al menos una torre de las que amenazan a las otras 6), así que de hecho es posible identificar un grupo de al menos siete torres de estas 33, en cualquier permutación de colocaciones, que no amenacen a ninguna otra torre del grupo.
La pieza 32 puede amenazar trivialmente a la 31; sin embargo, la última colocada, la 33, no puede formar ninguna formación en la que las piezas 31, 32 y 33 todo se amenazan entre sí; dos de ellas serán mutuamente no amenazantes, y como hemos establecido, no pueden amenazar a las 6 centrales cruzadas, por lo que hay, al menos, 8 torres en cualquier formación de 33 que no pueden amenazar a ninguna otra torre de ese grupo.
1 votos
Este problema me resultaba familiar.. "Estrategias de resolución de problemas", 4. El principio de la caja, problemas, 74: Se colocan 33 torres en un tablero de ajedrez de 8x8. Demuestre que puede elegir cinco de ellas que no se ataquen entre sí.
0 votos
El problema está mal planteado aquí, aunque esto tiene poco efecto en la solución prevista. Dejando de lado la sutileza de que en el ajedrez las piezas sólo pueden atacarse entre sí si pertenecen a bandos opuestos (las piezas del mismo bando pueden defender entre sí; así que incluso con sólo 9 torres habría 5 del mismo bando, por lo tanto mutuamente no atacantes), las reglas del ajedrez no permiten que las torres salten sobre las casillas ocupadas, así que con un tablero tan lleno, puede haber fácilmente familias de torres no atacantes de las cuales algunas comparten una fila o un archivo.