Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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
2
x c 0 0 4ac
a
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
y
y por lo tanto
b 2 4ca
2a
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
x a y y b y as
Aadir ejercicios
Ms ejercicios
1 2 3 4 ... h
hh 1
2
1 2 3 4 ... h h 1
h 1h 2
2
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
(b) k1 2k 1 n 2
n
nn1n2
3
n4n 2
1
3
(c) k1 kk 1
(d) k1 2k 1 2
(e) k1 k 3
n 2 n1 2
4
(e) k1 k k! n 1! 1
(f) k1 4k 2
(g)
k1
k
2k
2n!
n!
2 2n
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
***********************************************************************
Deduce una frmula para la derivada n-sima de la funcin fx 1x1 . Demustrala
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.
x
n1
Deducir que si fx x n , entonces f a lim xa
xa na
n
***********************************************************************
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.
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.
***********************************************************************
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
Ejercicios
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
Ejercicios