Dejemos que $m,n\in\mathbb{N}$ con $\gcd(m,n)=1$ y $q\in\mathbb{N}$ tal que $q|mn$ . Entonces existe $d,e\in\mathbb{N}$ tal que $q=de$ , $d|m$ , $e|n$ , $\gcd(d,e)=1$ y $\gcd(\frac{m}{d},\frac{n}{e})=1$ .
Estoy intentando demostrar la afirmación anterior, pero sólo puedo llegar hasta aquí:
Como $q\in\mathbb{N}$ entonces existe $d,e\in\mathbb{N}$ tal que $q=de$ . Como $q|mn$ entonces existe $x\in\mathbb{N}$ tal que $mn=qx$ . Pero $q=de$ Así que $mn=x(de)$ . Desde $mn=d(ex)=e(dx)$ entonces $d|mn$ y $e|mn$ .
Ni siquiera sé si lo estoy haciendo bien. Alguna ayuda sería muy apreciada gracias.