Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cap 2 Dem
Cap 2 Dem
Cuando veamos las caractersticas de cada uno de estos mtodos, podremos ver con
cierta claridad cundo es uno de ellos preferible a los otros. Empecemos estudiando
conjuntamente los dos primeros: demostracin directa y demostracin indirecta.
Otra forma de reconocerlo: todo lo que supones que es cierto, o sea, la hiptesis, es A y
todo lo que tienes que probar que es cierto, o sea, la tesis, es B.
Z x Y
Si recuerdas los ejercicios que has hecho en el captulo 1 en el apartado Algo sobre la
proposicin Si A entonces B, cuando quieres probar que A implica B, puedes
suponer que A es verdadera y usar de alguna forma esta informacin para concluir que
B es verdadera.
1
El mtodo de demostracin indirecta
Una vez que has planteado la pregunta clave, tu paso siguiente en este mtodo ser
responderla. Volviendo al ejemplo anterior, cmo puedo probar que un tringulo es
issceles? Obviamente, una forma es probando que dos de sus lados tienen la misma
longitud. Considerando nuestra figura, deberas probar que x y. Observa que en la
respuesta a la pregunta clave hay dos fases: en primer lugar, das una respuesta general
que no contiene smbolos del problema planteado: demostrar que un tringulo es
issceles, es demostrar que dos de sus lados tienen igual longitud. Luego, aplicas esta
respuesta a la situacin en cuestin: demostrar que dos de sus lados tienen igual
longitud, significa demostrar que x y (no que x z y z).
Con el mtodo de demostracin indirecta, has construido una nueva proposicin, B1, que
tiene la propiedad de que si puedes demostrar que B1, es verdadera, entonces B lo ser.
En nuestro ejemplo, la nueva proposicin es B1: x y.
Si puedes probar que x y, entonces el tringulo XYZ es issceles. Una vez que has
planteado la proposicin B1, todos tus esfuerzos deberan dirigirse a intentar llegar a la
conclusin de que B1 es verdadera, pues entonces seguira que B es verdadera. Cmo
puedes demostrar que B1 es verdadera? Cmo puedes plantear una nueva pregunta
clave para B1?
Puesto que x e y son longitudes de dos lados de un tringulo, una pregunta clave
razonable podra ser cmo puedo probar que las longitudes de dos lados de un
tringulo son iguales?. Otra, igualmente razonable, sera cmo puedo probar que dos
nmeros reales son iguales? Al fin y al cabo, x e y son nmeros reales.
2
Una de las dificultades que pueden surgir en el mtodo de demostracin indirecta es la
posibilidad de ms de una pregunta clave en algn paso. Elegir la correcta tiene ms de
arte que de ciencia. En algunos casos, habr solamente una pregunta clave obvia; en
otros casos, debers proceder por ensayo y error. Aqu es donde tu intuicin, esfuerzo,
creatividad, tus diagramas, etc., pueden jugar un papel importante. Una norma general,
es dejar que la informacin que encierra A (que ests suponiendo cierta) te ayude a
elegir la tal pregunta. Al margen de la pregunta clave que finalmente plantees, el
siguiente paso ser responderla, primero en general y luego aplicada a la situacin en
cuestin. Puedes hacer esto para las dos preguntas clave que supuestamente has
planteado para B1? Para la primera, podras demostrar que dos lados de un tringulo
tienen igual longitud, probando que los ngulos opuestos son iguales. En nuestro
tringulo significara probar que los ngulos X e Y son iguales. Un rpido examen de la
proposicin A nos hace ver que no aporta mucha informacin sobre los ngulos del
tringulo XYZ. As pues, debemos elegir la otra pregunta clave.
Ahora ests ya frente a la pregunta Cmo puedo probar que dos nmeros reales (a
saber, x e y) son iguales? Una respuesta es probar que su diferencia es cero.
Desafortunadamente hay otra respuesta perfectamente razonable: demostrar que el
primer nmero es menor o igual que el segundo y que el segundo es menor o igual que
el primero. As pues, surge una segunda dificultad en el mtodo de demostracin
indirecta: puedes, incluso, elegir bien la pregunta clave pero puede haber ms de una
respuesta para ella. Por otra parte, puedes incluso elegir una respuesta que impida
completar la demostracin. Por ejemplo, para la pregunta clave Cmo puedo
demostrar que un tringulo es issceles? estara la respuesta Demostrando que es
equiltero. Como puedes observar, es imposible demostrar que el tringulo de nuestro
ejemplo es equiltero, pues uno de sus ngulos es recto.
Volviendo a la pregunta clave asociada a B1 Cmo puedo demostrar que dos nmeros
reales (a saber, x e y) son iguales, supn, por razones que seguro ya ests viendo, que
eliges la respuesta de probar que su diferencia es cero. Has vuelto, en el mtodo de
demostracin indirecta, a construir una nueva proposicin B2 con la propiedad de que si
puedes probar que B2 es verdadera, as lo ser B1 y, por tanto, tambin B.
Concretamente, la nueva proposicin B2 es
B2: x y 0.
3
Todos tus esfuerzos deben ahora dirigirse a llegar a la conclusin de que B2 es
verdadera. Debers, en ltimo lugar, hacer uso de la informacin de A pero, de
momento, continuemos una vez ms con el mtodo de demostracin indirecta aplicado a
B2.
Una pregunta clave asociada a B2 sera: Cmo puedo probar que la diferencia de dos
nmeros reales es cero? Despus de alguna reflexin, parece que no hay una respuesta
razonable a esta pregunta. Un nuevo problema surge en el mtodo de demostracin
indirecta: La pregunta clave aparentemente no tiene respuesta! No hay que
desanimarse; no todo est perdido. Recuerda que cuando quieres probar A implica B,
debes suponer que A es verdadera. Es ahora el momento de hacer uso de ello.
xy z 2
A1:
2 4
A2: x2 y2 z2.
4
xy x 2 y 2
A3: .
2 4
Uno de los problemas de este mtodo es que es tambin posible construir algunas
proposiciones carentes de utilidad, por ejemplo: El ngulo X es menor de 90.
Es interesante hacer notar que el mtodo de demostracin directa nos ha dado una
respuesta a la pregunta clave que habamos asociado con B2: Cmo puedo demostrar
que la diferencia de dos nmeros reales es cero?, que, en este caso, sera demostrando
que el cuadrado de su diferencia es cero.
Como ves, normalmente mezclamos los dos mtodos vistos. Un resumen de nuestra
demostracin podra ser:
Proposiciones Justificaciones
z2
A: rea de XYZ es Dado
4
xy z 2 base altura
A1: rea
2 4 2
A2: x2 y2 z2 Teorema de Pitgoras
xy x y
2 2
A3: De A2 y A1
2 4
A4: x2 2xy y2 0 De A3
A5: (x y)2 0 Factorizando A4
B2: x y 0. De A5
B1 : x y De B2
B: XYZ es issceles De B1
5
Como te habrs dado cuenta, no es normal escribir todos estos pasos en una
demostracin; suelen aparecer versiones mucho ms condensadas. Por ejemplo, en
nuestro caso, aparecera algo as como
Aunque hayas credo por un momento que el mtodo de demostracin que acabas de
ver, demostracin directa-indirecta, te va a resolver casi cualquier tipo de demostracin
que te aparezca, existen casos muy simples donde fracasa estrepitosamente. Por
ejemplo:
Como nuestro objetivo es encontrar el entero k para el que n 2k, parece natural tomar
la raz cuadrada positiva de los dos trminos en A1 y escribir:
A2: n 2m y cmo volver a escribir ahora 2m para que se parezca a 2k? Parece
que el mtodo de demostracin directa-indirecta falla aqu!
6
Afortunadamente existen otras tcnicas de demostracin. Una de ellas, el mtodo de
demostracin por reduccin al absurdo es la que vamos ahora a ver, junto con unas
indicaciones de cundo y cmo debe utilizarse.
Despus de todo, si B tiene que ser verdadera, debe haber alguna razn por la que no
pueda ser falsa. El objetivo del mtodo de demostracin por reduccin al absurdo es,
precisamente, descubrir esa razn.
Y qu significa ver por qu no puede ocurrir esto? Supn, por ejemplo, que despus
de suponer que A es verdadera y B falsa (en lo que sigue escribiremos no B) eres capaz
de demostrar que 1 0. No te convencera eso de la imposibilidad de ser A verdadera y
B falsa simultneamente?
La primera pregunta es, con mucho, la ms difcil de responder, porque no hay normas
especficas. Cada problema origina su propia contradiccin, hay normalmente que tener
creatividad, esfuerzo, persistencia ... y suerte para llegar a esa contradiccin.
7
Respecto de la segunda pregunta, el mtodo ms normal para llegar a una contradiccin
es trabajar conjuntamente, mediante demostracin directa, partiendo de que A y no B
son verdaderas. Esta ltima observacin tambin puede indicar la conveniencia de usar
a veces el mtodo de demostracin por reduccin al absurdo en lugar del de
demostracin directa-indirecta: mientras que en este ltimo, supones nicamente que A
es verdadera, en el mtodo de reduccin al absurdo supones que tanto A como no B son
verdaderas. As pues, tienes dos proposiciones para empezar a andar en vez de una slo.
Como contrapartida no tienes una idea exacta de cmo va a surgir la contradiccin.
Como regla general, utiliza el mtodo de demostracin por reduccin al absurdo cuando
la proposicin no B te d alguna informacin til. Hay al menos dos casos fcilmente
reconocibles en los que esto ocurre: Recuerda la proposicin B asociada a nuestro
ejemplo del comienzo: n es un entero par. Puesto que un entero solamente puede ser
par o impar, cuando supones que B no es verdadera, debe ocurrir que n es un entero
impar. Aqu, la proposicin no B te da alguna informacin til.
Uno de los matemticos ms importantes de este siglo, el ingls G.H. Hardy, deca que
el mtodo de reduccin al absurdo, que tanto complaca a Euclides, es una de las armas
ms finas que puede emplear un matemtico. Es un gambito mucho ms hermoso que
cualquiera de los que pueda ofrecernos el juego del ajedrez. Un jugador de ajedrez
puede sacrificar un pen o incluso una pieza, pero un matemtico sacrifica la partida
completa.
Otros casos en los que es til el mtodo de demostracin por reduccin al absurdo son
aquellos en los que la proposicin B contiene el cuantificador existe. Con el mtodo de
8
construccin tenemos la dificultad de tener que construir el objeto buscado. El mtodo
por reduccin al absurdo abre ahora un nuevo enfoque. En lugar de demostrar que existe
un objeto con la propiedad de que tal cosa ocurre, por qu no proceder con la
suposicin de que no existe tal objeto? Nuestra tarea sera ahora usar esta informacin
para llegar a algn tipo de contradiccin. El cmo y dnde va a surgir la contradiccin
puede no estar claro pero puede resultar mucho ms fcil que construir el objeto
buscado.
Considera el siguiente ejemplo: Supn que quieres demostrar que en una fiesta con 367
personas, al menos hay dos con el mismo cumpleaos. Si usas el mtodo de
construccin, tendras que ir a la fiesta y encontrar las dos personas en cuestin. Supn,
por el contrario, que no hubiera ningn par de personas con el mismo cumpleaos e
intenta llegar t solo a una contradiccin.
9
Hemos dicho que la demostracin por contraposicin es un cierto tipo de demostracin
por reduccin al absurdo. Cada uno de estos dos mtodos tiene sus ventajas y sus
inconvenientes. La desventaja del mtodo de demostracin por contraposicin frente al
de reduccin al absurdo consiste en que en aqul partes de una sola proposicin, no B,
en lugar de dos. La ventaja es que sabes exactamente a donde quieres llegar, a no A, con
lo que puedes aplicar el mtodo de demostracin indirecta a la proposicin no A. La
opcin de trabajar con demostracin indirecta no es aplicable en el mtodo por
reduccin al absurdo pues no sabes qu contradiccin ests buscando.
Hay, sin embargo, algunos casos en los que el mtodo de contraposicin o el de por
reduccin al absurdo deberan elegirse o, al menos, considerarse seriamente. Son
aquellos en los que en la proposicin B aparece la palabra no, pues, en estos casos, es
bastante normal que la proposicin no B contenga alguna informacin til.
directa Indirecta
Contraposicin no B ... no A
10