Captulo 2

Sobre la demostracin
Esquema
1. La demostracin en matemticas
2. Mtodos de demostracin
2.1 Demostracin marcha adelante. Ejemplos y ejercicios.
2.2 Demostracin marcha atrs. Ejemplos y ejercicios.
2.3 Demostracin supongamos que no. Ejemplos y ejercicios.
2.4 Demostracin por reduccin al absurdo. Ejemplos y ejercicios.
2.5 Demostracin por induccin. Ejemplos y ejercicios.
2.6 Demostracin por distincin de casos. Ejemplos y ejercicios.
2.7 Demostracin por contraejemplo. Ejemplos y ejercicios.
2.8 El mtodo de descenso de Fermat. Ejemplos y ejercicios.
3. Ejercicios variados

1. La demostracin en matemticas
Como hemos visto en el captulo anterior, la demostracin es una de las actividades
cotidianas importantes en matemticas. Con ella se trata de poder asegurarnos de que lo
que afirmamos es cierto, es decir, es deducible a partir de los hechos y afirmaciones
iniciales de una teora a travs de implicaciones, a veces mediante cadenas bien complejas
de implicaciones. Para llegar a construir la demostracin de una cierta firmacin, existen,
como veremos, muy diversos caminos, diferentes mtodos.
En este captulo se presenta una breve orientacin sobre algunos de los tipos de
demostracin ms usuales en el quehacer matemtico. Es bien claro que el ejercicio de la
demostracin de proposiciones matemticas, como el de la resolucin de problemas,
implica tal riqueza de actividades diferentes que no se puede esperar en absoluto poder dar
normas que las abarquen.
Como en la resolucin de problemas, tambin en el ejercicio de la demostracin slo se
llega a desarrollar una cierta capacidad mediante la dedicacin reflexiva constante y
prolongada a la demostracin por uno mismo de proposiciones cada vez ms complejas y
mediante la observacin atenta de las demostraciones que uno mismo logra construir y de
las que otros matemticos han elaborado.
Cmo se hace para demostrar? Muy frecuentemente se trata de demostrar que si se
verifica A entonces se verifica B. A veces la tarea puede no tener esta formulacin
explcita. Se propone, por ejemplo: Demostrar que 2 no puede ser igual a un nmero
racional, es decir a un nmero de la forma a/b, siendo a y b nmeros naturales. Se
presupone aqu que A es el conjunto de conocimientos obvios, admitidos o ya establecidos
acerca de lo que es una fraccin y acerca de lo que es la raz cuadrada.
Otras veces se dice, por ejemplo, algo as: Sea I a, b un intervalo de R cerrado y
acotado y f una funcin continua de I a R. Demostrar que... Es claro que aqu A es ese
conjunto de condiciones dado ms todas las proposiciones ya admitidas o establecidas
anteriormente sobre los elementos del enunciado, funcin, continuidad, etc.
Cmo empezar? Comienza preguntndote si sabes qu significan todos los trminos de
los que se habla en A y en B. Si alguno no te resulta familiar, entrate mejor de qu va.
A continuacin trata de entender las relaciones ms importantes de los elementos de A
y B entre s y procura que se te hagan presentes en tu mente las principales ideas
relacionados con ellos provenientes de tu estudio previo, de tus experiencias anteriores.
Trata de recordar, al menos vagamente, los contextos, las situaciones en las que suelen
encontrarse estos elementos, los ganchos, las relaciones que estos mismos elementos
puedan tener entre s y con otros que te parezca que puedan serte tiles en esta ocasin... Es
aqu donde intervienen muy decisivamente tus conocimientos previos, cmo los tienes
estructurados, tus experiencias anteriores con situaciones semejantes. Todo esto, por
supuesto, es algo que irs adquiriendo a medida que te dedicas ms y ms al estudio de las
matemticas y a la experiencia de demostrar y de resolver problemas.
No te extrae, por eso, que a quien se ha dedicado mucho tiempo a las matemticas se
le ocurran cosas que te parece que nunca se te ocurrirn a ti mismo. Posiblemente no es que
sea ms listo. Simplemente lleva ms aos en el oficio.
Lo anterior, tratar de familiarizarte con los elementos que aparecen en la situacin que
estudias, es algo que debes realizar siempre ante la tarea de demostrar una afirmacin que
te propongas o te propongan. Asegrate que entiendes bien de qu se trata. Esto se ir
2

convirtiendo en una rutina totalmente familiar. Una vez que te has asegurado de que
entiendes bien de qu va tu tarea puedes proceder adelante de diversas maneras. He aqu
algunas formas de proceder que pueden resultarte tiles.
2. Mtodos de demostracin
2.1. Demostracin marcha adelante
Recuerda que se trata de demostrar que si se verifica A, entonces se verifica B.
Examina los elementos de la situacin A a fondo, con un ojo puesto en la situacin B, es
decir, mira los elementos que aparecen en A y los hechos que sobre ellos ya conoces o
puedes deducir fcilmente, que sern ms y ms a medida que ganes en experiencia y en
conocimientos. Y al mismo tiempo trata de entender la situacin expresada en B. Se trata
de colocar en el foco de tu atencin los hechos de la situacin A que tienen que ver con los
elementos que han surgido de tu exploracin de B.
Este examen tal vez te lleve directamente a deducir la verdad de la situacin B que es lo
que estabas buscando, pero lo ms probable, a menos que ests ante una tarea muy sencilla,
es que de A sepas cmo deducir unas cuantas cosas, C, D, E, y que tal vez de alguna de
ellas, por ejemplo D, sepas deducir V que te parece que te lleva ms cerca de B.
Procediendo as posiblemente llegas finalmente a B.
Este tipo de demostracin marcha adelante se suele llamar demostracin directa y se
parece a la forma de proceder cuando ests delante de uno de esos diagramas de laberintos
en los que dentro de una malla enrevesada figura un tesoro. Quieres ir desde fuera hasta el
tesoro. Una de las formas de actuar es ir recorriendo, empezando desde fuera y siempre
poniendo los ojos en el tesoro, los pasadizos que, esperas, te conduzcan finalmente a l.
********************************************************************
Ejemplos de demostracin marcha adelante
*********************************************************************
(1) Demuestra que el cubo de un nmero impar es tambin impar.
Aqu lo que te aparece en el punto de partida, y en el de llegada, es un nmero impar.
Cmo son los nmeros impares? Los que no son pares, el anterior y el posterior a un
par. Cmo son los pares? Los que resultan de multiplicar por 2 un nmero entero. Es decir
los pares son de la forma 2k siendo k entero. Y por tanto los impares son los de la forma
2k 1, siendo k un nmero entero. Y cmo ser el cubo de tal nmero 2k 1? Fcil:
2k 1 3 8k 3 12k 2 6k 1
Ahora ya aparece todo bastante claro. El nmero 8k 3 12k 2 6k 24k 3 6k 2 3k es
claramente par y por tanto 2k 1 3 es impar. Ya hemos llegado.
**********************************************************************
(2) Demuestra que si ABCD es un rombo, las diagonales AC y BD son perpendiculares.
Nos colocan delante un rombo (situacin inicial). Nos lo dibujamos recordando que un
rombo es un paralelogramo con sus cuatro lados de igual longitud. Nos piden que,
razonando, lleguemos a concluir que las diagonales son perpendiculares.

Para demostrar que las diagonales son perpendiculares tratamos de hacer uso de la
informacin que nos dan: los cuatro lados del paralelogramo son iguales. As AB es igual
en longitud que AD. Por lo tanto A se encuentra en la mediatriz de BD. Tambin, del
mismo modo, C est en la mediatriz de BD. Por lo tanto AC es la mediatriz de BD y as es
perpendicular a ella.
***********************************************************************
(3) Vamos a tratar de demostrar marcha adelante que las dos soluciones de la
ecuacin ax 2 bx c 0 son
x

b b 2 4ac
2a

Primero observamos (una astucia que se aprende mirando cmo lo han hecho antes
otros en casos similares) que si b fuera 0 la cosa sera muy fcil, ya que entonces la
ecuacin dada sera
ax 2 c 0
y esto se resolvera muy fcilmente, obteniendo
0 0 2 4ac
x ac
2a
que es la frmula de arriba cuando b 0.
Pero como b no es 0 en general, trato de ver si puedo hacer algn cambio que reduzca
el problema a este caso. Pongo en la ecuacin x y m (no s qu va a ser y ni m y trato
de ver si eligiendo bien m puedo conseguir una ecuacin de la forma anterior con y como
incgnita que pueda resolver como he hecho antes. Si tengo y y m entonces tengo x. Vamos
adelante
0 ax 2 bx c ay m 2 by m c ay 2 2aym am 2 by bm c
Si escojo m tal que 2am b 0, es decir m b/2a, entonces lo que obtengo es
ay 2 1 b 2 c 0
4a
de donde sale

 b 2 4ca
y
2a
y por lo tanto
x

b b 2 4ac
2a

**************************************************************
Ejercicios de demostracin marcha adelante
Demuestra que el cuadrado de un nmero impar es impar.
Demuestra que si n es impar, entonces m 3n 3 5n 2 13n 1 es par.
Demuestra que las tres mediatrices de los lados de un tringulo cualquiera se cortan en
un punto.
Demuestra que las tres bisectrices interiores de un tringulo cualquiera se cortan en un
punto.
Demuestra que si a y b son dos nmeros naturales, M es su mnimo comn mltiplo y d
su mximo comn divisor, entonces Md ab.
**************************************************************
2.2 Demostracin marcha atrs
Otra forma posible de demostracin consiste en proceder al revs que en los casos
anteriores. Ponemos nuestra atencin primeramente en B, es decir en la afirmacin a la que
queremos llegar. Con un ojo puesto en A, vamos tratando de buscar situaciones intermedias
E, F, G, de las que B se podra deducir. Es decir nos damos cuenta de que E B, y de que
tambin F B, y G B. Vamos mirando ahora si alguna de estas podra estar
relacionada con la situacin A, es decir se podra deducir de ella. Cuando encontramos, por
ejemplo, que A F, ya tenemos lo que queremos: A F, F B, y as A B. Hemos
conseguido la demostracin que buscbamos. Naturalmente la cadena de implicaciones
puede ser mucho ms larga y difcil de encontrar. Como ves, en realidad se trata de un
procedimiento para, finalmente, dar con una demostracin marcha adelante.
Este tipo de demostracin se puede llamar demostracin marcha atrs y algunos la
llaman demostracin indirecta. Se parece a lo que podemos hacer en la bsqueda del tesoro
en el laberinto del que antes hablamos. Podemos empezar nuestra bsqueda del camino que
desde fuera conduce al tesoro partiendo del lugar donde el tesoro se encuentra, es decir,
tratamos ahora de llegar al exterior desde el compartimento del tesoro. Cuando lo logramos
nos viene bien convencernos de que podemos revertir el camino. El smil no es del todo
exacto, pues en matemticas sucede a menudo que hay camino de fuera adentro y no de
dentro afuera o al revs.
*******************************************************************
Ejemplos de demostracin marcha atrs.
(1) Demuestra que, si x 0, entonces
x 1x 2
*********************************************************************
Miramos lo que nos dicen que demostremos, es decir B, que aqu es
x 1x 2

y observamos que esto es igual que F, es decir que

x 1x 2 0
y que esto es lo mismo que G
x 2 1 2x 0
x
Observando el numerador de esta expresin nos damos cuenta de que es x 1 2 , es
decir el cuadrado de un nmero, lo cual es siempre mayor o igual que 0. Es decir vemos
que G es siempre cierto. Como nos dicen que x 0, resulta ya claro que, G implica F y F
implica B. Es decir resulta efectivamente que, si x 0, entonces se tiene siempre
x 1x 2
***********************************************************************
(2) Demuestra que si x e y son nmeros reales positivos, entonces
xy

xy
2

Como antes, ponemos los ojos en la desigualdad que queremos demostrar y nos damos
cuenta de que es lo mismo que
xy
xy 0
2
y esto es equivalente a
x y 2 xy 0
Como nos dicen que x 0 y que y 0, podemos poner x a y y b y as lo
anterior es lo mismo que
a 2 b 2 2ab 0
Pero esto es claro ya que
a 2 b 2 2ab a b 2
Por lo tanto, recorriendo el camino inverso, vemos que de la ltima desigualdad, que es
clara, llegamos a lo que nos piden.
(Por cierto, lo que hemos demostrado en este ejercicio se llama la desigualdad
aritmtico-geomtrica, es decir que la media aritmtica de dos nmeros positivos es mayor
o igual que su media geomtrica)
***********************************************************************
(3) Demuestra que, para tres nmeros no nulos cualesquiera, a, b, c, se verifica
siempre
3ab bc ca a b c 2

Aqu A es que los tres nmeros a, b, c, son distintos de 0 y B es la desigualdad de arriba.

Miramos B y la escribimos de otra forma

3ab 3bc 3ca a 2 b 2 c 2 2ab 2bc 2ca

Restando 2ab 2bc 2ca de los dos miembros de esta desigualdad (lo que nos da una
desigualdad equivalente), obtenemos
ab bc ca a 2 b 2 c 2
Si demostramos esta ltima desigualdad tendremos demostrado A, ya que todas las
desigualdades que hemos escrito son equivalentes.
Cmo hacerlo? Mirando ahora esta desigualdad, podemos percibir que cada uno de los
miembros tiene una expresin que resulta familiar en geometra. El primer miembro es el
producto escalar de los vectores a, b, c y b, c, a. El segundo miembro es el producto de
los mdulos de estos dos vectores (aqu tienen el mismo mdulo que es a 2 b 2 c 2 )
Qu sabemos del producto escalar de dos vectores relacionado con sus mdulos?
Sabemos que el producto escalar de dos vectores es exactamente el producto de sus
mdulos multiplicado por el coseno del ngulo que forman y tambin sabemos que el
coseno est siempre en el intervalo 1, 1.
Por tanto es cierto que ab bc ca a 2 b 2 c 2 , y as obtenemos A.
***********************************************************************
Ejercicios de demostracin marcha atrs.
Demuestra marcha atrs, que si a es un nmero fijo que verifica 0 a , entonces
para cualquier nmero t que verifica
0 t a, resulta que Ft sent sent a/cost cost a es un valor
independiente de t.
***********************************************************************
Observaciones sobre la demostracin marcha adelante y marcha atrs.
Al hablar de mtodos de demostracin tambin se suele hablar de mtodo analtico y
mtodo sinttico. El mtodo sinttico viene a corresponder al mtodo directo, marcha
adelante, descrito arriba (a partir de los elementos de A se sintetizan, se componen los
elementos de B). En el mtodo analtico se disgregan, se descomponen, se analizan los
elementos de B tratando de ver cmo pueden surgir, ser obtenidos, a partir de los de A. Se
trata de nuestra forma de demostracin marcha atrs. Tradicionalmente se ha dicho que
hacemos una demostracin indirecta de P cuando lo que probamos es la falsedad de no-P.
La terminologa no tiene mucha importancia, pero ciertamente ayuda a que nos entendamos
mejor.
Lo importante, en los tipos de demostracin marcha adelante y marcha atrs, como has
visto, es tratar de poner en claro las conexiones del punto de partida con el punto de
llegada. Para esto te debes ayudar de todos los trucos a tu mano, figuras, clculos, casos
sencillos, que te puedan proporcionar pistas sobre esas conexiones.
Cundo proceder hacia adelante y cundo proceder hacia atrs?
En ocasiones puede suceder que conozcas mejor, ests ms familiarizado con los
elementos que figuran en A o sepas manipularlos ms eficazmente. Otras te manejars
mejor con los elementos de B. De todos modos es claro que tienes que tener siempre la
mirada atenta a las dos situaciones A y B que quieres enlazar y es obvio que cuanto mejor
sea tu conocimiento inicial de ambas situaciones tus posibilidades de xito sern mayores.
***********************************************************************
2.3. La demostracin por contraposicin
7

La demostracin por contraposicin podra ser llamada demostracin supongamos que

no y procede de la siguiente manera.
Queremos demostrar que A B, es decir que si se verifica A, entonces se verifica B.
Como hemos visto en el captulo anterior, y por otra parte es bastante evidente, esto es
equivalente a demostrar que no B no A, es decir que si no se verifica B entonces no se
verifica A. En ocasiones puede resultar ms fcil de realizar la demostracin de esta
segunda proposicin. Ms adelante veremos cmo se pueden sealar algunas circunstancias
generales en las que este procedimiento sea aconsejable.
*********************************************************************
(1) Un ejemplo sencillo de demostracin por contraposicin
Tratamos de demostrar que, de acuerdo con las reglas del ajedrez, cada pen se mueve
a lo sumo 6 veces.
Consideramos un pen cualquiera. Supongamos que se mueve 7 veces o ms. Tratamos
de llegar a deducir que no hemos cumplido las reglas del ajedrez.
Tras el primer movimiento el pen se encuentra al menos en la fila tercera. Tras el
segundo movimiento se encuentra al menos en la cuarta... Tras el sptimo movimiento se
encuentra al menos en la novena,...fuera del tablero.
*********************************************************************
(2) Sea n un nmero entero. Demuestra que si n 2 es par, entonces n es par.
Aqu queremos demostrar A B, siendo A
n 2 es par
yB
n es impar
Para demostrarlo por contraposicin convertimos nuestra tarea en: no B no A, es
decir
Demostrar que si n es impar, entonces n 2 es impar.
Pero esto ya lo has hecho entre los ejercicios de la demostracin marcha adelante.
*********************************************************************
(3) Demuestra que si c es un nmero impar la ecuacin n 2 n c 0 no tiene ninguna
solucin entera.
Supongamos que n fuera solucin. No puede ser par porque entonces c sera par. Si es
impar es de la forma n 2k 1. Substituimos arriba para ver si es posible que se pueda
tener
2k 1 2 2k 1 c 0
Haciendo cuentas resulta
c 2k 1 2 2k 1 4k 2 6k 2
Y c sera entonces par, lo que est excludo.
*********************************************************************
Ejercicios de demostracin por contraposicin
*********************************************************************
Si S es un subconjunto del conjunto T de nmeros reales y S no est acotado, T
tampoco.
(Recuerda que un conjunto M de nmeros reales se dice acotado con cota C cuando
existe un nmero real y positivo C tal que para cada a M se verifica |a| C)
*********************************************************************
8

Si p y q son nmeros reales positivos tales que

pq

pq
2

entonces p q.
*********************************************************************
Si n es un entero mayor que 2, no hay ningn entero m con n m nm.
*********************************************************************
Si en un cuadriltero no hay ningn ngulo obtuso, es decir de ms de 90, entonces
dicho cuadriltero es un rectngulo.
*********************************************************************

Aadir ejercicios
2.4 Demostracin por reduccin al absurdo
El mtodo de demostracin por reduccin al absurdo procede de la siguiente manera.
Demostrar que A implica B, es decir que si se verifica A entonces se verifica B, es
equivalente a demostrar que A y no B implican cualquier proposicin falsa, cualquier
absurdo.
Efectivamente, por una parte si demostramos que A y no B implican un absurdo
cualquiera, P y no P, entonces, suponiendo A cierto, es claro que no se puede dar no B, ya
que entonces se dara P y no P al tiempo, una contradiccin que no puede admitirse. Es
decir se verifica B.
Por otra parte, si A implica B y se da A, entonces se da B, es decir A y no B es falso.
En otras palabras, en la demostracin por reduccin al absurdo transformamos nuestra
tarea de demostrar A B en otra consistente en demostrar que A y no B nos lleva a
cualquier disparate, es decir que de A y no B deducimos una falsedad obvia, sea la que sea.
Si lo logramos, es claro que A y no B es falso. Como A forma parte de la hiptesis y lo
podemos dar como cierto, es claro que no B es falso, es decir que B es verdadero.
***********************************************************************
Ejemplos de demostracin por reduccin al absurdo
***********************************************************************
(1) El ejemplo clsico, profundo y antiguo.
Demuestra que 2 es un nmero irracional.
Parecera que aqu no se da la forma A implica B. En ste, como en muchos otros casos
en que se propone demostrar algo, se da por entendido que hay que demostrar lo que se
propone partiendo de las cosas que se saben, se suponen demostradas o admitidas, aqu en
concreto sobre los nmeros. Como si dijramos: Demuestra que los hechos conocidos sobre
los nmeros racionales implican que 2 es irracional.
Para proceder por reduccin al absurdo partimos de los hechos conocidos sobre los
racionales y de que 2 es racional, es decir es de la forma p/q, siendo p y q dos nmeros
enteros. Podemos suponer que p/q est en forma irreducible, es decir que p y q no tienen
ningn factor comn.
Ahora empezamos a deducir y tratamos de llegar a un absurdo, una contradiccin.
Si 2 p/q entonces p 2 2q 2 . Esta igualdad pone en claro que uno de los factores de
p es 2, es decir p es par, p 2r.
Substituyendo en la igualdad anterior, resulta 4r 2 2q 2 , es decir 2r 2 q 2 . Pero esto
nos dice que tambin 2 es un factor de q, es decir tambin q es par. Pero habamos partido
de que p y q no tenan ningn factor en comn. Hemos llegado a un absurdo, a una
contradiccin que nos indica que nuestro punto de partida, es decir que 2 es racional, es
9

de la forma p/q , no puede ser verdadero.

**************************************************************************
(2) Otro de los clsicos.
Demuestra que los nmeros primos nunca se acaban. Siempre hay ms.
Supongamos que se acaban y que todos ellos estn en esta lista:
2, 3, 5, 7, 11, 13, ..., P
As P es el ltimo primo. Formamos el nmero
M 2 3 5 7 11 13 ... P 1
y nos preguntamos si M es primo o no. Si lo es ya tenemos una contradiccin, pues
claramente M es mayor que P . Si no es primo entonces es compuesto, es decir admite
como factores alguno de los primos de nuestra lista. Supongamos por ejemplo, que
M 7H. Entonces
7H 2 3 5 7 ... P 1, y por lo tanto, 1 7H 2 3 5 11 13 ... P
pero la ltima igualdad es claramente imposible ya que 7 no divide a 1.
***********************************************************************
Ejercicios de demostracin por reduccin al absurdo.
***********************************************************************
Demuestra que el conjunto de los nmeros primos de la forma p 4k 3 es infinito,
siendo k un nmero natural. Es decir, la lista de primos 7, 11, 19, 23, 31, ... no se acaba
nunca.
(Pista: Empieza por suponer que se acaba y que la lista completa y ordenada es la
siguiente
p 1 7, p 2 11, p 3 19, p 4 , ..., p N
Utilizando la idea del ejemplo que has visto antes formas el nmero
J 4 p 1 p 2 ...p N 3
Si es primo, obtienes una contradiccin. Si es compuesto piensa en su descomposicin
en factores primos. Observa y demuestra que un primo cualquiera ha de ser o bien de la
forma 4k 1 o bien de la forma 4k 3. Podran ser todos los factores primos de J de la
forma 4k 1? Demuestra que no. Por lo tanto J es mltiplo de alguno de los nmeros
p 1 , p 2 , p 3 , p 4 , ..., p N , , por ejemplo de p 5, es decir
J 4 p 1 p 2 ...p N 3 m p 5
De aqu obtendrs fcilmente una contradiccin).
***********************************************************************
Demuestra que si n , nmero natural, no es un cuadrado perfecto, entonces n es
irracional.
***********************************************************************
Demuestra que una ecuacin polinmica con coeficientes enteros y coeficiente
principal 1 no puede tener races racionales no enteras.
***********************************************************************
Demuestra que es imposible escribir nmeros utilizando cada uno de los diez dgitos
10

una sola vez de modo que su suma sea 100.

***********************************************************************

Ms ejercicios
Observaciones sobre la demostracin por reduccin al absurdo
El tipo de demostracin razonablemente preferible en matemticas es la demostracin
directa y en muchas ocasiones es aconsejable hacer un esfuerzo por obtener una versin
directa a partir de cualquier demostracin que uno ha obtenido de un cierto hecho.
Por qu es preferible la demostracin directa? En la demostracin por reduccin al
absurdo, por ejemplo, uno est trabajando gran parte del tiempo con afirmaciones que son
falsas, como se va a poner en claro en el ltimo momento de la demostracin. Se podra
pensar que a uno que no est atento a la situacin se le podra provocar a travs de ello una
especie de esquizofrenia, o al menos una gran confusin de ideas.
Pero no siempre es sencillo obtener una demostracin directa de un teorema tal como
est propuesto. Los otros tipos de demostracin se deben apreciar en su justo valor, tanto
heurstico como demostrativo. Las primeras demostraciones de un teorema complicado
suelen ser complicadas, farragosas, opacas. Con el tiempo se van depurando y se obtienen
otras mucho ms transparentes. El matemtico se privara de poderosas herramientas si, por
un purismo estril, decidiera no utilizar ms que el mtodo de demostracin directa.
Por otra parte un aspecto muy importante del oficio del matemtico consiste en el
trabajo de deduccin correcta de conclusiones, y esto se realiza tanto en el mtodo directo
como en los otros. Ms an, cualquier demostracin por contraposicin se puede mirar
como demostracin directa de otro teorema. Si llamamos C a la proposicin no-B, y D a la
proposicin no-A, la demostracin por contraposicin de que A implica B es la
demostracin directa de que C implica D.
A continuacin se presenta un ejemplo de una demostracin directa de un hecho que
antes hemos visto demostrado de forma indirecta. Est basada en la misma idea que surgi
all.
**********************************************************************
Demuestra que, para tres nmeros no nulos cualesquiera, a, b, c, se verifica siempre
3ab bc ca a b c 2
Demostracin directa.
Consideramos los dos vectores del espacio de componentes v a, b, c y w b, c, a.
Su producto escalar es v.w |v||w|cosv, w, y como |cosv, w| 1, resulta |v.w| |v||w| y
en nuestro caso
ab bc ca a 2 b 2 c 2
Sumando a los dos miembros 2ab bc ca obtenemos la desigualdad de arriba.
Como puede apreciarse esta presentacin oscurece un tanto el posible origen de la idea
que est en su base, lo cual la hace ms sorprendente pero menos transparente.
***********************************************************************
Se puede sealar alguna situacin en que parezca que la tarea de demostrar A implica
B ha de resultar ms fcil ensayando inicialmente con supongamos que no?
Cuando B es una afirmacin que se hace de todos los elementos de un conjunto es claro
que no-B est diciendo que para algn elemento, p, de ese conjunto algo sucede. Empezar
pensando en el elemento p y apoyarnos en lo que sabemos que sucede con l para llegar a
no-A puede ser un buen punto de partida.
11

Cuando hemos abordado la demostracin (por reduccin al absurdo) de que 2 es

irracional, hemos procedido as. Lo que queramos demostrar, B, que aqu es que 2 es
irracional, es lo mismo que decir que para cada p/q racional sucede que p/q 2 . Por lo
tanto no-B dice que para algn p/q racional se tiene p/q 2 . Y as es como hemos
comenzado. Aqu ha resultado ms fcil demostrar algo de un racional, cuya estructura es
relativamente sencilla, de lo que hubiera sido tratar de demostrar algo sobre 2 que,
aunque sea un nmero bien concreto, tiene una estructura mucho ms complicada.
***********************************************************************
2.5 Demostracin por induccin
(a) La induccin simple.
Se puede pensar en utilizar el mtodo de demostracin por induccin para demostrar
que una cierta proposicin que afirma que algo es cierto para un nmero natural cualquiera
(o para un nmero natural mayor que 5, por ejemplo).
Quieres demostrar que una cierta proposicin Pn que se refiere a los nmeros
naturales n es cierta para cada n. Por ejemplo, quieres demostrar que para cada nmero
natural n la suma de los n primeros nmeros naturales vale nn 1/2. Procede as:
(A) Demuestra que P1 es cierta.
(B) Demuestra que si Ph es cierta, entonces Ph 1 es cierta. As queda claro que
Pn es cierta para cualquier n N.
Se puede entender el proceso pensando en una fila de fichas de domin puestas de pie y
de tal modo que si se cae una se cae la siguiente de la fila. Si te aseguras de este hecho y
tiras la primera, es claro que se caern todas.
En este ejemplo, la fase (B) del proceso indicado arriba corresponde a asegurarse de
que si se cae una ficha se cae la siguiente, y la fase (A) corresponde a cerciorarse de que la
primera ficha se cae.
El proceso descrito se llama mtodo de induccin simple (o mtodo de induccin, sin
ms) para distinguirlo del mtodo de induccin fuerte que veremos mas abajo. Pero antes
de ir adelante vamos a presentar unos cuantos ejemplos de demostracin por induccin
simple.
***********************************************************************
Ejemplos de induccin simple.
***********************************************************************
(1) Demuestra por induccin que para cada nmero natural n la suma de los n
primeros nmeros naturales vale nn 1/2.
Aqu la proposicin Pn es la proposicin siguiente:
para cada nmero natural n la suma de los n primeros nmeros naturales vale
nn 1/2
(A) Vemos si la proposicin P1 es cierto. Ponemos en n en lugar de 1 en Pn y como
resulta 11 1/2 1, vemos que claramente P1 es cierto.
(B) Tratamos de ver que si la proposicin Ph es cierta entonces tambin lo es la
proposicin Ph 1. (Atencin: no estamos afirmando que Ph sea cierta, an no lo
sabemos ms que para h 1, sino que estamos tratando de demostrar que si Ph es
cierta entonces Ph 1 es cierta)
Si Ph es cierto, entonces se tiene

12

1 2 3 4 ... h

hh 1
2

A partir de aqu queremos llegar a ver que Ph 1 es cierta, es decir

1 2 3 4 ... h h 1

h 1h 2
2

Cmo lo hacemos? Miramos lo que queremos demostrar (**) y miramos de dnde

partimos (*) y pronto se nos puede ocurrir que una parte de lo que figura en (**) est en (*)
y as podemos escribir
1 2 3 4 ... h h 1 1 2 3 4 ... h h 1

hh 1
h 1
2

Y ahora slo tenemos que comprobar si es verdad que

hh 1
h 1h 2
h 1
2
2
para lo cual slo es necesario dividir por h 1los dos miembros de la igualdad.
De este modo hemos logrado efectivamente demostrar que si Ph es cierta entonces
Ph 1 es cierta como queramos. As queda terminado el proceso y podemos concluir
que para cualquier nmero natural n se verifica que la suma de los n primeros nmeros
naturales vale nn 1/2.
***********************************************************************
Observacin importante.
No pienses que la induccin solamente sirve para proposiciones en que se refieren
directamente a nmeros naturales. Hay muchas situaciones geomtricas o de otro tipo que
se prestan a una demostracin por induccin, ya que en realidad dependen de alguna forma
ms o menos sutil de un nmero natural. A continuacin se presenta un ejemplo de esta
naturaleza.
***********************************************************************
(2) Primero unas definiciones sencillas. Un grafo en el plano es un conjunto finito de
puntos y un nmero finito de arcos que conectan algn par de estos puntos. Aqu tienes
unos cuantos ejemplos de grafos.

Dibujos
Para cada uno de los vrtices de un grafo cuenta los arcos que van a parar a l. Ese
nmero se llama el grado de ese vrtice. En la figura siguiente estn sealados los grados
de los vrtices de los grafos anteriores.

Dibujos
Demuestra por induccin (sobre el nmero de arcos) que en todo grafo el nmero de
vrtices de grado impar es siempre par.
(Ante todo es claro que si el nmero de arcos es cero, entonces todos los puntos del
grafo tienen grado 0 y la proposicin es evidentemente cierta)
Si hay solamente un arco (que une dos puntos, dos vrtices) la verdad de la proposicin
es tambin clara, pues esos dos vrtices tienen grado 1 y los otros vrtices que
posiblemente haya en el grafo son de grado 0.
Supongamos que la proposicin es cierta para cualquier grafo de h arcos. Tomamos un
grafo de h1 arcos. Escogemos un arco cualquiera. Supongamos que une el vrtice A con
13

el vrtice B. Los grados de A y B pueden ser, en principio, de alguna de las siguientes

maneras:
1 A par, B par
2 A par, B impar
3 A impar, B impar
4 A impar, B par
De momento borramos ese arco. Obtenemos un grafo de h arcos. Es claro que ahora la
distribucin de los grados de sus vrtices es la misma para los vrtices que no son A ni B y
que la de los vrtices A y B es ahora, segn los caso anteriores
1 A impar, B impar
2 A impar, B par
3 A par, B par
4 A par, B impar
Es decir, si antes A era par ha pasado a ser impar, y al revs, y lo mismo sucede para B.
Estamos suponiendo que la proposicin para el grafo de h arcos se verifica. Pero estamos
viendo que, si restitumos el arco que habamos borrado, resulta el grafo inicial de h1
arcos, y en l el nmero de vrtices impares permanece siendo el mismo que en el grafo de
h vrtices (si A y B son de distinta paridad en el grafo de h vrtices) o disminuye o gana en
2 (segn A y B en el grafo de h vrtices sean los dos impares o los dos pares).
Por lo tanto la proposicin es cierta para el grafo de h1 vrtices suponiendo que es
cierta para cualquier grafo de h vrtices
***********************************************************************
Ejercicios de induccin
***********************************************************************

Ejercicios bien ordenados

Demuestra por induccin las siguientes igualdades:
n
(a) k1 k 2 nn12n1
6
n

(b) k1 2k 1 n 2
n

nn1n2
3

n4n 2 1
3

(c) k1 kk 1
(d) k1 2k 1 2
n

(e) k1 k 3
n

n 2 n1 2
4

(e) k1 k k! n 1! 1

14

(f) k1 4k 2

2n!
n!

1
(g) k1 2kk 2 2nn 2 n1
***********************************************************************
Utiliza alguna de las frmulas del ejercicio para demostrar que el cubo de cualquier
nmero entero es la diferencia de los cuadrados de dos nmeros enteros.
***********************************************************************
Calcula la solucin de la ecuacin

x 2 x 1 x 2 2x 3 x 2 3x 5 x 2 20x 39 4500
(Usa las frmulas del ejercicio anterior).
***********************************************************************
Demuestra (por induccin sobre el nmero de segmentos) que si en una cuartilla trazas
n segmentos, cada uno de los cuales empieza en un punto de un borde de la cuartilla y
acaba en un punto de otro borde, entonces las regiones de la cuartilla as definidas se
pueden pintar con dos colores de modo que cada dos trozos con borde comn tiene distinto
color.
***********************************************************************
Demuestra que si tenemos n puntos en el plano de modo que no hay tres en lnea recta,
nn 1
el nmero de segmentos que determinan es
2
***********************************************************************
1
. Demustrala
Deduce una frmula para la derivada n-sima de la funcin fx 1x
por induccin.
Sea a un nmero real. Demostrar que todo polinomio P de grado n 1 puede dividirse
entre x a, siendo el polinomio cociente Q de grado n 1 y siendo el resto el valor del
polinomio en a, esto es, Px Qx : x a Pa.
Sea a un nmero real. Demostrar que
x n a n x a : x n1 ax n2 a n2 x a n1 x R.
n

a
na n1
Deducir que si fx x n , entonces f a lim xa x xa
***********************************************************************
Utilizando la identidad trigonomtrica
cosn 1 cosn 1 2 cos n cos , o su equivalente
cosn 1 2 cos n cos cosn 1, prueba que:
2 cos n 2 cos n c n1 2 cos n1 c 1 2 cos c 0 con los c i enteros.
Una vez probado esto no debes dejar pasar la oportunidad y probar que si , en
grados, es un nmero racional con 0 90 , entonces cos es irracional salvo si
60 .
***********************************************************************
(b) La induccin fuerte
Al tratar de proceder por induccin segn lo hemos hecho antes, a veces nos
encontramos con el problema de que no nos basta saber que Ph es cierto para demostrar
que Ph 1 lo es tambin. Por eso se puede pensar en utilizar el mtodo de induccin
fuerte que procede mediante una ligera variante:
(A) Demuestras que P1 es cierta.

15

(B) Demuestras que si P1, P2, , Pk son ciertas, entonces Pk 1 es cierta.

As queda demostrado que Pn es cierta para cualquier n N.
***********************************************************************
Ejemplos de utilizacin de la induccin fuerte.
***********************************************************************
(1) Demuestra que para cada nmero natural n distinto de 1 se verifica que n es primo
o se puede representar como producto de nmeros primos. (Esto se suele llamar el teorema
fundamental de la aritmtica)
Observa que si n es 2 la proposicin se cumple.
Tomamos ahora un nmero h 1.
Observa que suponer simplemente que h es primo o que h se puede representar como
producto de primos no te ayuda nada para deducir que h 1 es primo o que se puede
representar como producto de primos. Pero en cambio el tipo de hiptesis que aparece en B
s que nos resuelve el problema.
Supongamos que para 2, 3, 4, 5, ..., h la proposicin es cierta. Consideramos el nmero
h 1. Si h 1 es primo, es claro que la proposicin se cumple para l. Y si h 1 no es
primo, entonces ser compuesto, es decir producto de dos nmeros que estn en la lista
2, 3, 4, 5, ..., h. Pero cada uno de ellos se puede representar como producto de nmeros
primos, segn nuestra hiptesis. Por tanto la proposicin es cierta para h 1.
Como la proposicin es cierta para 2, de nuestra forma de razonar se deduce que es
cierta para 3. Como es cierta para 2 y para 3, resulta que es cierta para 4.... Es decir resulta
en definitiva que es cierta para todo n.
***********************************************************************
Ejercicios de demostracin por induccin fuerte
***********************************************************************

Ejercicios
Demuestra que cualquier nmero natural se puede escribir como suma de potencias
distintas de 2.
***********************************************************************
Demuestra que cualquier polgono, convexo o no, se puede diseccionar en tringulos
mediante diagonales disjuntas. (Pista: Todo polgono tiene al menos una diagonal
totalmente contenida en su interior).
***********************************************************************
2.6 Demostracin por distincin de casos
En muchas ocasiones la situacin que propone una demostracin es tal que se puede
clasificar en un nmero finito de casos posibles, o bien en un conjunto infinito de clases de
casos y cada uno de ellos se puede tratar mediante algn truco diferente para obtener la
conclusin a la que queremos llegar. Se entender esto mejor con algunos ejemplos.
***********************************************************************
Ejemplos de demostracin por distincin de casos
***********************************************************************
Demuestra que si a y b son dos nmeros reales, entonces |a b| |a| |b|.
Partimos de la definicin de valor absoluto |r| de un nmero r. Recuerda: |r| es r si r 0
y r si r 0. Entodo caso es un nmero positivo o nulo y siempre es cierto que r |r|.
Esto nos invita a distinguir dos casos en la tarea propuesta.
Si a b 0 entonces |a b| a b. Como a |a| y b |b|, es claro que se tiene la
desigualdad.
Si a b 0, entonces |a b| a b. Como a |a| y b |b|, tambin en este caso
resulta cierta la desigualdad.

16

***********************************************************************
Demuestra que para dos nmeros naturales cualesquiera x, y, es imposible que se
verifique 3x 2 y 2 1.
Puesto que el primer trmino es mltiplo de 3 es claro que tambin el segundo lo es y
as resulta que y no lo puede ser. Por lo tanto y es de una de las dos formas posibles:
y 3h 1 o bien y 3h 1. Pero en cualquier caso y 2 1 9h 2 1 6h 1, que
claramente es de la forma 3k 2 que nunca puede ser igual a 3x 2 , ya que 2 no es mltiplo
de 3.
***********************************************************************
Ejercicios
***********************************************************************
Demuestra que para cada nmero natural n, el nmero n 2 n 2 1n 2 4 es mltiplo
de 360.
***********************************************************************
Demuestra que para cada nmero natural n, el nmero 3n 5 5n 3 7n es mltiplo de
15.
***********************************************************************

Ejercicios
2.7 Demostracin por contraejemplo
Cuando se trata de demostrar que una cierta proposicin que se refiere a un conjunto M
de elementos, por ejemplo, todos los espaoles son morenos, no es cierta, es claro que lo
ms fcil que podemos hacer es presentar un espaol rubio. sta es la demostracin por
contraejemplo y el espaol rubio es el contraejemplo
Por ejemplo, tratamos de demostrar que es falsa la proposicin siguiente:
Para tres nmeros enteros y no nulos cualesquiera x, y, z y para cualquier nmero
natural n 2 se verifica
xn yn zn
Nos basta presentar los nmeros 3,4,5 como x, y, z y 2 como n. Es claro que
32 42 52
***********************************************************************
Ejercicios.
***********************************************************************
Demuestra que es falso que si n es un nmero natural cualquiera, entonces 3n! 1 es
un nmero primo.
***********************************************************************
Demuestra que es falso que cada nmero natural impar es suma de los cuadrados de
dos nmeros naturales.
***********************************************************************
n
Demuestra que es falso que 2 2 1 es primo para cada nmero natural n.
(Pista: Utiliza algn programa de clculo simblico que te factorice nmeros grandes)
***********************************************************************

Ejercicios
2.8 El mtodo de descenso de Fermat.
Aunque el mtodo que aqu se presenta no es tan frecuentemente usado como los
17

anteriores en el ejercicio de la demostracin, es muy bello, por su sencillez y por el ingenio

que demuestra, y vale la pena tenerlo en cuenta, especialmente en temas relacionados con
la teora de nmeros, campo en el que Fermat lo utiliz profusamente con xito.
Se basa en el hecho, bastante obvio, de que en todo conjunto de nmeros naturales hay
uno de ellos que es ms pequeo que todos los dems. Procede combinando de un modo
inteligente la reduccin al absurdo con una especie de induccin en sentido opuesto de la
manera que se describe en la siguiente situacin.
Se quiere demostrar una afirmacin relativa a nmeros naturales. Por ejemplo,
queremos demostrar el siguiente teorema que procede de Fermat mismo: cada nmero
primo de la forma 4n 1 (siendo n un nmero natural) se puede representar como suma de
los cuadrados de dos nmeros naturales. Ejemplos: 5 4 1 1 2 2 1 2 ,
13 4 3 1 3 2 2 2 , 29 4 7 1 5 2 2 2 .
Comenzamos por suponer que hay algn primo P de la forma 4n 1 que no se puede
representar como suma de los cuadrados de dos nmeros naturales. Tratamos de demostrar
que si es as entonces existe otro nmero primo P de la forma 4n 1, ms pequeo que P ,
que tampoco se puede obtener como suma de dos cuadrados. (Supongamos que lo hemos
conseguido, como lo consiguieron Fermat y Euler). Procediendo as reiteradamente
llegamos a la afirmacin de que 5 , que es el primer primo de la forma 4n 1, no es suma
de dos cuadrados. Pero esto es falso, de modo que nuestro punto de partida es falso y as
resulta demostrado el teorema.
***********************************************************************
Ejemplos de demostracin por descenso
***********************************************************************
Considera un cuadrado cualquiera en el plano y una unidad de longitud u en l.
Demuestra que sea cual sea esa unidad de longitud, no pueden existir dos nmeros
naturales m, n tales que la longitud d de la diagonal del cuadrado y la longitud l del lado
de ese cuadrado satisfagan la relacin:
d m veces u, l n veces u

Supongamos que hay una tal unidad de longitud u y dos nmeros m, n que verifican la
relacin. Es claro que 2n m n. Procedemos como se indica en la figura a partir del
cuadrado ABCD y, como es fcil deducir, llegamos a construir un cuadrado nuevo EDFG
en que el lado ED mide m n veces u y la diagonal mide 2n m veces u . Por lo tanto
la relacin diagonal/lado es ahora m /n siendo m 2n m m y n m n n.
Repitiendo lo que hemos hecho cuantas veces haga falta, ha de llegar un momento en que

18

lleguemos a construir un cuadrado de lado u . Su diagonal mide ku siendo k un nmero

natural, lo que claramente es imposible, pues la diagonal es menor que 2u.
***********************************************************************
Demuestra que no existen tres nmeros naturales x, y, z tales que x 2 y 2 3z 2
Supongamos que existieran tales x, y, z. Consideremos los dos nmeros x, y.
Veamos en primer lugar que no es posible que alguno de ellos, por ejemplo y, no sea
mltiplo de 3. Efectivamente entonces y sera de la forma 3j 1 y as y 2 sera de la forma
3k 1. Sea x mltiplo de 3 o de la forma 3h 1, es claro que x 2 y 2 no puede ser mltiplo
de 3.
Por consiguiente tanto x como y han de ser mltiplos de 3, es decir x 3x , y 3y .
Entonces, substituyendo en x 2 y 2 3z 2 , resulta
3x 2 y 2 z 2
Por lo tanto z sera tambin mltiplo de 3, z 3z , y as tendramos
x 2 y 2 3z 2
con x , y , z , claramente menores que sus homlogos anteriores.
Repitiendo este proceso lo que haga falta llegamos a que el menor de los nmeros de
las ternas que satisfacen x 2 y 2 3z 2 ha de ser 1, lo cual es imposible, pues hemos visto
que los tres nmeros han de ser mltiplos de 3.
***********************************************************************
Ejercicios de demostracin por descenso.
***********************************************************************
Un rectngulo con su lado mayor a y su lado menor b se llama ureo cuando sucede
que si se le quita el cuadrado contenido en l de lado menor b resulta un rectngulo
semejante al inicial.
Demuestra que para cualquier unidad de longitud u que se elija no pueden existir dos
nmeros naturales m y n tales que a mida m veces u y b mida n veces u.
Es decir los lados de un rectngulo ureo son inconmensurables (no se pueden medir
con una misma unidad mediante nmeros naturales).
*************************************************************************
Demuestra que la diagonal y el lado de un pentgono regular son tambin
inconmensurables.
***********************************************************************
Demuestra que no existen tres nmeros naturales x, y, z tales que x 4 y 4 z 2 .
[Un programa de accin para un ejercicio nada fcil. Se trata de un teorema importante
de Fermat.
(a) Estudia primero cmo son todas las posibles ternas pitagricas de nmeros
naturales, es decir las ternas a, b, c tales que a 2 b 2 c 2 .
(b) Observa que, de existir tales x, y, z, la terna x 2 , y 2 , z sera una terna pitagrica.
(c) Apoyado en lo que has averiguado en (a) trata de demostrar que si existen esos
nmeros x, y, z del enunciado, entonces existen otros tres x , y , z con x x tales que
tambin ellos satisfacen x 4 y 4 z 2 .
(d) Esto te lleva a un tro de nmeros naturales 1, y , z tales que 1 y 4 z 2 , lo
que se demuestra fcilmente que es imposible].
***********************************************************************

Ejercicios
Observacin sobre el mtodo de descenso.
A juzgar por los ejercicios anteriores, parecera que el mtodo de descenso sirve
19

nicamente para demostrar proposiciones negativas, la no existencia de tales o cuales

objetos matemticos. Pero dndole al proceso el astuto giro que le di Fermat, se pueden
obtener con el mtodo teoremas muy interesantes de naturaleza positiva, como el que nos
sirvi antes para introducir el mtodo: Todo nmero primo p de la forma 4k 1 es suma de
dos cuadrados perfectos.
***********************************************************************
Ejercicios variados
***********************************************************************
En la resolucin de la ecuacin |x 2 x 6| x 2 se encuentra la siguiente respuesta:
La ecuacin propuesta equivale a las dos ecuaciones
x 2 x 6 x 2, x 0
x 2 x 6 x 2, x 0
Para la primera se tiene, equivalentemente, x 2 2x 8 0, : x 0, que da
x 1 3, : x 0, es decir, x 4. La segunda ecuacin se reduce a x 2 4 0, : x 0, de
donde x 2. Por tanto, las soluciones de la ecuacin propuesta son x 4 y x 2. Sin
embargo, por sustitucin directa se ve que x 2 tambin es solucin. Qu ha sucedido?
Demuestra que en un tringulo cualquiera:
Las tres bisectrices concurren. (La bisectriz de un ngulo es el lugar geomtrico de los
puntos que equidistan de los dos lados que forman el ngulo).
Las tres mediatrices concurren. (La mediatriz de un segmento es el lugar geomtrico de
los puntos que equidistan de los extremos).
Las tres alturas concurren. (Construye otro tringulo en el que sus mediatrices
coincidan con las alturas dadas).
Las tres medianas concurren.
Demuestra que si m, n, p es una terna de nmeros pitagricos (es decir, verifican que
m 2 n 2 p 2 ), entonces al menos uno de ellos es par.

20