Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin

Actividad 2. Mtodos de demostracin
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.
Respuesta:
a) Primero observamos que el nmero 15 est situado entre dos cuadrados perfectos
que son 9 y 16. Al aplicar la desigualdad tenemos lo siguiente:

9<15<16
b) Ahora, cmo se expresa un nmero racional? Un nmero racional se expresa de
la siguiente manera:

r=

p
q

c) Para hacer la demostracin aplicamos el mtodo de reduccin al absurdo al

enunciado, el cual supondramos que s existe un nmero racional cuyo cuadrado
sea 15. Por lo que tenemos la siguiente expresin: Existe un nmero racional

tal que

r 2=

es 15.

p
=15
2
q

Al aplicar raz cuadrada a ambos miembros de la igualdad tenemos:

p
= 15
q

d) Buscamos el mltiplo menor de

15

que sera

p=q 15

e) Aplicamos raz a los trminos de la desigualdad que obtuvimos en el paso a.

3< 15<4
Reducimos la igualdad a dos trminos:

( 153 ) < ( 43 )

( 153 ) <1
f) Multiplicamos ambos miembros de la desigualdad por el mltiplo menor.

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
q 15 ( 153 ) < q 15 (1)
g) La desigualdad nos indica una contradiccin ya que hay un nmero menor que el
que habamos supuesto

p=q 15 .

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

racionales.
Respuesta: Este enunciado se prueba por reduccin al absurdo partiendo de las
propiedades de los nmeros racionales e irracionales.
Los nmeros racionales son aquellos que pueden expresarse como el cociente de dos
nmeros enteros, en el que el denominador debe ser distinto de cero.
Por otra parte, los nmeros irracionales son aquellos que poseen infinitas cifras decimales
por lo que no pueden representarse como el cociente de dos nmeros.
a) Identificamos las premisas del enunciado.
P: x es racional
Q: y es irracional.
R: x+y es racional
S: xy es racional
b) Simbolizamos el enunciado a partir de las premisas.

(P Q) ( R S )
c) Aplicamos el mtodo de reduccin al absurdo, es decir negamos la conclusin. La
cual queda

( R S )=( R S)
Qu puede leerse as: R no es racional o S no es racional. O R es irracional o S es
irracional.
d) Si

es racional y

es irracional, entonces

x+ y

es irracional.

x+ y=irracional

x=irracional y
x es irracional .
Aqu hemos llegado a la contradiccin ya que x es racional.
e) Si

x es racional y

es irracional, entonces

xy

es irracional.

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
xy=irracional
x=

irracional
y
x es irracional

Aqu la otra contradiccin ya que

x es racional.

3. Demostrar que 13 + 23 + 33 + + n3 = (1 + 2 + 3 + +n)2

Respuesta: Este ejercicio se resuelve aplicando el mtodo inductivo. De manera que si
se cumple la propiedad P (1) entonces P (k) es verdadera y por lo tanto P (k+1) tambin
ser verdadera.

n(n+1)
]
a) Tenemos que 1 + 2 + 3 + +n =[
2
3

Demostramos P(1):
3

1 =[

1(1+1)
]
2

1=1
Demostramos P(2):
2

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

1+8=32
9=9
Demostramos P(k):
3

1 + 2 + 3 + +k =[

k ( k +1)
]
2

Demostramos P(k+1):

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
1
k +1

[ 3+ 23+3 3+ +k 3 ]+
3
13+ 23+ 33+ + ( k +1 ) =

k (k + 1) 2
[
] +
2

k +1

k+1

2+4 (k +1)3
k2

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

4
2

(k +1) [k +4 k +4 ]
4

( k +1 )2 ( k + 2 )( k + 2 )
4

( k +1 )2 ( k + 2 )2

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

Aqu la comprobacin para P(k+1).

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

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
x< xy <

x+ y
<y
2

Respuesta: Para resolver este ejemplo utilizamos el mtodo por casos partiendo de que

x< y
x< xy

a) Caso 1:

Demostracin:

x< y
Multiplicamos a ambos lados de la desigualdad por

xx< xy
Aplicamos raz a ambos lados de la desigualdad.

xx< xy
Ahora

x < xy
2

x < xy

xy<

b) Caso 2:

x+ y
2

Demostracin:

x< y
Aplicamos raz a ambos lados de la desigualdad

x< y
0< y x
02 < ( y x )

0<( y2 y x+ x)
2 y x< ( y + x )

2 xy < ( x + y )

xy<

x+ y
2

x.

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
c) Caso 3:

x+y
<y
2

Demostracin:

x< y

x+ y< y+ y
x+ y< 2 y

x+ y
<y
2

5. Sea

x R , demuestre que si |x + y|>|x|+| y| entonces y no es un nmero

real.
Respuesta: Este ejemplo lo resolvemos utilizando el mtodo de contraposicin.
a) Ubicamos las premisas y aplicamos el mtodo de contraposicin.
P:

|x + y|>|x|+| y|

Q:

nos es real

Negamos las premisas y las invertimos de lugar en la proposicin

P: |x + y|<|x|+| y|
Q:

es real.

El enunciado queda de la siguiente forma:

Sea

x R , demuestre que si

es real, entonces

b) La propiedad del valor absoluto es la siguiente

|x|=x si a 0 ox si x 0
Entonces

| x| x |x|

Ahora suponemos que

es real, por lo tanto

y y y
Ahora sumamos los miembros de la desiguldad

|x + y|<|x|+| y| .

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
| x| x |x|
y y y
__________________

| x|| y| x+ y |x|+| y|
Aplicando la propiedad del valor absoluto tenemos que

|x + y||x|+| y|
Por lo tanto queda demostrado el enunciado.