UNIVERSIDAD DE ANTIOQUIA

FCEN Nota:
Instituto de Matemáticas
Fundamentos de Matemáticas - Primer parcial
Semestre 2018-2 (Febrero 26 de 2019)
Valor de esta prueba 20 %

Nombre: Documento:

Nota: Los procedimientos empleados para llegar a cada respuesta deben ser justificados y quedar registrados en el
examen. Respuestas sin justificación no tienen ningún valor.

1. La propiedad arquimediana de los los números reales establece que: si y es un número real cualquiera y x es un
número real positivo, entonces existe un entero positivo n tal que nx > y.

a) (3 puntos) Escriba la propiedad arquimediana en lenguaje lógico.

b) (3 puntos) Niegue la propiedad arquimediana en lenguaje lógico (llevando la negación a proposiciones atómicas).
c) (3 puntos) Escriba la negación de la propiedad arquimediana en lenguaje natural.
d ) (6 puntos) Use la propiedad arquimediana para probar que, para todo real positivo x, existe un entero positivo
n tal que 0 < n1 < x.
2. Considere la siguiente definición:
Sea n un número entero positivo. Dos números enteros a y b son congruentes módulo n si n | (a − b).

Se usa la notación a ≡ b (mod n) para expresar que a y b son congruentes módulo n, y se usa a 6≡ b (mod n) para
expresar que a y b no son congruentes módulo n.
a) (3 puntos) Presente un ejemplo de números a y b tales que a ≡ b (mod 5) (justifique por qué a ≡ b (mod 5)).
b) (3 puntos) Presente un ejemplo de números a y b tales que a 6≡ b (mod 5) (justifique por qué a 6≡ b (mod 5)).
c) (5 puntos) Sea n un número entero positivo y sean a, b y c números enteros. Pruebe que si a ≡ b (mod n) y
b ≡ c (mod n), entonces a ≡ c (mod n).
3. Demuestre o refute las siguientes proposiciones:
a) (8 puntos) Si p es un número racional y q es un número irracional, entonces p + q es un número irracional.
b) (8 puntos) Todo triángulo rectángulo con hipotenusa de medida z 2 , para algún número entero z, es isósceles.
x+y
c) (8 puntos) Sean x y y números reales. Si x y y son mayores o iguales a 1, entonces xy ≥ 2 .