Captulo 2. Demostracin matemtica.

El propsito de este captulo es describir y ejercitarse en algunas de las tcnicas de

demostracin ms importantes: la demostracin directa, la demostracin indirecta, la
demostracin por contraposicin y la demostracin por reduccin al absurdo.
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.
Los mtodos de demostracin directa e indirecta
Cuando quieres probar que la proposicin !i A entonces B" es verdadera, lo primero
que tienes que #acer es reconocer quin es la proposicin A y quin es B. $or lo general,
todo lo que est entre las palabras si" y entonces" constituye la proposicin A, y todo
lo que est despus de entonces", la B.
%tra forma de reconocerlo: todo lo que supones que es cierto, o sea, la #iptesis, es A y
todo lo que tienes que probar que es cierto, o sea, la tesis, es B.
Consideremos el siguiente ejemplo:
$roposicin: !i el tringulo rectngulo XYZ de catetos x e y e #ipotenusa z tiene de rea
&
'
z
, entonces es issceles.
En este ejemplo tenemos las proposiciones A El tringulo rectngulo XYZ de catetos
x e y e #ipotenusa z tiene de rea
&
'
z
" y B El tringulo rectngulo XYZ es issceles".
!i recuerdas los ejercicios que #as #ec#o en el captulo ( en el apartado )*lgo sobre la
proposicin !i 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.
(
x
y
z
Z Y
X
El mtodo de demostracin indirecta
En el mtodo de demostracin indirecta, debes empe,ar preguntndote: -Cmo, o
cundo, debo concluir que la proposicin B es verdadera." Esta pregunta debes #acerla
de forma general. En el ejemplo anterior, pongamos por caso, la pregunta /general0 es:
-Cmo puedo probar que un tringulo es issceles."
Esta pregunta, obtenida de la proposicin B, la llamaremos en lo que sigue la pregunta
clave. 1na pregunta clave bien planteada no debera contener ni smbolos ni otras
notaciones /salvo n2meros0 del problema que se est considerando. 3a llave para
muc#as demostraciones es formular correctamente la tal pregunta clave.
1na ve, que #as planteado la pregunta clave, tu paso siguiente en este mtodo ser
responderla. 4olviendo al ejemplo anterior, -cmo puedo probar que un tringulo es
issceles. %bviamente, una forma es probando que dos de sus lados tienen la misma
longitud. Considerando nuestra figura, deberas probar que x = y. %bserva que en la
respuesta a la pregunta clave #ay 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. 3uego, 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 = z0.
Con el mtodo de demostracin indirecta, #as construido una nueva proposicin, B
(
, que
tiene la propiedad de que si puedes demostrar que B
(
, es verdadera, entonces B lo ser.
En nuestro ejemplo, la nueva proposicin es B
(
: x = y.
!i puedes probar que x = y, entonces el tringulo XYZ es issceles. 1na ve, que #as
planteado la proposicin B
(
, todos tus esfuer,os deberan dirigirse a intentar llegar a la
conclusin de que B
(
es verdadera, pues entonces seguira que B es verdadera. -Cmo
puedes demostrar que B
(
es verdadera. -Cmo puedes plantear una nueva pregunta
clave para B
(
.
$uesto que x e y son longitudes de dos lados de un tringulo, una pregunta clave
ra,onable podra ser -cmo puedo probar que las longitudes de dos lados de un
tringulo son iguales.". %tra, igualmente ra,onable, sera -cmo puedo probar que dos
n2meros reales son iguales." *l fin y al cabo, x e y son n2meros reales.
'
1na de las dificultades que pueden surgir en el mtodo de demostracin indirecta es la
posibilidad de ms de una pregunta clave en alg2n paso. Elegir la correcta tiene ms de
arte que de ciencia. En algunos casos, #abr solamente una pregunta clave obvia5 en
otros casos, debers proceder por ensayo y error. *qu es donde tu intuicin, esfuer,o,
creatividad, tus diagramas, etc., pueden jugar un papel importante. 1na norma general,
es dejar que la informacin que encierra A /que ests suponiendo cierta0 te ayude a
elegir la tal pregunta. *l margen de la pregunta clave que finalmente plantees, el
siguiente paso ser responderla, primero en general y luego aplicada a la situacin en
cuestin. -$uedes #acer esto para las dos preguntas clave que supuestamente #as
planteado para B
(
. $ara 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. 1n rpido e6amen de la
proposicin A nos #ace ver que no aporta muc#a informacin sobre los ngulos del
tringulo XYZ. *s pues, debemos elegir la otra pregunta clave.
*#ora ests ya frente a la pregunta -Cmo puedo probar que dos n2meros reales /a
saber, x e y0 son iguales. 1na respuesta es probar que su diferencia es cero.
7esafortunadamente #ay otra respuesta perfectamente ra,onable: demostrar que el
primer n2mero es menor o igual que el segundo y que el segundo es menor o igual que
el primero. *s pues, surge una segunda dificultad en el mtodo de demostracin
indirecta: puedes, incluso, elegir bien la pregunta clave pero puede #aber ms de una
respuesta para ella. $or otra parte, puedes incluso elegir una respuesta que impida
completar la demostracin. $or ejemplo, para la pregunta clave -Cmo puedo
demostrar que un tringulo es issceles." estara la respuesta 7emostrando que es
equiltero". Como puedes observar, es imposible demostrar que el tringulo de nuestro
ejemplo es equiltero, pues uno de sus ngulos es recto.
4olviendo a la pregunta clave asociada a B
(
-Cmo puedo demostrar que dos n2meros
reales /a saber, x e y0 son iguales", supn, por ra,ones que seguro ya ests viendo, que
eliges la respuesta de probar que su diferencia es cero. 8as vuelto, en el mtodo de
demostracin indirecta, a construir una nueva proposicin B
'
con la propiedad de que si
puedes probar que B
'
es verdadera, as lo ser B
(
y, por tanto, tambin B.
Concretamente, la nueva proposicin B
'
es
B
'
: x y = 9.
:
;odos tus esfuer,os deben a#ora dirigirse a llegar a la conclusin de que B
'
es
verdadera. 7ebers, en 2ltimo lugar, #acer uso de la informacin de A pero, de
momento, continuemos una ve, ms con el mtodo de demostracin indirecta aplicado a
B
'
.
1na pregunta clave asociada a B
'
sera: -Cmo puedo probar que la diferencia de dos
n2meros reales es cero. 7espus de alguna refle6in, parece que no #ay una respuesta
ra,onable a esta pregunta. 1n nuevo problema surge en el mtodo de demostracin
indirecta: <3a pregunta clave aparentemente no tiene respuesta= >o #ay que
desanimarse5 no todo est perdido. ?ecuerda que cuando quieres probar A implica B",
debes suponer que A es verdadera. Es a#ora el momento de #acer uso de ello.
El mtodo de demostracin directa
El mtodo de demostracin directa parte de la proposicin A, que supones verdadera, y
deducir de ella una nueva proposicin A
(
que puedas ver que es verdadera como
resultado de que A lo es. Es importante resaltar que las proposiciones deducidas de A no
deben ser #ec#as de cualquier modo, deben estar enfocadas #acia la 2ltima proposicin
obtenida en el mtodo indirecto. 4olviendo a nuestro ejemplo, recordemos que la 2ltima
proposicin obtenida en el mtodo indirecto era B
'
: x y = 9.
En este ejemplo, la proposicin A es El tringulo rectngulo XYZ de catetos de
longitud x e y e #ipotenusa de longitud z, tiene por rea
&
'
z
".
Como bien sabes, de A deducimos
A
(
:
& '
'
z xy
=
%tra proposicin 2til deducida de A es
A
'
: x
'
+ y
'
= z
'
.
>aturalmente que podemos combinar A
(
y A
'
y construir ms proposiciones verdaderas.
*s, en nuestro caso, tendramos
&
A
:
:
& '
' '
y x xy +
= .
1no 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 @9A".
Como no #ay normas especficas para construir nuevas proposiciones, tengamos
presente que, en nuestro caso, el mtodo de demostracin directa est dirigido a probar
la proposicin B
'
: x y = 9, que fue la 2ltima que dedujimos en el mtodo de
demostracin indirecta. El #ec#o de que B
'
no contenga el n2mero z es la ra,n por la
que #emos eliminado z
'
de A
(
y A
'
para construir A
:
.
Continuando con el mtodo de demostracin directa, debes intentar volver a escribir A
:
para que se pare,ca ms a B
'
. $or ejemplo
A
&
: x
'
'xy + y
'
= 9, que factori,ndola da A
B
: /x y0
'
= 9.
Es interesante #acer notar que el mtodo de demostracin directa nos #a dado una
respuesta a la pregunta clave que #abamos asociado con B
'
: -Cmo puedo demostrar
que la diferencia de dos n2meros reales es cero.", que, en este caso, sera demostrando
que el cuadrado de su diferencia es cero.
Como ves, normalmente me,clamos los dos mtodos vistos. 1n resumen de nuestra
demostracin podra ser:
Proposiciones Justificaciones
A: Crea de XYZ es
&
'
z
7ado
A
(
:
& '
'
z xy
= Crea =
'
altura base
A
'
: x
'
+ y
'
= z
'
;eorema de $itgoras
A
:
:
& '
' '
y x xy +
= 7e A
'
y A
(
A
&
: x
'
2xy + y
'
= 9 7e A
:
A
B
: /x y0
'
= 9 Dactori,ando A
&
B
'
: x y = 9. 7e A
B
B
(
: x = y 7e B
'
B: XYZ es issceles 7e B
(
B
Como te #abrs dado cuenta, no es normal escribir todos estos pasos en una
demostracin5 suelen aparecer versiones muc#o ms condensadas. $or ejemplo, en
nuestro caso, aparecera algo as como
Demostracin. 3a #iptesis, junto al teorema de $itgoras, nos lleva a x
'
+ y
'
= 'xy, de
donde /x y0
'
= 9 y el tringulo es issceles como queramos probar.
El mtodo de demostracin por reduccin al absurdo
*unque #ayas credo por un momento que el mtodo de demostracin que acabas de
ver, demostracin directaEindirecta, te va a resolver casi cualquier tipo de demostracin
que te apare,ca, e6isten casos muy simples donde fracasa estrepitosamente. $or
ejemplo:
Proposicin: !i n es un entero positivo y n
'
es par, entonces n es par.
!i pensamos en el mtodo de demostracin indirecta, empe,amos con la pregunta clave:
-Cmo puedo demostrar que un entero /a saber, n0 es un n2mero par. 1na respuesta
sera demostrar
B
(
: E6iste entero k tal que n = 'k.
3a aparicin del cuantificador eiste sugiere proceder mediante un mtodo de
construccin, de forma que usaremos el mtodo directo de demostracin para intentar
construir el entero buscado k.
;rabajando as, de la #iptesis de que n
'
es par, podemos afirmar
A
(
: E6iste un entero, digamos m, tal que n
'
= 'm.
Como nuestro objetivo es encontrar el entero k para el que n = 'k, parece natural tomar
la ra, cuadrada positiva de los dos trminos en A
(
y escribir:
A
'
: m n ' = y -cmo volver a escribir a#ora m ' para que se pare,ca a 'k. <$arece
que el mtodo de demostracin directaEindirecta falla aqu=
F
*fortunadamente e6isten otras tcnicas de demostracin. 1na de ellas, el mtodo de
demostracin por reduccin al absurdo es la que vamos a#ora a ver, junto con unas
indicaciones de cundo y cmo debe utili,arse.
En el mtodo de demostracin de reduccin al absurdo, debes empe,ar suponiendo que
A es verdadera, al igual que #acas en el mtodo de demostracin directa. *#ora, sin
embargo, para llegar a la conclusin buscada, a saber, que B es verdadera puedes
proceder #acindote una pregunta muy simple: -$or qu no puede B ser falsa."
7espus de todo, si B tiene que ser verdadera, debe #aber alguna ra,n por la que no
pueda ser falsa. El objetivo del mtodo de demostracin por reduccin al absurdo es,
precisamente, descubrir esa ra,n.
En otras palabras, la idea de la demostracin por reduccin al absurdo es suponer que A
es verdadera y B falsa y ver que no puede ocurrir esto.
-G qu significa ver por qu no puede ocurrir esto". !upn, por ejemplo, que despus
de suponer que A es verdadera y B falsa /en lo que sigue escribiremos no B0 eres capa,
de demostrar que ( = 9. ->o te convencera eso de la imposibilidad de ser A verdadera y
B falsa simultneamente.
*s 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 t2
ests seguro de que es verdadero.
1na ve, llegados aqu surgen, de forma natural, varias preguntas:
(. -Hu contradiccin debemos buscar.
'. -Cmo utili,ar e6actamente la suposicin de que * es verdadera y I falsa para
llegar a esa contradiccin.
:. -$or qu y cundo debemos utili,ar este mtodo en lugar del de demostracin
directaEindirecta.
3a primera pregunta es, con muc#o, la ms difcil de responder, porque no #ay normas
especficas. Cada problema origina su propia contradiccin, #ay normalmente que tener
creatividad, esfuer,o, persistencia ... y suerte para llegar a esa contradiccin.
J
?especto 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 2ltima observacin tambin puede indicar la conveniencia de usar
a veces el mtodo de demostracin por reduccin al absurdo en lugar del de
demostracin directaEindirecta: mientras que en este 2ltimo, supones 2nicamente que A
es verdadera, en el mtodo de reduccin al absurdo supones que tanto A como no B son
verdaderas. *s pues, tienes dos proposiciones para empe,ar a andar en ve, de una slo.
Como contrapartida no tienes una idea e6acta de cmo va a surgir la contradiccin.
Como regla general, utili,a el mtodo de demostracin por reduccin al absurdo cuando
la proposicin no B te d alguna informacin 2til. 8ay al menos dos casos fcilmente
reconocibles en los que esto ocurre: ?ecuerda la proposicin B asociada a nuestro
ejemplo del comien,o: n es un entero par". $uesto que un entero solamente puede ser
par o impar, cuando supones que B no es verdadera, debe ocurrir que n es un entero
impar. *qu, la proposicin no B te da alguna informacin 2til.
En general, cuando la proposicin B es una de dos posibles alternativas /como ocurre en
nuestro ejemplo0, el mtodo de demostracin por reduccin al absurdo puede ser 2til, en
tanto que, suponiendo no B, sabes que ocurre la otra alternativa.
1n segundo caso en el que el mtodo de demostracin por reduccin al absurdo puede
tener 6ito es aquel en el que la proposicin B contiene la palabra no, como se muestra
en el ejemplo ms clsico y ms #ermoso de demostracin por reduccin al absurdo que
vers en el problema 'E'K:
$roposicin: !i r es un n2mero real tal que r
'
= ', entonces r no es racional.
1no de los matemticos ms importantes de este siglo, el ingls L.8. 8ardy, 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 muc#o ms #ermoso que
cualquiera de los que pueda ofrecernos el juego del ajedre,. 1n jugador de ajedre,
puede sacrificar un pen o incluso una pie,a, pero un matemtico sacrifica la partida
completa".
%tros casos en los que es 2til el mtodo de demostracin por reduccin al absurdo son
aquellos en los que la proposicin B contiene el cuantificador eiste. Con el mtodo de
K
construccin tenemos la dificultad de tener que construir el objeto buscado. El mtodo
por reduccin al absurdo abre a#ora un nuevo enfoque. En lugar de demostrar que e6iste
un objeto con la propiedad de que tal cosa ocurre, -por qu no proceder con la
suposicin de que no e6iste tal objeto. >uestra tarea sera a#ora usar esta informacin
para llegar a alg2n tipo de contradiccin. El cmo y dnde va a surgir la contradiccin
puede no estar claro pero puede resultar muc#o ms fcil que construir el objeto
buscado.
Considera el siguiente ejemplo: !upn que quieres demostrar que en una fiesta con :FJ
personas, al menos #ay dos con el mismo cumpleaMos. !i usas el mtodo de
construccin, tendras que ir a la fiesta y encontrar las dos personas en cuestin. !upn,
por el contrario, que no #ubiera ning2n par de personas con el mismo cumpleaMos e
intenta llegar t2 solo a una contradiccin.
La demostracin por contraposicin
*cabamos de ver que en el mtodo de demostracin por reduccin al absurdo, partes de
las proposiciones A y no B y, por demostracin directa, intentas alcan,ar alg2n tipo de
contradiccin. 3a dificultad de este mtodo es que no sabes a qu contradiccin te vas a
dirigir. El mtodo que veremos a#ora, la demostracin por contraposicin, tiene la
ventaja de que te vas a dirigir #acia una contradiccin concreta.
En la demostracin por contraposicin, al igual que la demostracin por reduccin al
absurdo, supones que tanto A como no B son verdaderas. En el mtodo por
contraposicin, sin embargo, no partes de A y no B, sino que empie,as a trabajar
solamente con no B y tu objetivo es llegar a que A es falsa, con lo que ya #as llegado a
una contradiccin -Hu mejor contradiccin. -Cmo puede ser A a la ve, verdadera y
falsa.
Nntenta demostrar por contraposicin la siguiente proposicin:
$roposicin: !i m y b son n2meros reales con m 9, entonces la funcin f /x0 = mx + b
es inyectiva. /?ecuerda que una funcin es inyectiva si para cualesquiera n
os
reales x e y
con x y es f /x0 f /y00.
@
8emos dic#o 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. 3a 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. 3a ventaja es que sabes e6actamente a donde quieres llegar, a no A, con
lo que puedes aplicar el mtodo de demostracin indirecta a la proposicin no *. 3a
opcin de trabajar con demostracin indirecta no es aplicable en el mtodo por
reduccin al absurdo pues no sabes qu contradiccin ests buscando.
!i comparas el mtodo de demostracin directaEindirecta /A implica B0 con el de
contraposicin /no B implica no A0 observars que tienen la misma estructura y, por
tanto, no #ay, en principio, ra,ones aparentes para preferir uno a otro.
8ay, 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. !on
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 2til.
$ara terminar, #e aqu un cuadro que resume los tres mtodos:
!todo "upongo Conclu#o
7emostracin directaEindirecta
A
directa

. . .
Nndirecta
B
?educcin al absurdo
A y no B
directa
. . .
contradiccin
Contraposicin
no B
directa

. . .
Nndirecta
no A
(9