Curso 2016/17

TEMA 1: Enunciados y demostraciones en Matem

aticas

Grupos A, B

Problema 1: Escribe con cuantificadores cada una de las expresiones siguientes y su correspondiente negacion:
1) Para cada n
umero real x, con 0 x 1, existe un n
umero real y, con 0 y 1 tal que x + y = 1.
2) Para cada n
umero real x, con 0 x 1, existe un n
umero real y, y solo uno, con 0 y 1 tal que
x + y = 1.
3) Existe un n
umero real x, con 0 x 1, tal que para todo n
umero real y, con 0 y 1, se verifica
que x + y = 1.
4) Existe un n
umero real x, y solo uno, con 0 x 1, tal que para todo n
umero real y, con 0 y 1,
se verifica que x + y = 1.
5) Para cada n
umero real x, con 0 x 1, y cada n
umero real y, con 0 y 1, se verifica que
2x2 + y 2 = 6.
6) Para cada n
umero real x, con 0 x 1, y cada n
umero real y, con 0 y 2x, se verifica que
2x2 + y 2 = 6.
7) Para cada n
umero real x tal que 1 x 1, existe un n
umero real y, con 1 y 1 tal que
x2 + y 2 1.
8) Existe un n
umero real x, con 1 x 1, tal que para todo n
umero real y, con 1 y 1, se
verifica que x2 + y 2 1.
Problema 2:

Respecto de cada una de las proposiciones siguientes, en las que n es un n

umero natural,

indica cuales son condicion necesaria y cuales son condicion suficiente para que suceda la proposicion n es
m
ultiplo de 6:
1) n es m
ultiplo de 3.
2) n es m
ultiplo de 2.
3) n es m
ultiplo de 12.
4) n = 12.
5) n2 es m
ultiplo de 6.
6) n es m
ultiplo de 2 y de 3.
7) n es m
ultiplo de 2 o de 3.
Problema 3: Demuestra cada uno de los siguientes enunciados:
1) (Contrarrecproco) Sea n N. Si n3 es impar, entonces n es impar.
2) (Reduccion al absurdo) Dado n N, si n > 2, no existe m N tal que n + m = nm.
3) (Contrarrecproco) Para cualquier n
umero real x, si x2 = 1, entonces x = 1.
4) (Directa o Reduccion al absurdo) Sea r es un n
umero racional, si r > 0, entonces r1 > 0.
Problema 4: Prueba los enunciados siguientes, en los que n N.
1) n 1

1 + 2 + 3 + + n =

n(n+1)
2
n
n+1

2) n N 1 + 2 + 22 + 23 + + 2 = 2

3) n 4

( n2 )2

4) n 1

2 + 4 + 6 + + 2n = n(n + 1)

5) n 1

13 + 33 + 53 + + (2n 1)3 = n2 (2n2 1)

n

1
n
=
k(k + 1)
n+1

6) n 1

k=1

7) Todo n
umero natural no nulo es suma de potencias de 2 donde los expontentes son n
umeros naturales
distintos dos a dos (es decir, si n N, n = 0, existen a1 , . . . , at N, 1 t N, ai = aj si i = j, tales
que n = 2a1 + . . . + 2at ).
8) n 2, n es primo o es producto de primos.
Problema 5:
1. Prueba la verdad o falsedad de cada una de las proposiciones siguientes en las que n N:
a) n 4

2n 2n1

b) n N 2n n2
c) n N

2(n + 1) 2n

d) n 1

1 + 3 + 5 + + (2n 1) = n2

2. En cada uno de los casos falsos del apartado anterior, encuentra un natural n0 para el cual la
correspondiente proposicion es verdadera n n0 .