Intento probar la siguiente afirmación:
Dejemos que $a,b,c,d \in\mathbb{Z}$ y $m,n \in \mathbb{N}$ .
Si $ad-bc = 1$ entonces $gcd(m,n) = gcd(a\cdot m+b\cdot n,c\cdot m+d\cdot n)$ .
-
Así que, en primer lugar, he definido el gcd de $m$ y $n$ como $x$ :
$x := gcd(m,n)$ .
-
$m = x\cdot k$
-
$n = x\cdot l$
-
$gcd(m,n) = gcd( a\cdot x\cdot k+b\cdot x\cdot l , c\cdot x\cdot k+d\cdot x\cdot l )$
-
$gcd(m,n) = gcd( x(a\cdot k+b\cdot l) , x(c\cdot k+d\cdot l) )$
Pero a partir de ahí no sé cómo proceder. Supongo que tengo que utilizar de alguna manera el $ad-bc=1$ ecuación pero no sé cómo.
También intenté utilizar el lema de Bezout, pero tampoco funcionó.
¿Sabéis cómo continuar la prueba?