Universidad Abierta y a Distancia de Mxico

Introduccin al pensamiento matemtico.

Unidad 2: Mtodos de demostracin.





Actividad 2: Mtodos de demostracin.











Alumno: Uriel Balder Huerta Mendoza
Matrcula: ES1421014582
Programa acadmico: Licenciatura en Matemticas
Instrucciones: Demuestra los enunciados por medio del mtodos de demostracin que
consideres adecuado.

1.- Demostrar que no hay ningn nmero racional cuyo cuadrado sea 15.

Inicialmente, se escribe el enunciado a refutar en trminos algebraicos. Para esto, se toma la
definicin de nmero racional, la cual indica que es aquel nmero que puede ser expresado
como el cociente de dos nmeros enteros. Para propsitos de esta demostracin, se utilizan
las variables p y q para expresar dos nmeros enteros cualesquiera:

Hiptesis: (

)
2
= 15 con q diferente de cero

Ahora, para realizar la demostracin se utiliza el mtodo Reduccin al absurdo el cual
consiste en presentar una contradiccin en la hiptesis. Se comienza despejando la variable
p en trminos de q:

(

)
2
= 15

)
2
= 15 Se toma la raz cuadrada de ambos lados de la ecuacin

(

) = 15

(

) = 15 Se multiplican ambos lados de la ecuacin por q

= 15


Esta ecuacin nos indica que el nmero entero p es el producto de la multiplicacin del
nmero entero q por el nmero irracional 15 . Es aqu donde encontramos la contradiccin,
ya que el producto de cualquier nmero entero multiplicado por uno irracional es otro nmero
irracional, contradiciendo el hecho de que el nmero p debe de ser entero, demostrndose as
la falsedad de la hiptesis.

2.- Si x es racional y distinto de cero e y es irracional, entonces x + y y xy son
racionales.

Primero, comenzamos estableciendo las hiptesis y las conclusiones:

Hiptesis 1: x es racional
Hiptesis 2: x es distinto de cero
Hiptesis 3: y es irracional
Conclusin 1: x + y es racional
Conclusin 2: xy es racional

Se utilizar el mtodo Demostracin por contraejemplo para refutar las conclusiones. Este
mtodo consiste en encontrar un ejemplo para cada conclusin que demuestre su falsedad.
Inicialmente se establece a x como el cociente de dos nmeros enteros cualesquiera p y q,
como se establece en la primera hiptesis:

=

Con p y q diferentes de cero, como se establece en la segunda hiptesis. Posteriormente, para
continuar con la demostracin se establecen valores para p y q:

p = 3
q = 2
Consecuentemente: =
3
2


De acuerdo a la tercera hiptesis y es un nmero irracional, para efectos de esta demostracin,
se utiliza el valor 3 para y:

y = 3

Para el contraejemplo de la primera conclusin se sustituyen los valores planteados
anteriormente en esta y se llevan a cabo las operaciones pertinentes:

Conclusin 1: x + y es racional

+ = (
3
2
) + 3 = (
3 +23
2
) 3.232

Ya que el resultado de la operacin es un nmero que no puede ser expresado como el
cociente de dos enteros, es decir, un nmero irracional, se contradice lo expuesto en la
conclusin 1, quedando demostrada as la falsedad de esta.
Ahora bien, para el contraejemplo de la segunda conclusin se sustituyen los mismos valores
en su expresin y se llevan a cabo las operaciones requeridas:

Conclusin 2: xy es racional

= (
3
2
) (3) = (
33
2
) 2.598

El resultado producto de la operacin es un nmero irracional que tampoco puede ser
expresado como el cociente de dos enteros, as se contradice lo expuesto en la conclusin 2,
quedando demostrada as su falsedad.



3.- Demostrar que

++

= ( + + ++)

Para esta demostracin se utilizar el principio de Induccin matemtica. Es necesario para
la primera condicin del principio de induccin verificar si la frmula se cumple para dos
enteros, los cuales para efecto de esta demostracin sern los consecutivos n = 1 y n = 2.
Para n = 1:

1
3
= (1)
2

1 = 1

Esto nos indica que la frmula es vlida para n = 1. As mismo, para n = 2:

1
3
+ 2
3
= (1 +2)
2

1 +8 = (3)
2

9 = 9

Esto nos indica que la frmula es tambin vlida para n = 2. Ahora bien, para verificar que
se cumple la segunda condicin, suponemos que la propiedad es cierta para n = k.
Ecuacin 1:
1
3
+ 2
3
+ 3
3
++
3
= (1 + 2 + 3 ++)
2


A partir de la suposicin anterior, hay que probar que se cumple para n = k + 1, para esto, se
sustituye en la frmula original.
Ecuacin 2:

1
3
+ 2
3
+ 3
3
++
3
+( +1)
3
= [1 + 2 + 3 ++ + ( +1)]
2


Para continuar, se trabaja sobre el lado izquierdo de la ecuacin 2 y se tiene que:

(1
3
+ 2
3
+ 3
3
++
3
) +( +1)
3
= [1 + 2 + 3 ++ + ( +1)]
2


Posteriormente se sustituye el lado derecho de la ecuacin 1 en el equivalente que se
encuentra en el lado izquierdo de la ecuacin 2, quedando de la siguiente manera:
Ecuacin 3:
(1 + 2 + 3 ++)
2
+( +1)
3
= [1 + 2 + 3 ++ ( +1)]
2


Es necesario para poder continuar con la demostracin el uso de la frmula para los n
primeros nmeros, la cual fue expuesta en el material de estudio de la unidad 2 Mtodos de
demostracin, material en el que tambin es demostrada su validez mediante induccin
matemtica:

1 + 2 + 3 ++ =
( +1)
2


Sustituyendo n = k en sta, tenemos que:

1 + 2 + 3 ++ =
( +1)
2


Y para su consecutiva n = k + 1 se tiene que:

1 + 2 + 3 ++ +( +1) =
( +1)[( +1) +1]
2


Simplificando:

1 + 2 + 3 ++ +( +1) =
( +1)( +2)
2


Consecuentemente, se sustituyen las expresiones encontradas en los lados derechos de las
ecuaciones anteriores en sus equivalentes de la ecuacin 3:

Ecuacin 3: (1 + 2 + 3 ++)
2
+( +1)
3
= [1 + 2 + 3 ++ + ( +1)]
2


[
( +1)
2
]
2
+( +1)
3
= [
( +1)( +2)
2
]
2


Simplificando:

[

2
( +1)
2
2
2
] +( +1)
3
=
( +1)
2
( +2)
2
2
2



[

2
( +1)
2
4
] +( +1)
3
=
( +1)
2
( +2)
2
4


Sumando fracciones en el lado izquierdo de la ecuacin:

2
( +1)
2
+4( +1)
3
4
=
( +1)
2
( +2)
2
4


Multiplicando ambos lados de la ecuacin por 4:

[

2
( +1)
2
+4( +1)
3
4
] (4) = [
( +1)
2
( +2)
2
4
] (4)

2
( +1)
2
+4( +1)
3
= ( +1)
2
( +2)
2


Factorizando ( +1)
2
en el lado izquierdo de la ecuacin:

( +1)
2
[
2
+4( +1)] = ( +1)
2
( +2)
2


Se dividen ambos lados de la ecuacin entre ( + 1)
2
y se simplifican:

( +1)
2
[
2
+4( +1)]
( +1)
2
=
( +1)
2
( +2)
2
( +1)
2

2
+4( +1) = ( +2)
2


Se resuelve el producto 4( +1):

2
+4 +4 = ( +2)
2


Finalmente se factoriza
2
+4 +4

2
+4 +4 = ( +2)
2


( +)

= ( +)

Esta ltima expresin nos asegura que la propiedad se cumple para n = k + 1. En ese sentido,
por el principio de induccin matemtica la propiedad es cierta para cualquier nmero
natural.


4.- Demuestre que si 0 < x < y, entonces


< <
+

<


Inicialmente, se plantean las hiptesis y las conclusiones:

Hiptesis 1: 0 < x
Hiptesis 2: 0 < y
Hiptesis 3: x < y
Conclusin 1: <
Conclusin 2: <
+
2

Conclusin 3: <
+
2

Conclusin 4: <
Conclusin 5:
+
2
<

Para esta demostracin, se utilizar el mtodo de demostracin directa, en el cual se
obtendrn las conclusiones a partir de las hiptesis mediante desarrollos algebraicos.

De la hiptesis 3 se desprende que:

< Hiptesis 3

()() < ()() Se multiplican ambos lados de la desigualdad por x

2
<

2
< Se toma raz cuadrada de ambos lados

< Conclusin 1

As mismo, se tiene que:

< Hiptesis 3

+ < + Se suma x a ambos lados de la desigualdad

2 < +

2
2
<
+
2
Se dividen ambos lados de la desigualad entre 2

<
+

Conclusin 2

En ese sentido:

< Hiptesis 3

()() < ()() Se multiplican ambos lados de la desigualdad por y

<
2


<
2
Se toma la raz cuadrada de ambos lados

< Conclusin 4

Adems:

< Hiptesis 3

+ < + Se suma y a ambos lados de la desigualdad

+ < 2

+
2
<
2
2
Se dividen ambos lados entre 2

+

< Conclusin 5

Para comprobar la veracidad de la Conclusin 3, sta se plantea como una proposicin p:

p: <
+
2


El contrapuesto p se escribe de la siguiente manera:

p:
+
2
<

Ahora bien, partiendo de p:

+
2
<

(
+
2
)
2
< ()
2
Se elevan ambos lados de la desigualdad al cuadrado

(+)
2
2
2
< Se utilizan leyes de los exponentes

2
+2+
2
4
< Se resuelve el binomio y se simplifica el denominador

(

2
+2+
2
4
) (4) < ()(4) Se multiplican ambos lados de la desigualdad por 4

2
+2 +
2
< 4

2
+2 +
2
4 < 4 4 Se resta 4xy de amos lados

2
2 +
2
< 0


Factorizando se tiene:

( )

<

Con este antecedente, dado que cualquier nmero elevado al cuadrado es positivo, se
concluye que p es falsa, por lo que la proposicin p es verdadera.
Ahora, se enlistan las conclusiones producto de las hiptesis desarrolladas junto con la
conclusin 3, probada verdadera:

Conclusin 1: <
Conclusin 2: <
+

Conclusin 3: <
+

Conclusin 4: <
Conclusin 5:
+

<

De stas, se obtiene que:
< <
+

<

Q.E.D.


5.- Sea x R, demuestre que si |x + y| > |x| + |y| entonces y no es un nmero real.

Inicialmente se plantea la hiptesis y la conclusin:

Hiptesis: |x+ y| > |x| + |y|
Conclusin: y

Para esta demostracin se utilizar el mtodo por contraposicin, que consiste en plantear la
hiptesis y la conclusin como proposiciones para despus escribirlas conforme la
implicacin p q, y posteriormente demostrar la validez de su contrapositiva q p, que
de acuerdo a sus tablas de verdad son equivalentes.

p: |x + y| > |x| + |y|
q: y
p q: (|x + y| > |x| + |y|) (y )

Entonces, su contrapositiva se escribe:

q p: (y ) (|x + y| < |x| + |y|)

Ahora, de acuerdo a lo anterior, se asume que tanto y como x son nmeros reales. Para
continuar el desarrollo, se toma una de las propiedades de los valores absolutos:

|a| b es equivalente a: b a b

Se tiene que:

a = x + y
b = |x| + |y|

Por lo tanto:

-(|x| + |y|) x + y |x| + |y|

Factorizando el signo negativo en -(|x| + |y|) se tiene:

- |x| - |y| x + y |x| + |y|

Esta expresin se puede separar en dos desigualdades dobles:

- |x| x |x|

- |y| y |y|

Tomando especficamente a la segunda desigualdad doble, y ya que se considera a y un
nmero real, se separa en dos hiptesis:

Hiptesis 1: y |y|
Hiptesis 2: - |y| y

Se desprende por la definicin de valor absoluto que:

Si 0 y, entonces y = |y|, por lo tanto y |y|. Adems, como 0 |y| entonces - |y| 0. En ese
sentido: si y < 0, entonces |y| = -y.

De lo anterior se deduce que

- |y| y |y|
=
|y|

Por lo que y es un nmero real en la contrapositiva q p de la implicacin principal p
q, demostrndose as que y no es un nmero real.