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. Se parte de la desigualdad 9<15<16 Supongamos que si fuera cierta la pregunta y existe un racional a7b en su forma mas simplificada tal que =15

Expresa el menor entero posible mltiplo de Por lo tanto se multiplicamos la desigualdad por nos quedara de la sig. Forma [ ]

Lo anterior contradice la suposicin anterior, ya que la desigualdad indica que existe un nmero menor que si reorganizamos el trmino central llamado al entero por sustraccin de enteros Quedando la desigualdad como =15

Por lo tanto la suposicin de que existe un racional que cumpla con Es incorrecta

2. Si x es racional y distinto de cero y y es irracional, entonces x + y y xy son racionales. Un nmero racional es la fraccin de 2 nmero enteros. Si a,b,c,d son enteros ya que x,y, son racionales, entonces el numerador de la suma (ad+bc) es entero ya que el conjunto de los enteros es cerrado para la suma y producto de enteros (la suma de enteros y la multiplicacin de enteros es otro entero) adems de que el denominador de la suma (bd) tambin es entero por la razn anterior, por tanto la suma esta formada por la fraccin de enteros y por lo tanto ser racional para el caso de la multiplicacin, tanto el numerador como el denominador son enteros por se multiplicacin de enteros y con ello esa multiplicacin ser una fraccin de enteros y por tanto racional

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin
3. Demostrar que 13 + 23 + 33 + + n3 = (1 + 2 + 3 + +n)2
Por induccin tenemos que

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

| | | | | entonces y no es un nmero real. 5. Sea , demuestre que si | Por las propiedades del valor absoluto tenemos que | | | | | | | | Sumando ambas tenemos que | | | | | | | | | | | | | | | | Por propiedades de valores absolutos tenemos que | | | | | |