Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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
4
A1: 2
A2: x2 y2 z2.
Naturalmente que podemos combinar A1 y A2 y construir ms proposiciones verdaderas.
As, en nuestro caso, tendramos
xy x 2 y 2
4
A3: 2
.
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.
Como no hay normas especficas para construir nuevas proposiciones, tengamos
presente que, en nuestro caso, el mtodo de demostracin directa est dirigido a probar
la proposicin B2: x y 0, que fue la ltima que dedujimos en el mtodo de
demostracin indirecta. El hecho de que B2 no contenga el nmero z es la razn por la
que hemos eliminado z2 de A1 y A2 para construir A3.
Continuando con el mtodo de demostracin directa, debes intentar volver a escribir A3
para que se parezca ms a B2. Por ejemplo
A4: x2 2xy y2 0, que factorizndola da A5: (x y)2 0.
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 4
xy z 2
4
A1: 2
A2: x2 y2 z2
xy x 2 y 2
4
A3: 2
Dado
base altura
2
rea
Teorema de Pitgoras
De A2 y A1
5
A4: x2 2xy y2 0
A5: (x y)2 0
B2: x y 0.
B1 : x y
B: XYZ es issceles
De A3
Factorizando A4
De A5
De B2
De B1
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
Demostracin. La hiptesis, junto al teorema de Pitgoras, nos lleva a x2 y2 2xy, de
donde (x y)2 0 y el tringulo es issceles como queramos probar.
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?
As pues, en una demostracin por reduccin al absurdo, debes suponer que A y no B
son verdaderas y usar esta informacin para llegar a una contradiccin de algo que t
ests seguro de que es verdadero.
Una vez llegados aqu surgen, de forma natural, varias preguntas:
1.
2.
3.
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.
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
7
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.
En general, cuando la proposicin B es una de dos posibles alternativas (como ocurre en
nuestro ejemplo), el mtodo de demostracin por reduccin al absurdo puede ser til, en
tanto que, suponiendo no B, sabes que ocurre la otra alternativa.
Un segundo caso en el que el mtodo de demostracin por reduccin al absurdo puede
tener xito es aquel en el que la proposicin B contiene la palabra no, como se muestra
en el ejemplo ms clsico y ms hermoso de demostracin por reduccin al absurdo que
vers en el problema 2-28:
Proposicin: Si r es un nmero real tal que r2 2, entonces r no es racional.
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
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.
Mtodo
Demostracin directaindirecta
Supongo
A
Reduccin al absurdo
A y no B
Contraposicin
no B
10
directa
directa
directa
Concluyo
...
...
...
Indirecta
contradiccin
Indirecta
no A