ENTRENAMIENTO OLÍMPICO INSTITUTO NACIONAL 2010

TÉCNICAS BÁSICAS DE RESOLUCIÓN DE PROBLEMAS

MATERIAL 1

CRISTÓBAL PARRAGUEZ CRUZAT

CRISTOBAL.PARRAGUEZ@GMAIL.COM

1. Introducción
Una demostración matemática es una sucesión coherente de pasos que, tomando
como verdadero un conjunto de premisas llamado hipótesis, permite asegurar la
veracidad de una tesis. Estos pasos deben estar fundamentados en la aplicación
de reglas de deducción (fundadas ya sea en axiomas o en teoremas anteriormente
demostrados o en reglas básicas de deducción del sistema en cuestión). El hecho de
no conocer ninguna demostración de un teorema no implica su no veracidad; sólo
la demostración de la negación de este resultado implica que es falso.

Aunque en general no existe un procedimiento único de demostración de teore-

mas, sı́ existen diferentes tipos de demostraciones que son utilizados comúnmente en
matemáticas, una de ellas es la demostración por reducción al absurdo. Básicamente
esta consiste en asumir lo que se quiere demostrar para luego llegar por medio de
pasos verdaderos a algo que es falso (contradicción), ası́ lo asumido es falso.

2. Ejemplos
♣ Ejemplo 1. Sean x, y, z, w enteros satisfaciendo
1 1 1 1
+ + + =1
x y z w
Demuestre que al menos uno de ellos es par.

♦ Solución. Asumamos que x, y, z, w son impares, luego

yzw + xzw + xyw + xyz = xyzw
El lado izquierdo de la igualdad es par, puesto que el producto de impares es un
impar (demostrarlo) y la suma de un número par de impares es un par (de-
mostrarlo). El lado derecho es impar, puesto que el producto de impares es un
impar, entonces tenemos una contradicción. 

♣ Ejemplo 2. El producto de 34 enteros es igual a 1. Demuestre que la suma de

éstos no puede ser 0.

♦ Solución. Forzosamente los enteros deberán ser 1 ó −1. Ya que el producto

es 1, debe de haber un número par de −1’s. Si la suma de estos enteros fuese 0,
entonces deberı́a haber tantos 1’s como −1’s. Luego ası́ habrán de haber diecisiete
1
2 CRISTÓBAL PARRAGUEZ CRUZAT CRISTOBAL.PARRAGUEZ@GMAIL.COM

−1’s y diecisiete 1’s, entonces tenemos una contradicción. 

√ 1
♣ Ejemplo 3. Demuestre, sin calculadora, que 6 − 35 < 10

♦ Solución. (Si bien este tipo de problemas pueden ser resueltos mediante co-
tas, en la mayor parte de los casos es √
mas rápido y sencillo resolverlos√buscando
1 1
la contradicción) Asumamos que 6 − 35 ≥ 10 , entonces 6 − 10 ≥ 35, osea
√
59 ≥ 10 35, elevando al cuadrado a ambos lados tenemos 3481 ≥ 3500, lo cual es
absurdo. 

♣ Ejemplo 4. Sea a1 , a2 , ..., an una permutación arbitraria de los enteros 1, 2, ..., n,

donde n es impar. Demuestre que el producto (a1 − 1)(a2 − 2)...(an − n) es par.

♦ Solución. Notar que la suma de un número impar de impares es un impar

(demostrarlo). El problema es identico a demostrar que al menos una de las
diferencias ak − k es par. Asumamos lo contrario, digamos que todas las diferencias
ak − k son impares. Es evidente que S = (a1 − 1) + (a2 − 2) + ... + (an − n) = 0,ya
que los ak s son un reordenamiento de 1, 2, ..., n. S es, por suposición, la suma de
un número impar de enteros impares, resultando en el entero par 0. Esto es imposi-
ble, ası́ que nuestra suposición inicial es falsa y por lo tanto al menos una de las
diferencias ak − k es par, lo que por consiguiente, hace par al producto. 
√
♣ Ejemplo 5. Demuestre que 2 es irracional.
√
♦ Solución. Presumamos lo contrario, digamos
√ que 2 es racional, osea de la
forma ab con a, b enteros y coprimos (como 2 es positivo, a y b deben de tener la
misma paridad, por lo tanto asumiremos que ambos son positivos). Luego 2b2 = a2 ,
es decir a es par (demostrarlo), por lo tanto a = 2a1 con a1 entero. Sustituyendo
en la ecuación original tenemos que 2b2 = 4a21 ⇒ b2 = √2a21 , es decir b también es
par, lo cual contradice que a y b sean coprimos, luego 2 no es racional, osea es
irracional. 

♣ Ejemplo 6. Demuestre que 2003 no es suma de dos cuadrados.

♦ Solución. Demostraremos que la suma de dos cuadrados nunca deja resto 3

al dividirse por 4. Notar que los números enteros son de la forma 2k ó 2k + 1 con
k entero. Fijarse que (2k)2 = 4k 2 que deja resto 0 al dividirse por 4. Fijarse a su
vez que (2k + 1)2 = 4k 2 + 4k + 1 que deja resto 1 al dividirse por 4. Finalmente los
posibles restos de una suma de dos cuadrados puede ser 0, 1, 2.

3. Propuestos
Problema 1. (CMAT 2003 Tercer Nivel Individual P2) Existen enteros impares
x, y, z tales que (x + y)2 + (x + z)2 = (y + z)2 ?

Problema 2. (CMAT 2003 Primer Nivel Individual P1) En una pizarra se es-
criben tres enteros. Un movimiento permitido es borrar uno de ellos y escribir,
 ENTRENAMIENTO OLÍMPICO INSTITUTO NACIONAL 2010 3

en su lugar, la suma de los dos números que no se han borrado. Después de var-
ios movimientos permitidos, tenemos escritos los números 17, 75, 91 en la pizarra.
Determine si es posible haber comenzado con los números 2, 2, 2. Determine si es
posible haber comenzado con los números 3, 3, 3.

Problema 3. (CMAT 2004 Cuarto Nivel Individual P1) Se coloca cada uno de los
dı́gitos de {1, 2, ..., 9} en las 9 casillas de un cuadrado de 3x3, de forma arbitraria.
Cada fila y cada columna determina el número de 3 cifras (leı́dos de izquierda a
derecha y de arriba a abajo). Llamaremos S a la suma de los 6 números anteriores.
Pueden colocarse los nueve dı́gitos de manera que S sea igual a 2004?

Problema 4. (CMAT 2008 Cuarto Nivel Individual P1) Probar que no existen
cuatro naturales consecutivos tales que su producto sea un cuadrado.