Documente Academic
Documente Profesional
Documente Cultură
Y HACER
DEMOSTRACIONES
EN MATEMTICAS
COMO ENTENDER
Y HACER
DEMOSTRACIONES
,
EN MATEMATICAS
DANIEL SOLOW
Case Western Reserve University
~LIMUSA
NORIEGA EDITORES
MXICO
Espaa Venezuela Argentina
Colomhia Puerto Rico
DANIEL SOLOW
La presentacin y disposicin en conjunto de
Derechos reservados:
1993, EDITORIAL LIMUSA, S.A. de C.V.
ISBN 968-18-2115-7
Prlogo
Prlogo
Al estudiante
Despus de terminar mis estudios de Licenciatura, comenc a preguntarme por qu haba sido tan difcil aprender matemticas puras. A
medida que avanzaba en mis estudios de posgrado me d cuenta que
las matemticas poseen muchos de los aspectos de un juego: un juego
en el cual las reglas haban estado parcialmente escondidas. Imagnese
tratando de jugar ajedrez antes de saber cmo se mueven todas las
piezas! No es sorprendente que tantos estudiantes hayan tenido problemas con las matemticas abstractas.
Este libro describe algunas de las reglas del juego denominado matemticas puras. Por experiencia propia, prcticamente cualquier persona
motivada y que cuente con los conocimientos de matemticas del Bachillerato puede aprender estas reglas. Al aprenderlas, usted reducir
en gran parte el tiempo (y frustracin) que se invierte en el aprendizaje
de las matemticas abstractas. Espero que este texto sirva para dicho
objetivo.
Para jugar al ajedrez, usted debe aprender primero cmo se mueve
cada una de las piezas. Solamente despus de que estas reglas han sido
asimiladas por su subconciente usted podr concentrar toda su atencin en aspectos creativos como las estrategias, tcticas, etc. De igual
forma sucede en matemticas. Al principio se necesita trabajar mucho
para aprender las reglas fundamentales presentadas en este libro. De
hecho, su objetivo debe ser asimilar este material hasta que se convierta
en algo muy conocido para usted. Entonces, encontrar que su mente
puede enfocarse hacia los aspectos creativos de las matemticas. Estas
9
10
Al estudiante
DANIEL SOLOW
Al profesor
12
Al profesor
DANIEL SOLOW
Agradecimientos
Por ayudar a que este trabajo fuera divulgado en la comunidad matemtica, mi agradecimiento ms profundo es para Peter Hilton destacado matemtico y educador. Tambin, quisiera agradecer a Paul
Halmos, cuyo reconocimiento y apoyo oportuno facilitaron enormemente la divulgacin de la existencia de este manual y mtodo de
enseanza. Agradezco tambin las plticas sostenidas con Gail Young
y George Polya.
Con respecto a la preparacin del folleto, ninguna persona tuvo
ms comentarios constructivos que Tom Butts. l no solamente contribuy con el contenido matemtico, sino que corrigi tambin muchos de los errores gramaticales y de estilo en la versin preliminar por
lo que considero que tambin debo agradecer a la Sra. Butts, madre
de Tom, el ser profesora de ingls. Me gustara tambin agradecerle a
Charles Wells la lectura y comentario del primer borrador y el animarme a continuar adelante con el proyecto. Muchas otras personas hicieron sugerencias importantes, incluyendo a Alan Schoenfeld, Samuel
Goldberg y Ellen Stenson.
El aspecto ms estimulante de todo este proyecto ha sido la traduccin simultnea de este folleto al chino, japons, espaol y francs
mediante el esfuerzo voluntario de personas excepcionales que estn
profundamente preocupadas por la calidad de la educacin de las
matemticas. La dedicacin, profesionalismo y cooperativismo internacional del que yo he sido testigo es verdaderamente notable. La
versin en espaol fue preparada por Luis A. Hernndez (Mxico),
13
14
Agradecimientos
Contenido
Captulo
1.
2.
3.
4.
5.
6.
7.
8.
9.
1O.
11.
12.
Pgina
La verdad en matemticas
El mtodo progresivo-regresivo
Acerca de las definiciones y la terminologa matemtica
Cuantificadores la. parte: el mtodo por construccin
Cuantificadores 2a. parte: el mtodo por seleccin
Cuantificadores 3a. parte: induccin
Cuantificadores 4a. parte: particularizacin
El mtodo por contradiccin
El mtodo comtrapositivo
La negacin de negaciones conduce a confusiones
Tcnicas especiales para hacer demostraciones
Resumen
Apndice A: aplicacin de lo aprendido 1a. parte
Apndice B: aplicacin de lo aprendido 2a. parte
17
23
37
47
53
63
71
77
85
91
97
105
113
121
129
177
179
15
Contenido
16
Tablas
Tabla 1 Tabla de verdad para "A implica B"
Tabla 2 Demostracin del ejemplo 1
Tabla 3 Tabla de verdad para "no B implica no A"
Tabla 4 Resumen de tcnicas para hacer demostraciones
21
28
44
109
Definiciones
Definiciones
Definiciones
Definiciones
Definiciones
Definiciones
Definiciones
Definiciones
Definiciones
Definiciones
1 - 1O
11
12
13
14
15
16
l7
18
38
48
48
48
55
55
72
113
121
Captulo 1
La verdad en
matemticas
El objetivo de los matemticos es descubrir y comunicar ciertas verdades. Las matemticas son el lenguaje de los matemticos y una demostracin, es un mtodo para comunicar una verdad matemtica a
otra persona que tambin "habla" el mismo idioma. Una propiedad
del lenguaje de las matemticas es su precisin. Una demostracin
propiamente presentada no deber contener ambigedaes y no habr duda de que es correcta. Desafortunadamente, muchas demostraciones que aparecen en libros de texto y artculos de revistas no
tienen la claridad necesaria; di~po en otras palabras, las demostraciones estn presentadas adecuadamente para quienes ya conocen
el lenguaje de las matemticas. Por lo. tanto, para entender, hacer
una demostracin o ambas cosas, usted debe aprender un idioma
nuevo, un mtodo nuevo de razonamiento. Esta obra explica gran
parte de la "gramtica" bsica que usted necesitar, pero tal y como sucede en .el aprendizaje de un nuevo idioma, ser necesaria mucha
prctica de su parte para llegar a tener fluidez.
La idea de este manual es clasificar y explicar las diversas tcnicas
que se utilizan en las demostraciones. El primer objetivo es ensearle a leer y entender una demostracin escrita mediante la identificacin
de las tcnicas que se han utilizado. Al aprender esto, usted estar
capacitado para estudiar casi cualquier tema en matemticas sin la
ayuda de un profesor, lo que es una meta muy conveniente.
El segundo objetivo de este manual es ensearle a desarrollar y comunicar sus propias demostraciones de verdades matemticas conocidas. Para lograrlo se necesita que aplique una cierta c~mtidad de ingenio,
creatividad, intuicin y experiencia. As como hay maneras diferentes
17
18
La verdad en matemticas
para expresar la misma idea en cualquier idioma, as tambin hay diferentes demostraciones para el mismo hecho matemtico. Las tcnicas
para hacer demostraciones que se presentan aqu estn diseadas para
iniciarlo y para guiarlo a travs de una demostracin. Consecuentemente, este folleto no slo describe cmo trabajan las tcnica-:: para
hacer demostraciones, sino que tambin muestra cundo deben utilizarse y por qu. Con frecuencia, se da el caso de que una tcnica correcta puede seleccionarse basndose en la forma del problema que se est
considerando. Por lo tanto, cuando usted trate de hacer su propia demostracin, es importante seleccionar conscientemente la tcnica de
demostracin, en vez de desperdiciar horas tratando de ver qu hacer.
Cuanto ms consciente est usted del proceso de razonamiento mejor.
El objetivo final, sin embargo, es que usted utilice sus nuevas habilidades y lenguaje adquiridos para descubrir y comunicar verdades
matemticas anteriormente desconocidas. Esta meta es admirable aunque extremadamente difcil de lograr. El primer paso en este sentido
es alcanzar un nivel en el que uno sea capaz de leer y desarrollar las
demostraciones propias de las verdades ya conocidas. Esto le dar a
usted un entendimiento mucho ms profundo y rico del universo
matemtico que lo rodea.
El material bsico de las tcnicas para hacer demostraciones se
presenta en los once captulos siguientes .. El captulo doce es un resumen completo y le siguen dos apndices, en los cuales se ilustran
las diversas tcnicas con varios ejemplos.
La presente obra est diseada para que estudie en ella cualquier
persona con conocimientos de matemticas a nivel preuniversitario.
Estudiantes avanzados que anteriormente ya han visto demostraciones,
pueden estudiar los dos primeros captulos, pasar luego al captulo
del resumen y, posteriormente, estudiar en los dos apndices para ver
cmo se utilizan todas las tcnicas. El resto de este captulo explica
el tipo de relaciones en las cuales pueden aplicarse las demostraciones.
Dados dos proposiciones, A y B, cada uno de los cuales puede ser
verdadero o falso, un problema de inters fundamental en matemticas es el de demostrar que si A es verdadero, entonces B es verdadero.
Una demostracin es un mtodo formal para realizar esta tarea. Como
usted pronto descubrir, la forma particular de A y B puede indicar a
menudo el camino a seguir. Algunos ejemplos de proposiciones.
1. Dos rectas diferentes en un plano son paralelas o se cortan slo
en un punto.
La verdad en matemticas
19
2. 1 =o.
3. 3x = 5 y y = 1 .
4. x no es> O.
5. Existe un ngulo t tal que cos(t) =t.
Observe que la proposicin 1) es siempre verdadera, 2) es siempre falso, y que los postulados 3) y 4) pueden ser verdaderos o falsos, dependiendo del valor de una variable.
Tal vez no sea tan obvio que la proposicin 5) es siempre verdadero. Por lo tanto, es necesario tener algn mtodo para demostrar
que tales proposiciones son verdaderas. En otras palabras, una demostracin es un argumento convincente expresado en el idioma de las
matemticas. Como tal, una demostracin deber contener suficientes detalles matemticos para poder convencer a la(s) persona(s) a
quien( es) est dirigida. Por ejemplo, una demostracin de la proposicin 5) dirigida a un profesor de matemticas podra ser solamente la
figura 1. Por otro lado, una prueba dirigida a un estudiante de bachillerato requerir una explicacin detallada, tal vez la definicin del
coseno inclusive. La falta de esta explicacin detallada es lo que hace
que una demostracin sea a menudo tan difcil de leer y entender.
Uno de los objetivos de este texto es el de ensear a descifrar dichas
demostraciones "condensadas" que aparecen comnmente en los. libros de texto y en las publicaciones matemticas.
Para poder hacer una demostracin, usted debe saber exactamente lo que significa demostrar que "si A es verdadero entonces B es
verdadero". La proposicin A se llama a menudo hiptesis y el postu-
Figura l. Una demostracin de que existe un ngulo t tal que cos(t) =t.
La verdad en matemticas
20
1. A
2. A
3. A
4. A
es verdadero y B es verdadero.
es verdadero y B es falso.
es falso y B es verdadero.
es falso y Bes falso.
Ejercicios
21
Verdadero
Verdadero
Falso
Falso
A implica B
Verdadero
Falso
Verdadero
Falso
Verdadero
Falso
Verdadero
Verdadero
EJERCICIOS
1.1 De los siguientes incisos, diga cules son proposiciones. {Recuerde
que una proposicin debe ser verdadera o falsa).
a) ax 2 + bx +e= O.
b) (-b
b 2 - 4ac)/2a.
e) el tringulo XYZ es similar al tringulo RST.
d)3 + n + n 2
22
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.
1.4 Usando la tabla 1.1, determine las condiciones bajo las cuales las
siguientes proposiciones son verdaderas o falsas. D sus razones.
a)
b)
e)
d)
1.5 Desarrolle la tabla de verdad para cada una de las siguientes proposiciones.
a) A implica (B implica C).
h) (A implica B) implica C.
Captulo 2
El mtodo progresivo.
regresivo
El propsito de este captulo es describir una de las tcnicas fundamentales para hacer demostraciones: el mtodo progresivo-regresivo.
Se le da especial nfasis al material de este captulo debido a que se
usar este mtodo en todas las otras tcnicas para hacer demostraciones.
Para el primer paso en cualquier demostracin se necesita identificar las proposiciones A Y B. En general, todo lo que sigue a la
palabra "si" y antes de la palabra "entonces" constituye la proposic1on
B. Es decir, todo lo que usted supone que es verdadero (es
decir, la hiptesis) es A; todo lo que est tratando de demostrar
(es decir, la conclusin) es B. Considere el siguiente ejemplo:
Ejemplo 1 Si el tringulo rectngulo XYZ, con lados x y y e hipotenusa z tiene un rea de z 2 /4, entonces, el tringulo es issceles (figura 2).
z
z
El tringulo rectngulo
23
y
X Yz
24
El mtodo progresivo-regresivo
El mtodo progresivo-regresivo
25
X=
Si puede demostrar que x =y, entonces el tringulo XYZ es issceles. Una vez que usted tiene el postulado B 1 , todos sus esfuerzos
debern dirigirse ahora a llegar a la conclusin de que B 1 es verdadero y, como consecuencia, que B tambin es verdadero. Cmo
puede demostrar que B 1 es verdadero? Al final, usted tendr que suponer que A es verdadero, y resolver el problema, lo cual podra
hacerse ahora, pero por el momento, continuemos el proceso regresivo repitiendo el proceso de abstraccin con la nueva proposicin
B 1 Esto servir para ilustrar algunas de las dificultades que surgen en
el proceso regresivo. Puede usted formular la nueva pregunta de
abstraccin?
Puesto que x y y son los dos lados del tringulo, una pregunta de
abstraccin razonable sera "cmo puedo demostrar que los dos
lados de un tringulo son iguales?" Una segunda pregunta de abstraccin perfectamente razonable sera "cmo puedo demostrar
que dos nmeros reales son iguales?" despus de todo, x y y son
tambin nmeros reales. Una de las dificultades que pueden surgir en
el proceso de abstraccin es la posibilidad de que haya ms de una
pregunta de abstraccin. La seleccin de la pregunta correcta es ms
un arte que una ciencia. En circunstancias afortunadas habr slo
una pregunta de abstraccin. En otros casos, usted tendr que proceder por ensayo y error. Aqu es donde la intuicin, ingenio, creatividad, experiencia, diagramas y grficas pueden jugar un papel importante. Un gua general es permitir que la informacin contenida
en A (la cual usted est suponiendo que es verdadera) le ayude a
seleccionar la pregunta, como se har en este caso.
Independientemente de la pregunta que usted seleccione, el siguiente paso ser contestarla, primero en lo abstracto y despus en
26
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 ngulso 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 pregunta 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 regresivo. 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 demostrar 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 demostrar 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:
-y=
El mtodo progresivo-regresivo
27
A 1 : xy /2 = z 2 /4
Otra proposicin muy til que surge como consecuencia de A y del
teorema de Pitgoras es:
A 2 : (x 2
+ y 2 ) = z2
Tambin, el proceso progresivo puede combinar y usar las nuevas proposiciones para producir otras verdaderas. Para el ejemplo 1, es posible
combinar A 1 y A 2 substituyendo (x 2 + y 2 ) en A 1 obteniendo la
proposicin:
3:
xy/2 = (x 2
+ y 2 )/4
28
El mtodo progresivo-regresivo
de 90 grados". Como no hay reglas espec.ficas para saber cmo producir nuevas proposiciones, recuerde el hecho de que el proceso
progresivo est dirigido hacia la obtencin de la proposicin B 2 :
x - y = O, el cual fue la ltima proposicin derivada en el proceso
regresivo. Es por esta razn que z 2 fue eliminada de A 1 y A 2
Continuando el proceso progresivo, usted debe intentar reescribir A 3 para hacer que ste se parezca a B 2 Por ejemplo, puede
multiplicar ambos miembros de A 3 por 4 y substraer 2.xy de ambos
lados para obtener:
Factorizando, se obtiene
A 5 : (x - y ) 2 = O
Uno de los pasos ms comunes del proceso progresivo es el de reescribir las proposiciones en diferentes formas, como fue hecho al
obtener A4 y A 5 . Para el ejemplo 1, el paso final en el proceso progresivo (y en toda la demostracin) es sacar la raz cuadrada positiva
de ambos lados de la igualdad en A 5 , obteniendo as precisamente
la proposicin B2 : x - y =O. La demostracin queda completa, puesto que usted empez con la suposicin de que A es verdadero, y la
us para llegar a la conclusin de que B 2 y, por lo tanto B, es verdadero. Los pasos y razones estn resumidos en la tabla 2.
Tabla 2 Demostracin del ejemplo l.
Proposicin
Razn
A: El rea de XYZ es z 2 /4
Hiptesis
rea= 1/2 (base)(altura)
Teorema de Pitgoras
Substituya A 2 en A1
lgebra
Factorizando A4
Raz cuadrada de A 5
Sume y a ambos miembros de B 2
Puesto que B1 es verdadero
A 1 :xy/2=z2 /4
A2 : x2 + y2 = z2
A3: xy/2 = (x 2 + y 2 )/4
2
2
A4 : x - 2xy + y = O
2
As : (x - y ) = O
B2: (x - y)= O
B1: X= y
B: El tringulo XYZ es issceles
Es interesante observar que el proceso progresivo produjo finalmente la respuesta a la pregunta de abstraccin asociada con B 2 , es
El mtodo progresivo-regresivo
30
El mtodo progresivo-regresivo
31
El mtodo progresivo-regresivo
regresivo
2;
.B
ambas cosas, fructferamente. En el ltimo caso, es tiempo de empezar el proceso progresivo, en donde usted deduce de A una sucesin
de proposiciones, las cuales son necesariamente verdaderas como
resultado de que A se ha supuesto verdadero. Recuerde que la meta
del proceso progresivo es obtener precisamente la ltima proposicin
que obtuvo en el proceso regresivo, con lo cual habr completado
con xito la demostracin.
Los procesos progresivos y regresivos pueden recordarse fcilmente imaginndose que la proposicin B es como una aguja en un
pajar. Cuando usted trabaja progresivamente a partir de la suposicin de que A es verdadero, usted empieza en alguna parte en el
exterior del pajar y trata de encontrar la aguja. En el proceso regresivo, usted empieza en la aguja y trata de encontrar el camino hacia
afuera del pajar, es decir, hacia la proposicin A (figura 3).
Otro modo de recordar el mtodo progresivo-regresivo, es pensando en un laberinto en el cual A es el punto inicial y B es el punto
final deseado (figura 4 ). Tal vez sea necesario alternar varias veces
entre los procesos progresivos y regresivos antes de que tenga xito,
ya que probablemente habr varios intentos fallidos y callejones sin
salida.
Como una regla general, el mtodo progresivo-regresivo es probablemente la primera tcnica a tratar en un problema, a menos que usted
tenga una razn para usar un enfoque diferente basado en la forma
de B, tal como se describir ms adelante. De cualquier manera, usted
obtendr informacin de la relacin entre A y B.
32
El mtodo progresivo-regresivo
A progresivo
B regresivo
Figura 4. El laberinto.
EJERCICIOS
es~
que el mximo
33
Ejercicios
es~
que el mximo
T = {nmeros reales x: x
3);;;;iiiQ}
1}
a)
2.4 Para cada uno de los siguientes problemas, indique tantas preguntas de abstraccin como pueda (por lo menos dos). Asegrese
de que sus preguntas no contengan smbolos o la notacin del
problema especfico.
Si 11 y 12 son tangentes a una circunferencia C en los dos puntos extremos e 1 y e 2 de un dimetro d, respectivamente,
entonces 11 y / 2 son 1neas paralelas.
b) Si f y g son funciones continuas entonces la funcin f + g
es continua. (Nota: La continuidad es una propiedad de una
funcin).
e) Si n es un entero par, entonces n 2 es un entero par.
d) Sin es un entero para el cual - 3n 2 + 2n + 8 =O, entonces
2n 2 - 3n =-2.
a)
El mtodo progresivo-regresivo
34
a)
b)
e)
d)
Cmo
C.:.o
Cmo
Cmo
puedo
puedo
puedo
puedo
2. 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 e son nmeros reales para los cuales a >O, b <O y
2:7 Para. cada una de las siguientes hiptesis, indique tantas proposiciones como usted pueda (por lo menos tres) las cuales surgen
como resultado de la aplicacin de un paso del proceso regresivo.
a) El nmero real x satisface x 2 - 3x + 2 <O.
b) El seno del ngulo X en el tringulo XYZ de la figura 2 es
l/V[.
e) El crculo C consiste de todos los valores de x y y que satisfacen (x - 3) 2 +(y - 2) 2 = 25.
d) El tringulo UVW es equiltero.
2.8 Considere el problema de demostrar que "Si x y z son nmeros
reales tales que x 2 + 6y 2 - 25 =O y y 2 + x = 3 entonces lY 1= 2':
Al trabajar progresivamente a partir de la hiptesis, cul de los
siguientes incisos no es vlido y por qu?
35
Ejercicios
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).
=-
"s"
yor nmero de palabras posibles, aplicando las reglas anteriores repetidamente a la palabra inicial s.
b) Aplique un paso del proceso regresivo a la palabra tst. Espec ficamente, liste todas las palabras para las cuales la aplicacin
de una de las reglas anteriores producira la palabra tst.
36
El mtodo progresivo-regresivo
Captulo 3
Acerca de las
definiciones y la
terminologa matemtica
38
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 regresivo.
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 nmero par es: "un nmero entero que puede expresarse como el producto de 2 por otro nmero entero". Por supuesto, existe una sola
definicin para un concepto particular, pero cuando existen varias alternativas 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 alternativas puede utilizarse como definicin. Una vez que se ha escogido la
definicin, es aconsejable establecer la "equivalencia" (A) entre la definicin 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 producto 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 entero 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 como 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 escribira "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 demostracin 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
sibles respuestas en sus manos. Una se obtiene directamente de la definicin S, por lo que una forma de demostrar que un entero es par es
demostrando que su residuo al ser dividido entre 2 es igual a O. La segunda: respuesta se obtiene de la definicin alternativa; es decir, usted
puede demostrar que ese entero puede expresarse como el producto
de 2 por algn otro entero. Similarmente, en el proceso progesivo, si
usted sabe quen es un nmero par, tendra entonces dos posibles proposiciones las cuales son verdaderas como resultado de esto: la definicin original y la alternativa. Mientras que la habilidad para responder
a una pregunta de abstraccin (realizando el proceso progesivo) en
ms de una forma puede ser obstculo, como fue el caso en el ejemplo
1, tambin puede ser ventajoso, como se muestra en el siguiente.
Ejemplo 2: Sin es un entero par, entonces, n 2 es tambin un entero
par.
Explicacin detallada de la demostracin: Si utiliza el mtodo progresivo-regresivo, usted es conducido inmediatamente a la pregl;lnta ~e
abstraccin" cmo puedo demostrar que un entero (n 2 ) es par?'~ Escogiendo la definicin alternativa en lugar de la definicin original,
puede responder a este pregunta demostrando que n 2 puede expresarse
como el producto de 2 por algn entero. Ahora, la pregunta es" Cual
entero?" La respuesta a esta pregunta proviene del proceso progresivo.
Dado que n es un entero par, y usando la definicin alternativa, n
puede expresa~e como el producto de 2 por algn entero k (es decir,
n = 2k). Por lo que
n 2 = (n)(n) = (2k)(2k) = 4k 2 = 2(2k 2 ).
Entonces, se ha demostrado que n 2 puede escribirse como el producto de 2 por algn otro entero, siendo dicho entero igual a 2k2 , y esto
completa la demostracin. Por supuesto, este problema podra tambin haber sido resuelto usando la definicin S, pero resultara mucho
ms difcil- hacerlo de esa manera.
41
42
Ejemplo 3. Si el tringulo rectngulo RST con lados r y s, e hipotenusa t, satisface t = v'2iS, entonces, el tringulo RST es issceles
(figura 5).
R
Explicacin detallada de la demostracin. El mtodo progresivo-regresivo da origen a la pregunta de abstraccin "Cmo puedo demostrar
que un tringulo (RST) es issceles?" Se obtiene una respuesta usando la definicin 3, pero se obtiene tambin una segunda respuesta de
la conclusin del ejemplo 1, la cual establece que el tringulo XYZ es
issceles. Tal vez el tringulo R ST sea tambin issceles por la misma
razn que el tringulo XYZ lo es. Para averiguar esto es necesario ver
si el tringulo RST satisface tambin la hiptesis del ejemplo 1, al
igual que el tringulo XYZ; porque entonces el tringulo RSTtambin
satisface la conclusin, y' por lo tanto, es issceles.
Al verificar la hiptesis del ejemplo l para el tringulo RST, es
necesario primero establecer una equivalencia entre la notacin que
se est usando en este problema, y la que se utiliz en el ejemplo l.
Especficamente, las longitudes de los lados del tringulo son x = r,
y= s, y z = t. Entonces, para verificar la hiptesis del ejemplo 1 en este
problema, usted debe ver si el rea del tringulo RSTes igual a l /4(! 2 ),
o en su lugar, como el rea del tringulo RST es igual a l /2(rs), debe
verificar si l /2(rs) = 1/4(! 2 ).
El hecho de que 1/2 (rs) = l /4 (! 2 ) se obtendr trabajando progresivamente a partir de la hiptesis de- que t = ~ Especficamente,
elevando al cuadrado ambos miembros de la igualdad y dividiendo
despus entre 4, usted obtiene que 1/2(rs) = 1/4(t 2 ) tal como lo deseaba. Observe que la hiptesis del ejemplo 1 requiere tambin que el
43
44
La tabla 1 puede usarse para determinar cundo cada uno de estos 3 postulados es verdadero. Por ejemplo, el principio contrapositivo "NO B implica NO A", es verdadero en todos los casos excepto
cuando la proposicin a la izquierda de la palabra "implica" (en este
caso, NO B) es verdadera y la de la derecha de la palabra "implica''
(en este caso, NO A) es falsa. En otras palabras, el principio contrapositivo es verdadero en todos los casos excepto cuando B es falsa y
A es verdadera, como se muestra en la tabla 3.
Verdadero
Verdadero
Falso
Falso
Verdadero
Falso
Verdadero
Falso
NOB
NOA
A:;. B
NOB:;.NOA
Falso
Verdadero
Falso
Verdadero
Falso
Falso
Verdadero
Verdadero
Verdadero
Falso
Verdadero
Verdadero
Verdadero
Falso
Verdadero
Verdadero
EJERCICIOS
Nota: Todas las demostraciones debern contener una explicacin
detallada de la misma as como una versin condensada.
3.1 Para cada una de las siguientes conclusiones, plantee una pregunta de abstraccin. Luego, utilice una definicin para l) responder
Ejercicioa
45
racional.
e) Suponga que a, b, e, d, e y f son nmeros reales. Si (x1, Y1)
y (x:i, Y2) son nmeros reales los cuales satisfacen:
ax 1 + by 1
= e, ex 1
+ dy 1
=f,
d) Si
3.2 Para cada una de las siguientes hiptesis, utilfoe una definicin para trabajar progresivamente (solamente un paso).
a) Sin es un entero impar, entonces n 2 es 1.ln entero impar.
b) .si s y t son nmeros racionales con t #:- O,. entonces s/t es racional.
e) Si el tringulo RST es equiltero, entonces el -rea del tringulo es V3{4'veces el cuadrado de uno de sus lados.
d) Si el tringulo rectngulo XYZ de la figura 2 satisface sen(X)
= cos (X), entonces el tringulo XYZ es issceles.
e) Si a, by e son enteros para los cuales alb y ble, entonces, ale.
3.3" Escriba tablas de verdad para las siguientes proposiciones.
a) El recproco de "A implica B".
46
3.4 Para cada una de las siguientes proposiciones escriba los principios recproco, inverso y contrapositivo.
a) Sin es un entero para el cual n 2 es par, entonces n es par.
b} Sir es un nmero real tal que r 2 = 2, entonces r no es racional.
e) Si el cuadriltero ABCD es un paralelogramo con un ngulo
recto, entonces el cuadriltero ABCD es un rectngulo.
d) Si t es un ngulo para el cual sen(!) = cos(t) y O < t < rr, entonces t = rr /4.
3.5 Demuestre que si n es un entero impar, entonces n 2 es un entero impar.
3.6. Demuestre que si n y m son nmeros enteros impares, entonces
mn es un entero impar.
3.7 Demuestre que si "A implica B'' y "B implica C', entonces "'A
implica C'.
3.8 Demuestre que si "A implica B", "B implica C' y "C implica
A", entonces A es equivalente a B, y A es equivalente a C
3.9 Suponga que usted tiene una definicin A con la forma de una
proposicin, as como tres definiciones alternativas B, C y D.
a) Cuntas demostraciones se requeriran para demostrar que
A es equivalente a cada una de las tres alternativas?
b) Cuntas demostraciones se requeriran para mostrar que "A
implica B", "B implica C', "C implica D", y "D implica A"?
e) Explique por qu la estrategia en b) es suficiente para establecer que cada una de las alternativas es equivalente a la definicin original (y a cada una de las otras).
3.1 O Demuestre que si el tringulo rectngulo UVW con lados u y v,
e hipotenusa w, satisface sen( U)= .J u/2v, entonces el tringulo
UVW es issceles:
a) Utilizando la definicin de un tringulo issceles.
b) Verificando la hiptesis' del ejemplo 1.
e) Verificando la hiptesis del ejemplo 3.
Captulo 4
Cuantificadores 1a.
parte: el mtodo por
construccin
En el captulo anterior usted aprendi que una definicin podra utilizarse con xito para contestar una pregunta de abstraccin. Los prximos cuatro captulos le proporcionarn otras tcnicas para formular
y contestar una pregurtta de abstraccin que surge cuando B tiene una
forma especial.
Dos formas particulares de B aparecen repetidamente ert todas fas
ramas de las matemticas. Estas formas pueden ser identificadas mediante ciertas palabras claves que aparecen en la proposicin. La
primera forma contiene la palabra "existe'' ('Hexisten") en tanto que
la segunda contiene las palabras "para todo" ("para cada"). Estos
dos grupos de palabras se denominan cuantificadores y cada uno de
ellos dar lugar a una tcnica para hacer demostraciones. El resto de este capitulo trata del cuantificador existencial "existe" y la tcnica de
demostracin correspondiente denominada mtodo por construccin.
El cuantificador universal "para todo" y su tcnica de demostracin
~sociada se estudiarn en el prximo captulo.
El cuantificador "existe" surge de manera natural en muchos pos..
tulados matemticos. Recuerde que se defini un nmero racional (definicin 7) como un nmero real que puede ser expresado como el
cociente de dos enteros en el cual el denominador es diferente de cero.
47
48
Esta definicin podra tambin haber sido escrita usando el cuantificador "existe".
>
2 tal que (x 2
Sx
+ 6) =O.
49
50
Explicacin detallada de la demostracin. Al iniciar el proceso regresivo, usted debe observar que, aunque el cuantificador "existe" no
aparece explcitamente, el postulado B tiene la forma estudiada
anteriormente. Observe que la proposicin B se puede escribir nuevamente para que contenga explcitamente dicho cuantificador; por
ejemplo: "existen nmeros reales x y y tales que
(ax +by)=e y (ex +dy)=f".
Usted debe ser cuidadoso ya que los postulados que contienen cuantificadores "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
(ax+ by)= e y (ex+ dy) =f.
= (de
- bf)/(ad - be)
y y= (af - ce)/(ad - be), entonces es muy afortunado, pero debe demostrar todava q4e algo sucede, es decir, que (ax + by) =e y que
(ex + dy) =f. Por supuesto que lo anterior no es difcil de hacer. Observe que al adivinar esos valores de x y y, usted ha hecho uso de la
informacin en A, dado que los denominadores no son iguales a O.
Mientras que este enfoque de "adivinar y verificar" es perfectamente aceptable para producir la x y la y deseadas, el mtodo no es 'muy
informativo en lo que se refiere a cmo produjo usted esos valores
particulares. Sera de desearse una demostracin ms instructiva. Por
ejemplo, para obtener los valores de x y y, podra empezar con las dos
ecuaciones (ax + by)= e y (ex + dy) =f. Despus de multiplicar la
primera ecuacin p~rd y la segunda por by, luego, substraer la segunda
ecuacin de la primera, se obtiene (ad - be)x =(de - bf). Haciendo
uso de la informacin en A, es posible dividir esta ltima ecuacin
entre (ad - be) dado que, por hiptesis, este nmero no es O, obteniendo por lo tanto x =(de - bf)/(ad - be).
Ejercicios
5l
EJERCICIOS
Nota: Todas las demostraciones debern contener una explicacin detallada de la misma, as como una versin condensada.
4.1
Para cada una de las siguientes proposiciones, identifique los objetos, aquella cierta propiedad y el algo que sucede.
En los Himalayas existe una montafia de ms de 20,000 pies
de altura, la cual es ms alta que cualquier otra montaa en
el mundo.
b) Existe un entero x tal que x 2 - Sx/2 + 3/2 =O.
e) A travs de un punto P que no est en una lnea ~' existe
una lnea .Q' que pasa a travs de P la cual es paralela a~.
a)
52
4.2 Escriba nuevamente los siguientes postulados utilizando los smbolos "E" y "E".
a) Un tringulo XYZ es issceles si dos de sus lados tienen
igual longitud.
b) Dado un ngulo t, usted puede encontrar un ngulo t, cuya
tangente es mayor que la de t.
e) En una fiesta de n personas, por lo menos dos de ellas tienen
el mismo nmero de amigos.
d) Un polinomio p(x) de grado n tiene exactamente n races
complejas, r 1 , , r n para las cuales p (r 1 ) = ... =p(rn )=O.
4 .3 Demuestre que:
- Sx/2 + 3/2 =O. Es nico
este entero?
b) Existe un nmero real x tal que x 2 - Sx/2 + 3/2 =O. Es
nico este nmero real?
Captulo 5
Cuantificadores 2a.
parte: el mtodo por
seleccin
53
54
+ 3x + 2) =O}.
SS
56
Para cada "objeto" con una "cierta propiedad", "algo sucede" C).
Las palabras entre comillas dependen del enunciado particular
bajo consideracin, y usted debe aprender a leer, escribir e identificar
los tres elementos. Considere estos ejemplos:
l. Para cada ngulo t, sen 2 (t) + cos 2 (t)
Objeto: ngulo t
Cierta propiedad: ninguna
'Algo sucede: sen 2 (t) + cos 2 (t) = l
=1
2x =y.
2xr =y.
Observe que una coma siempre precede al algo que sucede. Algunas 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 proposicin que tiene el cuantificador "para todo" en la forma estudiada
anteriormente, una manera en la cual usted podra ser capaz de demostrar 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 tratado 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
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 verificar 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 demostraciones.
Entrada
salida
58
traciones tendr la capacidad de repetir la demostracin para cualquiera de los objetos que tienen aquella cierta propiedad.
Suponga, por ejemplo, que en alguna demostracin, usted necesita demostrar que para todo los nmeros reales x con x 2 - 3 x
+ 2 ~O, l ~ x ~ 2. Usando el mtodo por seleccin usted escogera
uno de dichos nmeros reales, por ejemplo, x ', el cual tiene aquella
cierta propiedad (en este caso, (x') 2 - 3x' + 2 ~ 0). Entonces,. trabajando progresivamente a partir der hecho que (x') 2 - 3x' + 2 ~ O,
usted debe llegar a la conclusin de que, parax', algo sucede, es decir, 1
~x'~2.
Aqu se utiliza el smbolo "x'" para distinguir el objeto seleccionado del objeto general, "x : Esta distincin se ignora frecuentemente
(es decir, el mismo smbolo se usa para el objeto general y para el
objeto seleccionado) y usted debe interpretar cuidadosamente el smbolo correcto. Considere el siguiente ejemplo.
Ejemplo 5. Si
S ={nmeros reales x: (x 2 - 3x + 2) ~O}, y
T = {nmeros reales x: 1 ~ x ~ 2 },
entonces S = T.
Explicacin detallada de la demostracin. El proceso regresivo conduce a la pregunta de abstraccin" Cmo puedo demostrar que dos
conjuntos (S y T) son iguales?" La definicin 15 proporciona la
respuesta. Usted debe demostrar que Ses un subconjunto de T y Tes
un subconjunto de S, as que, primero trate de demostrar que Ses un
subconjunto de T y despus que Tes un subconjunto de S.'.
Para demostrar que S es un subconjunto de T, usted formula la
pregunta de abstraccin: "Cmo puedo demostrar que un conjunto
(S) es un subconjunto de otro conjunto (T)?" De nuevo, usando la
definicin, se obtiene la respuesta. Es decir, debe demostrar que, para
toda x en S, x est en T. Este nuevo enunciado B 1 tiene claramente
la forma descrita con anterioridad, indicando as que usted debe utilizar el mtodo por seleccin. Para hacerlo, seleccione un objeto con
una cierta propiedad y demuestre que algo sucede. En este caso eso
significa que usted debe escoger un elemento x en S y, sabiendo que
x est en S (es decir, que x satisface la propiedad que define a S), junto
con la informacin en A, usted debe demostrar que x est en T
Observe que usted no quiere escoger un elemento especfico en S, di-
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) pertenece 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 informacin adicional disponible. Recuerde que, durante el proceso regresivo, 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 debido 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.
Demostracin del ejemplo 5. Para demostrar que S = T se demostrar
que S es un subconjunto de T y T es un subconjunto de S. Para
1ver 1que Ses un subconjunto de T, sea x un elemento de S (el uso de la
palabra "sea" indica frecuentemente que el mtodo por seleccin ha
sido invocado). Consecuentemente, (x 2 - 3x + 2) ~O, o que es lo
mismo, (x - 2) (x - 1) ~ O. Esto significa que o bien (x - 2) ~O y
(X.-' l) ~ O, o (x ...,., 2) ~ O y (x-:- 1) ~O. Lo primero no puede suceder dado que eso implicara que x ~ 2 y x ~ l. Entonces, debe ser
60
que x <;; 2 y x ;;;:is l, lo cual significa que x est en T. Se omite la demostracin de que Tes un subconjunto de S.11
El mtodo por seleccin es un enfoque viable para tratar con
proposiciones que contienen el cuantificador "para todo". Proceda
seleccionando un objeto que tenga una cierta propiedad. Aada. esta
infonnacin a la proposicin A y demuestre que algo sucede usando
eJ mtodo progresivo-regresivo.
EJERCICIOS
es ;;;:is f en el conjunto S de nmeros reales si para cada elemento x en S, g(x) ;;;:is f(x).
e) El nmero real u es un lmite superior para un conjunto S de
nmeros reales si para cada x en S, x ~u.
d) El nmero real u es el lmite mnimo superior para un conjunto S de nmeros reales si u es un lmite superior para S y V
nmero real r;' >O, x ES x >u -E.
e) Un conjunto C de nmeros reales es convexo si para todo elemento x y y en C, y para todo nmero real t entre O y 1, tx +
(1 - t) y es un elemento de e
f) Una funcin f de una variable es convexa si para todo nmero
real x y y, y para toda O~ t ~ 1,f(tx + (1 - t) ~(y)~ tf(x)
+ (1
- t)f(y).
g) Una funcin
todo nmero real E> O, existe un nmero real ~ >O tal que
para todo nmero real y con lx - y 1< 5, lf(x)- f(y) 1< s
h) Suponga que x, x 1 , x 2 , son nmeros reales. La sucesin
x 1 , x 2 , . converge en x si V .nmero real E> O, un entero
k' tal que, V entero k > 3', xk -x 1 <E
Ejerciios
61
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 mximo 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 planteamiento 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 smbolos apropiados: V, 3 , 3.
a) AlgUna montaa es ms alta que cualquier otra montafa.
b) Si tes un ngulo, entonces, sen(2t) =2 sen(t) cos(t).
(sugerencia: utilice el ejercicio 5.3.)
e) La raz cuadrada del producto de dos nmeros reales no negativos cualesquiera p y q es siempre menor o igual que la suma
de estos dos dividida entre 2.
d) Si x y y son nmeros reales tales que x <y, entonces, existe
un nmero racional r tal que x < r <y.
5 .5 Para cada uno de los siguientes enunciados, indique cules 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, qu construira, qu
seleccionara, etc.
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 funcin de una variable).
62
Captulo 6
Cuantificadores 3a.
parte: induccin
1, "algo sucede",
donde el algo que sucede es algn enunciado que depende del entero
n. Por ejemplo:
n
k_= n(n
+ 1)/2,
donde ~
k = 1
= 1 *. ~ . + n.
64
las proposiciones, para el ensimo y los siguientes es mucho ms dif~il. Para el ejemplo anterior, la lista sera:
P(l):
l;
k = 1(1 + 1)/2
1=1
k=2(2 + 1)/2
1+2=3
k = 3(3 + 1)/2
1+2+3=6
k=l
2
P(2):
l;
k = 1
3
P(3):
l;
k = l
P(n):
l;
k =n(n + 1)/2
k"" 1
n+ 1
P(n + 1):
l;
k = 1
k=(n
Induccin es un mtodo ingenioso para demostrar que es verdadero cada uno de estos enunciados en la lista infinita. As como con
el mtodo por seleccin, se puede pensar en la induccin como una
mquina automtica que resuelve problemas, la cual comienza con
p( 1) y contina sobre la lista de manera progresiva demostrando cada
proposicin. Aqu est cmo trabaja. Usted hace que empiece la mquina verificando que P(l) es verdadero, lo cual se puede hacer fcilmente en el ejemplo anterior. A continuacin, introduzca P( 1) en la
mquina. Esta utiliza el hecho de que P( 1) es verdadero y automticamente demuestra que P(2) es verdadero. Entonces tome P(2) e introdzcalo en la mquina. De nuevo, ella utiliza el hecho de que P(2)
es verdadero para obtener la conclusin de que P(3) es verdadero, y
as sucesivamente (figura 7). Observe que cuando la mquina va a demostrar que P(n + 1) es verdadero, ella ya habr demostrado que
P(n) es verdadero (en el paso anterior). As, al disear la mquina,
usted puede suponer que P(n) es verdadero, y su trabajo consiste en
asegurar que P(n + 1) tambin ser verdadero. No olvide que, para
empezar el proceso, usted debe verificar que P(l) es verdadero.
65
'
1
1 Entrada
Mquina que hace
demostraciones
Entrada
' hacer
Mquina para
demostraciones
66
Repitiendo, una demostracin por induccin consiste de dos pasos. El primero es verificar que el postulado P( l) es verdadero. En.
general, esto es fcil de hacer. Simplemente, sustituya cada n por l.
Por lo comn, para verificar que el enunciado obtenido es verdadero,
usted slo tendr que hacer algunas operaciones algebraicas.
El segundo paso tiene mayor dificultad. Este requiere que usted
llegue a la conclusin de que P(n + 1) es verdadero, utilizando la suposicin de que P(n) es verdadero. Existe una forma muy comn para
hacer esto. Comience escribiendo el enunciado P(n + 1). Ya que a
usted se le permite suponer que P(n) es verdadero y quiere concluir
que P(n + 1) es verdadero, deber tratar de escribir de alguna manera
el postulado P(n + 1) en trminos de P(n) (como se ilustrar en un
momento), ya que entonces, podr hacer uso de la suposicin de que
P(n) es verdadero. Al establecer que P(n + 1) es verdadero, la demostracin estar completa.
n
1,
k
=1
= n(n + l )/2.
P(n): k~
k = n(n
+ 1)/2.
P(l):
k
=1
k = 1(1
+ 1)/2.
Con unos pocos pasos ms, es fcil verificar esta proposicin, ya que
1
~
k
=1
= 1 = 1(1 + 1)/2.
67
En este caso:
n + 1
P(n
1):
k
k = (n
=1
+ 1)[(n +
1)
+ 1]/2 = (n + 1) (n + 2)/2.
Para llegar a la conclusin de que P(n + 1) es verdadero, comience con la expresin al lado izquierdo de la igualdad en P(n + 1), y
trate de que se parezca a la expresin de lado derecho. Al hacerlo,
usted deber hacer uso de la informacin en P(n), relacionando el
lado izquierdo de la igualdad en P(n + 1) con el lado izquierdo de la
igualdad en P(n ), porque entonces usted podr utilizar el lado derecho de la igualdad en P(n). En este ejemplo,
n + 1
~
k=(
k=l
k)
+ (n + 1).
k=l
~
k
=1
~
k
=1
k = [n(n
+ 1)/2] + (n + 1).
+ 1)/2 + (n + 1)
= (n 2 + n)/2 + 2(n
= (n 2 + 3n + 2)/2
= (n + 1) (n + 2)/2
+ 1)/2
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 hiptesis de induccin de que P(n) es verdadero, determinar el xito de
68
Demostracin del ejemplo 6. Claramente, el enunciado es verdadero para n = 1. Suponga que es verdadero para n (es decir, que
1 + ...
1 + ...
+ (n + l) = (1 + ... + n) + (n + 1)
=n(n + 1)/2 + 2(n + 1)/2
=(n 2 + 3n + 2)/2
= (n + 1) (n + 2)/2
69
Ejercicios
EJERCICIOS
Nota: No es necesario que las demostraciones de este captulo contengan una explicacin detallada de la misma.
6.1 Para cules de las siguientes proposiciones sera directamente
aplicable el mtodo de induccin? Cuando no sea aplicable explique el porqu.
a) Para cada entero positivo n, 8 divide a 5n + 2 3n - 1 + 1.
b) Existe un entero n ~O tal que 2"
n2
e) Para cada entero n ~ 1, 1 (1 !) + ... + n(n!) (n + 1)! - l.
(Donde n ! = n(n - 1) ... 1).
d) Para cada entero n ~ 4, n!
n2
e) Para cada nmero real n ~ 1, n 2 ~ n.
>
>
70
sucede.
b) Para cada entero, algo sucede.
e) Para cada entero positivo impar, algo sucede.
6.9 Indique lo que es incorrecto en la siguiente demostracin de que
todos los caballos tienen el mismo color.
Demostracin: Sean el nmero de caballos. Paran -= 1 el postulado es verdadero, es decir, un caballo tiene el mismo color (cualquier color). Suponga que en cualquier grupo den caballos todos
tienen el mismo color. Ahora, considere un grupo de (n + 1) caballos. Tomando cualesquiera n de ellos, la hiptesis de induccin
establece que todos ellos tienen el mismo color, por ejemplo, marrn. Lo que queda por determinar es el color del otro caballo.
Por consiguiente, considere dentro del mismo grupo de (n + 1)
caballos' otro grupo de n caballos que contenga el caballo cuyo
color se desconoce. De nuevo, por la hiptesis de induccin, todos los caballos en este nuevo grupo deben tener el mismo color.
Luego, dado que todos Jos caballos en este grupo son de color
marrn, el caballo cuyo color se desconoce debe ser tambin de
color marrn. 11
Captulo 7
Cuantificadores 4a.
parte: partirularizacin
72
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 ilustra el uso apropiado del mtodo por particularizacin.
Definicin 16: Un nmero real u es una lmite superior de un
conjunto de nmeros reales T si para todos los elementos ten
T. t <:u.
Ejemplo 7: Si Res un subconjunto de un conjunto S de nmeros reales y u es un lmite superior de S, entonces u es un lmite
superior de R.
Explicacin detallada de la demostracin. El mtodo progresivo-regresivo da origen a la pregunta de abstraccin" Cmo puedo demostrar
que un nmero real (u) es un lmite superior para un conjunto de nmeros reales (R)?" La definicin 16 seusapararesponderdichapregunta.
As, se debe demostrar que para todos los elementos r en R, r <:u. La
presencia del cuantificador "para todo" en el proceso regresivo sugiere
proceder con el mtodo por seleccin, mediante el cual uno escoge un
elemento, pore.iemplor, deR, para el cualse debe demostrar quer<:u.
Volviendo ahora hacia el proceso progresivo, ver usted cmo el
mtodo por particularizacin se utiliza para obtener la conclusin deseada de que r <:u. A partir de la hiptesis de queR es un subconjunto
de S, y por la definicin 14, usted sabe que cada elemento en R est
tambin en S. En el proceso regresivo, usted se encontr el elemento
particular r en R y, por lo tanto, puede usted utilizar el mtodo
por particularizacin para concluir que r est en S.
Tambin, a partir de la hiptesis, usted sabe que u es un lmite o
cota superior para S, y por la definicin 16 esto significa que para
todo elemento s en S, s <:u. De nuevo, la presencia del cuantificador
"para todo" en el proceso progresivo sugiere usar el mtodo para particularizacin. Observe cmo, en particular, r es un elemento de S
73
Demostracin del ejemplo 7. Para demostrar que u es un lmite superior de R, sea r un elemento de R (la palabra "sea" indica que se ha
utitizado el mtodo por seleccin). Por hiptesis, Res un subconjunto
de S y, por lo tanto, r es tambin un elemento de S (es aqu donde el
mtodo por particularizacin se ha utilizado). Adems, por hiptesis,
u es un lmite superior de S, entonces todos los elementos de S son
~ u. En particular, r es un elemento de S, por lo que r ~ u (nuevamente, el mtodo por particularizacin se ha utilizado).11
Este captulo y los tres anteriores han proporcionado varias tcnicas para trabajar con cuantificadores que aparezcan ya se en A o
en B. Como siempre, permita que la forma del enunciado lo gue.
Cuando B tiene el cuantificador "existe", puede utilizarse el mtodo
por construccin, para generar el objeto deseado. El mtodo por
seleccin est asociado con el cuantificador "para todo", excepto
cuando se supone que la proposicin B es verdadera para todo entero,
comenzando a partir de alguno en particular; en tal caso, el mtodo
por induccin posiblemente tendr xito siempre y cuando usted pueda relacionar la proposicin para (n + 1) con la proposicin para (n).
Finalmente, si el cuantificador "para todo" aparece en la proposicin
A, puede utilizarse el mtodo por particularizacin. Cuando use el
mtodo por particularizacin, asegrese de que el objeto particular
bajo consideracin satisface una propiedad particular porque solamente entonces se puede estar seguro que algo suceder.
Hasta este momento, todo el material ha sido organizado con respecto al mtodo progresivo-regresivo. Ahora es tiempo de ver algunas
de las otras tcnicas usadas para demostrar que "A implica B".
74
EJERCICIOS
Nota: Todas las demostraciones debern incluir una explicacin detallada de la misma, as como una versin condensada.
7 .1 Explique la diferencia entre los mtodos por particularizacin y
por seleccin.
7 .2 Para cada una de las siguientes proposiciones y objetos dados,
qu propiedades debe satisfacer el objeto para poder aplicar el
mtodo por particularizacin? Dado que el objeto satisface las
propiedades respectivas, qu puede concluirse acerca del objeto?
a) Proposicin: A entero n ~ 5, 2n
>n2
objeto dado: m
<
>
Ejercicios
7S
Captulo 8
El mtodo por
contradiccin
78
79
Suponga
Progresivo-regresivo
(progresivamente
(rcgresivamente)
A - - - ---~ +- - - - - - - B
Contradiccin
Concluya
A
\(progresivamente)
NOB - - - - - - - -~*(Contradiccin)
80
81
82
Ejercicios
83
EJERCICIOS
8.2 Escriba cada uno de los siguientes enunciados de forma tal que la
palabra "no" aparezca explcitamente.
a) Existe un nmero infinito de nmeros primos.
b) El conjunto S de nmeros reales es no acotado.
84
8.8 Demuestre por contradiccin que hay un nmero infinito de nmeros primos. (Sugerencia: suponga que n es el mayor nmero
primo. Luego, considere cualquier nmero primo p el cual divide
a n! + 1. Cmo est relacionado p con n?).
8.9 Para cada uno de las siguientes proposiciones, indique cul tcnica
utilizara para hacer demostraciones y en qu orden. Especficamente, establezca qu supondra y qu tratara de concluir.
(Nota: S y T son conjuntos de nmeros reales y todas las variables se refieren a nmeros reales).
'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.
a)
Captulo 9
El mtodo
contrapositivo
85
86
El mtodo contrapositivo
Mtodo
Suponga
Concluya
Contra positivo
Contradiccin
(progresivamente)
(regresivamen te)
NO B - - - - - - - - - - - - - - . . . - - - - - - - -No A
A ) (progresivamente)
NO B) - - - - - - - - - - - - - "*(contradiccin)
87
El mtodo contrapositivo
(p
Demostracin del ejemplo JO. Suponga por el contrario quep =q. Dado que p es positivo, se sigue que
VPQ = Vfiii= p == (p
+ p )/2 = (p + q)/2
y la demostracin termina.
Es tambin interesante comparar los mtodos contrapositivo y
progresivo-regresivo. En el mtodo progresivo-regresivo usted trabaja progresivamente partiendo de A y regresivamente partiendo de
B_, mientras que en mtodo contrapositivo, usted trabaja progresivamente partiendo de NO B y regresivamente partiendo de NO A (figura 10).
Si comprende la figura 10, no es muy difcil de ver porqu el
mtodo contrapositivo puede ser mejor que el mtodo progresivo-regresivo. Puede ser que obtenga informacin ms til trabajando NO B
progresivamente en vez de A. Tambin, pudiera ser ms fcil realizar
el proceso de abstraccin en la proposicin NO A que en B, como se
hara en el mtodo progresivo-regresivo.
Mtodo
Progresivo-regresivo
Suponga
Concluya
(progresivamente)
(regresivamente)
A -------------- ----------B
A
Contrapositivo
(progresivamente)
NO B 1- -----------
(regresivamente)
- -..,... ----- NO A
88
El mtodo contrapositivo
Suponga
(progresivamente)
Progresivo-regresivo
Concluya
(regresivamen te)
A ------------- . -----------8
A
Cn tradiccin
(progresivamente)
- - - - - - - - - - - - -- *(contradiccin)
NOB
Contrapositivo
A (progresivamente)
(regresivamente)
NO B - - - - - - - - - - - - -- - - - - - - - NO A
89
Ejercicios
Nota: Todas las demostraciones debern contener una explicacin detallada de la misma, as corno una versin condensada.
9 .1 Si se va a utilizar el mtodo contrapositivo en las siguientes proposiciones, a partir de cul(es) trabajara usted progresivamente y qu
proposicin sera su conclusin?
b) Suponga que S es un
subconjun~o
~o
El mtodo contrapositivo
90
punto x es cero?
de una funcin?
d) Cmo puedo demostrar que la derivada de una funcin en un
punto es cero?
9 .4 Demuestre que si e es un entero impar, entonces la solucin de la
ecuacin n 2 + n - e= O, no es un entero impar.
9.5 Suponga que m y b son nmeros reales con m =/=O y sea f la funcin definida por f(x) L mx + b. Demuestre que para todo
X-=/= y,f(X) =f:. f(y).
9.6 Demuestre utilizando el mtodo contrapositivo que si ningn ngulo del cuadriltero RSTU es obtuso, entonces el cuadriltero
RST U es un rectngulo.
Captulo 10
La negacin de
negaciones conduce a
confusiones
92
+x
- 6) ;;.i: O.
93
+X -
6)
< .
Finalmente, si la proposicin original contiene ms deun cuantificador, el segundo paso tendr que repetirse hasta que todos los
cuantificadores aparezcan a la izquierda de la palabra NO, como se
muestra en los siguientes:
3. Para todo nmero real x entre -1 y 1, existe un mlmero real y
entre -1 y 1 tal que (x 2 + y 2 ) ~l.
Primer paso: NO para todo nmero real x entre -1 y 1, existe
un nmero real y entre -1 y 1 tal que (x 2 + y 2 ) ~ l.
Segundo paso: Existe un nmero real x entre -1 y 1 tal que
NO existe un nmero real y entre -1 y 1 tal que (x 2 + y 2 )
~
l.
94
3 Y y< 2] se convierte en [x
3 O y< 2] se convierte en [x
EJERCICIOS
Nota: todas las demostraciones debern contener una explicacin detallada de la misma as como una versin condensada.
1O. l Escriba la negacin de cada una de las definiciones del ejercicio
5.1. Por ejemplo, 5.1 a) se leera "El nmero real x* no es un
mximo de la funcin f si existe un nmero real x tal que f (x)
> t (x*r.
10.2 Escriba las siguientes proposiciones de forma tal que la palabra
"no" aparezca explcitamente. Por ejemplo, la proposicin
"x > O" puede pasarse a "x no es ~ O".
a) Para cada elemento x en el conjunto S, x est en T.
b) Existe un ngulo t entre O y 7r/2 tal que sen (t) = cos (t).
e) Para cada "objeto" con una "cierta propiedad", "algo su-
cede".
Ejercicios
95
"algo sucede".
10.3 Si se utiliza el mtodo por contradiccin para demostrar las
siguientes proposiciones, que debera uste suponer?
Captulo 11
Ahora usted dispone de tres tcnicas principales para tratar de demostrar que ''A implicaB": los mtodos progresivo-regresivo, contrapositivo y por contradiccin. Adems, cuando B tiene cuantificadores, usted
dispone de los mtodos por construccin y por seleccin. Existen
otras formas especiales de B para las cuales se tienen tambin tcnicas
bien establecidas con las cuales se tiene xito. Tres de estas tcnicas se
desarrollarn en este captulo.
La primera se conoce como el mtodo de unicidad y est relacionado con una proposicin B, el cual no solamente requiere que usted
demuestre la existencia de un objeto con una cierta propiedad tal que
algo sucede, sino tambin que el objeto es nico, es decir, no hay otro
objeto. Usted sabr que tiene que utilizar el mtodo de unicidad cuando la proposicin B contiene la palabra "nico" as como el cuantificador "existe".
En tal caso, su primer paso es demostrar que el objeto deseado
existe. Esto puede hacerse mediante el mtodo por construccin o por
el de contradiccin. El siguiente paso ser demostrar la unicidad en
alguna de las dos formas comunes. En la primera, usted supone que
existen dos objetos con cierta propiedad para los cuales algo sucede.
Entonces, usando esa cierta propiedad, lo que sucede y, por supuesto,
la informacin en A, usted debe concluir que los dos objetos son uno
slo y el mismo (es decir, son iguales). El mtodo progresivo-regresivo es por lo comn la mejor forma para demostrar que son iguales. El
proceso se ilustra en el siguiente ejemplo:
97
98
Explicacin detallada de la demostracin. La existencia de los nmeros reales x y y se estableci en el ejemplo 4 mediante el mtodo por
construccin. Aqu la unicidad se establecer por el mtodo descrito
anteriormente. Suponga que (x 1 , y 1 ) y (x 2 , y 2 ) son dos objetos con
una propiedad particular para los cuales algo sucede. Entonces, a(x 1 )
+ b (y 1 ) =e, e (x 1 ) + d(y 1 ) = fy, tambin, a(x 2 ) + b (x 2 ) =e, e(x 2 )
+ d (y 2 ) =f. Usando estas cuatro ecuaciones y la suposicin de que
A es verdadero, se demostrar por medio del mtodo progresivo-regresivo que los dos objetos (x 1 , y 1 ) y (x 2 , y 2 ) son iguales. Especficamente, la pregunta de abstraccin es "Cmo puedo demostrar que dos
pares de nmeros reales ((x 1 , y 1 ) y (x 2 , y 2 )) son iguales?" Usando la
definicin de igualdad de pares ordenados (definicin 4 ), una de las respuestas es demostrar que x 1 = x 2 y y 1 =y 2 , o equivalentemente,
que (x 1 - x 2 ) =O y (y 1 -y 2 ) =O. Ambas proposiciones se obtienen
en el proceso progresivo realizando operaciones algebraicas en las
cuatro ecuaciones y usando la hiptesis de que (ad - be) =I= O.
Demostracin del ejemplo 11. La existencia de los nmeros reales x y
y se estableci en el ejemplo 4 mediante el mtodo por construccin.
Por consiguiente, nicamente se demostrar la existencia de la unicidad. Para este fin, suponga que (x 1 , y 1 ) y (x 2 , y 2 ) son nmeros reales
que satisfacen:
1. a
2. e
3. a
4. e
+ b (y 1 ) = e
+ d (y)= f
(x 2 ) + b (y 2 ) = e
(X2) + d (Y2) = f
(x 1 )
(x)
Restando 3 de 1 y 4 de 2 se obtiene:
[a (x 1
[e (x 1
xd
x2 )
+b
+d
(y 1
(y 1
y 2 ) ] = OY
y 2 ) ] = O.
99
Explicacin detallada de la demostracin. La presencia del cuantificador "existe" en la conclusin sugiere que se podra utilizar el mtodo
por construccin para producir un nmero real x tal que x 3 = r.. Esta
parte de la demostracin se omitir para enfatizar la demostracin de
la unicidad. Con esta finalidad, suponga que x y y son dos nmeros
reales diferentes tal que x 3 =r y 3 =r. Usando esta informacin junto
con la hiptesis de que res positivo y, especialmente, el hecho de que
x =:/=y, se obtendr una contradiccin demostrando que r =O, contradiciendo as la hiptesis de que res positivo.
Para demostrar que r =O, se trabaja progresivamente. En particular,
ya que x 3 = r y y 3 = r, se deduce que x 3 = y 3 Entonces, (x 3 - y 3 )
=O, y factorizando, [(x - y) (x 2 + xy + y 2 )] =O.
Aqu es donde usted puede usar el hecho de que x =:/=y para dividir
entre (x - y), y obteniendo (x 2 + xy + y 2 ) =O. Considerando sta
como una ecuacin cuadrtica de la forma (ax 2 + bx + e) =O, en
la cual a = 1, b =y, e= y 2 , la frmula para las ecuaciones de 2o. grado establece que
x=
-y J(y2 - 4y2)
-y J -3y2
100
==
-y
J -3y2
2
Puesto que x es un nmero real y =O, pero entonces r = y 3 =O, contradiciendo as hiptesis que r es positivo. H.
Otra tcnica especial para hacer demostraciones, es el mtodo de
la o exclusiva surge cuando B es de la forma "C o D es verdadero pero
no ambas" (donde C y D son proposiciones)(definicin 10). En otras
palabras~ el mtodo de la o exclusiva debe utilizarse cuando se quiere
demostrar que la preposicin "A implica C o D" es verdadera. Aplicando el mtodo progresivo..regresivo, usted empezara por suponer
que A es verdadera y quisiera concluir que Ces verdadera o que D es
verdadera. Suponga que hace la suposicin adicional de que C no
es verdadera. Qaramente, en este caso lo mejor sera que D fuera verdadero. As, en el mtodo de la o exclusiva. usted supone que A es
vereadero, y Ces falso, y debe concluir entonces que D es verdadero,
corno se ilustra en el siguiente ejemplo:
Ejemplo 13. Si (x 2 - 5x + 6) ;;>O, entonces x ~ 2 o x ~ 3.
Explicacin detallada de la demostracin. Del anlisis anterior, usted
supone que (x 2 - 5x + 6) ~ O y x > 2. Su trabajo es concluir que x
;;:ii: 3. Trabajando progresivamente desde la suposicin (x 2 - Sx + 6)
~O, se deduce que [(x - 2) (x - 3)] ~O. Dado que x > 2, (x - 2)>
Oy, por consiguiente, (x :--- 3) ~O, y, entoncesx ;;:;;>.: 3, como se desea.
- Sx + 6) ~O y x >
2. Se deduce que [(x - 2) (x - 3)] ~O y dado que (x - 2) >O, entonces x ;;:;;>.: 3 como se desea. u
Vale la pena mencionar que el mtodo de la o exclusiva bien podra haberse aplicado igualmente suponiendo que A fuera verdadera
y D es falsa, para concluir que Ces verdadero. Trate de usar este enfoque en el ejemplo 13.
101
1.
2.
3.
4.
- - - - + - - - - - - + - - - - - + - - - - - - - t - - - - e j e de los
nmeros reales
X
o
s
- - - - + - - - - - + - - - - - r - - - - - - - r - - - - - e j e de los nmeros reales
eje de los
- - - - + 0 - - - - - - - - - - - - - t - x - - - - - n m e r o s reales
S
)
eje de los
-------t,-------nmeros reales
-----+--------(1------..,..+-I
tOl
e) mx {s: s est en S} ~ x
d) mx {s: s est en S} ~ x
; ; :, o.u
Regresando ahora al problema de demostrar que el menor elemento de Ses ~ x, el enfoque es un poco diferente. Considera la proposicin correspondiente al inciso 2). Dado que "parte" de S debera
estar a la izquierda de x, un problema equivalente es demostrar que
existe un elemento s en S tal que s ~ x. En otras palabras, cuando se
Ejercicios
103
EJERCICIOS
Nota: Todas las demostraciones debern incluir una explicacin detallada de la misma as como una versin condensada.
11. l
11.2
11.3
11.4
11.5
11.6
11.7 Convierta los siguientes problemas de mx/mn en proposiciones que posean el cuantificador adecuado. (Nota: Ses un conjunto de nmeros reales y x es un nmero real dado).
104
En lo que resta de este problema a,b,c y u son nmeros reales dados y x es una variable.
e) mn {ex: ax ~ b y x > O}~ u.
d) mx {ex: ax ";;Is b y x ;;is O};;is u.
e) mn{ax: b ~x ~e}~ u.
f) mx {bx: a ~x ~e}~ u.
11.8 Demuestre que si S es un subconjunto no vaco de un conjunto T de nmeros reales, y t es un nmero real que satisface la
propiedad de que para cada elemento t en T, t ~ t*, entonces
mn{s: s est en S};> t*.
11.9 Suponga que a, b, y e son nmeros reales dados, y x y u son
variables. Demuestre que mn {ex: ax ;;;;.s b, x ~ O}es por lo menos tan grande como mx {ub: ua ~e, u ~ O}.
Captulo 12
Resumen
La lista de tcnicas para hacer demostraciones est completa. Las tcnicas presentadas aqu de ningn modo son las nicas, pero constituyen un conjunto bsico. Sin duda usted se encontrar otras a medida
que avance ms en el campo de las matemticas. Quizs usted desarrolle algunas tcnicas propias. En cualquier caso, existen muchos detalles
y trucos que usted obtendr con la prctica. A continuacin, se proporciona un resumen final para saber cmo y cundo se deben usar
las diversas tcnicas para demostrar la proposicin "A implica B".
Con el mtodo progresivo-regresivo usted puede suponer que A es
verdadero y su trabajo es demostrar que Bes verdadero. A travs del
proceso progresivo usted deducir a partir de A, una secuencia de proposiciones A 1, A 2 , las cuales son necesariamente verdaderas como
resultado de que se ha supuesto que A es verdadera. Esta secuencia no
es aleatoria, sino que est guiada por el proceso regresivo, segn el cual,
a travs de la formulacin y respuesta de la pregunta de abstraccin,
usted obtiene a partir de B una proposicin, B 1 , con la caracterstica
de que si B i- es verdadera, B tambin lo es. Este proceso de abstraccin
puede aplicarse a B 1 obteniendo una nueva proposicin B 2 .'. y as sucesivamente. El objetivo es unir la secuencia progresiva con la secuencia
regresiva, generando una proposicin en la secuencia progresiva, la cual
es precisamente igual a la ltima proposicin obtenida en la secuencia
regresiva. Entonces, como en una columna de fichas de domin, usted
_puede hacer la demostracin progresivamente siguiendo la secuencia
105
106
Resumen
Resumen
107
Resumen
108
12. l 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 p y q son enteros impares, entonces la ecuacin x 2 + 2px
+ 2q = O no tiene como solucin para x un nmero racional.
~
(\.
;::
ri;
Tcnica de
demostracin
Cundo usarla
Progresivo-regresivo
(pgina 8)
Contra positivo
(pgina 72)
Contradiccin
(pgina 64)
Qu suponer
Qu concluir
Cuando B contiene la
palabra "no".
NOB
NOA
Cuando B contiene la
palabra "no" o cuando
los dos primeros mtodos
fallen.
Cuando B contiene el
trmino "existe".
Alguna contradiccin.
Cmo hacerlo
s
""
Trabaje progresivamente
partiendo de A y aplique
el proceso de abstraccin
a B.
Construccin
(pgina 34)
Seleccin
(pgina 40).
Cuando B contiene el
trmino ''para todo",
"para cada'', etc.
y
NOB
A
Existe el objeto
deseado.
Seleccione un
objeto con cierta
propiedad, y A.
frabaje progresivamente
partiendo de NO By regresivamente partiendo
de NO A.
Trabaje progresivamente
partiendo de A y NO B
para obtener una contradiccin.
Adivine, construya, etc.
el objeto que tiene cierta
propiedad y muestre que
algo sucede.
Trabaje progresivamente
partiendo de A y el he
cho de que el objeto
tiene la cierta propiedad.
Trabaje regresivamente
partiendo de lo que sucede.
\C
C>
Tabla 4 (continuacin)
---
Tcnica de
demostracin
Cundo usarla
Qu suponer
Qu concluir
Cmo hacerlo
--Induccin
(pgina 50)
La proposicin es
Cuando B es verdadero
para cada entero empezando verdadera paran.
con alguno en particular, por
ejemplo, n 0 .
La proposicin es
verdadera para n
+ l. Tambin demuestre que es
verdadera para n 0 .
Particularizacin
(pgina 59)
Cuando A contiene el
trmino "para todo",
"para cada", etc.
Unicidad 1
{pgina 83)
Cuando B contiene la
palabra "nico".
Existen dos
objetos, y A.
Primero sustituya n 0
en todas partes y demuestre que es verdadero.
Segundo, recurra a la
hiptesis de induccin
para demostrar que es
verdadero para n + 1.
Trabaje progresivamente
particularizando A a un
objeto en especial, es
decir, al obtenido en el
proceso regresivo.
Trabaje progresivamente
utilizando A y las propiedades de los dos objetos.
Tambin, trabaje progresivamente para mostrar
que los objetos son
iguales.
~
~
~
~
::::
.t:J
~
Tabla 4 (continuacin)
Tcnica de
demostracin
""'
(")
!=)
~
Qu suponer
Cundo usarla
Qu concluir
Unicidad 2
(pgina 85)
Cuando B contiene la
palabra "nico''.
Existen dos
objetos diferentes,
y A.
Alguna contradiccin.
O exclusiva 1
(pgina 86)
Cuando B tiene la
forma "C O D".
A
y
NOC
O exclusiva 2
(pgina 87)
Cuando B tiene la
forma "C O D".
NOD
Mx/mn 1
(pgina 87)
Mx/mn 2
(pgina 89)
Cuando B tiene la
forma "mx S ~ x" o
"mn S ~ x".
A y seleccione
unas en S.
Cuando B tiene la
forma "mx S ~ x" o
"mn SE:;; x".
s~x
o
x~x.
Construyas en S
tal que s ~ x, o
s~x.
Cmo hacerlo
Trabaje progresivamente
desde A, utilizando las
propiedades de los dos
objetos y el hecho de
que son diferentes.
Trabaje progresivamente
partiendo de A y NO C
y regresivamente partiendo de D.
Trabaje progresivamente
partiendo de A y NO D y
regresivamente partiendo
de C.
Trabaje progresivamente
desde A y el hecho de
que s estn en S. Tambien trabaje regresiva-:
mente.
Utilice A y el mtodo
por construccin para
producir las deseada
en S.
i;..,
--
Remmen
112
ca
+
x 2 /2, entonces existe un nmero real x* entre O y 1 tal que
para todo y, f(x*) <:. f(y).
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 debera concluir.
a) Mt,odo por induccin.
b) Mtodo por seleccin.
e) Mtodo progresivo-regresivo. (Sugerencia: convierta el problema en uno equivalente de la forma "Si ... entonces ... ").
d) Mtodo por contradiccin.
Apndice A:
Aplicacin de lo
aprendido 1a. parte
114
Ejemplo 15. Sea Tun conjunto de nmeros reales. Si Ses un subconjunto de T y si Ses no acotado, entonces Tes no acotado.
PI: Suponga que Ses un subconjunto de T y suponga, por el contrario, que Tes acotado.
n: Por lo tanto, existe un nmero real M' > O tal que para todo
x en T, lxl <M'.
P3: Se demostrar que Ses acotado.
P4: Con esa finalidad, sea x' un elemento de S.
P5: Dado que S es un subconjunto de T, se deduce que x' pertenece a T.
P6: Pero, entonces, lx'I <M' y, por lo tanto, Ses acotado, lo cual
es una contradicin.11
Explicacin detallada de la demostracin. Se d a continuacin una
interpretacin de cada una de las proposiciones PI aP6:
Interpretacin de P1. El autor est indicando que se va a realizar la
demostracin por contradiccin y, por lo tanto, est suponiendo que
(parte de) A es verdadero, es decir, que S es un subconjunto de T y,
tambin, que NO B es verdadero, es decir, que Tes acotado. Note que
el autor no ha establecido explcitamente que Ses no acotado aunque
est supQniendo que esto es verdadero.
No debera sorprender el hecho de que se use el mtodo por contradiccin dado que la conclusin del ejemplo contiene la palabra
"no". Algunas veces, es til examinar la demostracin para encontrar la
contradiccin. En P6 se dice que S es acotado y esto contradice la hiptesis de que S es no acotado. Con suerte las proposiciones P2 a P6
indicarn como trabaja progresivamente el autor a partir de A y NO B
para llegar a la contradiccin.
Interpretacin de P2. El autor trabaja progresivamente a partir de la
propo~icin NO B (es decir, que Tes un conjunto acotado)utilizando
la definicin 1 7 para 'afirmar que existe un nmero real M' >O tal que
para todox en T, lxl <M'.
Interpretacin de P3. Es aqu donde el autor establece el objetivo deseado de demostrar que Ses acotado. Observe que no existe indicacin
115
alguna de que la razn por la cual se desea demostrar que Ses acotado
es para llegar a una contradiccin.
Interpretacin de P4. Esta proposicin podra parecer confusa a primera vista debido a que el autor ha omitido varios pasos de su proceso de
razonamiento. Lo que ha pasado es que el autor se ha planteado implcitamente la pregunta de abstraccin "cmo puedo demostrar que
un conjunto (S) es acotado?", y ha usado la definicin 17 para responderla, segn la cual se debe demostrar que existe un nmero real
M >O tal que para todo x en S, lx 1 <M.
Reconociendo el cuantificador "existe", el mtodo por construccin debera utilizarse para generar el valor deseado de M. Lo que el
autor ha omitido es que el valor de M es M' (P2). Dado que este es
el caso, se debe demostrar que M' tiene las propiedades deseadas,
es decir, que M' >O (lo cual es verdadero) y que para todo x en S,
lxl<M'.
Reconociendo la presencia de cuantificador "para todo" en el
proceso regresivo, uno debera proceder usando el mtodo por seleccin. Esto es precisamente lo que el autor ha hecho en P4 donde establece: " ... seax' un elemento de s.:. Una vez que se ha escpgido el
elemento x', se debe demostrar que lx 1 < M', que el autor no ha dicho
explcitamente que hara. Observe que la palabra "sea" en P4 indica
que se ha utilizado el mtodo por seleccin.
Lo que hace a P4 tan difcil de entender es la falta de detalles,
particularmente la omisin de la pregunta de abstraccin y su respuesta, adems de algunos otros pasos. Generalmente, tales detalles se
dejan para que usted los descifre.
116
117
falta de una explicacin detallada. Para aclarar cualquier paso intermedio, aprenda a preguntarse a s mismo cmo procedera para realizar dicha demostracin. Luego, trate de ver si la demostracin que
est estudiando concuerda con su proceso de razonamiento.
Ahora que usted sabe cmo leer una demostracin es tiempo de
ver cmo hacer una por s mismo. En el ejemplo que sigue ponga particular atencin a la forma en la cual las proposiciones bajo consideracin determinan la tcnica que va a utilizarse.
Ejemplo 16. Si T es un conjunto acotado de nmeros reales, entonces
cualquier subconjunto de T es acotado.
> O tal
118
el mtodo por seleccin, segn el cual usted debe seleccionar un elemento, por ejemplo x', en S para el cual usted debe demostrar que:
B4 : lx'l<M,odadoqueM==M', lx'l<M'.
Observe que el smbolo "x'" se ha usado para un objeto en particular con el fin de evitar confusiones con el smbolo "x". Pudiera
no ser muy claro cmo se llega a la conclusin de que lx'I <M'. Pero
examine cuidadosamente la proposicin A 1 Observe que se podra
utilizar el mtodo por particularizacin para llegar a la conclusin deseada de que lx' 1 < M', siempre y cuando usted pueda particularizarla
a la proposicin x = x'. Con la finalidad de hacer esto, debe asegurarse
de que el objeto particular bajo consideracin (x') satisface la cierta
propiedad (que x' est en T). Su objetivo es, por lo tanto, demostrar
que x' est en T.
Recuerde que se seleccion x' como un elemento de S, y que S
fue designado como un subconjunto de T. Cmo podra usted utilizar esta informacin para demostrar que x' est en T? Trabajando
progresivamente a partir de la definicin de un subconjunto, usted que
para todo x en S, x est en T. Por lo tanto, 'usted puede particularizar
119
esta proposicin ax = x' la cual usted sabe que est en S y, de esa forma, llegar a la conclusin deseada de que x' est en T, completando
as la demostracin.
Demostracin del ejemplo 16. Sea Sun subconjunto de T. Para demostrar que S es acotado, se generar un nmero real M >O con la propiedad de que para todo x en S, lx 1 < M.
Por hiptesis, T es acotado y, por lo tanto, existe un nmero real
M' >O tal que, para todox en T, lx 1 <M'. HagaM = M'. Para ver que M
posee las propiedades deseadas, sea x' un elemento de S. Dado que S
es un subconjunto de T, x' est en T. Se concluye lx'I <M = M', como se deseaba.11
La solucin de problemas no es una ciencia precisa, algunas sugerencias generales sern dadas aqu, pero un estudio ms detallado puede
encontrarse en el libro: How to Salve It de George Polya (Princeton
University Press, Princeton, NJ, 1945) o en el libro: How to Solve
Problems de Wayne Wickelgren (W. H. Freeman, San Francisco, CA,
1974 ).
Cuando trate de demostrar que "A implica B", escoja concienzudamente una tcnica basada en la forma de B. Si ninguna forma es
evidente, lo mejor es probablemente proceder con el mtodo progresivo-regresivo. Si este mtodo no tiene xito existen otros caminos a
seguir antes de rendirse. Usted podra tratar preguntndose a s mismo
por qu B no puede ser falso, lo cual lo conducira al mtodo por contradiccin (o al contrapositivo).
Cuando, por alguna razn, usted sea incapaz de completar una
demostracin, es aconsejable que concienzudamente busque otra tcnica. Algunas veces, la forma de la proposicin B puede manejarse de
tal manera que induzca una tcnica diferente. Por ejemplo, suponga
que la proposicin B contiene el cuantificador "para todo" en la forma usual:
Para todos los "objetos" con una "cierta propiedad", "algo sucede".
Si el mtodo por seleccin falla, usted podra tratar de escribir B para
que diga:
No existe un "objeto" con la "cierta propiedad" tal que "algo" no
sucede.
120
Apndice B:
Aplicacin de lo
aprendido 2a. parte
122
n:
lx-yl<v.
P6:
Entonces~
g(x) - (f(y)
+ g(y))I ~
123
124
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.
lnterpretad.lm de P6. Es aqu donde el autor concluye que if(x) +
(f(y) +g(y))I <e. La nica pregunta es cmo. No es difcil
g(x) -
ver que
lf(x)
+ g(x) -
(f(y)
+ g(y))I ~ lf(x) -
f(y)I
+ lg(x) + g(y)I
+ lg(x) -
g(y)t
125
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
.
f(y)I <e'.
< 5, lf(x) -
126
127
Soluciones de los
e1erc1c1os
CAPTULO 1
1. 1 a), e), e) y f) son proposiciones.
1. 2 a) Hiptesis: el tringulo rectngulo XYZ, con catetos x y y, e hipotenusa z, tiene un rea de z 2 /4.
Conclusin: el tringulo XYZ es issceles.
b) Hiptesis: n es un entero par.
Conclusin: n2 es un entero par.
e) Hiptesis: a, b, e, J, e y f son nmeros reales que satisfacen la
propiedad ad - be O.
Conclusin: de las dos ecuaciones lineales ax + by = e y ex +
dy = f se pueden encontrar valores para x y y.
d) Hiptesis: n es un entero positivo.
Conclusin: la suma de los n primeros enteros es n(n + 1)/2.
e) Hiptesis: res un nmero real y satisface r2 = 2.
Conclusin: res un nmero irracional.
f) Hiptesis: p y q son nmeros reales positivos con yl pq (p
+ q)/2.
Conclusin: p q.
g) Hiptesis: x es un nmero real.
Conclusin: elvalormnimod'ex(x-1) esporlomenos-1/4.
130
'*
V
V
V
V
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
F
(B
V
F
V
V
V
F
V
V
b) (V= verdadera, F
A
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
= > C)
A=> (B
= > C)
V
F
V
V
V
V
V
V
= falsa)
(A=> B)
V
V
F
F
V
V
V
V
(A=> B)
V
F
V
V
V
F
V
F
=> C
Capz'tulo 2
131
CAPTULO 2
2.1
es que puede haber ms de una respuesta para una pregunta y algunas de ellas pueden no conducir a la terminacin de la demostracin.
El proceso progresivo se inicia con la proposicin A, la cual se
supone verdadera y, a partir de ella, se deriva una serie de proposiciones nuevas cuya veracidad resulta del hecho de que la proposicin A es verdadera. Todas las proposiciones nuevas derivadas
de A debern tener por objeto su vinculacin con la ltima proposicin derivada del proceso regresivo. La ltima proposicin
del proceso regresivo acta como punto de referencia en el proceso 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 problema dado.
2.3 a) es correcta porque en ella se pregunta, en trminos abstractos,
cmo puede demostrarse la veracidad de la proposicin B.
132
Capitulo 2
133
134
1/s~
/'~
//:' ~ ':\
ssssssss
ts
St
sssst
sstsst
1Itststst
tsttt
tssss
sssst
2~ 31~
ts
tst
c)A
A1
A2
B1
d)A
s
SS
ssss
sssst
tst
s
dado
regla 1
regla 1
regla 4
regla 3
dado
A1
A2
3
4
B1
tst
tsttst
tsst
tssttsst
tsssst
ttst
por el inciso e
regla 1
regla 2
regla 1
regla 2
regla 3
135
Cap{tulo 2
B 1 :z 2 /4 = xy/2
Trabajando progresivamente a partir de la hiptesis de que el
tringulo XYZ es issceles se tiene:
Ai
A1
X=
x- y= O
= x2 + Y2
De la proposicin A 2 , despus de elevar al cuadrado ambos mienbros de la ecuacin y de efectuar algunas operaciones algebraicas, se obtiene
A4
A5
A6
(x - y) 2 =O
x 2 - 2xy + y 2
x 2 + y 2 = 2xy
=O
Al sustituir A 3 en A 6 se obtiene
A1 : z 2
= 2xy
z 2 /4 = xy /2
U6
Demostracin: Por la hiptesis, se sabe que x = y o, en otros trminos, que x - y = O. Al efectuar algunas operaciones algebraicas se obtiene x 2 + y 2 = 2.xy. Por el teorema de Pitgoras, z 2 =
x 2 + y 2 ; y al sustituir x 2 + y 2 por z 2 se obtiene z 2 = xy /2 que
es lo msmo que z 2 /4 = xy /2. Por la frmula del rea de un tringulo rectngulo, el rea de XYZ = xy/2. Por consiguiente, z2 /4
es el rea del tringulo. u
2.12 Descripcin de la demostracin. Una pregunta de abstraccin relacionada con la conclusin es'' cmo puedo desmotrar que un
tringulo es equiltero?" Una respuesta es demostrar que los tres
lados tienen la misma longitud, especficamente, RS = ST = RT.
Para ver que RS = ST puede trabajar progresivamente a partir
de la hiptesis para establecer que el tringulo RS U es congruente con el tringulo SUT. En particular, por la hiptesis R U =
UT y, adems, ngulo RUS = ngulo S UT = 90 grados. Por su.puesto SU = SU, de modo que por el teorema lado-ngulo-lado
se establece la congruencia de los dos tringulos. Por ltimo,
para ver que RS = R T, trabajando progresivamente a partir d~
la hiptesis se llega a la conclusin de que RS = 2R U = R U +
UT = RT.
DemostraCin. Para ver que el tringulo RST es equiltero, se demostrar en realidad que RS = ST = RT. Para este fin, la hiptesis de que SU es una bicectriz perpendicular de RT asegura
(por el teorema lado-ngulo-lado) que el tringulo RSU es congruente con el tringulo SUT. Por consiguiente, RS = ST. Para
ver que RS = RT, a partir de la hiptesis se puede concluir fcilmente que RS = 2RU = RU + UT = RT. 11
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
o.
= p/q,
n3
(n
+ 1) 3
= 9k.
138
o.
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
NOA
V
V
F
F
F
F
V
V
F
V
F
NOB
F
V
F
V
Nota: El recproco y el inverso de "A implica B" son equivalentes. Ambos son falsos si y slo si A es falsa y B es verdadera.
e) Tabla de verdad de "A o B''.
V
V
F
F
V
F
"A o B".
V
V
V
F
Capi'tulo 3
139
"A y B"
F
F
V
F
F
F
NOB
"A y NO B"
V
V
F
F
V
F
V
F
F
V
F
V
F
V
F
F
NOA
V
V
F
F
F
F
V
V
V
F
V
F
(NO A) o B
V
F
V
V
140
Capitulo 3
141
n2
+ 1 )2
4m + 4m + 1
2(2m 2 + 2m) + 1,
(2m
3 .6 Descripcin de la demostracin. Aplicando el mtodo progresivo-regresivo se llega a la pregunta de abstraccin" cmo puedo
demostrar que un entero (a saber mn) es impar?,, Utilizando la definicin de entero impar esta pregunta puede responderse demostrando que mn puede expresarse como el doble de un entero ms
uno. Se recurre ahora al proceso progresivo para determinar cul
es este entero.
Puesto que m es un entero impar y n es un entero impar, se
tiene que m = 2b + 1 para un. entero b, y que n = 2c + l para
un entero c. Por lo tanto,
(2b + 1) (2c + 1)
mn
4bc + 2b + 2c + 1
2(b + e + 2bc) + 1.
De este modo se ha demostrado que mn puede escribirse como
el doble de otro entero ms 1, siendo (b + e + 2bc) este otro entero, y con ello se determina la demostracin.
mn
( 2b
1) ( 2c
+ l)
2(b + e + 2bc)
+ l.
142
143
Capltu/o 3
Vuf2v =
u= v.11
144
Demostracin. Por la hiptesis, sen (U) = VU.72V. y por la definicin de seno, sen (U)= u/w, de donde se obtiene que ..Jiif[v
= u/w. Efectuando algunas operaciones algebraicas se llega a
que w = V2UV, Por tanto, la hiptesis del ejemplo 3 es vlida
para el tringulo rectngulo particular UVW y, por consiguiente, el tringulo debe ser issceles. R
CAPTULO 4
4.1
Objeto
Cierta
propiedad
Algo sucede
ms de 20,000
pies
b)entero x
e) recta ~
ninguna
pasa por P
que no est
en Q
x2
d) ngulo t
e) nmeros
racionales
entre x y y
a) montafia de
los Himalayas
r, s
Q'
Sx/2 + 3/2 =O
es paralela a Q
145
Capi'tulo 4
146
infiere que e= bq
= (ap')q = a(pq), y
el entero buscado k es k
=pq.
147
Captulo 5
f(tx
g)
< '.
5.3 Cuando se utiliza el mtodo por seleccin para demostrar que
"para todos los objetos que poseen cierta propiedad, algo sucede", se eligira un objeto particular que posee cierta propiedad especfica. A continuacin, se partira (proceso progresivo)
148
La presencia del cuantificador "para toda" en el proceso regresi.vo indica el uso del mtodo por seleccin para elegir un elemento
149
Cap{tulo 5
t' est en S
: (
t' )2
3 t' + 2 ~ O.
Partiendo del hecho de que t' est en T, es decir, que satisface la propiedad que define a T, se sabe que
A1 : 1 ~ t'
2.
Por consiguiente, (t' - 1) ~ O y (t' - 2) ~ O, de donde (t' ) 2 3t' + 2 = (t' - 1) (t' - 2) SO, con lo que se establece la prposicin B 3 y se termina la demostracin.
Demostracin. A fin de demostrar que Te S, sea t' un elemento
de T. Se demostrar que t' est en S. Puesto que t' est en T, 1
< t' ~ 2, de donde (t' - 1) ~ O y (t' - 2) ~ O. Por tanto,
(t' )2
3t'
+ 2 = (t'
- 1) (t' - 2) ~o.
o
x'
+ x'y = 2y
x'
= 2y -
o
x'y
= y(2 -
o
y=x'/(2-x').
x')
150
+ (1
- t)y)
+ (1
tf(x)
- t)f(y).
La presencia del cuantificador "para todo" indica el uso del mtodo por seleccin. Por lo tanto, deben elegirse los nmeros reales x' y y', y un nmero real t' que satisfaga O ~ t' ~ 1. Debe
demostrarse que
f(t' x' + (1 - t' )y')~ t' f(x') + (1 - t' )f(y' ).
+ (1
- t')y') = m(t'x'
+ (1
- t')y')
+b
+ my' - mt'y' + b
= mt'x' + bt' + my' - mt'y' + b- bt'
= t'(mx' + b) + (1 - t')(my' + b)
= t'f(x') + (1 - t') f(y').
= mt'x'
+ (1
- t)y) ~ tf(x)
+ (1
- t)f(y) .
151
Capi'tulo 6
Sean x' y y' nmeros reales, y sea t' que satisface O ~ t'
entonces
1;
CAPTUL06
6.1
a) Aplicable .
b) No aplicable porque la proposicin contiene el cuantificador
152
P(n)
P(_n + 1)
= (n + 1)! (n + 2)-
= (n
+ 2)! - l.
2n > n2
2n + 1 > (n + 1)2
153
Capitulo 6
elementos el nmero de subconjuntos es 2n + 1 Para un conjunto S con (n + 1) elementos, los subconjuntos pueden formarse
enlistando todos los subconjuntos que sea posible formar utilizando los n primeros elementos y, despus, es posible agregar a
cada uno de estos subconjuntos el ltimo elemento de S. Por la
hiptesis de induccin, hay 2n subconjuntos cuando se emplean
n elementos, y se forman 2n subconjuntos adicionales al agregarse
el ltimo elementos de S a cada uno de los subconjuntos den elementos. Por lo tanto, el nmero total de subconjuntos de S es
2n + 2n = 2n + 1 , con lo que se establece la proposicin para (n
+ 1).11
6.6 Demostracin. Sea
S= 1 +
+ ... + n
= n + (n -
1) + ... + 1
Entonces,
S
es decir, S = ni(n
1)
+ 1)/211
6. 7 Demostracin. Al verificar la proposicin para n = 1 se encuentra que n 3 - n = 1 - 1 = O, y que seis divide a cero, ya que O =
(6)(0). Suponiendo que la proposicin sea verdadera para (n -1 ),
se sabe que 6 divide a (n - 1 )3 - (n - 1 ), o (n - 1)3 - (n - 1) =
6k para un entero k. Debe demostrarse que n 3 - n = 6m para
un entero m. Para relacionar P(n) con P(n + 1) se tiene
(n - 1)3
(n -
1) = n 3
3n 2
=n
+ 3n - 1 -
3n 2
+ 2n
n - (3n 2
3n)
+1
154
= [(n =
1) 3
(n -
l)]
+ 3(n 2
n)
6k + 6p
6(k + p).11
7 .1
El mtodo por seleccin se emplea cuando el cuantificador "para todo(a)" est presente en el proceso regresivo. La particulari-
lSS
Capitulo 7
2n
> m2.
La presencia del cuantificador "para toda" en el proceso regresivo indica que debe usarse el mtodo por seleccin. Por lo tanto,
se elige una r' en R y, aplicando esta informacin en la hiptesis
debe demostrarse que r' est en T.
Pasando al proceso progresivo, la hiptesis dice que R es subconjunto de S y que S es subconjunto de T, lo cual por definicin significa, respectivamente, que
A1: para toda r de R, r est en S, y
A 2 : para toda s de S, s est en T.
156
La presencia del cuantificador "para toda" en el proceso regresivo indica el uso del mtodo por seleccin para elegir x' y y' de
S interseccin T, y t' con O ~ t' ~ 1, para las que debe demostrarse que
B2
O~
t,tx + (1 -
157
Capitulo 7
s'f(tx + (1 - t)y)
O~ t ~
1,
ts'f(x) + (1 - t)s'f(y).
La presencia del cuantificador "para todos" en el proceso regresivo indica el uso del mtodo por seleccin para elegir los nmeros reales x' y y', y O ~ t' ~ 1, para los que de be demostrarse
que
B2
t'f(x') + (1 - t')f(y').
La proposicin B2 a la que se quiere llegar puede obtenerse multiplicando ambos miembros de la desigualdad de A 2 por el nmero no negativos', terminndose de este modo la demostracin.
158
+. (1-
t')s'f(y').
Puesto que por hiptesis fes una funcin convexa, se infiere
entonces por la definicin que f(t'x' + (1 - t')y') ~ t'f(x') +
(1- t')f(y'). El resultado buscado se obtiene multiplicando ambos miembros de esta desigualdad por el nmero no negativo s'.11
+ (1
- t')
O~
l ,f(tx + (1 - t)z)
<- tf(x) + (1
Habindose identificado el cuantificador "para toda" en el proceso progesivo, se utilizar la particularizacin. Especficamente,
A 1 puede particularizarse parax',y' y t' (ol;>servando que O~ t'
~ 1), de modo que
A2: f(t'x' + (l - t')z') ~ t'f(x') + (l - t')f(z')
159
Capz'tulo 7
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 define a C, de donde f(x ')~y y f(z') ~y. As, por A2,
f(t'x' + (1 - t')z') ~ t' f(x') + (1 - t')/(z')
~
t'y + (1 - t')y
=y,
~
~
t'f(x') + (1 - t')/(z')
t'y + (1 - t') y
y
> O,
existe una x
B2
para toda x de S. x
1.
160
Habindose identificado el cuantificador "para toda" en el proceso regresivo, se utiliza el mtodo por seleccin para elegir un
elemento x de S para el que debe demostrarse que
2 con x
=l
>
1 - e.
Pasando al proceso progresivo, la x de S buscada se generara encontrando un entero n ~ 2 para el que 1 - 1/n > 1 - e porque
entonces ser posible construir x = 1 - 1/n. Lan buscada es cualquier entero mayor que 1/e, ya que entonces l - l/n > 1 - e,
con lo que se termina la demostracin.
Demostracin. Para ver que 1 es cota superior de S, sea que x est eri 'S. Por tanto, existe un entero x ;;;: 2 tal que x = 1 - l /n.
Por tanto x ~ l y, por consiguiente, l es cota superior de S. Para
terminar la demostracin, sea e > O. Se generar un elemento x
de S para el que x > 1 - e. Especficamente, sean > 1/e. Entonces x = 1 - l /n satisface x > 1 - e.11
CAPTULOS
8.1 a) Suponer que:
Q,
24 divide a Q + m + n 2 + l.
2
161
Capi'tulo 8
8.3 Descripcin de la demostracin. Para utilizar el mtodo por contradiccin, se empieza con los siguientes supuestos:
A: n es un entero para el que n 2 es par.
n 2 = (2k + 1)2
4k 2 + 4k + 1
= 2 ( 2k 2 + 2k) + 1
que es de la forma n 2 = 2p + 1, donde p = 2k2 + 2k. Por lo tanto,
n 2 es impar y con esta contradiccin se e~tablece el resultado.
2(2k 2
2k)
+ l.
162
8.4 Descripcin de la demostracin. Se procede suponiendo que existe una cuerda en un crculo cuya longitud es mayor que la del
dimetro. Partiendo del supuesto anterior, y empleando las propiedades del crculo, deber llegarse a una contradiccin a fin
de proporcionar una demostracin vlida.
Sea AC la cuerda del crculo cuya longitud es mayor que la
del dimetro. Sea AB un dimetro del crculo. Esta construccin es vlida ya que, por definicin, un dimetro es una recta
que pasa por el centro y cuyos extremos estn en la circunferencia.
Capi'tulo 8
163
8.6 Descripcin de la demostracin. Para usar el mtodo por contradiccin, debe procederse suponiendo que ningn par de personas tiene el mismo nmero de amigos, es decir, que todos tienen
un nmero diferente de amigos. Puesto que hay n personas, cada una de las cuales tiene un nmero diferente de amigos, es posible enlistar el nmero de amigos de cada persona de conformidad
con una sucesin creciente. En otras palabras,
la persona nmero 1 no tiene amigos
la persona nmero 2 tiene 1 amigo
la persona nmero 3 tiene 2 amigos
la persona nmero n tiene n-1 amigos
Al proceder de este modo se llega a una contradiccin por cuanto la ltima persona ser amiga de todas las dems personas (n 1), incluyendo a la primera, la cual no tiene amigos.
Demostracin. Supngase, por l contrario, que ningn par de
personas tiene el mismo nmero de amigos. Las personas de la
fiesta pueden numerarse de tal manera que
164
8. 7 Descripcin de la demostracin. Por el mtodo por. contradiccin, puede suponerse qpe no existen tres nmeros consecutivos (n - 1), n y (n + 1) tales que el cubo del mayor sea igual a
la suma de los cubos de los dos restantes. Ahora bien, es posible llegar a una contradiccin demostrando que ningn entero
satisface esta ecuacin. Especficamente, se tiene que
(n - 1 )3
+ n 3 = (n + 1 )3
o
n3
3n 2 + 3n - 1 + n 3
= n 3 + 3n 2 + 3n +
o
n3
6n 2
2 =O
o
n 2 (n - 6) = 2
1)3 + n3
= (n. +
1)3 .
165
Capi'tulo 8
Entonces,
n 3 -3n 2 + 3n - 1 + n 3
n 3 + 3n 2 + 3n + 1
o
n3
6n 2
=2
n 2 (n - 6}= 2.
<r<
n,
166
Qzpi'tulo 9
167
f (x)-:/= f
(y).
168
9 .6 Descripcin de la demostracin. Al aplicarse el mtodo contrapositivo puede suponerse que el cuadriltero RSTU no es un rectngulo. Debe demostrarse que hay un ngulo obtuso. La
presencia del cuantificador "hay" indica que es necesario recurrir al proceso progresivo para generar el ngulo obtuso buscado.
Al procederse progresivamente es posible concluir que por
lo menos uno de los ngulos del cuadriltero es diferente de 90
grados; por ejemplo, que es el ngulo R. Si el ngulo R mide
ms de 90 grados, entonces, es el ngulo buscado. De no ser as,
el ngulo R mide menos de 90 grados. Esto significa a su vez que
los ngulos restantes del cuadriltero deben sumar ms de 270
grados (porque la suma de los ngulos anteriores de RSTU es
360 grados). Entre estos tres ngulos cuya suma es mayor que
270 grados, uno de ellos deben set mayor que 90 grados, y es
justamente el ngulo obtuso buscado.
Demostracin, Supngase que el cuadriltero RSTU no es un
rectngulo y, por consiguiente, uno de sus ngulos, digamos R,
es diferente de 90 grados. Se encontrar un ngulo obtuso. Si
el ngulo R mide ms de 90 grados entonces el ngulo buscado.
De no ser as, la surna de los tres ngulos restantes es mayor de 2 70
grados. Por lo tanto, uno de los tres ngulos restantes es obtuso.11
CAPTULO 10
>
tf(x)
+ (1
- t)f (y).
Captulo 10
g ) La funcin
169
h) Supngase que x, x 1 , x 2 , son nmeros reales. La sucecin x 1 , x 2 , . no converge ax si E un nmero real e >
OEAenterosk'Eunenterok > k'talque lxk -xi~ e.
10.2 a) No existe un elemento x en el conjunto S tal que x no est
en T.
b) No es verdadero que para todo ngulo t entre O y 7r/2,
sen (t) =F cos (t).
e) No existe un "objeto" con "cierta propiedad especfica" tal
que no sucede "algo especfico".
d) No es verdadero que para todo "objeto" con "cierta propiedad especfica" no sucede "algo especfico".
10.3 a) Suponer que existe un entero n ~ 4 tal que ni ~ n 2
b) Suponer A, NO By NO C
e) Suponer A, NO B o NO C
d) Suponer que fes una funcin convexa de una variable, x*
es un nmero real y existe un nmero real ~ > O tal que
para todo nmero real x con la propiedad de que lx -x* 1 <
5, f (x) ~ f (x*). Por ltimo, suponer que existe un nmero real y tal que f (y) < f (*).
170
el hecho de que y ~ O. Especficamente, de x +y =O se infiere que y = -x pero -x < Oy, por consiguiente, se ha llegado
a la contradiccin. Es posible utilizar un razonamiento similar
para el caso en que y =fo O.
Demostracin. Supngase que x ~ O, y ~ O, x +y = O y que
x =I= O, o bien, y =fo O. Si x =fo O, entonces x > O y y = -x < O,
pero esto contradice el hecho de que y ~ O. Asimismo, si y =I=
O, entonces y > O y x =-Y, pero esto contradice el hecho de
quex ~ 0.11
CAPTULO 11
+ yz
171
Capi'tulo 11
+ fi) (a + bi)
= 1, se
172
porque entonces
(e
+ fi)
[(a
de modo que e
cidad. u
173
Capi'tulo 11
= 2 jp + p, terminndose
Nota: Esta demostracin tambin podra haberse realizado suponiendo que n es un entero par, que m es un entero impar y
que 4 no divide a mn, para concluir a continuacin que 4 no
divide a n.
11.6 a) Si x es un nmero real que satisface x 3 + 3x 2 - 9x - 27
~ O, entonces x ~ -3 o x ~ 3.
b) Explicacin detallada. De conformidad con el mtodo de
la disyuncin exclusiva, puede suponerse que x 3 + 3x 2 9 - 27 ~ O y que x > -3. Dehe demostrarse que x ~
3. Se tiene ahora que
x 3 +3x 2 -9x-27=(x-3)(x+3) 2
~O
x 3 + 3x 2
+ 3x 2
9x - 27 = (x - 3)(x
9x - 27 ~ O y que
3) 2 ~O
174
~u.
u.
11.8 Descripcin detallada de la demostracin. Puede aplicarse el mtodo mx/mn para convertir la conclusin en una proposicin
con cuantificador equivalente:
B_: para todas de S, s
t*.
La presencia del cuantificador "para toda" en el proceso regresivo indica el uso del mtodo por seleccin para elegir unas' en
S para la que debe demostrarse que
B 1 : s' ~ t*.
Puede llegarse. a la conclusin buscada procediendo progresivamente y utilizando la particularjzacin. Especficamente, puesto
que Ses subconjunto de T, se infiere que .
A 1 : para todas de S, s est en T.
t*.
n,
175
Capi'tulo 12
.~
b, y para toda u
O con
La presencia del cuantificador "para toda" en el proceso regresivo indica que debe elegirse qna x' ~ O con ax' ~ b, as como u' ~ O con u'a ~ e, pata las que debe demostrarse que
ex' ~ u'b. Para ello se demostrar que ex' ~ u'ax' y que u'
ax' ~ u'b. Especficamente, al multiplicar ambos miembros de
la desigualdad u'a ~ e por el nmero no negativo x', se infiere
que ex' ~ u'ax'. De igual manera, al multiplicar la desigualdad
ax' ~ b por el nmero no negativo u', se infiere que u'ax' ~
u'b, con lo que se terminala demostracin.
Demostracin. Para llegar a la conclusin buscada, sea x' ~ O
con ax' ~ b, y sea u' ~ O con u'a ~ e. Se infiere entonces
que u'ax' ~ u'b y que ex' ~ u'ax', de donde se tiene que ex'
~ u'ax' ~ u'b y, por consiguiente, se ha terminado la demostracin. u
CAPTULO 12
12.1 a) El mtodo contrapositivo o por contradiccin, ya que en la
conclusin se encuentra presente la palabra "no".
b) El mtodo de induccin, ya que la proposicin Bes verdadera para cualquier entero n ~ 4.
e) El mtodo progresivo-regresivo, ya que B no presenta ninguna forma evidente.
d) El mtodo mx/mn, ya que en B aparece la palabra "mximo".
e) El mtodo de unicidad, ya que se supone la presencia de una
y slo una recta.
f) El mtodo por contradiccin o el contrapositivo, ya que en
la conclusin se encuentra presente la palabra "no".
g) El mtodo progresivo-regresivo, ya que B no presenta ninguna forma evidente.
h) El mtodo por seleccin, ya que el primer cuantificador de
Bes "para todo".
i) El mtodo por construccin, ya que el primer cuantificador
de B es "existe".
176
Glosario de smbolos
matemticos
Smbolo
Significado
=>
<=>
implica
si y slo si
es un elemento de
subconjunto
conjunto vaco
no
para todo (para cada)
existe (existen)
tal que
<P
A
E
E
<
>
Q.E.D.
o
quod erat demonstrandum
(Como se quera demostrar)
177
Pgina
20
39
53
55
55
43
56
49
49
38
38
29
ndice
c
"Cierta" propiedad, 48, 56
Conclusin, 19
Conjunto, 53
vaco, 55
Conjunto infinito, 5 3
Conjunto vaco, 55
Corolario, 41
Cuantificador existencial, 4 7
Cuantificador universal, 4 7
Cuantificador( es)
existencial, 4 7
mtodo de particularizacin, 71
mtodo por construccin (existe),
47
mtodo por seleccin (para todo), 53
"ocultos'', 50, 56
por el mtodo de induccin, 63
universal, 4 7
D
Definicin, 3 7
Definicin alternativa, 39
Definiciones equivalentes, 39
Demostracin, 17
Elementos de un conjunto, 53
Equivalencia, 39
Equivalencia entre notaciones, 42
"Existe", 47
Existencia, 48
H
179
Indke
180
M
Mquina que hace demostraciones, 56, 65
Mtodo contrapositivo, 85
Mtodo de induccin, 63
Mtodo de induccin generalizada, 68
Mtodo de la O exclusiva, 100
Mtodo de unicidad, 97
Mtodo mx/m n, 1O1
Mtodo por construccin, 4 7
Mtodo por contradiccin, 77
Mtodo por particularizacin, 71
M~todo por seleccin, S 3
Mtodo progresivo-regresivo, 23, 30
Proposicin, 18, 24
cambios en la forma de la, 119
Proposiciones equivalentes, 39
Q
Q. E. D., 29
s
Si y slo si, 38
Slo si, 43
Subconjunto, SS
Suposicin, 21, 64, 66, 78, 85
Negacin, 91
Negacin de cuantificadores, 91
NO A, 43, 91
"NO A implica NO B", 43
NO 8, 91
"NO B implica NO A", 43
~No" en la conclusin, 80
Notacin para describir conjuntos, 54
Notacin simblica, 20
o
o, 94
p
T
Tabla de verdad, 20
"A implica B", 21
"NO B implica NO A", 44
"Tal que", 49
Tcnicas especiales para hacer demostraciones, 97
Tcnicas para hacer demostraciones
de la O exclusiva, 100
de unicidad, 97
del mtodo contrapositivo, 85
mx/mn, 101
por construccin, 4 7
por contradiccin, 77
por particularizacin, 71
por seleccin, 5 3
progresiva-regresiva, 23
Teorema, 41
Terminologa matemtica, 37
u
Unicidad, 97
y
Y, 38, 94