Supongamos que tenemos un tablero y lugar reinas tales que ninguna ataque a otra. Demostrar que cada uno de los cuatro sub-tableros (obtenidos al dividir el tablero en ) contiene al menos una reina. Además, demuestre que si uno de los tableros contiene exactamente una reina, reemplazar reinas por caballos provocaría que los caballos se atacaran entre sí.
Mi enfoque ha sido usar que cada fila y columna debe contener solo una reina, luego utilizar el principio del casillero de alguna manera. Aún así, no estoy seguro de cómo es posible colocar solo una reina en junta.
Cada fila debe contener exactamente una reina; cada columna debe contener exactamente una reina.
Supongamos que, en aras de la contradicción, el subtablero superior izquierdo no contiene reinas.
Dado que estos dos conjuntos de reinas son disjuntos, esto explica todas las reinas: todas están en los subtableros superior derecho o inferior izquierdo.
Sin embargo, estos dos subtableros contienen sólo diagonales, por lo que debe haber dos reinas en la misma diagonal en alguna parte. Esto es una contradicción.
enojadoaviano