Buenas, está bien si demuestro la parte a, así:
Separo por casos;
a) x < 0 <= y
0 < -x <= y-x
-y <= 0 < -x <= y -x
b) 0 <= x < y
-x <= 0 < y - x
-x -y <= -y < -x
c) x < y <= 0
-x <= 0 < y - x
-x -y <= -y < -x
Luego, se cumple para todo x, y en R
En respuesta a Juan Ignacio Sanchez Sampayo
Re: Practico 1; Ejercicio 5
hola, no entiendo todavia bien como escribir porque no le agarre la mano aún, espero me entiendas y este bien
x menor y
(-x)+x menor y +(-x) por existencia opuesto
0 menor y + (-x) por asociativa
-y menor y + (-y)+(-x) por existencia opuesto
-y menor 0+ (-x) por asociativa
-y menor -x por existencia neutro de suma
En respuesta a Marcela Rita Garcia Ramos
Re: Practico 1; Ejercicio 5
ahí va, gracias!