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. R: 15 est entre dos cuadrados perfectos que son y 1!" entonces partimos de la desigualdad #15#1!. $i reali%amos la ra&% cuadrada de la desigualdad 9 #

15

16

'(#

15

# ).

Restamos ( a los trminos de la desigualdad queda entonces: *# supongamos que e,iste un nmero racional

15

+(#1

a en su forma ms simple tal que b

a2 '15 con lo que a'-. b2

15

que e,presa el menor entero posi-le mltiplo de

15
*#c.

" entonces multiplicando la desigualdad por -.

15

quedar:

15

#-.

15 15
tam-in mltiplo de

que se contradice con la suposicin anterior ya que la desigualdad indica que e,iste un entero menor que -.

15

" si se reogani%a

el trmino central llamando al entero por sustraccin de enteros -.

15

+-.('c"

queda entonces la desigualdad de la siguiente manera: *#c. 15 #-. 15 por tanto se demuestra que no e,iste un nmero racional cuyo cuadrado /

a 0 sea 15 2 b

2. $i x es racional y distinto de cero y y es irracional" entonces , 1 y y ,y son

racionales. R: demostracin por reduccin al a-surdo a0 supongamos que ,1y fuera racional entonces tendremos: ,1y' r y'r+, como r y , entonces y' r2, es racional" con lo cual llegamos a un a-surdo pues ya y era irracional luego entonces ,1y es irracional. -0 supongamos que ,y es raciona

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
,y'r , es distinto de cero entonces despe3amos y y' r2, como r y , son racionales entonces y'r2, es racional" lo cual es a-surdo pues y ya era irracional" luego ,y es irracional.

3. Demostrar que 1( 1 4( 1 (( 1 51 n( ' /1 1 4 1 ( 1 51n04

R: $e demuestra por induccin: para n'1('14 6ntonces se de-e demostrar que se cumple para n11: 1( 1 4( 1 ((1 51 n( ' /1 1 4 1 ( 1 51n04 7eremos que se cumpla para n11 1( 1 4( 1 ((1 51 n( 1 /n110(' /1 1 4 1 ( 1 51n041/n110(' /1 1 4 1 ( 1 51n041/n110/n1104'/1 1 4 1 ( 1 51n041n/n11041/n1104 $e demuestra aparte que: n/n1104'4/1141(1...1n0/n110 n/n110'4/ 1 1 4 1 ( 1 51n0 n/n11024' 1 1 4 1 ( 1 51n 8o cual es cierto pues es la frmula de la suma de los n primeros elementos de una sucesin aritmtica 6ntonces tenemos: 1( 1 4( 1 (( 1 51 n(1/n110('/1 1 4 1 ( 1 51n0414/ 1 1 4 1 ( 1 51n0/n1101/n1104' '9 /1 1 4 1 ( 1 51n01/n110:4 llegamos a la frmula del cuadrado perfecto y se demuestra que la frmula es ;lida para n11 y queda demostrada la induccin

). Demuestre que si * # , # y" entonces ,# R: ,#y x # *# *#/

xy

x+y #y 2

y
+ +

x x

y y x xy
04

* # ,1y+4 * # ,1y+4 4

xy

# ,1y

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
xy
#

x+ y 2

por otro lado ,#y ,, # ,y xx # xy ,#

xy

<or otro lado ,#y ,1 y # y1y

x+ y y+ y # 2 2 x+ y #y 2
Integrando todo lo anterior ,#

xy

x+y #y 2

5. $ea" ,

R demuestre que si x + y = x 1 y entonces y no es un

nmero real. R: 8a desigualdad triangular es la -ase para la respuesta y dice lo siguiente: si ," y R" entonces se cumple x + y > x 1 y con la demostracin siguiente: + x > , > x + y > , > y sumando am-as tenemos + x + y > ,1y > x 1 y +/ x 1 y 0> ,1y > x 1 y y por propiedades de los ;alores a-solutos eso significa x + y > x 1 y los nmeros que se dieron no ;erifican la desigualdad triangular luego entonces alguno no es nmero real" como tenemos el supuesto de que , es real entonces y no pertenece a los nmeros reales

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin