# Ejercicio 03.2

En primer lugar planteamos los casos posibles:
1) 0 < x < y
2) x < 0 < y
3) x < y < 0
 

1) Primer caso

assume (0<x, x<y);

is (1/x < 1/y);

por lo tanto, la conclusión en este caso es 1/x > 1/y

2) Segundo caso

kill(all)$

assume (x<0, 0<y);

is (1/x < 1/y);

3) Tercer caso

kill(all)$

assume (y<0, x<y);

is (1/x < 1/y);

En conclusión la desigualdad de inversos cambia de sentido en los
casos 1) y 3) y se mantiene en el caso 2)