Univ. Nacional de Colombia, Medellín Escuela de Matemáticas Matemáticas Discretas Marzo 8, Soluciones Taller 3

Transcripción

1 Univ. Nacional de Colombia, Medellín Escuela de Matemáticas Matemáticas Discretas Marzo 8, 010 Soluciones Taller 3 1. Pruebe usando contradicción que: + 6 < 15. (Sin usar calculadora, sólo operaciones con enteros.) Supongamos que Puesto que ambos lados de la desigualdad son positivos, elevando al cuadrado a ambos lados se preserva la desigualdad y se obtiene y de aquí ( ) ( 6) ( 15) Restando 8 en ambos lados y elevando al cuadrado de nuevo se obtiene de donde ( 1) 7, Esto último es una falsedad. Por lo tanto, lo asumido, es también falso. Así que + 6 < 15.. Pruebe que: Para todo entero n, si n es impar, entonces n es impar. Probamos el contrapositivo: si n es par entonces n es par. Supongamos que n es par, entonces por definición n = k para algún entero k. Elevando al cuadrado se obtiene n = (k) = 4k = (k ). Pero l = k es entero, por lo tanto n = l es par. 3. Pruebe lo siguiente: Para cualquier número entero, si 3n + es impar entonces n es impar. Probamos el contrapositivo: 1

2 Si n es par entonces 3n + es par. Suponemos que n es par. Entonces existe un entero k tal que n = k y reemplazando se obtiene 3n + = 3(k) + = (3k + 1). Puesto que l = 3k + 1 es un entero, entonces 3n + = l es par. 4. La propiedad de un número entero de ser par o impar se denomina paridad. Dos enteros tienen la misma paridad si ambos son pares o ambos son impares, y tienen paridad opuesta si uno es par y el otro impar. Pruebe lo siguiente: Dos números enteros consecutivos cualesquiera tienen paridad opuesta. casos: Sean n y n + 1 dos enteros consecutivos. Consideramos dos n es par: Entonces existe un entero k tal que n = k y por lo tanto n + 1 = (k) + 1 = k + 1, el cual es un entero impar por definición. n es impar: Entonces existe un entero k tal que n = k + 1 y por lo tanto n + 1 = (k + 1) + 1 = k + = (k + 1). Puesto que l = k + 1 es entero, entonces n + 1 = l es un entero par por definición. Hemos obtenido en ambos casos que n y n+1 tienen paridad opuesta. 5. Pruebe lo siguiente Para m y n enteros, si m y n tienen la misma paridad entonces m + n es par. Sean m y n enteros. Consideramos dos casos: m y n son pares: Entonces existen enteros k 1 y k tal que m = k 1 y n = k. Por lo tanto m + n = k 1 + k = (k 1 + k ). Puesto que l = k 1 + k es entero, entonces m + n = l es par por definición.

3 m y n son impares: Entonces existen enteros k 1 y k tal que m = k y n = k + 1. Por lo tanto m + n = (k 1 + 1) + (k + 1) = k 1 + k + = (k 1 + k + 1). Puesto que l = k 1 + k + 1 es entero, entonces m + n = l es par por definición. Hemos obtenido en ambos casos que m + n es par. 6. Considere la siguiente proposición: Para todo par de enteros m, n, si 7m + 5n = 147, entonces m es impar ó n es impar. (a) Escriba el converso de esta proposición. Si m es impar ó n es impar entonces 7m + 5n = 147. (b) Escriba el contrapositivo/contrarecíproco de esta proposición. Si m es par y n es par entonces 7m + 5n 147. (c) Para cada uno de los anteriores, pruébelo ó de un contraejemplo. El converso es falso: por ejemplo con m = n = 1, ambos son impares pero 7m + 5n 147. El contrapositivo es equivalente a la afirmación original, y es verdadero. Probamos el contrapositivo: Sean m y n enteros pares. Entonces existen enteros k 1 y k tal que m = k 1 y n = k. Entonces 7m + 5n = 7(k 1 ) + 5(k ) = (7k 1 + 5k ). Puesto que l = 7k 1 + 5k es entero, entonces 7m + 5n = l es entero par. Pero 147 = es impar. Por lo tanto 7m + 5n Para dos enteros m y n se dice que son iguales módulo k, y se denota m = n(modk) ó m n(modk), si existe un entero l tal que n m = kl. Pruebe que si m = x(modk) y n = y(modk) entonces m + mn = x + xy (modk). (Este es quizás un poco más complicado que el promedio.) Asumimos que m = x(modk) y n = y(modk). Por definición, existen enteros l 1 y l tal que m x = kl 1 y n y = kl 3

4 Ahora con el propósito de llegar a la conclusión deseada, consideramos la diferencia (m + mn) (x xy) = (m x ) + (mn xy). Para el primer témino tenemos que m x = (m x)(m + x) = (kl 1 )(m + x) = k(l 1 (m + x)). Para el segundo término tenemos que, sumando y restando xn, mn xy = mn xn+xn xy = n(m x)+x(n y) = nkl 1 +xkl = k(nl 1 +xl ). Entonces (m +mn) (x xy) = k(l 1 (m+x))+k(nl 1 +xl ) = k(l 1 (m+x)+nl 1 +xl ). Puesto que el factor multiplicando k en el último término es entero, entonces por definición m + mn = x + xy (modk). 8. Si a y b son números reales, se define max{a, b} como el máximo de a y b ó el valor común si son iguales. Esto se puede escribir como { a si a b max{a, b} = b si b > a Probar que: Para todo los números reales x 1, x, m, y, se tiene que si m = max{x 1, x } y y m, entonces y x 1 y y x casos: Primero veamos que m x 1 y m x considerando los dos x 1 x : Entonces m = x 1. Por lo tanto m x 1. Por otra parte m = x 1 y x 1 x implican m x. x 1 < x : Entonces m = x. Por lo tanto m x. Por otra parte m = x y x > x 1 implican m x 1. Ahora, asumimos y m. Puesto que m x 1 y m x entonces y x 1 y y x por transitividad de. 9. Use prueba por casos para demostrar que max{x, y} = x + y + x y. Consideramos dos casos: 4

5 x y: Entonces max{x, y} = x. x y = x y. De aquí que x + y + x y = que es entonces igual a max{x, y}. x + y + (x y) = x = x, x < y: Entonces max{x, y} = y y x y = y x. De aquí que x + y + x y = que es entonces igual a max{x, y}. x + y + (y x) = y = y, En ambos casos la ecuación dada se satisface. 10. Se define el signo de un número real x, escrito sgn(x), como 1 si x > 0 sgn(x) = 0 si x = 0 1 si x < 0 Use prueba por casos para verificar que sgn(xy) = sgn(x)sgn(y) para todos los números reales x, y. 11. Pruebe lo siguiente Para todos los números reales x, y, si x + y > 100 entonces x > 50 ó y > 50. Probamos el contrapositivo: Si x 50 y y 50 entonces x + y 100. Sean x y y reales positivos con x 50 y y 50. Sumando y en ambos lados de la desigualdad x 10 se obtiene x + y 50 + y. Similarmente, sumando 50 en ambos lados de la desigualdad y 50 se obtiene y De estas dos desigualdades se obtiene x + y 100 usando la transitividad de la desigualdad. 1. Pruebe lo siguiente Para todos los números reales positivos x, y, si xy > 100 entonces x > 10 ó y > 10. 5

6 Probamos el contrapositivo: Si x 10 y y 10 entonces xy 100. Sean x y y reales positivos con x 10 y y 10. Multiplicando la desigualdad x 10 por y a ambos lados, se obtiene xy 10y donde la desigualdad no cambia porque y > 0. Similarmente, multiplicando la desigualdad y 10 por 10 a ambos lados, se obtiene De estas dos desigualdades se obtiene 10y 100. xy 100 usando la transitividad de la desigualdad. Nota: Se podría pensar que x y y positivos es parte de la premisa original, y de acuerdo con esto el contrapositivo sería Si x 10 y y 10 entonces x 0 ó y 0 ó xy 100. Pero la verificación de esto sería esencialmente la misma porque si no se tiene x 0 ó y 0, entonces ambos deben ser positivos y entonces se puede concluir xy 100. Lo que se ha hecho en la solución es considerar ser positivo como parte de la cuantificación y por lo tanto no aparece en el contrapositivo. De ambas maneras, la prueba de validez para el contrapositivo es esencialmente la misma. 13. Pruebe lo siguiente Para todos los números reales positivos x, y y z, si xy > z entonces x > z ó y > z. Probamos el contrapositivo: Si x z y y z entonces xy z. Sean x y y reales positivos con x z y y z. Multiplicando la desigualdad x z por y a ambos lados, se obtiene xy zy donde la desigualdad no cambia porque y > 0. Similarmente, multiplicando la desigualdad y z por z a ambos lados, se obtiene zy z z = z. De estas dos desigualdades se obtiene xy z usando la transitividad de la desigualdad. 6

7 14. Sean s and t números reales y sea A = s + t (el promedio). Entonces al menos uno de los números s y t es mayor o igual que A. (a) Reescriba el enunciado en palabras haciendo explícitos los cuantificadores involucrados. Para todos los números reales s, t, A, si A = (s+t)/ entonces s A ó t A. Ó simbólicamente: s, t, A R : ((A = (s + t)/) ((s A) (t A))) (b) Escriba un prueba (detallada) de la validez del enunciado. Por contradicción, asumimos que s < A y t < A, entonces A = 1 (s + t) por definición < 1 (A + t) porque s < A < 1 (A + A) porque t < A = A de lo que se concluye que A < A, lo que es una falsedad. (c) Pruebe que además si uno de los números es estrictamente mayor que A entonces el otro es estrictamente menor que A. De nuevo, por contradicción. Se tienen dos casos dependiendo de cual, s ó t es estrictamente mayor que A. Supongamos s > A. La negación de la conclusión es t A. Entonces A = 1 (s + t) por definición > 1 (A + t) porque s > A 1 (A + A) porque t A = A de lo que se concluye que A > A, lo que es una falsedad (contradicción) y por lo tanto t < A. En el otro caso suponemos t > A y la negación de 7

8 la conclusión es s A. Procediendo en forma completamente análoga se obtiene (podría omitirse ya que es bastante claro que sigue dado el caso anterior) A = 1 (s + t) por definición > 1 (s + A) porque t > A 1 (A + A) porque t A = A y se llega a la contradicción A > A y por lo tanto se concluye s < A. Como conclusión de la prueba por casos, si uno de los números es estrictamente mayor que A entonces el otro es estrictamente menor que A. 15. Sean a y b números racionales con a 0. Pruebe lo siguiente: Para cualquier número real x, x es racional si y sólo si ax + b es racional. Por qué se necesita la condición a 0? 16. Para cada una de las siguientes afirmaciones identifique si es verdadera o falsa. En el primer caso dé una prueba (detallada) y en el segundo caso dé un contraejemplo (un ejemplo que muestra la falsedad de la afirmación). Note que en las afirmaciones implícitamente se está cuantificando universalmente. (a) El producto y división (con divisor no nulo) de números racionales es racional. (b) El producto de un número racional diferente de cero y de un número irracional es irracional. Sugerencia: Considere contradicción y parte (a). (c) El producto de dos números irracionales es irracional. En notas de clase. 17. Pruebe las siguientes afirmaciones. (a) Para todo los enteros m, n, l, si l m y l n entonces l (m + n) y l (m n). (Recuerde que x y significa que x divide y.) Escribimos una prueba directa (para la suma, el caso de la diferencia es completamente análogo): 8

9 Sean m, n, l enteros tal que l m y l n. existen enteros p y q tal que Por definición, Entonces sumando obtenemos m = pl y n = ql. m + n = pl = ql = (p + q)l. Puesto que p + q es entero concluímos que l (m + n). (b) Para todo los enteros m, n, l, si l m y l n entonces l (m+n). (x y significa que x no divide y.) Sugerencia: Use prueba por contradicción y (a). Sean m, n, l enteros tal que l m y l n. Para probar por contradicción asumimos que l (m + n). Consideremos n escrito como n = (m + n) m Puesto que l (m + n) y l m, usando el resultado de la parte (a) se concluye que l n. Pero de acuerdo con la hipótesis l n. Así que tenemos una contradicción y por lo tanto podemos concluir que l (m + n). 9