Se nos da que mn=pq⟺qm=pn
Definimos mn como positivo si mn>0
Demuestre que la definición de mn está bien definida.
Intento:
Lo que necesito demostrar es que para cualquier fracción equivalente a mn que la definición también se cumple. Así que tomemos pq de la misma clase de equivalencia que mn . Como son de la misma clase de equivalencia esto significa: qm=pn
No estoy seguro de qué tipo de manipulación algebraica debería intentar. Sé que me gustaría llegar a pq>0 y siento que sólo implica conseguir qm=pn⟹mn=pq .
Pero, ¿cómo conseguirlo?