Clase 4 - Test de paridad

La idea del test de paridad es realmente sencilla y consiste en que un nmero impar no
se puede obtener como suma de nmeros pares. Aunque se trata de un enunciado
verdaderamente simple los problemas que utilizan esta idea no lo son tanto.
La razn de esto es que no siempre es evidente que hay que aplicar el test de paridad. En
varios problemas donde hay que decidir si algo es o no posible hay alguna cosa que
permanece invariante y es cosa muchas veces es la paridad. A lo largo de esta clase iremos
viendo distintos problemas donde subyace oculta la paridad a modo de un pantallazo
general sobre como aplicar este test.

Problema 1: Se tiene escrito sobre un pizarrn once nmeros 1. Una posible operacin es
tomar dos nmeros y sumarle a ambos 1, restarle a ambos 1 sumarle a uno de los nmeros
1 y restarle 1 al otro. Es posible mediante estas operaciones tener escritos en el pizarrn
once nmeros 10?

Solucin: Al sumar a ambos nmeros 1, la suma de todos los nmeros aumenta en 2; al
restar a ambos nmeros 1, la suma total disminuye en 2; y al sumarle 1 a un nmero y
restarle 1 al otro, la suma total no se ve afectada.
Como consecuencia de esto, dado un conjunto de nmeros iniciales, al efectuar repetidas
operaciones, la paridad de la suma total no cambia. Es decir, que si la suma de todos los
nmeros al principio era impar, al final tambin ser impar pues las operaciones lo nico
que hacen es sumar +2, 0 -2 a la suma total.
En nuestro ejemplo la suma de todos los nmeros al principio es 11 y al final 110. Como
vemos estos nmeros no tienen la misma paridad (uno es par y el otro impar) y por tanto no
se puede llegar a tener once nmeros 10.
Se animan a encontrar todos los posibles resultados finales a lo que se puede llegar a
travs de las operaciones permitidas?Pueden dar una sucesin de operaciones para que
partiendo de once nmeros 1 se llegue a once nmeros 3?

Problema 2: Tiene la siguiente ecuacin soluciones en enteros x + 7x + 14549535 = 0?
Solucin: Una aproximacin ingenua al problema consistira en utilizar el teorema de
Gauss para polinomios. Recuerdan que el ao pasado vimos que si un polinomio de
coeficientes enteros tiene races racionales de la forma p/q (con p y q coprimos), entonces p
divide al trmino independiente y q divide al coeficiente principal?
En este caso si el polinomio tiene races racionales entonces, stas sern enteras (pues el
coeficiente principal es 1) y debern dividir a 14549535 = 3
2
.5.7.11.13.17.19. Sin embargo,
este nmero tiene 384 divisores, lo que hara el trabajo muy tedioso.
Veamos como el test de paridad nos facilita mucho nuestro trabajo. Si x es impar: x es
impar (porque cualquier potencia de un nmero impar es impar), 7x es impar, y 14549535
es impar. Por lo tanto, como la suma de tres nmeros impares es impar entonces x + 7x +
14549535 no puede valer 0 (pues es par).
En el caso de que x sea par: x es par (porque cualquier potencia de un nmero par es par),
7x es par pues x era par, y 14549535 es impar. Por lo tanto, como la suma de dos nmeros
pares y uno impar, es impar entonces x + 7x + 14549535 no puede valer 0 (pues es par).
En conclusin la ecuacin x + 7x + 14549535 = 0 no tiene soluciones en enteros. De
hecho, tampoco tiene soluciones en racionales. Se animan a probar que tiene una raz
irracional y dos races complejas?

Problema 3: Se quiere cubrir el siguiente tablero con fichas de domin (que ocupan dos
casilleros). Demostrar que no es posible hacerlo.

Solucin: Un primer intento para atacar este problema podra ser contar los casilleros y
fijarse si la cantidad es par o impar. Si la cantidad fuera impar el problema ya estara
solucionado pues cada ficha de domin abarca dos casilleros por lo que un tablero cubierto
con fichas de domin debe tener siempre una cantidad par de casilleros. Lamentablemente,
este no es el caso porque la cantidad de casilleros es 28, que es par.
Por tanto, hay que adoptar otra estrategia. Si coloreamos el tablero de blanco y negro como
un tablero de ajedrez, notamos que hay 15 casillas negras y 13 blancas.


Ahora bien, una ficha de domin ubicada en cualquier lugar del
tablero tapa una casilla blanca y una casilla negra. Por tanto, nunca
podremos cubrir todo el tablero con fichas de domin ya que no
hay igual cantidad de casillas blancas que de negras.
La idea de pintar un tablero de blanco y de negro resulta de gran utilidad a la hora de
resolver problemas ya que permite en muchos casos hallar ese algo invariante del que
hablbamos al comienzo de la clase. Otras veces no alcanza con pintar el tablero con dos
colores por lo que se puede extender esta idea pintndolo de tres, cuatro o ms colores.

Problema 4: En un tablero de 4x4 Pedro y Martn se turnan para colocar ceros o unos en
cada casillero. Pedro gana si la suma de los nmeros de alguna fila es impar. De lo
contrario gana Martn. Comienza jugando Pedro, quin tiene la estrategia ganadora? Por
qu.
Solucin: Una posible objecin al enunciado del problema es que supone de antemano que
alguno de los dos jugadores tiene la estrategia ganadora (es decir una serie de jugadas que
le aseguran ganar independientemente de lo bien que juegue su contrario). De hecho esto es
cierto por que "En todo juego donde no interviene el azar y no hay posibilidad de
empate siemprealguno de los jugadores tiene la estrategia ganadora".
Veamos que Martn tiene la estrategia ganadora. Comienza Pedro escribiendo un nmero
en cualquier casillero. En la misma fila Martn escribe en otro casillero el mismo nmero
que escribi Pedro. Luego Pedro escribe otro nmero y Martn escribe en la misma fila el
mismo nmero que Pedro escribi. Y as siguen sucesivamente.
Martn siempre puede escribir un nmero en la misma fila que escribi Pedro, pues cuando
Pedro escribe un nmero en una fila, sta tena escritos o bien ningn nmero o dos
nmeros (uno escrito por Pedro y el que escribi Martn segn su estrategia) y como las
filas tienen 4 casilleros Martn siempre puede aplicar su estrategia de escribir en la misma
fila el mismo nmero que escribi Pedro en su turno anterior.
De este modo, Martn se asegura que la suma de la fila sea par (ya que habrn todos ceros,
dos ceros y dos unos, o todos unos) y por lo tanto gana.
Fjense que el problema no cambiaba si el tablero era de 100x100 o de 1000x708 porque lo
que importaba es que las filas tuvieran una cantidad par de casilleros para poder aplicar la
estrategia de Martn.
Cabe destacar que, en la mayora de los casos, el test de paridad no nos proporciona la
estrategia que deben utilizar los jugadores (en el caso de un juego). Del mismo modo, en
los problemas con tableros o en los de nmeros naturales el test de paridad sirve para ver
porque algo no puede suceder, pero en caso de que pueda, no nos da la forma de solucionar
el problema.
Supongamos que en el problema de las fichas de domin la cantidad de casilleros blancos
fuera igual que la cantidad de negros el test de paridad no indica como ubicar las fichas. Por
tanto, generalmente se usa paridad para demostrar que una situacin no se puede dar.
Como habrn visto el test de paridad permite resolver una cantidad infinita de problemas de
diversa ndole, ya sea ecuaciones, tableros, juegos, problemas con nmero enteros, y ms.
A continuacin les dejamos algunos problemas para que resuelvan, aunque
lamentablemente la idea ms importante ya est dada: hay que usar paridad.

Problemas
1. Se tienen tringulos rectngulos de catetos 3 y 4. Con algunos tringulos se forma un
cuadrado. Demostrar que para que esto sea posible la cantidad de tringulos utilizados debe
ser par.
2. Puede ser la suma de 10 naturales consecutivos igual a 11111?
3. Decidir si es posible recorrer la figura con un lpiz sin levantar el lpiz del papel y sin
pasar dos veces por el mismo segmento.

4. Sea f:N-->N tal que:
f(1) = 1
f(2n) = 2f(n)
f(2n+1) = 2f(n) + 3
Existe algn valor de n tal que (1 + 2 + ... + n) + (f(1) + f(2) + ... + f(n)) = 100n+1?
5. Se tiene el siguiente tablero de ajedrez y un caballo. Colocando el caballo en cualquier
casillero se pretende que, por medio de los movimientos correspondientes al caballo, pase
por todos los casilleros del tablero una y slo una vez. Es esto posible? De ser as, mostrar
el recorrido del caballo, de lo contrario justificar.

6. A una fiesta concurre una cierta cantidad de personas. Probar que siempre la cantidad de
personas que saluda a una cantidad impar de personas, es par.
7. Se dispone de un tablero de ajedrez (88) y de una ficha. Los movimientos permitidos
para la ficha son:
3 casilleros en direccin horizontal
3 casilleros en direccin vertical
Si al intentar avanzar los 3 casilleros en alguna de estas direcciones se llega a un borde,
entonces se debe completar el movimiento retrocediendo las casillas necesarias en esa
direccin o utilizando otra direccin. Hallar el menor nmero de movidas necesarias para
llegar desde la casilla inferior izquierda hasta la casilla superior derecha.
8. Un juego consiste de 9 botones luminosos (de color verde o rojo) dispuestos formando
un cuadrado de 33. Si se aprieta un botn del borde cambian de color l y todos sus
vecinos, y si se aprieta el botn del centro cambian de color todos sus vecinos pero l no.
Es posible (apretando sucesivamente algunos botones) encender todas las luces con color
verde, si inicialmente estaban todas encendidas con luz roja? Justifique la respuesta.