Documente Academic
Documente Profesional
Documente Cultură
Y HACER
DEMOSTRACIONES
EN MATEMTICAS
,
COMO ENTENDER
Y HACER
DEMOSTRACIONES
,
EN MATEMATICAS
DANIEL SOLOW
~LIMUSA
NORIEGA EDITORES
MXICO
Espaa Venezuela Argentina
Colomhia Puerto Rico
Versin autorizada en espaol
de la obra publicada en Ingls por
John Wiley & Sons, lnc., con el titulo
HOW TO READ ANO DO PROOFS
John Wiley & Sons, Inc.
ISBN 0-471-86645-8
DANIEL SOLOW
La presentacin y disposicin en conjunto de
CMO ENTENDER Y HACER DEMOSTRACIONES
EN MATEMTICAS
son propiedad del editor. Ninguna parte de esta obra
puede ssr reproducida o transmitida, mediante ningn sistema
o mtodo, electrnico o mecnico (INCLUYENDO EL FOTOCOPIADO,
la grabacin o cualquier sistema de recuperacin y almacenamiento
de informacin), sin consentimiento por escrito del editor.
Derechos reservados:
ISBN 968-18-2115-7
A mi padre Anatole A. Solow (q. p. d.)
y a mi madre Ruth Solow.
Prlogo
9
10 Al estudiante
11
12 Al profesor
13
14 Agradecimientos
D.S
Contenido
Captulo Pgina
1. La verdad en matemticas 17
2. El mtodo progresivo-regresivo 23
3. Acerca de las definiciones y la terminologa matemtica 37
4. Cuantificadores la. parte: el mtodo por construccin 47
5. Cuantificadores 2a. parte: el mtodo por seleccin 53
6. Cuantificadores 3a. parte: induccin 63
7. Cuantificadores 4a. parte: particularizacin 71
8. El mtodo por contradiccin 77
9. El mtodo comtrapositivo 85
1O. La negacin de negaciones conduce a confusiones 91
11. Tcnicas especiales para hacer demostraciones 97
12. Resumen 105
Apndice A: aplicacin de lo aprendido 1a. parte 113
Apndice B: aplicacin de lo aprendido 2a. parte 121
15
16 Contenido
Tablas
Definiciones
Definiciones 1 - 1O 38
Definiciones 11 48
Definiciones 12 48
Definiciones 13 48
Definiciones 14 55
Definiciones 15 55
Definiciones 16 72
Definiciones l7 113
Definiciones 18 121
Captulo 1
La verdad en
matemticas
17
18 La verdad en matemticas
2. 1 =o.
3. 3x = 5 y y = 1 .
4. x no es> O.
5. Existe un ngulo t tal que cos(t) =t.
Figura l. Una demostracin de que existe un ngulo t tal que cos(t) =t.
20 La verdad en matemticas
1. A es verdadero y B es verdadero.
2. A es verdadero y B es falso.
3. A es falso y B es verdadero.
4. A es falso y Bes falso.
A B A implica B
EJERCICIOS
a) ax 2 + bx +e= O.
b) (-b v b 2 - 4ac)/2a.
e) el tringulo XYZ es similar al tringulo RST.
d)3 + n + n 2
e) sen(rr/2) <sen (rr/4).
f) para todo ngulo t, sen 2 (t) + cos 2 (t) =J.
1. 2 Para cada uno de los siguientes incisos, identifique la hiptesis y
la conclusin.
22 La. verdad en matemticas
1.3 Si usted est tratando de demostrar que "A implica B" es verda-
dero y sabe que B es falso, quiere demostrar que la proposicin A
es verdadera o falso? Explique.
1.4 Usando la tabla 1.1, determine las condiciones bajo las cuales las
siguientes proposiciones son verdaderas o falsas. D sus razones.
1.5 Desarrolle la tabla de verdad para cada una de las siguientes pro-
posiciones.
y z
X X y
El tringulo rectngulo X Yz
23
24 El mtodo progresivo-regresivo
la situacin especfica. Puede usted hacer esto con las dos preguntas
de abstraccin anteriores? Para la primera podra demostrar que dos
lados de un tringulo tienen la mi~ma longitud demostrando que los
ngulos opuestos a ellos son iguales. En el tringulo XYZ de la figura
2, esto significara que tiene que demostrar que el nguk> X es igual
al ngulo Y. El examen rpido del contenido de la proposicin A no
parece proporcionar ninguna informacin relacionada con los ngu-
lso del tringulo XYZ. Por esta razn, se usar la otra pregunta de
abstraccin.
Ahora uno se encuentra con la pregunta" cmo puedo demostrar
que dos nmeros reales x y y son iguales?" Una respuesta a esta pre-
gunta sera demostrar que la diferencia de los dos nmeros es cero.
Aplicar esta respuesta a la proposicin especfica B1 significa que
usted tendra que demostrar que (x - y) = O. Desafortunadamente,
existe otra respuesta perfectamente aceptable; demuestre que el
primer nmero es menor o igual al segundo y que tambin el segundo
nmero es menor o igual al primero. Aplicando esta respuesta a la
proposicin especfica /J 1 , usted tendr que demostrar que x ~y y que
y ~ x. As, podra surgir una segunda dificultad en el proceso regre-
sivo. Aun si usted selecciona la pregunta de abstraccin correcta,
podra existir ms de una respuesta a ella. Adems, usted podra
escoger una respuesta que no le permitiera completar la demostracin.
Por ejemplo, junto con la pregunta de abstraccin "cmo puedo
demostrar que un tringulo es issceles?" est la respuesta "demuestre
que el tringulo es equiltero." Por supuesto sera imposible demos-
trar que el tringulo XYZ del ejemplo 1 es equiltero ya que uno de
sus ngulos tiene 90 grados.
Regresando a la pregunta de abstraccin "cmo puedo demos-
trar que dos nmeros reales (x y y) son iguales?", suponga que usted
escoge la primera respuesta, es decir, que su diferencia es cero. Una
vez ms, el proceso de abstraccin le ha proporcionado una nueva
proposicin, Bi,; con la propiedad de que si usted pudiera demostrar
que B 2 es verdadera. entonces, B1 sera verdadera, y por lo tanto B
lo sera tambin. Especficamente, la nueva proposicin es:
B2: X -y= o
Ahora todos sus esfuerzos deben dirigirse a la conclusin de que B 2
es verdadero. Usted debe hacer uso en alguna parte de la demostracin
de la informacin en A, pero por el momento, continuemos una vez
ms con el proceso de abstraccin aplicando al nuevo postulado B 2
El mtodo progresivo-regresivo 27
A 1 : xy /2 = z 2 /4
3: xy/2 = (x 2 + y 2 )/4
Uno de los problemas con el proceso progresivo es que es posible
generat' proposiciones intiles, por ejemplo '.'el ngulo X es menor
28 El mtodo progresivo-regresivo
Factorizando, se obtiene
A 5 : (x - y ) 2 = O
Proposicin Razn
regresivo 2;
.B
Figura 3. Buscando una aguja en un pajar.
A progresivo
B regresivo
Figura 4. El laberinto.
EJERCICIOS
2:7 Para. cada una de las siguientes hiptesis, indique tantas propo-
siciones como usted pueda (por lo menos tres) las cuales surgen
como resultado de la aplicacin de un paso del proceso regresivo.
a)y 2 =3-x.
b)y 2 = 25/6 - (x/V6)2
e) (3 --Y 2 ) 2 + 6y 2 - 25 =O.
d) (x + 5) =- 6y 2 /(x - 5).
2.1 O Considere un alfabeto que consiste de las letras "s"y "t", junto
con las siguientes reglas para crear nuevas palabras a partir delas
ya existentes. Las reglas pueden aplicarse en cualquier orden.
Observe que las palabras "si y slo si" han sido usadas en algunas
de las definiciones, pero en general, "s" tiende a ser usada en lugar
de "si y slo si". Algunos trminos como "conjunto" o "punto" no
se han definido. Posiblemente uno podra tratar de definir un conjun-
to como una coleccin de objetos, p~ro no sera prctico el hacerlo
as, ya que el concepto de un '~objeto" es demasiado vago. Esto lo
conducira a preguntar por la definicin tle "objeto", y as continuar
indefinidamente. Tales aspectos filosficos estn ms all del alcance
de este trabajo.
En la demostracin del ejemplo 1 se us una definicin para con-
testar una pregunta de abstraccin. Recuerde la primera pregunta, la
cual fue "cmo puedo demostrar que un tringulo es issceles?" De
acuerdo con la definicin 3, para demostrar que un tringulo es iss-
Acerca de las definiciones y la tenninologa 1114temtica 39
celes, uno demuestra que dos de sus lados son iguales. Las definiciones
son igualmente tiles en el proceso progresivo. Por ejemplo, si sabe
que un entero n es impar, entonces por la definicin 6 sabra que n
= 2k + 1 para algn entero k. Es muy comn en las demostraciones
usar las definiciones tanto en el proceso progresivo como en el regre-
sivo.
Ocurre a menudo que existen dos definiciones para un mismo
concepto. Como ejemplo, considere el concepto de un nmero par, la
cual se introdujo en la definicin 5. Otra posible definicin de un n-
mero par es: "un nmero entero que puede expresarse como el pro-
ducto de 2 por otro nmero entero". Por supuesto, existe una sola
definicin para un concepto particular, pero cuando existen varias al-
ternativas para un mismo concepto, cmo seleccionar una de ellas y
qu hacer con las otras posibles alternativas? Dado que una definicin
es simplemente algo que ha sido acordado, cualquiera de las alterna-
tivas puede utilizarse como definicin. Una vez que se ha escogido la
definicin, es aconsejable establecer la "equivalencia" (A) entre la de-
finicin seleccionada y las otras alternativas.
Para el caso de un nttmero entero par, esto se lograra usando la
definicin 5 para crear la proposicin A: "n es un entero cuyo residuo
al ser dividido entre 2 es O". Usando la definicin alternativa se crea
la proposicin B: "n es un entero que puede expresarse como el pro-
ducto de 2 por algn otro entero~'. Ahora, para establecer el hecho de
que la definicin 5 y la alternativa son equivalentes es necesario que
usted demuestre que "A implica B", y que "B implica A'' (definicin
8). Entonces usted sabra que si A es verdadero (es decir, n es un en-
tero cuyo residuo al ser dividido entre 2 es igual a 0), entonces y Bes
verdadero (es decir, n es un nmero entero que puede expresarse co-
mo el producto de 2 por algn otro entero). Y as, si Bes verdadero,
entonces, A es tambin verdadero.
La proposicin de que A es equivalente a B se escribe a menudo
como "A es verdadero si y slo si B es verdadero", o simplemente
"A si y slo si B". En la notacin matemtica, uno solamente escri-
bira "A ~ B". Siempre que se le pida demostrar "A si y slo sJ B'",
usted debe demostrar que "A implica B" y que "B implica A~'.
Es muy importante ser capaz de establecer que una definiei6n es
equivalente a otra alternativa. Suponga, por ejemplo, que en una de-
mostracin usted deduce la pregunta de abstraccin: "cmo puedo
demostrar que un nmero entero es par?" Como resultado de haber
obtenido la equivalencia entre los dos conceptos, tiene ahora dos po-
40 Acerca de las definiciones y la termino logia matemtica
T r s
EJERCICIOS
3.1 Para cada una de las siguientes conclusiones, plantee una pregun-
ta de abstraccin. Luego, utilice una definicin para l) responder
Ejercicioa 45
ax 1 + by 1 = e, ex 1 + dy 1 =f,
3.2 Para cada una de las siguientes hiptesis, utilfoe una definicin pa-
ra trabajar progresivamente (solamente un paso).
3.4 Para cada una de las siguientes proposiciones escriba los princi-
pios recproco, inverso y contrapositivo.
47
48 Cuantifkadores la. parte: el mtodo por construccin
Existe un "objeto" con una "cierta propiedad" tal que "algo su-
cede".
Usted debe ser cuidadoso ya que los postulados que contienen cuan-
tificadores "ocultos" se presentan frecuentemente.
Procediendo con el mtodo por construccin, la pregunta es cmo
genera o elabora usted los nmeros reales x y y tales que
EJERCICIOS
4.1 Para cada una de las siguientes proposiciones, identifique los ob-
jetos, aquella cierta propiedad y el algo que sucede.
=
d) Existe un ngulo t entre O y Tr/2 tal que sen(t) cos (t).
e) Entre los dos nmeros reales x y y, existen nmeros raciona-
les distintos r y s para los cuales 1r - s 1 < 0.001.
4 .3 Demuestre que:
53
54 Cuantificadores 2a. parte: el mtodo por seleccin
Para cada "objeto" con una "cierta propiedad", "algo sucede" C).
Observe que una coma siempre precede al algo que sucede. Algu-
nas veces el cuantificador est "oculto", por ejemplo, el enunciado
"el coseno de cualquier ngulo estrictamente entre O y rr/4 es mayor
que el seno del ngulo" igualmente podra haber sido expresado
como: "para cada ngulo t con O < t < rr/4, cos(t) > sen(t)". Se
requiere prctica para leer y escribirestas proposiciones con fluidez.
Durante el proceso regresivo, si usted se encuentra una proposi-
cin que tiene el cuantificador "para todo" en la forma estudiada
anteriormente, una manera en la cual usted podra ser capaz de de-
mostrar que es verdadera es haciendo una lista de todos los objetos
que poseen aquella cierta propiedad. Entonces, para cada uno de
ellos, usted podra tratar de demostrar que algo sucede. Cuando la
lista es finita, sta podra ser una manera razonable de proceder; sin
embargo, con mucha frecuencia esto no ser prcticamente posible
debido a que la lista es muy larga, o incluso infinita. Usted ya ha tra-
tado con este tipo de obstculos en la teora de conjuntos donde el
problema fue resuelto usando la propiedad que d-escribe al conjunto.
Aqu, el mtodo por seleccin le permitir salvar esta dificultad.
El mtodo por seleccin puede extenderse como una mquina
que hace demostraciones la cual, ms que verificar realmente que
Cuanttfkadore1 2a. parte: el mtodo por ielcin S7
algo suceda para todos y cada uno de los objetos que tengan una
cierta propiedad, tiene la capacidad de hacer las demostraciones.. Si
usted tuviera tal mquina, entonces no tendra la necesidad de veri-
ficar realmente toda la lista (posiblemente infinita) porque sabra que
la mquina podra hacerlo siempre. El mtodo por seleccin le ensena
cmo diseftar el mecanismo interno de la mquina que hace las de-
mostraciones.
Entrada
Ejemplo 5. Si
gamos 3/2. Tambin, note el doble uso del smbolo ':X" para el objeto
general y para el objeto seleccionado.
El postulado ".x est en T" se convierte ahora en B 2 y usted.debe
aplicar el proceso de abstraccin a B 2 para fonnular la pregunta
de abstraccin "Cmo puedo demostrar que un objeto (x) pertene-
ce a un conjunto (T)?" y obtener la respuesta que es la que usted
debe demostrar, es decir, que x satisface la propiedad que define a T,
(que 1 ~ x ~ 2 ), hacia la cual deben encaminarse sus esfuerzos.
Regresando ahora al proceso progresivo, usted puede hacer uso
de la informacin en A para demostrar que 1 ~ x ~ 2 debido a que
usted ha supuesto que A es verdadero. Sin embargo, existe informa-
cin adicional disponible. Recuerde que, durante el proceso regre-
sivo, usted hizo uso del mtodo por seleccin, y seleccion un elemento
x de S. Ahora es tiempo de hacer uso del hecho de que x est en S,
especficamente, ya que x est en S, y a partir de la propiedad que
define a S, se tiene (x 2 - 3x + 2) ~ O. Factorizando, se obtiene
(x - 2) (x - l) ~ O. La nica manera en la cual el producto de los dos
nmeros (x - 2) y (x - 1) puede ser~ O es que uno de ellos sea~ O
y .el otro~ O. En otras palabras, o (x _, 2) ~O y (x - l}~-0, o {x. - 2)
~ O y (x - 1) ~ O. La primera situacin no puede ocurrir nu~a debi-
do a que si esto ocurriera, x ~ 2 y x ~ l, lo cual es imposible. As, la
segunda 'condicin debe suceder (es decir, x ~ 2 y x ~ l ), pero es
precisamente la ltima proposicin obtenida en el proceso regresivo
y, por lo tanto, se ha demostrado que Ses un subconjunto de T No
olvide que, con la finalidad de \;Oinpletar la demostracin de que
S = T, usted tiene que demostrar todava que Tes un subconjunto
de S. Esta parte se dejar como ejercicio.
Observe que cuando usted utiliza el mtodo por seleccin, obtiene
informacin adicional la cual se aade a la suposicin de que A es
-verdadero. Invariablemente, durante el proceso progresivo usted har
uso de esa informacin adicional.
EJERCICIOS
5 .2 Para cada una de las partes del ,ejercicio 5 .1, describa cmo se
aplicara el mtodo por seleccin.. Utilice un,smbolo diferente
para distinguir al objeto seleccionado del objeto general. Por
ejemplo, en el ejercicio 5 .1 a),'. pua deJllostrar que x * es el mxi-
mo de la funcin J; se escogeria un nm.eriJ real,x', para el ~al
debe entonces demostrarse quef(x') ~f(x*). Por consiguiente, al
aplicar el mtodo por seleccin en el ejercicio 5 .1 a) uno dira:
"Sea x' un nmero real. Se demostrar que f(x') ~f(x*)."
5 .3 Considere el problema de demostrar que "para todo objeto x con
una cierta propiedad, algo sucede". Analice por qu el plantea-
miento del mtodo por seleccin es el mismo que el del mtodo
progresivo-regresivo en la demostracin de que "si x es un objeto
con una cierta propiedad, entonces, algo sucede". Cmo estn
relacionados los dos enunciados que se encuentran entre comillas?
5 .4 Escriba nuevamente. los siguientes postulados utilizando los sm-
bolos apropiados: V, 3 , 3.
a) Existe un nmero real M > O tal que, para todos los elementos
x en el conjunto S de nmeros reales, x 1 ~ M.
b) Para todos los nmeros reales M > O, existe un elemento x en
el conjunto S de nmeros reales tal que lx 1 > M
e) V nmero real e:> O, 3 un nmero real 6 K O> V nmero real
x Y y con lx - y 1<6, ff(x)- f(y) 1 <~(donde/ es una fun-
cin de una variable).
62 Cuanti{icadores 2a. parte: el mtodo por seleccin
donde el algo que sucede es algn enunciado que depende del entero
n. Por ejemplo:
n
Para todo entero n ;> 1, }; k_= n(n + 1)/2,
k = 1
donde ~
k = 1
k = 1 *. ~ . + n.
Cuando se considera el mtodo por induccin, las palabras claves que
se deben buscar son "entero",y ";;it: l " ..
. Una manera de demostrar tales enunciados es haciendo una lista
infinita de problemas, uno para cada uno de los enteros partiendo de
n ;= l y, entonces, demostrar cada proposicin por separado. En tan-
to que. para los primeros problemas de la lista es fcil de demostrar
63
64 Cuantificadores Ja. [Hlrte: induccin
n
P(n): l; k =n(n + 1)/2
k"" 1
n+ 1
P(n + 1): l; k=(n + l)[(n + 1) + 1]/2 =(n + l)(n + 2)/2
k = 1
'
1
1
1 Entrada
Mquina que hace
demostraciones
: Entrada
' hacer
Mquina para
demostraciones
Figura 7. La mquina que hace demostraciones C) por induccin.
66 Cuantificadores 3a. parte: induccin
~ k = 1 = 1(1 + 1)/2.
k =1
Con frecuencia, este paso es tan sencillo que se omite virtualmente
en la demostracin condensada, diciendo simplemente: "La proposi-
cin se cumple para n = l ".
El segundo paso es ms complicado. Usted debe hacer uso de la
suposicin de que P(n) es verdadero para llegar a la conclusin de que
P(n + 1) es verdadero. La mejor manera de proceder es escribir el enun-
ciado P(n + 1) reemplazando cuidadosamente toda n por n + 1 en
P(n ), y realizando algunas operaciones algebraicas si es necesario.
Cuantificadores Ja. parte: induccin 67
En este caso:
n + 1
~ k
k =1
por n(n + 1)/2, obteniendo
n + 1
En resumen,
1 + ... + (n + 1) = ( 1 + ... + n) + (n + 1)
=n(n + 1)/2 + (n + 1)
= (n 2 + 3n. + 2)/2
= (n + 1) (n + 2)/2
Su habilidad para relacionar P(n + 1) con P(n ), as como usar la hip-
tesis de induccin de que P(n) es verdadero, determinar el xito de
68 Cuantificadores 3a. Hlrte: induccin
EJERCICIOS
a) Para cada entero menor o igual que algn entero inicial, algo
sucede.
b) Para cada entero, algo sucede.
e) Para cada entero positivo impar, algo sucede.
Existe un "objeto" con una "cierta propiedad" tal que "algo su-
cede"
usted puede hacer uso de dicha informacin de una manera muy direc-
ta. Al demostrar que "A implica B" por el mtodo progresivo-regresivo,
usted est suponiendo que A es verdadero y, en este caso, significa
que puede suponer que existe ciertamente un objeto con cierta pro-
piedad tal que algo sucede. Al hacer la de!11ostradn usted dira: "Sea
x un objeto con cierta propiedad y para el cual algo sucede ... ". La
existencia de este objeto ser usada de alguna manera en el proceso
progresivo para llegar a la conclusin de que B es verdadero.
Una situacin ms interesante se presenta cuando el enunciado A
contiene el cuantificador "para todo" en la forma usual:
Para todos los "objetos" con una "cierta propiedad", "algo su-
cede".
71
72 Cuantificadores 4a. parte: particularlzaein
ted sabe que algo sucede para todos los objetos con la cierta propiedad.
Si en algn momento del proceso regresivo usted se encuentra con
alguno de estos objetos que tienen cierta propiedad, entonces usted
puede hacer uso de la informacin en A y poder concluir que, para
este objeto en particular, el "algo" sucede en realidad. Eso le debe
ayudar a concluir que B es verdadero. En otras palabras, usted habr
particularizado la proposicin A a un objeto especfico que tiene cierta
propiedad. Por ejemplo, si.usted sabe que para todo ngulo t, sen 2 :U)
+ cos2 (t) = 1, entonces, para un ngulo particular, por ejemplo, t =
7r/4, puede concluir que sen 2 (7r /4) + cos 2 (7r /4) = 1. Un ejemplo ilus-
tra el uso apropiado del mtodo por particularizacin.
EJERCICIOS
Objeto dado: y
<
e) Proposicin: A E> O, E 8 >O E A y con lx,..._ y 1 8, lf (x)
- f (y)I <E (donde 8 , E, x, e y, son nmeros reales y fes una
funcin de una variable).
e) Proposicin: para cualquier ngulo t con O < t < rr/4, cost (t)
> sent (t).
77
78 El mtodo por contradiccin
(progresivamente (rcgresivamente)
Progresivo-regresivo A - - - ---~ +- - - - - - - B
Contradiccin A \(progresivamente)
NOB - - - - - - - -~*(Contradiccin)
EJERCICIOS
8.2 Escriba cada uno de los siguientes enunciados de forma tal que la
palabra "no" aparezca explcitamente.
a) 'tlxES3sET.
b) V sen S, j ten T tal que s >t.
e) No existe un nmeroM >O tal que para todo x en S, lxl <M.
Captulo 9
El mtodo
contrapositivo
85
86 El mtodo contrapositivo
A ) (progresivamente)
Contradiccin NO B) - - - - - - - - - - - - - "*(contradiccin)
Demostracin del ejemplo JO. Suponga por el contrario quep =q. Da-
do que p es positivo, se sigue que
(progresivamente) (regresivamente)
Progresivo-regresivo A -------------- ----------B
A
Contrapositivo
(progresivamente) (regresivamente)
NO B 1- ----------- - -..,... ----- NO A
Figura 1o Progresivo regresivo contra contra positivo
A (progresivamente)
Cn tradiccin - - - - - - - - - - - - -- *(contradiccin)
NOB
Contrapositivo
A (progresivamente) (regresivamente)
NO B - - - - - - - - - - - - -- - - - - - - - NO A
EJERCICIOS
9.5 Suponga que m y b son nmeros reales con m =/=O y sea f la fun-
cin definida por f(x) L mx + b. Demuestre que para todo
Para todos los "objetos" con una "cierta propiedad", "algo suce-
de".
Entonces NO B es la proposicin:
No es cierto que para todos los "objetos" con aquella "cierta pro-
piedad", "algo sucede"
91
92 La negacin de negaciones conduce a confusiones
entonces NO B es la proposicin:
o, en otras palabras, para todos los objetos con cierta propiedad, algo
no sucede.
En general, existen tres pasos muy sencillos para encontrar la ne-
gacin de una proposicin que contiene cuantificadores:
EJERCICIOS
a) A implica (B OC).
b) A implica (B Y C).
e) Si n es un entero par y m es un entero impar, entonces mn
divisible entre 4 o n no es divisible entre 4.
1. a (x 1 ) + b (y 1 ) = e
2. e (x) + d (y)= f
3. a (x 2 ) + b (y 2 ) = e
4. e (X2) + d (Y2) = f
Restando 3 de 1 y 4 de 2 se obtiene:
[a (x 1 - xd +b (y 1 - y 2 ) ] = OY
[e (x 1 - x2 ) +d (y 1 - y 2 ) ] = O.
X == =
-y J -3y2
2
s
- - - - + - - - - - - + - - - - - + - - - - - - - t - - - - e j e de los
o X
nmeros reales
s
- - - - + - - - - - + - - - - - r - - - - - - - r - - - - - e j e de los nmeros reales
o X
s eje de los
- - - - + 0 - - - - - - - - - - - - - t - x - - - - - n m e r o s reales
( S ) eje de los
-----+--------(1------..,..+-I
0 X
-------t,-------- nmeros reales
EJERCICIOS
105
106 Resumen
Existe un "objeto" con una "cierta propiedad'' tal que "algo su-
cede"
usted debera considerar el uso del mtodo por construccin para pro-
ducir el objeto deseado. Con el mtodo por construccin, usted trabaja
progresivamente desde la suposicin de que A es verdadero para generar
(producir o dise.ar un algoritmo que produzca, etc.) el objeto. Aseg-
rese de verificar que el objeto satisface dicha propiedad y, tambin,
que algo sucede.
Por otro lado, cuando el cuantificador "para todo" se origina en
el proceso regresivo en la forma usual:
Para todOs los "objetos" con una "cierta propiedad", "algo su-
cede"
usted debera considerar' el uso del mtodo por seleccin. Aqu su ob-
jetivo es diseftar una mquina que haga demostraciones y que sea
capaz de tomar cualquier 'objeto con cierta propiedad y demostrar
que algo sucede. Para hacerlo, usted selecciona o escoge un objeto,
el cual tiene cierta propiedad. Usted debe concluir que, para dicho
objeto, algo sucede. Una vez que usted ha seleccionado el objeto,
lo mejor es proceder trabajando progresivamente partiendo del hecho
de que el objeto seleccionado tiene cierta propiedad Uunto con la in-
formacin que hay en A, si es necesario) y, regresivamente, desde' lo
que sucede.
El mtodo por induccin deber tomarse en cuenta (an antes
que el mtodo por seleccin) cuando la proposicin B tiene la forma:
Para todo entero n mayor o igual que algn entero inicial, la pro-
posicin P(n) es verdadero.
Para todos los "objetos" con una "cierta propiedad" "algo su-
cede"
EJERCICIOS
12. l Para cada una de las siguientes proposiciones, indique qu tcni-
ca utilizara usted para hacer demostraciones al comenzar la de-
mostracin, y explique por qu.
Tabla 4 (continuacin)
---
Tcnica de
demostracin Cundo usarla Qu suponer Qu concluir Cmo hacerlo
---
Induccin Cuando B es verdadero La proposicin es La proposicin es Primero sustituya n 0
(pgina 50) para cada entero empezando verdadera paran. verdadera para n en todas partes y de-
con alguno en particular, por + l. Tambin de- muestre que es verdadero.
ejemplo, n 0 . muestre que es Segundo, recurra a la
verdadera para n 0 . hiptesis de induccin
para demostrar que es
verdadero para n + 1.
Particularizacin Cuando A contiene el A B Trabaje progresivamente
(pgina 59) trmino "para todo", particularizando A a un
"para cada", etc. objeto en especial, es
decir, al obtenido en el
proceso regresivo.
Unicidad 1 Cuando B contiene la Existen dos Los dos objetos Trabaje progresivamente
{pgina 83) palabra "nico". objetos, y A. son iguales. utilizando A y las propie-
dades de los dos objetos.
Tambin, trabaje progre-
sivamente para mostrar
que los objetos son
iguales.
~
~
~
~
~
::::
.t:J
~
Tabla 4 (continuacin)
""'
(")
!=)
Tcnica de ~
i;..,
demostracin Cundo usarla Qu suponer Qu concluir Cmo hacerlo
--
112 Remmen
12. 2 Describa como podra usted utilizar cada uno de los siguientes
mtodos para demostrar la proposicin: "Para cada entero n
~ 4, n! > n 2 ". Establezca lo que debera suponer y lo que de-
bera concluir.
113
114 Aplicacin de lo aprendido la. parte
alguna de que la razn por la cual se desea demostrar que Ses acotado
es para llegar a una contradiccin.
B 1 : S es acotado.
B 2 : Existe un nmero real M > O tal que para todos los elemen-
tos X en S, lxl <M.
A 1 : Existe un nmero real M' > O tal que para todos los elemen-
tos X en T, lxl <M'.
B4 : lx'l<M,odadoqueM==M', lx'l<M'.
esta proposicin ax = x' la cual usted sabe que est en S y, de esa for-
ma, llegar a la conclusin deseada de que x' est en T, completando
as la demostracin.
Para todos los "objetos" con una "cierta propiedad", "algo su-
cede".
121
122 Aplicacin de lo aprendido 2a. parte
por seleccin est siendo utilizado para demostrar que 1 para todo y
con lx - yl < f>, lf(x) + g(x) - (f(y) + g(y))I <e. Observe de nuevo
el doble uso del smbolo "y". Sin embargo, para completar la prueba,
debe demostrarse que lf(x) + g(x) - (fly) + g(y ))1 <e.
B 1 : Para todo e > O, existe un 5 > O tal que, para toda y con
lx -yl < 5, lf(x) -f(y)I <e.
Observando a B 1 , usted debe reconocer el cuantificador "para
todo" y, por lo tanto, utilizar el mtodo por seleccin para escoger
un valor particular de e > O. Es recomendable utilizar un smbolo
diferente a "e" para la seleccin especfica y, as, evitar confusiones.
En la demostracin condensada usted escribira "sea e'> O... ".Una
vez que ha seleccionado e'> O, el mtodo por seleccin requiere que
demuestre que algo sucede, en este caso:
B 2 : Existe un 5 >O tal que, para toda y con lx -YI < 5, lf(x) -
f(y)I <e'. .
CAPTULO 1
V V V V V
V V F F F
V F V V V
V F F V V
F V V V V
F V F F V
F F V V V
F F F V V
CAPTULO 2
2.1 El proceso progresivo es aquel en el que se usa especficamente
la informacin contenida en la proposicin A, la hiptesis. El
proceso regresivo es aquel en el que se intenta encontrar una se-
rie encadenad-a de proposiciones que lleven directamente al hecho
de que B, la conclusin, es verdadera. En el proceso regresivo se
encuentra incorporado el proceso de abstraccin, el cual tiene por
objeto generar dicha serie encadenada de proposiciones, una a
la vez.
Especficamente, el proceso regresivo se lleva a cabo empe-
zando con la proposicin B, cuya veracidad es la que se quiere
concluir. A continuacin, se aplica el proceso de abstraccin para
plantear y responder las preguntas de abstraccin, derivndose
as una serie de proposiciones nuevas con la propiedad de que si
esta serie de nuevas proposiciones es verdadera, entonces B tam-
bin lo ser. El proceso de abstraccin continuar de esta manera
hasta que se llegue a la proposicin A, o bien, hasta que ya no sea
posible plantear o responder una pregunta de abastraccin. En el
proceso regresivo pueden presentarse dificultades, como la posi-
bilidad de que haya ms de una pregunta de abstraccin. En tal
caso, debe utilizarse la informacin de la proposicin A como
apoyo para elegir la pregunta adecuada. Una segunda dificultad
es que puede haber ms de una respuesta para una pregunta y al-
gunas de ellas pueden no conducir a la terminacin de la demos-
tracin.
El proceso progresivo se inicia con la proposicin A, la cual se
supone verdadera y, a partir de ella, se deriva una serie de proposi-
ciones nuevas cuya veracidad resulta del hecho de que la propo-
sicin A es verdadera. Todas las proposiciones nuevas derivadas
de A debern tener por objeto su vinculacin con la ltima pro-
posicin derivada del proceso regresivo. La ltima proposicin
del proceso regresivo acta como punto de referencia en el pro-
ceso progresivo, justo como la ltima proposicin del proceso
progresivo sirve de ayuda para elegir la pregunta de abstraccin
correcta as como su respuesta correcta.
2. 2 e) es incorrecta porque utiliza la notacin especfica para el pro-
blema dado.
2.3 a) es correcta porque en ella se pregunta, en trminos abstractos,
cmo puede demostrarse la veracidad de la proposicin B.
132 Soluciones de los ejercicios
1/s~
/'~
ssssssss
//:' ~ ':\
ts St sssst sstsst 1Itststst
2~ 31~ tst
B 1 :z 2 /4 = xy/2
Ai X= y
A1 x- y= O
AJ : z2 = x2 + Y2
A4 (x - y) 2 =O
A5 x 2 - 2xy + y 2 =O
A6 x 2 + y 2 = 2xy
Al sustituir A 3 en A 6 se obtiene
A1 : z 2 = 2xy
Al dividir ambos miembros entre 4 se obtiene finalmente el re-
sultado buscado:
A8 : z 2 /4 = xy /2
U6 Soluciones de loa ejercicios
CAPTUW3
3.1 a) Preg. de abs: Cmo puedo demostrar que un entero es impar?
Resp: Demostrar que el entero es igual al doble de un entero
ms uno.
Resp. esp: Demuestre que n 2 = 2k + l.
b) Preg. de abs: Cmo puedo demostrar que un nmero real es
un nmero racional?
Resp: Demuestre que el nmero real es igual al cociente de
dos enteros, en el cual el entero del denominador es diferente
de cero.
Capi'tulo 3 137
a) A : n es un entero impar.
A 1 : n = 2k + 1, donde k es un entero.
b) A : s y t son nmeros racionales con t =I= O.
A 1 : s = p/q, donde p y q son enteros con q ::/= O. Asimismo,
t = a/b, donde a y b son enteros con b ::/= O.
e) A : El tringulo RST es equiltero.
A 1 :RS=ST=RT,y
ngulo (R) = ngulo (S) = ngulo ( T).
R
138 Soluciones de los ejercicios
V V V V
V F F V
F V V F
F F V V
V V F F V
V F F V V
F V V F F
F F V V V
A B "A o B".
V V V
V F V
F V V
F F F
Capi'tulo 3 139
A B "A y B"
V V V
V F F
F V F
F F F
V V F F
V F V V
F V F F
F F V F
V F V V V
V F F F F
F V V V V
F V F V V
n 2 = (2m + 1) 2
4m 2 + 4m + 1
2(2m 2 + 2m) + 1
n2 (2m + 1 )2
4m + 4m + 1
2
2(2m 2 + 2m) + 1,
mn (2b + 1) (2c + 1)
4bc + 2b + 2c + 1
2(b + e + 2bc) + 1.
CAPTULO 4
4.1 Cierta
Objeto propiedad Algo sucede
CAPTUW 5
un nmero real f> > O tal que, para todo nmero real que cum-
pla lx - YI < f>, lf(x)- f(y)I < .
h) Sea un nmero real tal que > O. Se demostrar que exis-
1 1
te un entero k' tal que para todos los enteros l > k', 1xk - xi
< '.
5.3 Cuando se utiliza el mtodo por seleccin para demostrar que
"para todos los objetos que poseen cierta propiedad, algo su-
cede", se eligira un objeto particular que posee cierta propie-
dad especfica. A continuacin, se partira (proceso progresivo)
148 Soluciones de los ejercicibs
5.4 a) E una montafia e A otra montaa sta tiene una altitud ma-
yor que el resto.
b) A ng\llo t, sen (2t) = 2 sen (t) cos (t).
e) A par de nmeros reales no negativos p y q, y pq ~ (p + q )/2.
d) A par de nmeros reales x y y con x < y, E un nmero racio-
nal r e x < r < y.
B2 : t' est en S
B3 : ( t' )2 - 3 t' + 2 ~ O.
A1 : 1 ~ t' ~ 2.
o
y=x'/(2-x').
150 Soluciones de los ejercicios
Sean x' y y' nmeros reales, y sea t' que satisface O ~ t' ~ 1;
entonces
CAPTUL06
6.1 a) Aplicable .
b) No aplicable porque la proposicin contiene el cuantificador
"existe'' en lugar de "para todo''.
e) Aplicable.
d) Aplicable.
e) No aplicable porque, en esta proposicin, n es un nmero real
y la induccin slo se aplica con enteros.
P(n) 2n > n2
P(n + 1) 2n + 1 > (n + 1)2
S= 1 + 2 + ... + n
Entonces,
S = n + (n - 1) + ... + 1
2S = n(n + 1)
(n - 1)3 - (n - 1) = n 3 - 3n 2 + 3n - 1 - n +1
= n 3
- 3n 2 + 2n
=n 3
- n - (3n 2 - 3n)
154 Soluciones de los ejercicios
CAPTULO 7
7 .1 El mtodo por seleccin se emplea cuando el cuantificador "pa-
ra todo(a)" est presente en el proceso regresivo. La particulari-
Capitulo 7 lSS
Por ltimo, para obtener B 2 ' se utilizar el hecho de que x' y z'
estn en el conjunto C, es decir, satisfacen la propiedad que de-
fine a C, de donde f(x ')~y y f(z') ~y. As, por A2,
B2 : para toda x de S. x ~ 1.
160 Soluciones de los' ejercicio&
CAPTULOS
8.1 a) Suponer que: Q, m y n son tres enteros consecutivos, y que
24 divide a Q2 + m 2 + n 2 + l.
Capi'tulo 8 161
n 2 = (2k + 1)2
4k 2 + 4k + 1
= 2 ( 2k 2 + 2k) + 1
n 2 = (2k + 1)2
= 4k 2 + 4k + 1
= 2(2k 2 + 2k) + l.
y, por lo tanto, n 2 es impar, lo cual contradice el supuesto ini-
cial. U
162 Soluciones de los ejercicios
(n - 1 )3 + n 3 = (n + 1 )3
n3 - 3n 2 + 3n - 1 + n 3 = n 3 + 3n 2 + 3n + 1
o
n3 - 6n 2 - 2 =O
n 2 (n - 6) = 2
Entonces,
n 3 -3n 2 + 3n - 1 + n 3 = n 3 + 3n 2 + 3n + 1
n3 - 6n 2 =2
n 2 (n - 6}= 2.
CAPTULO 9
CAPTULO 11
o, de manera equivalente,
y+ yz =z + yz
y, al restar yz de ambos miembros, se obtiene la conclusin bus-
cada de que y =z.
y la k buscada es k = 2 jp +p.
x 3 +3x 2 -9x-27=(x-3)(x+3) 2 ~O
x 3 + 3x 2 - 9x - 27 = (x - 3)(x + 3) 2 ~O
B 1 : s' ~ t*.
CAPTULO 12
=> implica 20
<=> si y slo si 39
e es un elemento de 53
e subconjunto 55
<P conjunto vaco 55
no 43
A para todo (para cada) 56
E existe (existen) 49
E tal que 49
< y 38
> o 38
Q.E.D. quod erat demonstrandum
(Como se quera demostrar) 29
177
ndice
179
180 Indke
M Proposicin, 18, 24
cambios en la forma de la, 119
Mquina que hace demostraciones, 56, 65 Proposiciones equivalentes, 39
Mtodo contrapositivo, 85
Mtodo de induccin, 63 Q
Mtodo de induccin generalizada, 68
Mtodo de la O exclusiva, 100 Q. E. D., 29
Mtodo de unicidad, 97
Mtodo mx/m n, 1O1 s
Mtodo por construccin, 4 7
Mtodo por contradiccin, 77 Si y slo si, 38
Mtodo por particularizacin, 71 Slo si, 43
M~todo por seleccin, S 3 Subconjunto, SS
Mtodo progresivo-regresivo, 23, 30 Suposicin, 21, 64, 66, 78, 85
N T
518