CONSEJOS PARA ESCRIBIR PRUEBAS MATEMATICAS

MATEMATICA ESTRUCTURAL, SEMESTRE I DE 2013

JOHN GOODRICK

En lo largo de este curso, le pedire que escriba un gran n

umero de pruebas
matematicas. Este documento es para explicarle que espero yo, como profesor,
de las pruebas que usted escribira en los trabajos y los examenes.
Tenga en cuenta no hay una f
ormula ni proceso mec
anico para hallar una prueba de una afirmaci
on mat
ematica, asi que aqui no puedo
hacer mas que guiarle un poco en su b
usqueda de pruebas rigurosas; estas
son sugerencias, no son reglas absolutas. Ademas, en general habra muchas
maneras distintas de probar un teorema, por ende no hablamos de la demostracion sino de una demostracion.
1. La idea pricipal de una prueba matematica (o una demostracion, que es
sinonimo) es establecer la veracidad de una afirmaci
on a trav
es de una
serie de pasos tal que cada paso tenga una justificaci
on l
ogica que sea
clara para el lector. 1
2. Cuando se escribe una prueba, cuales son los tipos de argumentacion
que se consideran validos?
Para las pruebas en este curso, usted debe justificar cada paso por una de
las maneras siguientes:
(a) Por notar que es una consecuencia directa de alg
un teorema o principio
ya establecido en el curso (o en el libro de texto, o en mis clases), citando aquel
teorema por nombre o n
umero si posible;
(b) Por notar que el paso de la prueba es una consecuencia l
ogica de algun(os) paso(s) anterior(es) de la prueba;2
(c) O, finalmente, por notar que es una hipotesis del teorema que usted esta
demostrando. (Por ejemplo, si usted esta intentando a probar la afirmacion:
Sea n un n
umero par y mayor que 2; entonces n es la suma de dos primos,
1

Hist
oricamente, es com
un atribuir esta concepcion de prueba rigorosa al geometro
griego Euclides (no es claro si existiera o no esta idea antes de el). Quiza ya ha estudiado
pruebas en un curso en ge
ometria.
2
Para m
as explicaci
on sobre que constituye la logica, vease el Apendice A del texto.
1

JOHN GOODRICK

entonces se puede decir en la prueba n es par, pues es dado por la hipotesis

misma.)
3. Al terminar una prueba, es bueno indicar esto por dibujar un peque
no
cuadrado  (como se hace en nuestro libro de texto) o por escribir Q.E.D..3
4. Espero que (con un poco de practica!) ustedes puedan escribir pruebas
en el estilo de las que doy en mis clases, y de las demostraciones del texto.
Por lo tanto, es bueno leer con cuidado el texto y asistir a todas las
clases para tener un buen modelo para sus propias pruebas.
5. Si usted desee probar una afirmacion de la forma para todo x, la
propiedad P (x) es verdadera para x, no es suficiente dar varios ejemplos
de x para los cuales P (x) se cumple.
Por ejemplo, si buscamos demostrar la afirmacion: Para todo n
umero par
m en N que es mayor que 2, m es la suma de dos n
umeros primos, no es
suficiente solo verificar algunos ejemplos (4 = 2 + 2, 6 = 2 + 3, 8 = 5 + 3,
etcetera). Aunque hubieramos verificado la afirmacion para los primeros 17
millon valores de m, no habriamos probado que sea verdadero para todo m!
Lo que hace falta es una argumento general que se aplique a un n
umero m
cualquiera.
Sin embargo, si fuera falsa la afirmacion arriba, entonces bastaria con escribir un solo contraejemplo (en este caso, un n
umero m que sea par, mayor
que 2, y una verificacion que no sea la suma de dos primos).
6. Si le surge alguna duda sobre que cuenta como un paso valido en una
prueba mientras usted esta trabajando en un trabajo, no dude en contactarme
para aclarar si su justificacion sea valida o no (en mis horas de atencion y
durante las sesiones semanales de problemas).

3Por

la frase en latin Quod erat demonstrandum, es decir, (lo) que era por demostrar.