Sntesis del Libro Como entender y hacer demostraciones Matemticas

Prof.: Ren Piedra. Asignatura: Lgica Matemtica Sustentante: Leomar Reyes Abreu

Una demostracin es una forma de comunicar una verdad matemtica, lo que

supone conocer primero las tcnicas de demostracin, para luego entenderla y hacer
posteriores demostraciones, cuyo objetivo es determinar la veracidad o falsedad de un
planteamiento a travs de las tcnicas de demostracin.

Una de las tcnicas fundamentales de demostracin es el Mtodo Progresivo-

Regresivo ( ), la cual supone asumir la hiptesis (en este caso identificada como A)
como verdadera, para concluir que la proposicin B tambin es verdadera. En el proceso
regresivo (partir de B para llegar a A) se parte con una pregunta abstraccin, lo cual
supone preguntarse como poder demostrar que la proposicin B es verdadera, y la
respuesta a esta interrogante, normalmente conlleva a plantearse otras preguntas de
abstraccin derivadas de la anterior y que permitirn conjunto al proceso progresivo
(asumir la proposicin A como verdadera para llegar a B) demostrar que A implica B, lo
cual puede representarse como . Si la ltima de la secuencia progresiva es la ltima
de la secuencia regresiva, entonces quedara por demostrado que . Esta ltima
parte hace evidente la importancia de seleccionar adecuadamente la pregunta de
abstraccin y los planteamientos derivados de ella.

Por ejemplo:
Ejercicio 2.6.
Para cada uno de los siguientes problemas, 1) Plantee una pregunta de abstraccin,
2) contstela abstractamente, y 3) Aplique su respuesta al problema especfico.

a) Si a, b y c son nmeros reales para los cuales > , < y = ,

entonces la solucin a la ecuacin + + = es positiva.
1) Cmo se puede demostrar que la solucin de una ecuacin de segundo grado
es positiva?
2) Demostrando que la formula general para resolver una ecuacin de segundo
grado es un valor positivo

3) Partiendo de la hiptesis, se debe demostrar que = 0, puesto que la formula

2 4
general es = , pero segn la hiptesis considerada como
2

verdadera esto se puede reducir a la parte planteada que = 0.

 es la bisectriz perpendicular de
b) En la siguiente figura, si =
, ,
entonces el tringulo RST es equiltero.
1) Cmo puede demostrarse que un tringulo es equiltero?
2) Demostrando que las longitudes de los tres lados o las medidas de los tres ngulos
son iguales.

,
3) Demostrar que los segmentos son iguales. Tambin se podra
demostrar que los ngulos R, S y T son iguales.

Ejercicio 1.3
Si usted est tratando de demostrar que A implica B es verdadero y sabe que B es
falso, Quiere demostrar que la proposicin A es verdadera o falso? Explique.

Si se quiere demostrar que es verdadera y se sabe que B es falsa, entonces

A tambin debe ser falsa. Por otro lado, si A es verdadera y B es falsa, entonces A
implica B seria falsa.
 Cuando se est trabajando con el mtodo progresivo-regresivo, la respuesta a una
pregunta de abstraccin normalmente conlleva a utilizar definiciones que contienen los
cuantificadores existe y para todo o para cada, lo cual supone que sea conveniente
utilizar otros mtodos de demostracin.

Cuando aparece el cuantificador existe se utiliza el mtodo por construccin.

Este mtodo supone que existe un objeto con una cierta propiedad tal que algo
sucede. Este mtodo parte de la suposicin que la hiptesis es verdadera, para generar el
objeto deseado en base a dicha propiedad, y que se produzca ese algo.

Ejercicio 4.3 Demuestre que:

a) Existe un nmero tal que + = . Es nico este entero?
Utilizando el mtodo por construccin, se resuelve la ecuacin 2 5 2 +
3
32 = 0 por factorizacin ( 2) ( 1) = 0, de la cual se obtiene que el valor de
3
la variable = 2 = 1 . De esta forma queda demostrado que existe un entero (el

numero 1) que cumple con que 2 5 2 + 32 = 0. Y adems, este entero es nico.

b) Existe un nmero real tal que + = . Es nico este nmero

real?
Utilizando el mtodo por construccin, se resuelve la ecuacin 2 5 2 +
3
32 = 0 por factorizacin ( 2) ( 1) = 0, de la cual se obtiene que el valor de
3
la variable = 2 = 1 . De esta forma queda demostrado que existe un real x que

cumple con que 2 5 2 + 32 = 0. Y adems, el nmero real x no es nico.

Ejercicio 4.5
Demuestre que si s y t son nmeros raciones y entonces es un numero
racional.
Esta demostracin da lugar a formular la pregunta de abstraccin Cmo puedo
demostrar que un nmero real es racional? La respuesta a esta pregunta conlleva a utilizar
la siguiente definicin: Existen los enteros p y q con 0 tales que = . uesto
que s y t son racionales, existen los enteros b, c, d, e con 0 0 tales que =
y = .
 Adems, 0 0 , entonces 0 . Si se sustituyen los valores de s y t,
se tiene que = ()(/) = . De modo que los enteros p y q son = y
= y 0, queda demostrado que es un numero racional.

Por otro lado, cuando en el proceso regresivo surge el cuantificador universal

expresado como para todo o para cada se utiliza el mtodo por seleccin, la cual
consiste en particularizar para objetos especficos que cumplen la propiedad delimitada
en el problema, la definicin utilizada para responder a la pregunta de abstraccin.
Cuando la lista de objetos es finita, una manera razonable de proceder es tratar de
demostrar que todos los objetos cumplen con cierta propiedad.

Es importante tener presente destacar que en una demostracin se pueden utilizar

varias tcnicas de demostraciones, lo cual hace que identificar que tcnica utilizar, sea un
recurso ms para la demostracin.

Ejercicio 5.5
Para cada uno de los siguientes enunciados, indique cuales tcnicas para hacer
demostraciones usara usted (Seleccin, construccin o ambas) y en qu orden.
Adems, explique cmo se aplicara la tcnica al problema en particular, es decir,
que construira, que seleccionara, etc.

a) Existe un nmero real > tal que, para todos los elementos en el conjunto
S de nmeros reales, || .
Primero se podra aplicar el mtodo por construccin para generar > 0 y luego
se utilizara el mtodo por seleccin para particularizar el problema y elegir un , en S
para la que debe demostrarse que | , | .

b) Para todos los nmeros reales > , existe un elemento x en el conjunto S de

numero reales tal que || >
Primero se debe aplicar el mtodo por seleccin y se elegira > 0. Luego se podra
aplicar el mtodo por construccin para producir una x en el conjunto S tal que || > .
Ejercicio 5.8. Demuestre que si m y b son nmeros reales y es una funcin definida por
() = + , entonces es convexa.
 Utilizando el mtodo progresivo-regresivo se genera la pregunta de abstraccin
Cmo se puede demostrar que una funcin es convexa? La respuesta a esta pregunta
requiere el uso de la siguiente definicin, a la cual se identificara como B1

1 : Para todos los nmeros reales y , y para toda t con 0 1.

( + (1 )) () + (1 )()

Utilizando el mtodo por seleccin, particularizamos esta definicin. Entonces debe

demostrarse que
( + (1 ) ) ( ) + (1 )( )
Partiendo de la hiptesis,
() = +
( + (1 ) ) = ( + (1 ) ) +
( + (1 ) ) = + +
( + (1 ) ) = + + +
( + (1 ) ) = ( + ) + (1 ) + (1 )
( + (1 ) ) = ( + ) + (1 )( + )

Ejercicio 5.7.
Demuestre que para todo nmero real > , existe un nmero real < tal que
= ( + ).

Partiendo del mtodo por seleccin, existe un nmero real > 2. Utilizando el
mtodo por construccin, se tiene que
= 2(1 + )
= 2
= (2 )
Puesto que > 2, < 0 se puede verificar que se cumple = 2(1 + ) y
por lo tanto tambin para = 2(1 + )
 Cuando el cuantificador para todo aparece tambin otra tcnica de demostracin
til lo es el mtodo por induccin, la cual se utiliza para nmeros enteros que son mayores
que 1. El mtodo por induccin bsicamente consiste en demostrar que () es verdadero
para el primer valor posible de n, y luego demostrar que si () es verdadero, entonces
( + 1) tambin es verdadero.

Ejercicio 6.1.
Para cules de las siguientes proposiciones seria directamente aplicable el mtodo
por induccin? Cuando no sea aplicable, explique el por qu.

a) Para cada entero positivo n, 8 divide a + . Es Aplicable.

b) Existe un entero tal que > . No es aplicable porque debera tener el
cuantificador para todo, en lugar del cuantificador existencial.
c) Para cada entero , (!) + + (!) = ( + )! . (donde ! =
( + ) ). Aplicable
d) Para cada entero , ! > . Aplicable
e) Para cada nmero real , .
No es aplicable, porque la induccin solo se aplica para nmeros enteros.

Ejercicio 6.3.
Demuestre por induccin que para cada entero , (!) + + (!) =
( + )! .
Se comienza comprobando si () es verdadera, en este caso tomaremos para n=2.
Si () = 1(1!) + + (!) = ( + 1)! 1.
(1) = 1(1!) = (1 + 1)! 1 Y se verifica que 1=1.
Tomando a () como verdadera, se debe demostrar que ( + 1).
Dado que ( + 1) = 1(1!) + + ( + 1)( + 1)! = ( + 2)! 1.
Partiendo que 1(1!) + + (!) + ( + 1)( + 1)!
( + 1)! 1 + ( + 1)( + 1)!
( + 1 + 1)( + 1)! 1
( + 2)( + 1)! 1
( + 2)! 1
Por lo tanto ( + 1) tambin es verdadera.
Ejercicio 6.7.
Demuestre que para cada entero , 6 divide a estableciendo que 1) el
enunciado es verdadero para = , y 2) Si el enunciado es verdadero para ( )
entonces, tambin es verdadera para .

Partiendo que () es verdadera para n=1, 13 1 = 0

Entonces se debe cumplir que ( 1)3 ( 1), y aplicando algunos procedimientos
algebraicos, se tiene que es igual a
3 32 + 3 1 + 1
3 (32 3)
3 =32 3
Entonces 3 = [( 1)3 ( 1)] + 32 3. Segn la hiptesis [( 1)3
( 1)] es divisible entre 6, lo que supone que hay que demostrar que 32 3 tambin
es divisible entre 6.

Partiendo que 2 es divisible entre 2 pues establece el producto de dos nmeros

consecutivos ( 1). Por lo tanto,
3 = [( 1)3 ( 1)] + 3(2 )
3 = 6 + 6
3 = ( + )

Cuando el cuantificador para todo surge en el proceso progresivo, un mtodo

que podra utilizar es el mtodo por particularizacin, el cual consiste en verificar y
asegurarse que los objetos satisfagan cierta propiedad, y de esa forma poder concluir que
B es verdadera.

Ejercicio 7.4.
Demuestre que si S y T son conjuntos convexos, entonces S interseccin T es un
conjunto convexo.
Partiendo del proceso progresivo-regresivo se genera la pregunta de abstraccin
Cmo puedo demostrar que un conjunto es convexo? La respuesta a esta pregunta
requiere el uso de la siguiente definicin, a la cual se identificara como B1
1 : Para toda y de S interseccin T, y para toda t con . +
(1 ) esta en S interseccin T.
Particularizando la definicin anterior por el mtodo de seleccin, se tiene que
2 : + (1 ) Est en S interseccin T.

Trabajando progresivamente y partiendo de la hiptesis que S es convexo, se tiene que:

1 : Para toda y de S, y para toda t con . + (1 ) esta en S.
Particularizando la expresin anterior por el mtodo de seleccin, se tiene que +
(1 ) esta en S. De forma parecida se infiere que + (1 ) tambin est
en T, por tanto, queda demostrada la proposicin.

Ejercicio 7.7.
Demuestre que 1 es un lmite mnimo superior del conjunto = { ,
, , } (sugerencia: el conjunto S se puede escribir como
{ : = })

Partiendo del mtodo progresivo-regresivo, se plantea la pregunta de abstraccin

Cmo puede demostrarse que un nmero es la mnima cota o lmite superior de un
conjunto? La respuesta a esta pregunta requiere el uso de la siguiente definicin, a la cual
se identificara como B1

B1: 1 es cota superior de S y, para toda > 0, existe una x en S tal que > 1.

Esto conlleva a la formulacin de otra pregunta de abstraccin, que es Cmo

puede demostrarse que un nmero es cota superior de un conjunto? Utilizando la siguiente
definicin, se tiene que
B2: para toda x de S, 1.
Trabajando regresivamente, se tiene que
B3: 1. Para .
Pero el conjunto S puede expresarse como =
{ : 2 = 1 1})
Puesto que , existe un entero 2 = 1 1, y como 2, = 1
1 1, de donde se comprueba que B3 es verdadera.
Para demostrar que B1 es verdadera, es preciso demostrar que:
B4: para > 0, existe x en S tal que > 1. Aplicando nuevamente el mtodo por
seleccin se debe demostrar que
B5: existe x en S tal que > 1.
Aplicando nuevamente el proceso progresivo, la x de S buscada se generara
encontrando un 2 elemento de los enteros para el que 1 1 > 1 porque se
podra construir que = 1 1.

Cuando se trat el proceso progresivo-regresivo en los inicios de este documento,

se asuma la hiptesis A como verdadera, para concluir que la proposicin B es verdadera.
Pero ahora surge una nueva tcnica de demostracin la cual supone negar a la proposicin
B y determinar por qu no se puede demostrar que A es verdadero. Es decir, suponer A
verdadero, y B falso y ver por qu esto no puede ser posible.

Ejercicio 8.1.
Qu debera usted suponer cuando se aplique el mtodo por contradiccin a las
siguientes proposiciones?

a) Si , y son tres nmeros consecutivos, entonces 24 no divide a + +

+ .
Suponer que , y son tres nmeros consecutivos, y 24 divide a 2 + 2 + 2 + 1.

b) Si la matriz M no es singular, entonces los renglones de M no son linealmente

dependientes.
Suponer que M no es singular, y que los renglones de M son linealmente
dependientes.

c) Si y son dos funciones tales que 1) y 2 no esta acotada superiormente,

entonces no esta acotada superiormente.
Suponer que y son dos funciones tales que , no tiene cota superior y g
tiene cota superior.
Ejercicio 8.3.
Demuestre por contradiccin que si es un entero y es par, entonces es par.
Se parte haciendo una contradiccin de B, es decir, que n es impar y 2 es par.
Entonces existe un entero k tal que = 2 + 1.
Por lo que, 2 = (2 + 1)2
= 4 2 + 4 + 1
= 2(2 2 + 2) + 1
Siendo = 2 2 + 2 entonces 2 = 2 + 1, contradiciendo la proposicin que era un
nmero par.

Ejercicio 8.5.
Demuestre por contradiccin que si son dos lneas rectas en un plano, las
cuales son perpendiculares a una tercera lnea recta en el plano, entonces
son paralelas.
Contradiciendo la proposicin B, se tiene que 1 2 no son paralelas y que
ambas son perpendiculares a una recta en el plano, lo que supone que ambas se deben
intersecar con la recta formando ngulos de 90 grados, y como la suma de los ngulos
interiores de un tringulo es 180 grados, esto conduce a la contradiccin que hay un tercer
ngulo que mide cero grados.

Cuando se utiliza el mtodo por contradiccin, no se puede trabajar

regresivamente porque no se sabe que contradiccin se va a generar y adems se toma la
proposicin A como fundamento para lograr la contradiccin. Pero en otros casos, surge
otra tcnica de demostracin que es el mtodo contrapositivo, la cual consiste en trabajar
progresivamente a partir de NO B y regresivamente a partir de No A. En el mtodo
contrapositivo, se supone que No B es verdadero para llegar a la contradiccin que la
proposicin A es falsa.

Ejercicio 9.3. Si el mtodo contrapositivo se utiliza para demostrar la proposicin:

Si la derivada de la funcin en el punto x no es igual a cero, entonces x no es un
minimo relativo de , entonces Cul de las siguientes es la pregunta de
abstraccin ms correcta? Qu es incorrecto en las otras alternativas?

a) Cmo puedo demostrar que el punto x es un mnimo relativo de la funcin ?

Es incorrecta, pues contiene expresiones especficas del problema y adems, el
proceso de abstraccin en el mtodo contrapositivo no debe aplicarse a NO B.

b) Cmo puedo demostrar que la derivada de la funcin en el punto x es cero?

Es incorrecta, pues contiene expresiones especficas del problema.
c) Cmo puedo demostrar que un punto es un mnimo relativo de una funcin?
Es incorrecta. El proceso de abstraccin en el mtodo contrapositivo no debe aplicarse
a NO B.
d) Cmo puedo demostrar que la derivada de una funcin en un punto es cero?
Es correcta.

Ejercicio 9.4.
Demuestre que si c es un entero impar, entonces la solucin de la ecuacin +
= , no es un entero impar.

Aplicando el mtodo contrapositivo, se asume la existencia de un entero m impar

que es la solucin de la ecuacin. Por lo tanto, la ecuacin se puede reescribir como =
2 + . Pero como m se asumi como un nmero impar, puesto que la suma de dos
nmeros impares es un nmero par, se deduce que C es un nmero par, terminando as la
demostracin.

Algo muy importante que se tiene que tomar en consideracin, principalmente

para el mtodo por contradiccin y contrapositivo, y es que es necesario saber cmo
plantear las negacin de una proposicin, de tal forma que no se generen confusiones al
momento de trabajar a partir de No A, o No B.

Ejercicio 10.3. Si se utiliza el mtodo por contradiccin para demostrar las siguientes
proposiciones, Qu debera usted suponer?

a) Para cada entero , ! > .

Suponer que existe un entero 4, ! 2
b) A implica (B O C).
Suponer A, No B y No C
c) A implica (B Y C).
Suponer A, No B o No C
d) Si es una funcin convexa de una variable, es un numero real y existe un
nmero real > tal que para todo numero real x con la propiedad | | <
, () ( ), entonces para todo numero real y, () ( ).

Suponer que es una funcin convexa de una variable, es un nmero real y existe
un nmero real > 0 tal que para todo numero real x con la propiedad | | <
, () ( ). y adems, suponer que existe un nmero real y, tal que () < ( ).
10.4. Si el mtodo contrapositivo se utiliza para demostrar las siguientes
proposiciones, A partir de cul(es) proposicin(es) trabajara progresivamente, a
partir de cul(es) trabajara regresivamente?
a) A implica (B O C).
Progresivamente a partir de: No B y No C
Regresivamente a partir de: No A
b) A implica (B Y C).
Progresivamente a partir de: No B o No C
Regresivamente a partir de: No A
c) Si es un entero par y es un entero impar, entonces es divisible entre o
no es divisible entre 4.
Progresivamente a partir de: m no es divisible entre 4 y n es divisible entre 4.
Regresivamente a partir de: n es un entero impar o m es un entero par.

10.5. Demuestre por contradiccin que si y son nmeros reales tales que
, y + = , entonces = y = .

Partiendo que 0, 0 y + = 0 , y que 0 y 0. Pero si 0,

entonces > 0 y = < 0, pero esto genera una contradiccin en el hecho que
0.
Adems de las tcnicas presentadas anteriormente, existen otras tcnicas
especiales que son muy tiles en las demostraciones. Una de ellas es el mtodo de
unicidad, la cual consiste en demostrar existe un objeto con cierta propiedad tal que algo
sucede, pero que ese objeto es nico. Una forma efectiva de demostrar la unicidad del
objeto, se hace suponiendo que existen dos objetos para los cuales dicha propiedad se
cumple, y luego demostrar que esos objetos son iguales. Otra tcnica especial es el
mtodo de la disyuncin exclusiva, la cual consiste en demostrar la proposicin A es
verdadera para concluir que una proposicin B o C es verdadera, pero no ambas. La ltima
tcnica es el mtodo mx. /min el cual se utiliza cuando aparecen problemas de mximos
y mnimos. Este consiste en transformar el problema en otro equivalente que contenga
cuantificadores y luego utilizar el mtodo por seleccin o el mtodo por construccin.
11.2 Demuestre, usando el segundo mtodo de unicidad, que si m y b son nmeros
reales con , entonces existe un numero real nico tal que + = .

Segn el segundo mtodo de unicidad, primero debe construirse un nmero real x

para el que + = 0. Pero en la hiptesis se establece que , y es ()/.
Para establecer la unicidad, supngase que y satisfacen + = 0 y + = 0,
asi como . Se llega a una contradiccin al demostrar que = 0. Especficamente,
como + = 0 = + , se infiere que m(x-y)=0. Al dividir entre el nmero
diferente de cero se llega a que = 0. Y esto contradice la hiptesis planteada.

12.1 Para cada una de las siguientes proposiciones, indique qu tcnica utilizara
usted para hacer demostraciones al comenzar la demostracin, y explique por qu.

a) Si son enteros impares, entonces la ecuacin + + = no

tiene como solucin para un nmero racional.
El mtodo contrapositivo o por contradiccin, ya que en la conclusin se
encuentra presente la palabra no.
b) Para cada entero , ! > .
El mtodo de induccin, ya que la proposicin B es verdadera para cualquier
entero n 4.
c) Si y son funciones convexas, entonces + es una funcin convexa.
El mtodo progresivo-regresivo, ya que B no presenta ninguna forma evidente.
d) Si , Y son nmeros reales, entonces al mximo valor de + +
sujeto a la condicin de que + + = , es
El mtodo mx/mn, ya que en B aparece la palabra mximo.
e) En un plano existe una y slo una recta perpendicular a una recta dada que
pasa por un punto en .
El mtodo de unicidad, que se supone la presencia de una y solo una recta.
f) Si y son dos funciones tales que: 1) para todos los nmeros reales
, () () y 2) no existe un nmero real tal que para todo , ()
, entonces no existe un nmero real > tal que , () .
El mtodo de contradiccin o el contapositivo, ya que en la conclusin se
encuentra presente la palabra no.
 g) Si y son funciones continuas en el punto x, entonces la funcin es
continua tambin en .
El mtodo progresivo-regresivo, ya que B no presenta ninguna forma evidente.
h) Si y son funciones continuas en el punto , entonces para cada nmero
real > , existe un nmero real > tal que para todos los nmeros reales
y con | | < , |() + () (() + ())| < .
El mtodo por seleccin, ya que el primer cuantificador de B es para todo.

i) Si es una funcin de una variable definida por () = + , entonces

existe un nmero real entre y tal que para todo , ( ) ().

El mtodo por construccin, ya que el primer cuantificador d B es existe.

12.2 Describa como podra usted utilizar cada uno de los siguientes mtodos para
demostrar la proposicin: para cada entero , ! > . Establezca lo que
debera suponer y lo que debera concluir.

a) Mtodo por induccin.

Al utilizar el mtodo de induccin se supondra que ! > 2 y que 4, y se
intentara demostrar que ( + 1)! > ( + 1)2 . Tambin, tendra que demostrarse,
por supuesto, que 4! > 42 .

b) Mtodo por seleccin.

Al utilizar el mtodo por seleccin se elegira un entero para el que 4.
Intentara demostrase que ()! > ()2 .

c) Mtodo progresivo-regresivo. (sugerencia: convierta el problema en uno

equivalente de la forma si entonces).
Al convertir la proposicin a la forma si, entonces se obtiene si es un
entero mayor o igual que 4 entonces ! > 2 . Por lo tanto, se supondra que es
un entero mayor o igual a 4 y se intentara demostrar que ! > 2 .

d) Mtodo por contradiccin.

Al utilizar el mtodo por contradiccin se supone que existe un entero 4 tal que
! 2 , y se intentara llegar a una contradiccin.